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.     

南京老虎山黄土-古土壤剖面不同粒级组分的磁化率及其古气候意义

利用沉降离心法将老虎山黄土-古土壤的酸不溶相分离成<2μm、2～45μm和>45μm三个粒级组分,并分别测定了这些组分和全岩的磁化率。结果表明,无论是全岩,还是三个不同粒级组分,它们的磁化率都可以单独作为长江中下游地区古气候演变的参考指标。其中,<2μm粒级的质量磁化率明显大于全岩和2～45μm、>45μm两粒级,而且其分辨率也明显高于2～45μm和>45μm这两个粒级组分。本实验结果还显示,虽然<2μum的质量磁化率最大,但对全岩质量磁化率的贡献率与2～45μm粒级相当,>45μm粒级的贡献率较低。     

用好进口清梳联最大限度发挥其效能

本文从理论与实践结合的基础上介绍了进口清梳联设备维修、工艺效能研究的具体措施，对进口设备效能的发挥和质量稳定提高及延长设备使用寿命、降低生产成本产生的积极作用和良好效果。     

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

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

Tencel纤维强伸性能分析

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

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

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

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

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