基于STPA方法的平交道口安全需求分析

现代平交道口控制系统多为由计算机组成的基于通信的控制系统,该类型系统中的危险致因大多源于系统组件间的复杂交互场景未得到充分辨识和控制。为了避免平交道口事故的发生,提出一套基于系统理论过程分析(STPA)的铁路信号系统安全分析方法。借助对传统STPA方法的改进及XSTAMPP软件,以平交道口控制系统为案例进行了安全分析。研究结果实现了安全需求可根据危险分析结果自动生成,解决了传统STPA过程过于依赖人工的问题;分析得到的平交道口控制系统安全需求被自动转化为线性时序逻辑(LTL)语言描述的形式化规范,避免了传统STPA分析结果用自然语言描述可能存在的歧义性,为基于模型的系统设计、测试和验证提供参考。     

全重矿渣集料水泥基透水砖配合比优化设计

系统研究以武钢重矿渣为主要原材料的全重矿渣集料水泥基透水砖的配合比优化设计.实验主要通过分析硅灰、水胶比、空隙率及砂石比这4方面对全重矿渣集料水泥基透水砖性能的影响,进而对透水砖配合比进行优化.结果表明,当硅灰替代率为胶凝材料的5. 0%、水胶比w/c=0. 23、空隙率为13%、砂石体积比为1:1时,全重矿渣集料水泥透水砖各方面性能最佳.     

智能铁路2.0体系框架及其应用研究

面向智能铁路系统未来的发展需求与挑战,提出智能铁路2.0的发展目标、定义及技术体系框架.重点研究智能铁路2.0的逻辑、物理体系框架及关键技术,提出系统发展水平的评价指标及发展路线,并对我国现阶段智能铁路典型的应用研究进行介绍总结.     

对邓小平几个著名论断和举措中“人”的观点的解读

邓小平理论中"人"的观点在其整个理论体系中占有重要的位置,邓小平很重视改革开放中的"人",本文从历史的角度和视野研究了邓小平的几个著名论断和举措,并从中概括出了邓小平"人"的观点的主要构成:公平地对待人,全面地发展人;保证人的选择,满足人的需要;尊重知识,尊重人才,它充实了马克思主义"人"的理论。     

概率模型检验的CBTC系统通信协议的形式化验证

通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证.分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范.结果证明,当信道正常概率为99%,系统无延时概率为99%时,通信协议失效率小于1.5×1010.说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了.     

MC68332的TPU应用于高速列车测速

介绍了测速的若干方法 ,详述了用MC6 8332的TPU模块测速的基本原理和实现 ,对不同的测速方法进行了详细的比较 ,显示了用TPU测速尤其在高速情况下的优势 .其中还简述了TPU测向的方法 .     

MC68332在列控车载设备中应用的研究

根据列车运行控制系统车载设备对系统微处理器的要求 ,分析了MC6 8332的特点 ,并设计出基于MC6 8332列控车载设备总体结构以及系统主机结构 .最后给出应用MC6 8332实现系统内部消息安全传输的方法     

一种基于分治策略与位运算的频繁项集挖掘算法

为提高挖掘频繁项集的效率,在垂直数据格式下,结合分治思想提出一种基于分治策略与位运算频繁项集挖掘算法DC-FIMBII。利用分治将数据库中的事务划分为多个非重叠部分,对每一部分采用位运算求交计算支持度,从而减少操作时项集的规模和项集的比较次数。在mushroom、pumsb_star和T40I10D100K等数据集上,对DC-FIMBII、Apriori、Eclat、DF-FIMBII等算法进行比较。实验表明,DC-FIMBII具有更高的效率。     

略谈东固革命根据地的经济政策

本文论析了土地革命时期吉安东固革命根据地的金融、商业、工业与土地政策，指出有效的经济政策打破于敌人的经济封锁，为东固革命根据地的巩固与发展打下了坚实的物质基础，为赣西南及中央革命根据地的建立创造了条件。     

(Lal-xSmx)2/3Sr1/3MnO3材料的巨磁致伸缩及磁电阻效应

采用溶胶凝胶法制备了一系列的多晶(La1-xSmx)2/3Sr1/3MnO3样品,X射线衍射研究表明,随Sm含量的增加,样品出现从菱面相向正交相结构的转变,在低温下观察到一定Sm含量的样品具有约-180×10-6大小的磁致伸缩和320%的磁电阻效应,在室温下,样品的磁致伸缩和磁电阻随Sm含量的变化有类似的关系.