基于时间自动机的跨界临时限速建模与分析

针对高铁列控系统实际运行中的需求,基于时间自动机理论,对高铁列控跨界临时限速进行建模分析,利用UPPAAL验证工具,对跨界临时限速信息的安全性和受限活性进行验证,并确认结果。     

临时限速服务器安全通信协议研究

临时限速服务器（TSRS）是中国列车运行控制系统（CTCS）重要组成部分,针对TSRS相关的安全通信协议进行分析,围绕TSRS安全通信协议的结构、功能及其安全性进行论述。TSRS设备在与外部设备接口间采用的RSSP-Ⅱ铁路信号安全通信协议可有效提高数据传输的安全性,为整个系统提供最基础的安全保障。     

越野车的鼻祖--威利斯

人们最初认识越野车,往往都是从吉普开始的,甚至许多人会把“三菱”、“丰田”、“五十铃”等一些品牌的越野车统统称为“吉普”。其实,“吉普”本意为“Jeep”汽车,是克莱斯勒汽车公司的一个越野车品牌,只是由于“Jeep”在第二次世界大战中的知名度高,加之后来各种品牌的越野车模仿着“Jeep”逐步发展起来,因此国内习惯将两厢式越野车统称“吉普”。其实,“越野车”是更宽泛的称呼,它是包括“Jeep”在内的一种汽车类别的总称,其的特点是4轮或更多车轮驱动,底盘离地距高,通过性能好,是专为在恶劣地形行驶而设计的,多用作于勘探、科考、探…     

应用铁谱仪测量气缸套磨损研究

气缸套的磨损状况是影响军用车辆发动机寿命的重要因素,目前主要的方法是通过测量气缸套磨损量来预测发动机的寿命,本篇主要描述一个应用铁谱仪进行发动机磨损分析计算的例子,并验证了其科学性和可行性。     

三体船连接桥新型结构形式研究

三体船连接桥连接主船体与侧船体,直接决定着三体船横向强度和扭转强度,是三体船结构设计中的关键。针对在传统设计中,连接桥与主体及侧体连接处极易出现应力集中的现象,文章提出一种新型的靴式箱型连接桥结构,通过与传统连接桥结构的对比研究发现,此结构不仅使抵抗横向弯矩与扭转弯矩的能力显著提高,应力集中现象明显好转,而且结构重量也有所减轻。此结构为三体船等多体船连接桥的结构设计提供了新的思路。     

基于HHGA-RBF算法的网络态势预测模型研究

安全态势评估作为网络安全态势技术的重要组成部分,对于最终决策的制定起着关键作用。目前关于安全态势评估的研究较为热门,但尚不成熟,其中安全态势预测更处于起步阶段。在对现有网络安全态势评估方法和技术进行调研分析基础上,基于对当前网络安全态势的数据分析,得到量化后的离散数据点,研究得出这些离散数据点在时间轴上具有非线性分布的特点,提出了一种基于HHGA-RBF算法的网络安全态势预测模型,对态势评估输出的数据,采用预测模型对安全态势的发展趋势进行预测。根据网络安全态势的实际特点,对该算法进行了改进,详细讨论了具体的预测算法和执行过程。最后,设计并实现了军用网络安全态势评估软件系统,实现了网络态势预测。