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.     

COMPRESSION FATIGUE CRACK GROWTH BEHAVIOUR OF AN ALUMINIUM ALLOY: EFFECT OF OVERLOADING

Abstract— The behaviour of fatigue cracks in an Al-alloy under cyclic compression, either with or without overloads, was studied. For constant-amplitude compressive cycling, a non-catastrophic (saturation) character of the fatigue crack behaviour was confirmed, with the final depth of a crack depending on the applied load level. Single (tensile or compressive) intermittent overloads were shown to re-activate a previously arrested crack while reversed (tensile—compressive or compressive—tensile) ones were also shown to maintain continual fatigue crack extension under otherwise fully compressive cycling.     

大规模数据库中的知识获取

一、前言数据是知识的潭泉,拥有大量的数据与拥有许多有用的知识完全是两回事.为了有效地利用大量的公共数据,必须更好地理解这些数据,并从其中快速、准确地发现知识.这里所说的知识是指大量数据中存在的规律性(r egularity)或不同属性值之间所存在的[I F THEN〕规则.将所获取的知识附加于仅由事实数据(fact data)构成的传统数据库上,既可强化数据库的查询能力,又可给数据库提供推理能力,     

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

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

铜线材酸性高速电镀致密光亮锡、锡铜合金

为了寻找低成本、低腐蚀、低污染高速电镀锡、锡铜合金工艺 ,在含光亮剂、柔软剂DL0 1、0 2、0 3的硫酸槽中在不同的电流密度、不同的搅拌速度下 ,在Φ0 .5mm的铜线上电镀Sn和Sn Cu合金镀层。DL0 1、0 2的主要成分是无芳香族的希夫碱 ,DL0 3的主要成分是醇醛缩合物。结果表明 ,在含有DL0 1、0 2、0 3和 35g/LSnSO4 ,137g/LH2 SO4 的镀液中 ,在Jc=10～ 90A/dm2 ,v=16 0～ 314m/min时 ,所得镀层致密、柔软、光亮。在含CuSO4 ·5H2 O 0 .5 ,3.5g/L的硫酸镀槽中 ,在Jc=9,18A/dm2 ,v=16 0m/min时获得了致密、柔软、光亮的Sn (0 .3%～ 0 .6 % )Cu合金镀层。     

Incoloy 800H合金的应用和性能分析

通过对耐热耐蚀合金Incoloy 80 0H的性能分析 ,指出它与普通奥氏体不锈钢相比具有较优的抗氧化性能、耐蚀性和高温蠕变强度。针对催化裂化装置同轴式沉降再生器内部所用Incoloy 80 0H焊件易出现裂纹的问题进行分析 ,认为在施焊过程中由于合金凝固时有低熔点金属或化合物的液态膜残留在晶界区 ,该合金具有高的焊接热裂纹敏感性 ,若焊材选择不当 ,焊丝填充不充分、缺少保护气等将导致晶间裂纹产生。提出了该合金采用TIG焊接防止热裂纹产生的措施。     

秸杆材料用作草皮栽培基质的研究

本文介绍了秸杆毡的成型工艺 ,通过植物所需的水、肥料和空气三种因素对秸杆毡的化学和物理性能进行了研究 ,该材料可被用作草皮栽培基质     

莺-琼盆地生物气及生物—低成熟过渡带气特征与勘探前景

莺 琼盆地天然气资源丰富 ,天然气成因类型多 ,迄今为止 ,除在该区浅层和中深层发现以成熟—高成熟的热成因腐殖型气 (煤型气 )为主的天然气藏外 ,也发现了一些生物气及生物—低成熟过渡带气气藏 ,且均具较高的产量和一定的储量规模 ,其勘探前景广阔。     

半固态ZnAl 27合金及其二次加热组织

研究了半固态ZnAl27合金及其二次加热组织。结果表明，半固态ZnAl27合金基本无宏观偏析，其组织为细小均匀的近球形非枝晶，综合力学性能远远高于常规铸造合金；二次加热后，α相进一步球化，边缘变得光滑圆整，可以满足半固态触变成形的需要。     

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

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