R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.     

用电导磁法无损检测40Cr钢连杆螺栓裂纹

利用钢铁零件的成分、组织结构、力学性能与其磁性能之间的关系和电磁无损检测仪的工作原理,通过两个实例阐明了在微型空压机生产中的快速电磁无损检测仪在生产中的具体应用经验.     

Tencel纤维强伸性能分析

对Ｔｅｎｃｅｌ纤维的强伸性能作了测试，分析，指出Ｔｅｎｃｅｌ纤维的强度，模量比粘胶纤维高得多，接近于聚酯纤维，并且湿强，湿模量损失较粘胶低得多，克服了人造纤维纺织品湿强低和保形性差的缺点。     

大面积水稻节水灌溉技术的研究

以玉林地区近４０年来大面积多种水稻节水技术开发的实践为基础，提出要解决的２个问题，导出４个理论公式和３组５个量化实用公式，以及长期稳定此技术的３个措施。     

单边接地MESFET及其寄生效应的分析模型

本文介绍了栅宽为150μm和240μm两种单边接地MESFET制造工艺及其在单片电路中的应用。这种器件结构可减小器件占用的GaAs芯片面积,提高电路布线的灵活性,并已应用于12GHz低噪声放大器GaAs单片电路,取得了良好效果。本文也给出了这种器件寄生效应的分析模型,并计算讨论了栅靶、空气桥以及接地块等寄生元件对器件的散射参数和噪声参数的影响。     

Pre-bainitic Transformation in Fe-Ni Alloy

Ｔｈｅｐｒｅ－ｂａｉｎｉｔｉｃｐｈｅｎｏｍｅｎｏｎｉｓｏｎｅｏｆｔｈｅｉｍ－ｐｏｒｔａｎｔｓｕｂｊｅｃｔｓｏｆｂａｉｎｉｔｉｃｔｒａｎｓｆｏｒｍａｔｉｏｎｗｈｉｃｈｉｓｓｔｉｌｃｏｎｔｒｏｖｅｒｓｉａｌ．Ｏｎｅｖｉｅｗｉｓｔｈａｔｔｈｅｓｏｌｕｔｅａ...     

启发式教学的Visual FoxPro课堂实践

《VisualFoxPro程序设计》是医学院校普遍开设的计算机课程,结合医学院校中《VisualFox—Pro程序设计》课程特点,提出在课堂教学过程巧用启发式教学。并结合教学实例说明启发式教学能充分调动学生积极性,使学生真正参与课堂．从而取得好的教学效果。