【摘 要】
：
软件复用的一个主要任务是可复用软件构件的表示与检索. 由于一阶逻辑能够描述软件构件的计算语义,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研
【机 构】
：
华中科技大学计算机学院,华中科技大学并行计算研究所
论文部分内容阅读
软件复用的一个主要任务是可复用软件构件的表示与检索. 由于一阶逻辑能够描述软件构件的计算语义,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视. 为了简化基于演绎的构件检索技术的程序设计结构及提高演绎效率,提出了最右线性演绎RLD(rightmost linear deduction),并证明了它的完备性. 同时,指出了子句蕴含与子句包含关系的非等价性,并给出了由子句蕴含关系推出子句包含关系成立的一个充分条件.
其他文献
随着科学技术的迅速发展,电脑品种越来越全,功能越来越多,而体积却越来越小,价格越来越低。如PC机(Personal computer个人计算机),轻便小电脑、各种学习机以及带有电脑功能的
浙江省新版《生猪屠宰管理条例》从2010年9月1日起实施，屠宰厂（场）如出现屠宰含有瘦肉精生猪，将被罚款5万元，乡下个人自宰自食的生猪产品，也将不能再上市销售。
目的 探讨前列腺电切模拟机在泌尿外科教学的应用研究,为临床教学提供科学依据。方法 选取2015年12月—2016年12月在该院泌尿科实习的36名学生为研究对象,随机分为对照组和观
从某实验鸡场购回1周龄SPF雏鸡200羽准备进行试验，饲养1周后爆发疾病，疑似鸡白痢，取病鸡肝脏经过前增菌，鉴别培养，细菌菌落形态观察，染色镜检、生化试验、血清学鉴定及16SrRNA基因
在药理学教学过程中应用器官系统整合教学理念组织教学可显著提高学生的学习兴趣,培养学生临床思维能力,同时对教师教学研究能力的提高也大有裨益。该文从器官系统整合教学法
为了解钦州市临床健康猪群中猪链球菌2型的流行情况，采用PCR方法对采集的病料进行检测分析。374份样品的PCR检测结果显示，链球菌、猪链球菌、猪链球菌2型的带菌率分别为81．8％、48
ＧＫＤ－ＥＤＳＴ是一个集成型专家数据库系统开发工具，本文着重介绍该工具的设计思想与实现方法。
首先对椭圆曲线数字签名算法(ECDSA)进行了改进,方法是避免其签名生成和签名验证过程中费时的求逆运算 .然后在此改进的椭圆曲线数字签名算法基础上,设计了一个代理签名体制,
磐安县位于浙江省中部，是浙江省内经济欠发达的山区县，全县面积1196平方公里，人口20．05万人。由于地处山区，全县工业不发达，财政收入较低，对动物防疫工作不够重视，存在较多制约因素。