CTCS-3级列控系统避撞协议的建模、设计和实现

CTCS-3级列控系统中的车载设备和RBC之间通过避撞协议进行协调控制。根据列车避撞安全需求,采用安全UML中的安全用例图和安全类图表示避撞协议模型,实现在任意时间间隔内,列车运行速度不超过期望速度,并且列车位置永远不能越过行车许可(MA)的安全功能。避撞协议的安全功能通过连续避撞策略和离散避撞策略的形式化精化实现。前者给出了列车速度和位置为连续变量的情况下,避撞协议的静态结构、动态交互和连续控制策略;后者利用离散逻辑实现了连续避撞策略的离散化。通过对离散避撞策略的进一步精化,生成避撞协议的实时程序代码。严格的形式逻辑WDC*的推理保证了连续避撞策略、离散避撞策略和最终代码精化的正确性和安全性。     

亚氯酸盐制备二氧化氯的pε-pH图分析

在三元氯氧化物平衡基础上，建立了包括HClO2,ClO2^-,HOCl,OCl^-,Cl2(aq)和Cl的多元氯氧化物pε-pH图，探讨了标准状态下电子活度（pε）和（pH）对ClO2制备的影响，采用Cl2(aq)和ClO2^-制备ClO2时，理想的PH条件是1．35－1．94，pε大于23．31；当采用Cl2(g)与ClO2^-溶液直接接触制备ClO2时，由于Cl2歧化为HOCl的反应时间缩短，可以抑制副产物的形成，实际生产不可能制备绝对纯净的二氧化氯。     

航海专业教学中的生力军——轮机仿真训练器简介

对学生进行实践能力的培养是工科院校特别是航海类院校专业教学的重要组成部分。所谓轮机仿真训练器，是采用与船舶机舱完全相同或基本相同的操作控制盘台，以计算机技术为核心，实时模拟机舱真实操作环境的各类工况及操作后果。使受训学员仿佛置身于真实的现场环境，通过轮机仿真训练器的训练，达到迅速掌握或基本掌握机舱各类设备的操纵、监控、故障排除等目的。     

ASP技术在设备运行状态实时监测系统中的应用

介绍了Web服务器与数据库连接的不同方法，分析了ASP技术的特点和处理模式。并在此基础上，提出了利用ASP技术来实现设备运行状态监测的方法，结合港口装卸桥运行状态实时监测系统的开发实例，阐述了ASP技术在设备运行状态监测系统中的具体应用，并给出了Web服务器端的程序和用户端自动更新网页的方法。     

关于重构猜想的部分结果

证明了ｎ＝６时的色猜想：给出ｐ阶图Ｇ的ｐ个主子图Ｇ１，Ｇ２，Ｇ３，…，Ｇｐ，其中Ｇ１，Ｇ２，…，Ｇ５中的点Ｖ１，…Ｖ６未标定，占Ｖ７，…，Ｖｐ标定；Ｇ６，…，Ｇｐ中的点全不标号，则Ｇ可由Ｇ１，Ｇ２，…，Ｇｐ在同构意义下唯一重构。     

机载LiDAR在电力巡线中的应用研究

本文介绍了机载雷达系统的工作原理,并对其在电力巡线中的应用进行了研究。结果表明:机载LiDAR系统用于电力巡线可大幅提高电力巡线效率,有效提高电力巡线的精度;电力线走廊的LiDAR点云数据对实时工况危险点检测以及大风、高温和覆冰等模拟工况危险点检测有较好的检测效果,有效保障输电线路的安全运行,并为机载LiDAR创造性地应用于电力设备的施工和监理提供技术指导。     

高速公路交通流参数实时预测AML法

探讨了用于高速公路交通流参数实时预测类型，提出了交通流参数的线性神经网络方法，且利用该法对交通量、时间占有率和点速度的实时预测进行了应用性研究。     

素数阶循环图与经典Ramsey数R(8,17)和R(8,19)的新下界

研究了素数阶循环图的基本性质,提出了寻求有参效参数构造正则循环图的新方法,得一了２个经典Ｒａｍｓｅｙ数的新下界：Ｒ（８,１７）≥７０２,Ｒ（８,１９）≥７７０。它们超过了目前已知的最好下界Ｒ（８,１７）≥６０２和Ｒ（８,１９）≥６８４。     

有星翼，一路畅通 日产星翼导航系统

记得数年前听周华健的《明天我要嫁给你了》时.总无法理解"要不是每天的交通烦扰着我所有的梦"那句歌词。如今.每当我驾驶汽车拥堵在北京的车流中时,终于明了那歌中所唱的滋味儿。不过.近日日产公司发布的一项新技术.有望使上述的堵车情形发生改变.让我们不再被交通所烦扰。