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.     

松香胺聚氧乙烯酸对A3钢在盐酸介质中缓蚀性能的研究

采用失重法及电化学方法测定松香胺聚氧乙烯醚化合物（以下简称ＲＡ）在盐酸溶液中对Ａ３钢的缓蚀性能，研究了温度、浓度等因素对ＲＡ缓蚀性能的影响。实验结果表明，ＲＡ分子中的环氧乙烷基的含量不同，缓蚀性能也不一样，其大小顺序为１０ＲＡ＞１５ＲＡ＞５ＲＡ，并发现ＲＡ与乌洛托品、甲醛、丙炔醇、碘化钾等有很好的协同作用。文中还计算了ＲＡ的反应表观活化能，对其缓蚀机理进行了探讨。     

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

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

Tencel纤维强伸性能分析

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

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

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

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

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

液压自动送煤、无烟、节能锻造反射炉

<正> 一、主要性能及技术参数炉底面积 0.52米~2(0.696×0.746) 燃烧室面积 0.23米~2 空气过剩系数 1.4 耗煤量 70～90公斤/小时发热值(一般烟煤) 4000～4800千卡/公斤