论宜春中心城区备用水源建设

江西省宜春中心城区人口增长速度加快,而现状供水规模偏小,且水源单一,一旦遭遇特枯水年份、连续干旱年或袁河发生重大污染事故,中心城区将面临严重的供水危机,急需寻找第二水源点,加快备用水源的建设.     

运用多媒体课件讲授大学数学课程的几点体会

针对大学数学课程的特点,结合教学实践,从教案书写、课堂教学设计、课件的制作三个方面探讨运用多媒体课件的教学体会。     

基于SOA的制造业MRPⅡ系统的研究与实现

随着制造资源计划(MRPⅡ)在制造行业的推广和应用,如何设计一个业务敏捷的MRPⅡ系统已经成为一种发展趋势。本文依据某制造企业的实际情况,结合面向服务构架(SOA)理念,设计出一种基于SOA的MRPⅡ系统的实现方案,着重研究了生产管理模块的设计与实现,详细分析生产管理的主要模块如MRP计算等,最后详细介绍了该系统4层架构的实现。     

专题图件编辑软件开发中的MapObjects技术

专题图件编辑软件主要解决栅格数据和矢量数据的叠加匹配、地图信息的分类显示以及矢量信息的物理逻辑结构转换。该文以专题图件编辑软件的部分开发过程为例,总结ESRI公司推出的GIS组件——Mapobjects在开发过程中三项关键技术的应用,为应用MapObjects进行二次开发提供一定参考。     

计划体系在ERP系统中的作用分析

该文介绍了计划体系在ERP系统中地位、作用以及计划体系在ERP系统设计实施过程中常遇缺陷对常遇问题进行了分析,并提出解决方案。阐述了计划体系在ERP的核心地位,以及MPS,MRP核心计划在整个计划体系的作用以及运作模式,最后总结了ERP实施过程中的难点提出了几点解决方案。     

车型意象认知与侧轮廓造型特征关联研究

目的基于感性工学(KE)原理与方法,以各车型侧轮廓为对象,研究意象认知与车型造型要素的关联性,比较并分析在意象差异下所对应各车型侧轮廓的关键造型特征。方法选取目前市场的15款典型车型为研究样本,收集并筛选获取代表性感性意象词汇,结合语义差分法(SD法)与形态分析法,利用贝塞尔曲线对车身侧轮廓进行了简化并提取其造型特征线,在构建车身侧轮廓评价参考模型基础上,对样本侧轮廓进行直接与间接的量化分析。结论综合语义差分法(SD法)与形态对比分析法,提取影响车型意象定位的关键造型特征,获取用户针对不同车型在侧轮廓特征上的识别程度等级,构建车型侧轮廓特征—感性意象的关联模型,辅助汽车车型造型设计与研究,提高车型造型与用户感性需求间的匹配度。     

A probabilistic plan recognition algorithm based on plan tree grammars

We present the PHATT algorithm for plan recognition. Unlike previous approaches to plan recognition, PHATT is based on a model of plan execution. We show that this clarifies several difficult issues in plan recognition including the execution of multiple interleaved root goals, partially ordered plans, and failing to observe actions. We present the PHATT algorithm's theoretical basis, and an implementation based on tree structures. We also investigate the algorithm's complexity, both analytically and empirically. Finally, we present PHATT's integrated constraint reasoning for parametrized actions and temporal constraints.     

A new representation and associated algorithms for generalized planning

Constructing plans that can handle multiple problem instances is a longstanding open problem in AI. We present a framework for generalized planning that captures the notion of algorithm-like plans and unifies various approaches developed for addressing this problem. Using this framework, and building on the TVLA system for static analysis of programs, we develop a novel approach for computing generalizations of classical plans by identifying sequences of actions that will make measurable progress when placed in a loop. In a wide class of problems that we characterize formally in the paper, these methods allow us to find generalized plans with loops for solving problem instances of unbounded sizes and also to determine the correctness and applicability of the computed generalized plans. We demonstrate the scope and scalability of the proposed approach on a wide range of planning problems.     

Effects of electronic outlining on students' argumentative writing performance

This study examined the effect of electronic outlining on the quality of students' writing products and how outlining affects perceived mental effort during the writing task. Additionally, it was studied how students appropriate and appreciate an outline tool and whether they need explicit instruction in order to engage in planning. To answer these questions, the writing products and self‐report data from 34 tenth‐grade students of a Dutch pre‐university school were analysed. Students wrote two similar argumentative texts with or without an outline tool. Results show that electronic outlining improves the quality of students' argumentative texts and decreases mental effort. Answers to a retrospective questionnaire showed that a short instruction on the outline tool was sufficient for students to understand its working and that most students experienced the tool as beneficial. Finally, results indicate that without specific instruction on text planning, students hardly devote any time to this important aspect of writing.     

杭州客房预订系统

介绍杭州客房预订系统的总体结构、系统功能及信息处理和系统出错信息处理及系统管理。