基于实例的多推理机合作变型设计系统

来源 :软件学报 | 被引量 : 0次 | 上传用户:q912569130
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
产品变型设计的基本思想是通过改进已有的系列产品或模块来适应新的设计需求,针对变型设计的基本特点,提出了以基于实例的推理为基础,综合运用规则推理和约束满足方法来完成产品的变型设计活动,结合所开发的“细纱机模块化变型设计系统”从知识表达模式,推理流程等方面详细讨论了以基于实例的推理为核心方法的多推理机合作变型设计系统的实现。
其他文献
在市场经济和社会大环境的影响下,当前大学生呈现了新的特点,作为肩负育人重任的高校教师,要深入了解学生的变化,适时转变自己的工作理念、工作方法以适应学生的这种变化,更
提出了一个新的分配算法,它可以有效地分配一个给定的位的限额给任意不同的量化器集合。
高职院校的人文教育普遍“贫血”,教师的职业素质参差不齐,均亟待加强和完善。在高职院校中倡导人文精神时,应将加强人文教育与教师职业素质的完善相结合,通过教师高尚的道德鼓舞
本文讨论开放型物理系统的定性推理方法。文中阐述QUIOS机制下事件和进程的关系及两种视图的表达方式,用实例说明定性推理方法,并给出QUIOS的推理算法。
本文探讨了贫困生网瘾这一特殊现象的成因,主要从贫困生家庭层面、教育层面和网络层面进行了相关分析,这为进一步思考相应的解决对策提供了依据。
LOTOS是一种基于进程代数CCS的协议规范语言,面向协议验证,但它不能描述协议的某些性质。本文提出了一种LOTOS的扩充语言ELOTOS,它在LOTOS的基础上引入了异步通讯机制,时间描述,事件发生的随机描述。
国家要强盛,关键在人才。是否拥有创造性思维能力的人才,则是关键中的关键。由于能够提供大量最新知识,指导在职人员科学合理学习和培育合适的学习环境等因素,继续教育在培养具有
经济的转型、产业结构的升级,呼唤着更多技能型人才的出现,技工教育受到了前所未有的重视,技工学校教师也分享着技工教育大发展的成果。然而,随着改革的深化、技术的革新及对
本文提出了一个用于反应系统规范及验证的修改时序逻辑,它包含一个用于显示区分程序执行步同环境执行步的机制。环境的特性可以在系统开发时进行考虑。文中首先给出了程序的一
道德教育与心理教育日益成为中学教育关注的热点之一,本文通过对道德教育、心理教育的比较分析,揭示其在教育任务、实现目标、教育方式等方面的区别和两者内在的联系,使它们更好