基于描述逻辑的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.     

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

研究设计了可产生波长小于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 复合尖晶石致密带 ,阻止了渣的进一步渗透 ,减缓渣蚀速度和结构剥落 ,其使用效果优于进口的同类产品     

废氨水喷淋予脱硫

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

大化肥厂循环冷却水微生物的监测与控制工作(附表)

表1:1980年各厂异养菌检测数据统计表(个/毫升)厂名‘一,川化 }取样·…};:… {:算:柔)… 原水 补充水 循环出水 循环回水 …:::::::…i了:……… … 11次/月2一3次/周2~3尸(二)齐普1次/周该{困讼恤…>2:…:…::…;::…:::…:……::::………13:::……1次/周1 .IX 1040。ZX 10617006。IX 104l。32X 106490045X 1041。57X 10619024。3减 10‘(三)沪天化6。4X 10419。ZX 10‘5。37减 1042次/周(四)江河0X 10439002。7X 10434001。4X 1042,.2丝‘ 10,1。SX 10411 1 277042319。3X 104心802。SX 10‘…l!…川!|2020||﹄以|﹄比尸||l一|(…     

CpG-ODN对乙肝核酸疫苗及重组疫苗免疫效果的影响

目的研究CpG寡聚脱氧核苷酸(CpGODN)对乙肝核酸疫苗及重组(CHO细胞)疫苗免疫效果的影响。方法核酸疫苗实验组用CpGODN与乙肝核酸疫苗联合免疫BALBc小鼠,阳性对照组注射核酸疫苗,阴性对照组注射质粒pVAX1;重组疫苗分4个实验组,用CpGODN与不同剂量的重组疫苗配伍后分别免疫BALBc小鼠,阳性对照组注射重组疫苗,阴性对照组注射生理盐水。应用ELISA检测小鼠血清中的抗HBs水平。结果CpG与乙肝核酸疫苗组抗体阳转率比阳性对照组提高3倍,抗体水平提高2倍。CpG与重组疫苗组的阳转率和阳转时间均高于或早于CpG与核酸疫苗实验组。加入CpGODN后,即使重组疫苗用量减少3倍,诱导抗体水平和阳转率均无明显改变。结论CpGODN可提高乙肝核酸疫苗和重组疫苗的免疫效果,并使抗体产生的时间提前。     

面向移动平台的新型身份认证方案设计

各种类型的移动平台如智能手机、平板电脑、嵌入式系统快速普及,并渗透到生活和工作的方方面面,但是移动平台在带给大家丰富多彩的应用和方便快捷的生活的同时,也带来了许多新的安全问题。身份认证和接入认证是保护移动平台的第一道屏障。结合多点触控技术、重力感应技术和图形密码,设计、开发了适用于移动平台的几种身份认证方案,包括绘制曲线认证方案、图像选择认证方案、多点指划认证方案和重力感应认证方案。所设计的方案较之单纯的口令式密码,设置口令和验证口令直观方便,通过简单的操作即可产生较大的密钥空间。经分析,所提方案操作方便,安全性较高。