n-PUZZLE问题的可解性定理

本文从二个元素交换原理出发,给出了n-PUZZLE问题的可解性定理。在求解该问题时,可使用本定理判定问题的可解性。     

反求工程中的若干问题

在总结以往某些装备研制经验的基础上，着重阐述装备反求工程的基本概念和关键技术，给出了相应的流程。力求为消化吸收国外的先进技术，提高我国的设计、制造水平探寻一套实用方法。     

港口装卸工艺设计专家系统CHES

本文介绍了CHES及其主要组成部分, 即(静态)知识库、(动态)数据库、框架推理机、解释模块、知识编辑模块和人机界面模块。