【摘 要】
：
为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆
【基金项目】
：
国家自然科学基金资助项目（60563005）.
论文部分内容阅读
为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配过程中的硬约束和软约束进行了描述;根据装配序列规划问题的形式化描述,对装配序列规划领域及领域的具体问题进行了定义,给出了基于模型检验集成规划系统的装配序列规划问题的求解过程。实验结果表明,该系统可以正确、有效地实施机械装配序列规划。
其他文献
为降低知识管理系统开发的难度，提出了通过面向知识管理系统实现的软件基础设施来辅助知识管理系统开发的思想。给出了知识管理系统软件基础设施的系统体系结构，并描述了一种可
为解决复杂产品多学科设计优化的过程集成和不同学科设计资源的共享问题,提出了基于可扩展标记语言和过程本体的设计过程描述元模型;给出了过程集成交互的语义映射规则及映射
目的：分析普米克令舒联合孟鲁司特对慢性阻塞性肺疾病急性加重期（acute exacerbation of chronic obstructive pulmonary disease,AECOPD）患者的疗效。方法：分析109例AECOPD患者
运用SPSS软件和SAS软件系统中的时间序列建模方法建立了我国城乡居民储蓄存款模型，并认为用最大似然估计法（ML）对结果进行短期预测，用无约束最小二乘估计法（ULS）对结果进行中长期预