排序方式: 共有30条查询结果,搜索用时 15 毫秒
1.
2.
3.
4.
对目前全路大量使用的直流转辙机控制电路进行了分析,指出了其存在不符合设计规范的问题,并提出了改进方案。文中所提的改进方案均有实际使用,运行良好。 相似文献
5.
排水性沥青路面不同于开级配抗滑磨耗层,具有更为优越的功能。为获得较大的空隙率,以提高排水和降噪效果,减少堵塞,粗集料粒径由小粒径向大粒径发展,而空隙率与集料级配有关。为防止松散,提高适应重交通的能力,沥青结合料趋于更加黏稠,直投式高黏度沥青改性剂得到开发和应用。目前排水性沥青路面结构主要为单层,发展起来的双层结构更有利于防止堵塞。国内现已成功研发排水性路面养护机。在最新制订的地方性规范中,提出了以零剪切黏度代之以毛细管黏度计测试的黏度。 相似文献
6.
在介绍欧盟和我国轨道交通(铁路和城市轨道交通)行业安全相关系统开发和运营过程中存在问题的基础上,提出建立轨道交通安全相关系统安全管理规范模型的构想。该模型根据安全管理活动的过程,将安全管理模型分为制定、实施和维护3个模块。制定阶段包括计划和建立,实施阶段包括筹备和具体实施,维护阶段包括测量和审核或评审。详细叙述各阶段的主要内容和要求。 相似文献
7.
8.
ERTMS is the standard railway control-command and signaling system which aims to ensure railway interoperability throughout Europe while enhancing safety and competitiveness. ERTMS is composed of two main subsystems which include GSM-R, a radio system for enabling communication between the train and the traffic management center and ETCS, an automatic train protection system (ATP) to replace the existing national ATP systems. The ERTMS specifications are defined by means of standard documents which set out the requirements ensuring interoperability. These documents evolve regularly to give rise to successive versions. The ERTMS/ETCS standard defines different levels and operation modes according to various trackside and onboard setups and some operational conditions. Given the complexity and the high criticality of railway operation, verification and validation (V&V) are crucial tasks in railway application development.In this paper, after setting the background and the motivations, a mechanizable formalization of a subset of ERTMS/ETCS specifications relative to ETCS modes and transitions is developed. The present work aims to offer a readily available model for formal V&V. Using formal techniques to check SRS is highly recommended to tackle the complexity of the defined requirements and prevent specification errors. Model-checking technique, which is targeted here, offers exhaustive analysis of the system behavior based on its model and is highly automated, since it is supported by software tools. Based on the last available version of SRS specifications, a progressive process is undertaken to get a formal model which makes explicit the various modes characterized by their respective active functions, as well as the numerous combinations of conditions for switching between modes. The various steps guiding the translation of the SRS literal specifications into a formal model are explained. As will be shown through different examples, the obtained model is a convenient basis to check safety, interoperability and liveness properties. 相似文献
9.
茅蓉蓉 《南通航运职业技术学院学报》2014,(4):42-44
文章对15000DWT散货船货舱区域进行全纵骨和全横骨两种骨架形式的结构规范设计,并针对两种骨架形式分别计算货舱结构的总纵强度,最后对两种骨架形式进行了比较,为船舶设计中骨架形式的选取具有一定指导和借鉴意义。 相似文献
10.
概述废轮胎橡胶沥青在美国的发展与应用情况,在大量文献的检索与整理中,介绍了废轮胎橡胶粉多种制作工法、相关检测规范及质量控制指标,讨论了今后我省废轮胎橡胶沥青应用研究方向。 相似文献