若干限制形式的缺少推理的复杂性

该研究判定一字是否出现在缺省理论〈Ｄ,Ｗ〉的某一扩张中的复杂性,其中,Ｄ是一种Ｈｏｒｎ缺省规则,而Ｗ是ｄｅｆｉｎｉｔｅ公式或Ｂｉ－Ｈｏｒｎ公式。     

应用型软件工程专业人才培养方案探索

针对应用型软件工程专业培养方案改革中遇到的问题,提出培养方案的总体制定思路:以实现专业教育、技术行业和市场需求紧密结合为目标,通过构建应用型课程体系、企业式的质量管理体系、智能信息化平台和建设应用型师资队伍等几个方面的教学改革,使培养方案满足当前就业市场、社会需求以及未来学生自身成长特点。     

子句型缺省逻辑中的分情形推理

引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.     

开放逻辑中的合理事实反驳模型类

本文给出开放逻辑中合理事实反驳模型类的概念，讨论了它们的重要性质。通过给定一假说中名子的线性序关系，得到了假说的最大前节重构的概念，并由此给出了合理事实反驳模型类的一个具体例子。     

基于动态Kripke语义直接模型检测及其应用分析

在过去的20年里，基于Kdpkc语义结构的模型检测技术在集成电路设计，网络协议分析，程序正确性验证及程序错误发现等方面证明了其有效性和能力．最近，在诸如使用SAT分析工具、有界模型检测等避免OBDDs的模型检测研究方面取得了相当大的进展提出的动态Knpke 语义结构是让原子命题集合AP可以改变．基于这个方法，提出了一个直接模型检测算法．     

几种柴油机零件的真空热处理

<正> 真空热处理与普通热处理比较,其最大特点是提高了零件的表面质量。因此,凡是与表面质量有关的性能如:疲劳寿命、接触疲劳寿命、表面耐磨损性能等,经真空热处理后均能得到较大的提高。我厂对几种柴油机零件进行了真空热处理试验,情况介绍如下。     

An extension of Harrington's noncupping theorem

(i) Call a c.e. degree b anti-cupping relative to x, if there is a c.e. a < b such that for any c.e. w, w x implies a ∪ w b ∪ x.(ii) Call a c.e. degree b everywhere anti-cupping (e.a.c.), if it is anti-cupping relative to x for each c.e. degree x.By a tree method, we prove that every high c.e. degree has e.a.c. property by extending Harrington's anti-cupping theorem.     

12150L柴油机缸体双头螺栓的辊锻成形和形变热处理研究

选择适当孔型系和辊锻道次,正确设计辊锻模,可在合适的辊锻机上完成双头螺栓的成形。对于辊锻出的双头螺栓,当辊锻压下率达到26.9%,回火温度为550℃～600℃时,形变部分与未形变部分的塑性和韧性相近,但前者的强度和硬度却高于后者。可见,采用辊锻成形工艺生产12150L柴油机缸体双头螺栓是可行的,且较原工艺生产有很大的优越性。     

若干限制形式的缺省推理的复杂性

该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Horn公式.     

Characterization of an auto-compatible default theory

In this paper,an equivalence condition for deciding whether a default theory is an auto-compatible default one is presented.Under the condition,the existence of extension of an auto-compatible default theory is a natural result.By introducing a well-ordering over the set D of default rules,the extensions of an auto-compatible default theory(D,W) can be computed directly.The condition represents clearly the characterization of an auto-compatible default theory,and some properties about auto-compatible default theory,such as semi-monotonicity,become natural corollaries.Based on the characterization,the revision of default beliefs is discussed to ensure the existence of extension of the default theory,and the methos is applied to investigate stable models of a general logic program.