国内甲烷氯化物市场前景分析

根据对国内二氯甲烷和三氯甲烷的生产和消费情况的分析,并结合美国和欧盟对二氯甲烷和R22的限用和禁用情况,认为国内甲烷氯化物市场正在进入逐渐萎缩的阶段,甲烷氯化物行业已经走过发展期,正在进入过渡期。     

基于二维元胞自动机的双向触发并行加密模型*

根据二维触发元胞自动机的特性,提出了一种二维元胞自动机双触发并行加//解密模型。仿真实验表明:与一维耦合触发元胞自动机相比,二维元胞自动机双触发并行加密模型在适度减慢加/解密速度的情况下,大大提高了密钥空间,具有极高的时间换空间的效率,很好地提高了健壮性和实用性。     

基于Spin的Rdt2.2及其改进的形式化分析

用Promda语言对滑动窗口协议中的Rdt2.2模型进行了描述,通过Spin对该描述进行了形式化分析验证,并发现存在一个死锁.进而对该协议进行改进,采用添加定时器的方法解决了死锁问题,通过这种形式化验证增加了协议的正确性和可靠性.     

循环注气管线系统的吹扫试压

对宝中某循环注气地面建设工程管线系统吹扫试压方案进行编制,并进行施工风险分析。新建油气管线强度试验压力为设计压力的1.5倍(设计压力为6.0 MPa),泄漏性试验压力为设计压力值,具体应按照《天然气集输管道施工及验收规范(SY0466—97)》的要求进行。吹扫试压的风险防范措施有:用经检验合格且在有效期内的压力表;安装盲板时,应根据现场情况选取型号适宜的盲板;使用检验合格的控制阀门;按质量控制程序验收材料;检查打压胶管的老化程度。     

基于中间件的分布式网络异常检测系统

文章介绍了网络异常的概念和思路,然后对中间件技术做了分析比较,重点提出了一种基于中间件的分布式网络异常检测系统。该系统采用CORBA实现分布式交互,能对网络异常进行分布式检测,与单点异常检测系统相比具有更高的实时性和处理数据的能力,对大型网络效果更好。本系统通过MIB变量相关联地剧烈突变来检测异常的发生。CORBA标准定义的比较完善的安全体系结构使本系统自身的安全性得到了保证。     

面向指挥系统与仿真系统的桥接技术研究

针对指挥系统与仿真训练系统的运行机制、实现机理、技术规范和应用需求的差异,指挥系统与仿真系统的互联问题制约着基于信息系统的指挥对抗训练,构建融“导”、“控”、“仿”、“裁”、“评”等功能为一体的综合训练环境是一种迫切需要.采用基于主动感知的数据转换方法、基于模板的信息智能交互方法和异构系统集成方法等构建桥接系统,并从数据转换桥接、时间管理桥接、导调监控桥接、指挥命令桥接和互联规范桥接等方面实现指挥系统与仿真系统互联、互通.桥接系统的应用实践表明系统能够满足战训一致的要求,很好地解决了战场态势生成难、作战行动仿真难和作战数据共享难等问题.     

一种改进的正负关联规则挖掘算法

针对传统正负关联规则挖掘算法需要多次扫描数据库并且生成大量候选频繁项集的问题,在对比目前相关研究成果的基础上,提出了一种改进的正负关联规则挖掘算法,它通过两次数据扫描完成对正负关联规则的挖掘,对最大频繁项集的挖掘算法做了改进,有效提高了算法效率,同时对置信度标准做了改进。基于某真实事务集的实验表明,算法提高了规则挖掘的质量和有效性。     

特洛伊木马程序SubSeven使用记录

该文在阐述特洛伊木马定义及其危害的基础上,从服务端和主控端两方面入手研究了木马程序SubSenven所具有的功能及使用方法,并对使用SubSeven的过程进行了记录,最后总结并提出了木马的各种攻击手段和主要预防措施。     

一种地球站异常检测系统的设计与实现

随着卫星通信网的推广,其安全性越来越重要。针对卫星通信网中可能出现的严重威胁其自身安全的地球站被盗用或伪造等问题,提出了地球站行为异常检测的概念,采用聚类分析和模式匹配相结合的检测方法,设计并实现了一个卫星通信网地球站异常检测系统。提出了一种改进的KFCM聚类异常检测算法,该算法可获得局部最优划分。实验结果表明,改进后的算法具有更好的聚类效果,系统达到了较好的检测性能。