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单片电路,取得了良好效果。本文也给出了这种器件寄生效应的分析模型,并计算讨论了栅靶、空气桥以及接地块等寄生元件对器件的散射参数和噪声参数的影响。     

轮式流动模拟器扭矩测试值影响因素分析

通过对轮式流动模拟器工作原理的介绍及管内液体，气体流动规律的分析，给出了轮式流动模拟法测试粘度的基本公式，指出了影响转轮测试扭转的因素并给出了定量关系。