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

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

The dynamic evolution of aggregated lithium dendrites in lithium metal batteries

Lithium (Li) metal anodes promise an ultrahigh theoretical energy density and low redox potential,thus being the critical energy material for next-generation batteries.Unfortunately,the formation of Li den-drites in Li metal anodes remarkably hinders the practical applications of Li metal anodes.Herein,the dynamic evolution of discrete Li dendrites and aggregated Li dendrites with increasing current densities is visualized by in-situ optical microscopy in conjunction with ex-situ scanning electron microscopy.As revealed by the phase field simulations,the formation of aggregated Li dendrites under high current den-sity is attributed to the locally concentrated electric field rather than the depletion of Li ions.More specif-ically,the locally concentrated electric field stems from the spatial inhomogeneity on the Li metal surface and will be further enhanced with increasing current densities.Adjusting the above two factors with the help of the constructed phase field model is able to regulate the electrodeposited morphology from aggregated Li dendrites to discrete Li dendrites,and ultimately columnar Li morphology.The methodol-ogy and mechanistic understanding established herein give a significant step toward the practical appli-cations of Li metal anodes.