基于微分动态逻辑的无线闭塞中心交接协议建模与验证

ETCS-2级列车运行控制系统呈现复杂的混成性。按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图;基于微分动态逻辑理论,从混成系统角度对ETCS-2级列控系统规范中的RBC交接协议进行建模。建立的RBC交接协议模型包括列车子模型、移交子模型和接收子模型。根据模型的性质,构造微分不变式,运用证明工具KeYmaera验证模型的安全性和活性。结合专业知识对关键性的约束条件进行分析并将其反馈至模型,实现模型的精化。在模型验证过程中,发现了交接安全及交接效率的参数约束条件,由此参数约束条件可知,RBC交接效率受RBC离散控制时间和列车运行状况的共同影响。     

一种虚拟样机系统设计与研究

在介绍虚拟样机原理和分类的基础上，提出一种基于场景图的虚拟样机系统结构，同时讨论了该系统实现中样机描述与模型生成、场景图动态拆分和组合、人机交互、样机零部件模型准备等几个关键技术和处理方法，用这种方法开发出基于PC机的虚拟样机系统．．     

日计划机车周转图智能编制方法的研究

给出了日计划机车周转图的约束满足优化问题模型及其智能求解算法，该模型以列车工作计划，机车技术作业时间，乘务员作息时间、１８点归位机车台数，检修机车最晚到达基本段时间及段备机车的最早可解备时间等作为约束条件。     

基于神经网络的抽油机井井下故障诊断专家系统

介绍了一种基于神经网络的有杆抽油机井井下故障诊断专家系统，从抽油泵的泵功图入手，简述了神经网络特征参数的选取，以一个故障子网为例，描述了网络结构，并举例说明了神经网络故障诊断的过程，诊断结果表明了该方法的有效性。     

面积法作平面弯曲梁的内力图

在总结内力作图方法的基础上,推导了作平面弯曲梁内力图的一种快速作图法--面积法.这种方法根据微积分关系,确定曲线的始点、形状和末点,即可直接得到不同外力作用下平面弯曲梁的内力图,简捷且易掌握.     

先张法预应力钢筋混凝土空心梁通用图简介

简要介绍先张法预应力混凝土空心梁通用图的技术指标及桥型设计，它与空心板相比具有结构先进，经济合理，便于施工等优点。     

2009年4月1日中国铁路调整列车运行图

新亮点 2009年4月1日,随着本次铁路列车运行图的调整,合肥一武汉和石家庄一太原两条时速250公里的客运专线正式开通动车组列车.两条高标准的铁路新干线分别穿越大别山区和太行山脉,随着时速250公里和谐号动车组的开行,沿途城市之间的时空距离被大大压缩,两条客运专线也成为本次运行图调整最大的亮点.