基于动态故障树的计算机联锁系统可靠性及性能分析研究

国内外关于动态冗余结构系统可靠性分析问题的主要方法是马尔科夫模型,然而,对于二乘二取二的相对复杂的冗余系统,使用马尔科夫模型进行分析时,其状态空间的规模与双机热备系统相比具有较大增长,致使其建模过程及求解过程十分繁琐.本文旨在使用动态故障树方法对二乘二取二系统的可靠性分析进行建模与求解,同时通过可靠性和安全性曲线,与双...     

基于形函数的隧道衬砌内壁影像展平方法及其应用

通过透视变换和四边形八节点形函数变换2种平面变换方法即可建立影像像素与展平坐标系之间的关系,生成基于影像的展开图,提出一种基于形函数的隧道衬砌影像展平变换方法。通过数值模拟测试,得出展平照片的误差分布以及不同拍摄位置对误差的影响。最后通过案例给出方法实际应用的效果。结果表明：基于形函数变换的展平方法反需要衬砌表面照片及照片中8个控制点的展平坐标即能建立隧道影像与展开平面之间的坐标关系。该方法所产生的误差很小,具有较高的实用性。     

利用控制图实现对计量标准稳定性的控制

控制图是判断测量过程是否处于统计控制状态的一种图形记录。分析控制图的原理,运用控制图对轨距尺检定器检定装置和万能工具显微镜的稳定性进行考核,说明通过控制图表现的测量过程正常和异常情况。指出对于准确度较高且比较重要的计量标准,如有量值稳定的被测对象,宜采用控制图对计量标准的稳定性进行连续和长期的控制。     

干式变压器三维布置图结构设计

用Inventor软件进行干式变压器三维布置图结构设计,由干式变压器的基本结构入手,将传统的二维CAD设计与三维立体设计相结合,开发了一种全新的利用三维布置图建模,自上而下的干式变压器设计体系,完成设计体系之后,相近结构、容量的干式变压器可通过更改参数进行图纸更新完成设计。     

基于Timed-UML顺序图的RBC交接形式化建模与分析

在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。     

进路搜索数据结构与算法研究

在深入研究站场信号平面图的基础上,对站场信号平面图建立有向无环图的模型,阐述一种在有向无环图中动态生成二叉树的进路搜索算法。验证算法的有效性和实用性。     

论《铁路箱梁预制场平面布置》通用参考图及其编制

作为铁路最大的大临工程的预制场,平面布置是其规划的基础工作,为实现预制场平面布置的规范化和标准化设计,中铁五院编制行业通用参考图《铁路箱梁预制场平面布置》(通桥2009-8301)。结合中铁五院主持的铁道部重点科技发展规划项目《客运专线预应力混凝土简支箱梁预制场工业化的研究》(2006G016)科研课题和对预制场的平面布置经验,对《铁路箱梁预制场平面布置》的主要内容及注意事项进行了论述,以期更好地对通用参考图进行宣贯和释义。     

车载永磁发电机的研制

介绍了一种新型车载永磁发电机的研制过程。该电机和发动机形成一体,其设计方法有别于常规的发电机。采用电磁场的计算方法,根据静态气隙磁场分布状态调整该电机结构参数;用实际运行状态进行仿真,计算全调速范围内的输出特性,为HEV(混合动力汽车)的动力供应策略选择提供其输出能力Map图。     

关于正则图的独立数的一点注记

给出n阶k-正则图独立数的界限，并着重讨论了其界的可达性问题。     

浅谈"材料力学"教学中梁的内力图绘制的几点技巧

在"材料力学"课程中,快速绘制梁的内力图应把握几点技巧. 在材料力学课程教学中如何教会学生"快而准"地绘制梁的内力图尤为关键.