基于描述逻辑的OntoUML模型的形式化表示

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。     

大型软包锂离子电池的热物性实验研究

针对大型软包锂离子电池热物性参数的测定问题,提出适用于该型电池的热参数表征方法. 基于准稳态导热原理,建立电池的传热理论模型. 开展实验研究电池的比定压热容和导热系数与温度的依变关系,分析热损对测试结果的影响,对测试方法的有效性进行验证. 结果表明,电池比定压热容随着温度的升高而线性增大,导热系数受温度的影响较小. 在900 s内可以测得电池热参数在10~60 °C下的变化状况,实验验证结果显示测算精度高于92.3%,具有测算周期短、准确度高和测试灵活等优势.     

Co-colouration Effects in the Systems of Metal(Ⅱ)-Rare Earth(Ⅲ)-Xanthene Dye and Their Influences on Photometric Determination of Metal Ions

After comparing the influences of each rare earth(Ⅲ),11 species of metal(Ⅱ)and 8 species of acidictriphenylmethane dye on the formation of coloured coordination compound in the system of Metal(Ⅱ)-RE(Ⅲ)-Dye,it was proven that the co-colouration effect can be caused only by the xanthene dyes(XD)con-taining substituting hydroxy.group on the ortho-position of etheric oxygen group.Besides,the radius of met-al(Ⅱ)must not be smaller than a definite limit;otherwise,no co-colouration appears.Furthermore,the acid-ity of medium is another important factor to affect co-colouration,Bromopyrogallol red causesco-colouration of Pb(Ⅱ)-RE(Ⅲ)only,owing to its higher chromophoric acidity;while alizarin violet causesco-colouration of M(Ⅱ)-RE(Ⅲ)(M=Pb,Ca,Sr and Ba),due to its lower chromophoric acidity.The condi-tions causing co-colouration,the regularities of co-colouration and the influences of co-colouration inphotometric determination of metals were discussed.     

实施商标战略，建设世界鲁阳

2005年12月30日，山东鲁阳股份有限公司“鲁阳”牌商标被国家工商行政管理总局认定为“中国驰名商标”，截至目前，山东鲁阳股份有限公司是耐火材料行业唯一一家获此殊荣的企业。     

烧成温度对高铬砖显微结构的影响

利用扫描电子显微镜分析了 170 0℃、174 0℃、1780℃、182 0℃和 186 0℃烧成后高铬砖的显微结构。结果表明 :高铬砖的烧成温度不是越高越好 ,而是有一个合适的烧成温度 174 0℃。在该烧成温度下制得的高铬砖 ,其基质中的Cr2 O3晶粒尺寸适中 ,基质组织结构致密 ,基质和颗粒结合紧密 ,无裂纹 ,并且其力学性能最佳。     

基于改进粒子群优化算法的BP神经网络在大坝变形分析中的应用

BP神经网络以其对非线性系统的强大映射能力而被广泛应用于模糊性、随机性强的大坝变形预测分析中。传统的BP神经网络由于初始权值和阈值的随机性,容易导致网络在训练过程中极易陷入局部最小值,同时存在网络收敛速度慢等缺点。针对传统算法的不足,采用改进的粒子群算法(IPSO)对BP网络的初始权值和阈值给予优化,建立大坝变形预测的IPSO-BP模型,并与PSO-BP网络模型进行对比。结果表明,改进的IPSO-BP模型具有收敛速度更快、预测精度更高的优点。该方法可供大坝安全监测和预警分析参考。     

新型光化学反应器及二氧化碳光解反应研究

研究设计了可产生波长小于200 nm真空紫外光的光化学反应器,首次利用该波段的光在该反应器中进行了CO2光解反应的研究。用氮气为发光介质对其进行光强标定,实验表明主要产生120、149、174 nm波长的光(N原子谱线);实验条件下CO2光解后生成产物CO,结果表明光源电流一定时产生CO的量与光源工作气体的压力有关,在CO2和N2反应物系中,光源内发光介质N2的压力在2 500 Pa左右时CO的产率最大,而在该反应物系中加入甲烷后,CO的产率明显增大。     

水煤浆加压气化炉用高铬耐火材料的显微结构及损毁机理

采用扫描电镜和能谱分析方法 ,分析了水煤浆加压气化炉用高铬砖渣蚀前后的显微结构和相组成 ,探讨了主要损毁机理。结果表明 :煤熔渣与砖反应和渗透引起砖组成的改变 ,从而导致砖的结构剥落和强度弱化是砖损毁的主要原因 ;LIRR -HK90砖的显微结构呈网络状镶嵌结构 ,直接结合程度高 ,与渣反应可生成 (Mg ,Fe) (Al,Cr,Fe) 2 O4 复合尖晶石致密带 ,阻止了渣的进一步渗透 ,减缓渣蚀速度和结构剥落 ,其使用效果优于进口的同类产品     

国内BOPP膜生产现状

介绍了国内BOPP薄膜和专用料的生产情况，并提出了建议。     

废氨水喷淋予脱硫

在小氮肥企业中,保护和使用好变换触媒,合成触媒和醋酸铜氨液是保证正常生产的一个重要的环节。而两个触媒一个铜液使使用的好坏,与系统气体中H_2S的含量有密切关系。我厂所用的原料煤主要是山西阳泉块煤。其含硫量高,焦油含量也较多。这就给气体净化造成了困难。我厂投产以来变换触媒经常只能使用八、九个月;铜洗工段的带液,冒液事故经常发生,合成工段一年更换二、三次触媒。致使生产不稳定,产量低消耗高。为了征服生产大敌H_2S和焦油等,我们利用78年大修的机会在气柜出口搞了废氨水喷淋予脱硫。通过几年的生产实践证明,