基于Petri网列车群模型的列车运行冲突分析

列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色Petri网的形式化定义,定义变迁使能和触发规则及状态转移函数;基于赋时着色Petri网,以库表示车站/闭塞分区,托肯表示列车,建立列车群模型,为冲突检测提供模型基础。在经典Petri网冲突定理的基础上,结合库容量约束和时间间隔约束,提出列车运行冲突判定定理,并证明该方法的正确性;在此基础上,设计基于可达树的冲突分析方法,并以太原铁路局部分线路为例,通过实例介绍列车运行冲突和进路冲突检测分析的方法。基于Petri网的列车群模型为铁路系统冲突分析问题的处理提供新的途径。     

转K7型转向架连接杆连接方式的探讨及改进建议

大秦线主型重载货车之一的C_(80)BF型运煤专用敞车,装用转K7型转向架,其较为特殊的轮对径向装置,主要由左、右2个U形副构架通过2个连接杆与圆销连接而成。目前列检发现多起连接杆圆销窜出及开口销折断、丢失,对车辆运行安全构成较大隐患。探讨连接杆连接方式的优化,以提高车辆的整体运用性能。     

HB6790型客车车身及车架的有限元分析

介绍了客车车身及车架结构分析有限元模型的建模手段，并对HB6790车旁及车架的静动特性进行了分析，针对设计中存在的问题提出了改进建议。产品定型试验表明计算分析的正确性。     

机械摊铺基层的质量控制

1推行试验段施工制度 (1)验证混合料的的组成设计; (2)确定各种施工参数(松铺系数、含水量、水泥剂量、压路机、摊铺机的相关操作系数); (3)施工工艺流程; (4)施工组织; (5)进度控制.     

端部集中载荷与分布载荷作用下柱体的稳定性问题

用能量法对同时承受端部集中载荷与分布载荷作用下柱体的稳定性问题进行了研究，分别考虑了：①分布载荷为始终沿轴线方向的“非保守型分布载荷”和始终沿初始轴线方向的“保守型分布载荷”；②端部集中载荷与分布载荷是彼此独立的和成比例的，以便使本文的推导及求解更加符合工作中的实际问题，所得结果表明，本文提供的求解公式的收敛的，且收敛速度相当快。     

中国土木工程学会城市公共交通学会2005年技术专业委员会年会工作报告

各位来宾、朋友们：今天，我受中国土木工程学会城市公共交通学会技术专业委员会委托，向到会代表作《2005年技术专业委员会年会工作报告》，《报告》分两大部分：第一部分总结2003年以来的工作，第二部分汇报2005年工作计划和设想，不当之处，请大家指正。     

Kinetic characteristic for a synchronal rotary compressor

The synchronal rotary compressor is si mple instructure,but it has stronger adaptability for a vari-ety of working medium,so it is a good type as aircompressor,oil pump andrefrigerationsystemcom-pressor.The geometric theory and structure charac-teristics of this mechanis m are introduced[1].Itgives the designing background for the synchronalrotary compressor.The calculational methods of arotary speed of cylinder and relative speed bet weenthe cylinder and bladed rotor are deduced in detail;the…     

ISO14001标准在监理工作中的具体应用

结合监理工作实际，对ISO14001标准在监理工作中的具体应用进行了简要概述，仅供参考。     

肥胖青少年糖和脂代谢的变化

目的　观察肥胖青少年糖、脂代谢的变化及特点,探讨肥胖对青少年糖、脂代谢的影响。方法　对194名学生进行了OGTT(75 g葡萄糖)及胰岛素释放实验,测定血脂、空腹和餐后2 h血糖、胰岛素水平,计算胰岛素敏感指数。结果　肥胖青少年空腹及糖负荷后血浆胰岛素水平高于正常体质量青少年,脂代谢状况明显比正常体质量青少年差,平均血压明显高于正常体质量青少年。结论　青少年在肥胖早期即存在糖、脂代谢异常及胰岛素抵抗,因此青少年超重可能对成年早期动脉硬化的发生有影响,从而可能影响成年以后的病死率和死亡率。     

基于最优化思想的城市交通流分配

介绍了用矩阵迭代法求最短路径问题．该方法与现在经常应用的Dijkstra算法（即标号法）相比，具有计算简单且计算量小的优点，能够在求得任意交通节点之间的最短距离的同时显示出所走路径，这是其他算法所不具备的突出优点．给出了矩阵迭代法求最短路径的具体方法，以某中等城市为例进行了最短路径的寻优和交通流分配，该实例证实了该方法的应用价值．