钢筋混凝土板应力计算的迭代方法

研究目的:异形板或受力复杂的混凝土板的配筋问题一直困扰着工程设计人员,而配筋不合理又是产生裂缝影响结构正常工作的一个主要原因.在采用允许应力法进行钢筋混凝土板设计时,配筋问题实际上可归结为给定外力条件下的应力计算问题,为解决这个问题提出了一种通用算法.研究结论:该算法的要点是在2个主弯矩方向上分别建立平衡方程,并采用迭代法求解非线性方程组,计算钢筋和混凝土应力.大量计算实例证明了该算法的迭代过程收敛快,结果准确,并能很好的模拟板在受力中的一些特殊行为.该计算方法在实际设计中,可计算出各荷载工况作用下所需主筋和辅筋的理论面积,进而得到钢筋面积包络图用于实际配筋.     

地质雷达测试技术研究

论述了地质雷达的工作特性与工作原理,分析了介质因素对雷达检测的影响,归纳了隧道检测典型缺陷对应的雷达图,应用地质雷达检测,可以从地质因素对隧道病害进行辅助分析。     

从协调性看轨道交通建设规划编制要点

以新的视角诠释建设规划编制中需要关注的要点问题,提出协调性是建设规划关键点,编制过程中需要体现工作流程、规则、关注、协调的关系,构建了以协调性为核心的五要素（其他还有政策性、经济性、工程性、控制）组织关系图。结合昆明、成都的编制实例,重点从规划协调、机制协调、供需协调、自身体系协调等多方面,说明协调性是编制的核心目的;提出要关注规划体系的一致性、规划的程序性和公众性、交通供需协调与投资能力的匹配性、工程方案的合理性、系统规模和选择的可靠性、投融资方案的合理及可操作性等问题;同时从国家和地方两个层面分析建设规划所具有的公共政策性特点,讨论需要特别关注的经济及风险控制等问题。     

宝钢初轧场道口报警异常分析处理

宝钢初轧场计算机联锁区24#道口2009年投入使用,在运用中发现存在道口报警异常的情况,道口平面布置图如图1所示。列车沿初轧2线上行通过道口,出清BG,但未出清4G时,当另一辆列车沿初轧1线下行至55BDG,道口不报警,直至行驶至CG,道口才开始报警,这对道口的安全行车造成了极大的隐患。     

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

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

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

通过透视变换和四边形八节点形函数变换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子系统的实时性以及设计规范合理性的验证目的。     

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

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