【摘 要】
：
为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆
【基金项目】
：
国家自然科学基金资助项目（60563005）.
论文部分内容阅读
为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配过程中的硬约束和软约束进行了描述;根据装配序列规划问题的形式化描述,对装配序列规划领域及领域的具体问题进行了定义,给出了基于模型检验集成规划系统的装配序列规划问题的求解过程。实验结果表明,该系统可以正确、有效地实施机械装配序列规划。
其他文献
<正> 继“773”、“771—2”大甜椒在全国各省区推广以后,我们又选育出了第三个具有“耐贮藏”特性的大甜椒品种—831。1990年又对此品种与773、771—2及当地大辣椒品种进行
为降低知识管理系统开发的难度，提出了通过面向知识管理系统实现的软件基础设施来辅助知识管理系统开发的思想。给出了知识管理系统软件基础设施的系统体系结构，并描述了一种可
目的：分析CT引导下肺穿刺活检（percutaneous transthoracic needle biopsy,PTNB）诊断肺部局灶性磨玻璃密度结节（focal ground-glass nodule,fGGN）失败及引起并发症的影响因素。方
为解决复杂产品多学科设计优化的过程集成和不同学科设计资源的共享问题,提出了基于可扩展标记语言和过程本体的设计过程描述元模型;给出了过程集成交互的语义映射规则及映射
莓叶委陵菜的引种栽培刘新波李凤华张利民刘江生莓叶委陵菜（ＰｏｔｅｎｔｉｌａｆｒａｇａｒｉｏｉｄｅｓＬ．）系蔷薇科委陵菜属多年生草本植物，在开发利用野生花卉资源的研究工作中，我们认为它在城市园林绿化中具有独到的绿化美
<正> 发酵生产的5406细胞分裂素混合粉剂,含有抗生素、生长素和生物素、细胞分裂素等刺激物质,其活性类似生长素与激素。近年来5406在大白菜、番茄、金针菜上应用取得良好效
目的：分析普米克令舒联合孟鲁司特对慢性阻塞性肺疾病急性加重期（acute exacerbation of chronic obstructive pulmonary disease,AECOPD）患者的疗效。方法：分析109例AECOPD患者
作文教学在小学语文学科教学中占有重要地位,新课程改革对小学作文教学又提出更高要求,因此,在教育发展新环境下,小学语文教师要逐渐对教学方法和形式进行创新,提高学生的实
<正> 番茄果实中的品质成份为可溶性固形物等,在不同的番茄品种之间,其含量会有很大的变化。本试验以岩棉为无土栽培的基质,研究了品种“Dukado”在不同采收时期其果实中品质
运用SPSS软件和SAS软件系统中的时间序列建模方法建立了我国城乡居民储蓄存款模型，并认为用最大似然估计法（ML）对结果进行短期预测，用无约束最小二乘估计法（ULS）对结果进行中长期预