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

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

二氯苯系列产物的气相色谱分析

介绍了在相同条件下分析对二氯苯、邻二氯苯、间二氯苯、1，2，4-三氯苯和氯化苯的气相色谱法。该法采用灵敏度为10^8的1002气相色谱仪或其它类似色谱仪、氢火焰离子化检测器，在选择有机皂土和己二酸乙二醇酯混合固定相(有机皂土：6201担体=5：100；己二酸乙二醇酯：6201担体=5：100)的质量比为(1．6～1．7)：1时，能够有效地分离上述几种组分，从而可以对上述组分进行同时分析。其检出限在10^-6～10^-7之间,线性范围在10^-6～10^-3之间，便于产品检验和环境监测。     

基于改进卡方统计的微博特征提取方法

通过对微博文本特征信息的分析与研究,提出一种基于改进卡方统计的微博特征提取方法。扩充微博信息分类特征,在传统的卡方统计量的基础上,引入了频度等因素,改进特征选择方法;在传统的特征项权值计算的基础上,提出了新的改进卡方统计量的方法,改进权重计算效果。对上述方法利用经典KNN和SVM算法进行了测试,实验结果表明该方法提高了微博信息分类的准确率。     

废氨水喷淋予脱硫

在小氮肥企业中,保护和使用好变换触媒,合成触媒和醋酸铜氨液是保证正常生产的一个重要的环节。而两个触媒一个铜液使使用的好坏,与系统气体中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一|(…     

旋转设备振动故障的分析与判断

文章以一次励磁机振动超标，通过应用振动频谱分析手段，准确、快速地判断旋转设备振动故障的实例，说明了采用先进的设备状态检测和故障诊断技术，有利于分析判断故障原因，缩短检修工期，达到快速消除设备缺陷、提高检修效率、降低检修成本的目的。     

基于TOPSwitch-GX芯片的开关电源设计

以电能质量监测装置的电源设计为例,介绍了一种基于TOPSwitch-GX芯片的多路输出开关电源的设计过程,并阐述了其工作原理。先利用单片开关电源设计软件PI Expert进行设计,然后再根据需要进行修正设计,从而提高电源的成功率和准确性。增加辅助反馈调节,可以提高开关电源的交叉负载调整率,同时将线性三端稳压器和开关电源相结合,可以提高电源输出的稳定性。实验结果表明该电源输出稳定,工作可靠。     

海军航空兵机动转场辅助决策系统设计与实现

针对海军航空兵部队实施机动转场时需要完成的选择转场飞机、确定物资携行量、物资装载和调配运输资源这四个关键决策任务,在充分需求分析的基础上,讨论了模型构建规则和系统功能要求,提出了辅助决策系统的设计方案,并利用面向服务的体系结构和Web Service开发技术,给出了系统实现方法.应用结果表明该系统具有先进的技术体系,稳定可靠的运行结果,为科学生成机动转场预案提供了新途径,从而提高飞行团机动转场决策能力.