【摘 要】
：
软件复用的一个主要任务是可复用软件构件的表示与检索. 由于一阶逻辑能够描述软件构件的计算语义,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研
【机 构】
：
华中科技大学计算机学院,华中科技大学并行计算研究所
论文部分内容阅读
软件复用的一个主要任务是可复用软件构件的表示与检索. 由于一阶逻辑能够描述软件构件的计算语义,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视. 为了简化基于演绎的构件检索技术的程序设计结构及提高演绎效率,提出了最右线性演绎RLD(rightmost linear deduction),并证明了它的完备性. 同时,指出了子句蕴含与子句包含关系的非等价性,并给出了由子句蕴含关系推出子句包含关系成立的一个充分条件.
其他文献
从某实验鸡场购回1周龄SPF雏鸡200羽准备进行试验，饲养1周后爆发疾病，疑似鸡白痢，取病鸡肝脏经过前增菌，鉴别培养，细菌菌落形态观察，染色镜检、生化试验、血清学鉴定及16SrRNA基因
ＧＫＤ－ＥＤＳＴ是一个集成型专家数据库系统开发工具，本文着重介绍该工具的设计思想与实现方法。
首先对椭圆曲线数字签名算法(ECDSA)进行了改进,方法是避免其签名生成和签名验证过程中费时的求逆运算 .然后在此改进的椭圆曲线数字签名算法基础上,设计了一个代理签名体制,
磐安县位于浙江省中部，是浙江省内经济欠发达的山区县，全县面积1196平方公里，人口20．05万人。由于地处山区，全县工业不发达，财政收入较低，对动物防疫工作不够重视，存在较多制约因素。