铁路信号安全通信协议中的MAC改进算法

改进铁路信号安全通信协议II(RSSP-II)中的ER层消息验证码(MAC)算法,将高级加密标准作为MAC的核心算法,使用密文分组链接方式对报文加解密,并将其运用到CTCS-3列控系统临时限速服务器测试平台的RSSP-II仿真测试中。结果表明,改进算法能够克服原算法存在的弱密钥、半弱密钥等安全隐患,具有更强的安全性与实时性。     

UML模型形式化B方法转换的实现

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。     

辽宁省土地利用综合分区研究

根据土地的利用现状、适宜性和利用方向、方针的相似性和差异性,从辽宁省社会经济可持续发展的需要出发,选择能够反映社会、经济、土地、环境等方面的4类23项指标进行聚类分析,对辽宁省土地利用进行综合分区,划分为林牧业生态发展区、辽东半岛经济发展区、中部城市综合发展区和辽西生态环境保护区。并结合各分区特点,提出其土地利用方向。该研究可为制定辽宁省土地可持续利用与社会经济协调发展方针提供科学依据。     

CTB工艺在长春市污泥处置工程中的应用

长春市北郊污泥处置厂采用CTB污泥好氧发酵工艺,发酵过程由温度、氧气等监测设备联合反馈自动控制。该工程接纳处置长春市5个污水厂的脱水污泥,处理规模为400 t/d,是目前我国正式投入运行的最大的市政污泥好氧发酵工程。污泥发酵周期为24 d,发酵产品质量符合《城镇污水处理厂污泥处置农用泥质》(CJ/T 309—2009)的要求,车间及厂界内空气质量良好,满足《恶臭污染物排放标准》(GB 14554—93)的要求。该工程的稳定运行标志着CTB污泥好氧发酵工艺在我国的绝大部分地区范围内均可适用。     

精炼LF炉变压器低压端渗油密封处理的方法

精炼LF炉35KV变压器是炼钢工艺的关键设备,一旦发生渗油事故,将对电弧加热正常冶炼带来严重影响,因此分析变压器事故原因,找出解决办法是变压器检修维护的一项重要工作。