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.     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

醇镁还原法一步制取对氯苯胺的研究

醇镁还原法一步制取对氯苯胺是一种新的方法 ,研究发现最佳反应温度为 80℃～ 85℃ ,反应时间为4h ,对氯硝基苯与镁粉的用量 (物质的量比 )为 1∶3,产率为 80 %。     

具有细小组织的高强度和高延性钢管的开发

介绍了日本川崎制铁公司技术研究所开发出的电焊钢管采用热张力减径工艺的特性 ,及这种钢管的高强度、高延性等基本特性。用这种钢管制造的汽车零部件 ,经弯曲、冲击和疲劳特性等实验 ,证明具有良好的机械加工性能 ,是制造汽车用零部件的优良材料。     

Freelance 2000 DCS在轴流机上的应用

简要介绍了Freelance 2000 DCS的功能特点以及轴流机的控制要求.结合轴流机的控制特点，用Freelance 2000 DCS对原模拟电子系统进行改造，实现并改进了轴流机流量－静叶位置调节、防喘振控制、逻辑控制、状态监测、信息管理等功能。改造后的系统可靠性高、技术先进、信息管理功能强，其设计思想和方法均可供石化企业大型压缩机控制系统的设计和改造借鉴。     

工艺因素对金属封装外引线弯曲疲劳的影响

考察了金属封装外壳制造工艺对外引线弯曲疲劳的影响,发现电镀镍是导致外引线弯曲次数明显减少的最主要工艺步骤,且随镀镍层厚度的增加,弯曲次数减少。此外还讨论了外引线的氢含量和晶粒度对引线抗疲劳能力的影响。     

溶胶-凝胶法制备HAP骨水泥材料的研究

文章对用溶胶－凝胶法（简称SOL－GEL）烧结制备HAP骨水泥材料的工艺条件进行了研究，并探索了HAP粉剂与柠檬酸水溶液构成和凝结体系的可行性，结果显示出该材料作为医用骨水泥材料的可能性。     

混凝土小型砌块建筑裂缝宽度的标准设置研究

通过对混凝土小型空心砌块单片墙进行试验 ,了解不同构造措施墙体的初始裂缝在墙体上出现的部位、形态、发展规律以及墙体最终破坏形态 ,并通过试验明确墙体在不同受力状态下的裂缝形态 ,最后根据试验结果初步提出混凝土小型空心砌块建筑的裂缝宽度控制标准     

激光熔覆Ni基SiC合金涂层组织与性能的研究

利用5kWCO2连续波激光器在16Mn钢基材表面对含20%(体积比)SiC陶瓷粉末的镍基自熔性合金粉末进行激光熔覆得到Ni基SiC合金涂层(NiSiC)。研究了合金涂层的组织形貌及相结构,并用单纯的镍基合金涂层(Ni60)进行了显微硬度及滑动磨损性能的对比试验。结果表明,NiSiC合金涂层由γ枝晶及其间的共晶组织组成,主要组成相为γ-Ni,γ-(Ni,Fe)固溶体和(Cr,Fe)7C3,Cr23C6及(Cr,Si)3Ni3Si等化合物。添加SiC的镍基合金涂层NiSiC比单纯的镍基合金涂层Ni60具有较高的硬度和耐磨性。     

改进尿素包装工艺 不断提高产品质量

通过对尿素包装工艺的不断改进，提高了尿素粒度、减少粉尘含量，效果明显。