一种基于场景的CTCS-3列车控制系统建模方法研究

对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法。首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型。使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型。     

Experimental Research on Early-Age Property of High-Performance Concrete Column by Embedded Sensors

This paper aims at monitoring the autogenous shrinkage (AS) of a high-performance concrete (HPC) column specimen using an embedded strain gauge just after concrete pouring. A real size specimen (40 cm x40 cra x 100 cm ) was made to simulate the structural members in construction site. The results show that the amount of HPC AS is comparable to that of drying shrinkage and even larger than it, so AS can not be omitted for HPC. By comparing the plain I-IPC and reinforce, d HPC specimens, the influences of reinforced bars on autogenous shrinkage and temperature distribution were obtained.     

电动汽车绝缘电阻测试系统的研究

介绍了电动汽车绝缘电阻测试的基本原理,设计了电动汽车绝缘电阻测试系统。该系统能够根据被测试对象的绝缘电阻范围自动选定测试挡位,符合GB/T18384.3-2001电动汽车安全要求,实验数据表明:系统工作稳定、数据重复精度高,为提高和改善电动汽车用的绝缘性能提供参考。     

截水槽法治理隧道渗漏水施工技术

截水槽法是隧道水害整治中一种方式,结合合巢芜高速公路试刀山,高山隧道病害整治工程,介绍了截水槽法工作原理、在不同的条件下应使用的截水槽类型及截水槽的施工工艺、注意事项,给类似工程提供借鉴。     

基于应用环境的路用压电俘能单元尺寸优化与性能评价

为提高路用压电发电装置内部堆叠式压电俘能单元在电-力-环境方面的综合性能，基于电学理论优选了压电俘能单元结构尺寸范围，基于应用工况的力学响应优选了力学特性良好的压电俘能单元结构尺寸，系统研究了不同道路交通条件下不同结构尺寸路用压电俘能单元电学性能，揭示了不同道路温湿环境下压电俘能单元电学性能变化规律，探明了不利循环交通荷载条件下路用压电俘能单元抗疲劳性能，并明确了路用压电俘能单元极限抗压强度。结果表明：堆叠式压电俘能单元电学性能及力学特性受其结构尺寸影响明显，兼具较高电学与较优力学特性的压电俘能单元尺寸范围为直径15 mm、厚度30 mm、堆叠层数25~30层(Φ15-30 mm-25~30)，其中Φ15-30 mm~25压电俘能单元在不同道路交通条件下电学输出水平更高，3.5 kN~8 Hz工况下其输出电压和输出功率可达176 V、192.2 mW；20℃~60℃温度范围内其输出电压变化率为17.9%，而50%~100%湿度范围内其输出电压变化率达84.1%，实际应用中可适当采取一定的封装隔温保护及必要的封装隔湿保护；压电俘能单元抗疲劳性能良好，3.5 kN~8 Hz不利交通组合、10万次循环加载后其输出电压最大变化率仅为1.2%，最大变形量仅为1.8 mm；压电俘能单元极限抗压强度达188 MPa，远高于道路荷载水平，能够满足道路应用要求。研究结果可进一步提高路用堆叠式压电俘能单元综合性能，推动道路压电发电技术实际应用进程。     

船舶留置权对商事留置权的适用

为更好地解决船舶留置权能否适用商事留置权的问题,通过对比、分析理论界学者的不同观点,并结合司法案例中的裁判理由,提出船舶留置权适用商事留置权的理论依据,认为商事留置权制度是对船舶留置权制度的补充,船舶留置权适用商事留置权有利于充分保护船舶留置权人利益,顺应司法审判趋势,促进航运业发展。建议司法实务中,船舶留置权人可以依据商事留置权对当事船舶的姊妹船行使留置权,也可以对欠交修船费、造船费的债务人的船舶行使留置权;商事留置权产生与船舶留置权同样的法律后果。     

船舶振动噪声控制实例分析

介绍某船舶在设计建造过程中的振动噪声控制，分析其噪声与振动指标，并对船舶噪声与振动控制方法进行了较详细的论述，同时参照相关标准，对噪声与振动水平进行评价，为相关船型的噪声与振动控制提供参考。     

世行和亚开行对中国铁路效益评估的借鉴

我国铁路项目经济效益评估方法存在较多问题,如无法完全涵盖项目产生的效益范围、部分参数指标难以计量等,已无法适应当前铁路行业尤其是高速铁路的快速发展.从评估流程及所需指标等方面对世界银行、亚洲开发银行及中国的铁路经济效益评估方法进行总结对比,分析各方法的优缺点并指出我国可借鉴之处.基于此,提出新的适用于我国铁路项目经济效益的评价办法,新方法基于交通预测,更侧重量化由环境因素引起的费用和效益,同时注重项目分配效果和项目周期内的环境、可持续性风险处理等问题,具有一定理论和实践价值.     

综合船桥系统跨代研究

文中通过对综合船桥系统调研,包括对综合船桥系统的发展历程,现代综合船桥系统的基本组成及关键技术和不同时期国内外综合船桥系统典型产品,对综合船桥的跨代划分做一个洋细研究,尤其是第三代和第四代综合船桥做了详细说明,了解世界IBS的发展速度及发展趋势,以便能对国内综合船桥系统的研发起到一定的帮助作用。