球铁QT600-3疲劳极限线图的研究

通过机械性能分析以及疲劳特性试验研究,在取得QT600-3球墨铸铁材料的各种重要特性数据的基础上,计算并且绘制了有置信度的疲劳极限线图即修正Goodman图.使用材料的Goodman图能有效地提高零部件的设计可靠性和充分发挥材料潜力.     

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

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

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

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

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

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

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

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

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

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

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

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