论文部分内容阅读
ＰＲＯＬＯＧ是基于Ｈｏｒｎ逻辑的通用搜索系统，是一种方便、高效的逻辑设计工具，但该系统却不具有完备性。从其理论基础和运行方式两方面，对ＰＲＯＬＯＧ系统进行剖析，分析系统完备性受到破坏的原因是：在该系统中采用了深度优先搜索策略和引入了ＣＵＴ控制机制。最后，提出了增强系统完备性的方法。
通用问题求解系统的完备性
【摘 要】
：
ＰＲＯＬＯＧ是基于Ｈｏｒｎ逻辑的通用搜索系统，是一种方便、高效的逻辑设计工具，但该系统却不具有完备性。从其理论基础和运行方式两方面，对ＰＲＯＬＯＧ系统进行剖析，分析系统完备性受到破坏的原因是：在该系统中
【机 构】
：
桂林电子工业学院电子信息分院
【出 处】
：
桂林电子工业学院学报
【发表日期】
：
1998年2期
其他文献
创新人才培养的质量是新工科建设的重要支撑,是应用技术型地方高校健康、可持续发展的关键。文章结合能源动力类特色人才培养模式构建,阐述了双师型教师对能源动力工程专业特
被膜是钽电容器生产的关键工艺，自动链式被膜炉是完成被膜工艺的电子专用设备，综必须具有能自动完成被膜工艺流程的功能。根据被膜的工艺流程设计的控制系统，采用可编程序控制器
基于文献（９）的基本原理，给出了一个构造Ｄｅｌｔａ网络和简单方法，并提出了一个单元通过Ｄｅｌｔａ网络时，确定其控制比特的一个简单方法，从这两点出发，给出了一个示例，以计算当单元通过Ｄｅｌｔａ网络而实现交换时，它
曾经有位老师说过：“没有职业快乐，就没有幸福人生。”换而言之，只有找到快乐的职业，才能提高自己的生活质量，找到幸福感。对于教师而言，这一切谈何容易。很多教师觉得教学工作太繁琐，学生越来越难教，面对日复一日的工作深感单调无味。有的老师甚至过早患上一些职业病，苦不堪言，恨不得今天就领退休金，早点享受自由的退休生活。教师身心疲惫，何谈职业的幸福感？如此，我们不妨读读《走进教育家苏霍姆林斯基》，去寻找答案
社会主义信念教育是特色理论教学中的难点。分析了造成困难的原因，提出突破这一难点的关键在于理论联系实际，理论联系实际的关键在于教师。着重论述了如何有针对性地较为有效地
分析当前操作系统课程内容和教学方式上存在的问题,从教学内容、教学计划、教学方法和实习项目等方面,对操作系统课程教学进行了详细论述.指出以学生为中心,转变教学方式,以
【正】姚文俊先生在河南省安阳市人民大道小学担任校长期间,创造了很多令人不可思议的奇迹。在学校成为全国关注的名校之时,他的大名也不胫而走。对于姚文俊来说,这段生命经
在优化设计课程的教学实践中,由于一维搜索对称分割法与线性规划多解问题这两类基本的、重要的优化方法本身的复杂性以及学生的忽视,造成部分学生没有准确地掌握.因此,提出了
毕业设计(论文)工作是高等学校重要的实践教学环节，是学生综合素质与培养效果的全面检验。通过分析当前高校毕业设计(论文)工作中存在的问题及产生的原因，对毕业设计工作进行改