铁路信号系统软件测试建模方法

针对铁路信号系统软件测试模型不能系统地描述测试需求的问题,提出风险时间状态机建模方法. 首先,分析铁路信号系统软件测试建模的特点,并提出建模需求;然后,以有限状态机理论为研究基础,在有限状态机的变迁和状态中分别扩展出时钟和风险等级元素,提出风险时间状态机建模方法,满足功能逻辑、时间约束和风险等级3个方面的建模需求,采用Z规格说明语言给出风险时间状态机的形式化定义和格局转移机制;最后,以计算机联锁系统中的道岔转换功能为例,建立风险时间状态机测试模型,并与时间自动机建模方法进行了对比,结果表明,建模方法上,所建立风险时间状态机比时间自动机节省62%的变迁数,描述能力更强,能够满足铁路信号系统软件测试的建模需求.      

深溪沟排水洞工程围岩分类研究

国电大渡河流域深溪沟水电站的附属工程深溪沟排水洞工程围岩环境复杂,通过RMR、Q、水电规范等手段进行排水洞复杂围岩进行了施工期间围岩分类技术,为隧洞工程尤其是复杂地质条件下围岩分类提供简单易行的方法和信息化施工依据。     

宝马与凯迪拉克角逐特斯拉抢夺电动车市场

<正>—直以来特斯拉独步电动汽车市场,如今,宝马、凯迪拉克等豪车品牌也加入了这个市场的竞争。为了不落后于特斯拉,宝马新增试点,计划用i3电动汽车代替ActiveE电动汽车来扩张汽车共享计划。凯迪拉克则致力于推动升级经销商店的展示厅,与现代化接轨。豪车品牌谁能逐鹿电动汽车市场,让我们拭目以待。     

世界主要汽车燃油经济性测试循环的对比研究

给出了世界主要国家和地区汽车燃油经济性限值,阐述了美国、欧盟(中国)、日本汽车燃油经济性测试循环和计算方法,并利用碳平衡公式将美国、日本乘用车燃油经济性限值换算到欧盟NEDC工况进行了比较.对比结果表明,目前,日本汽车的燃油经济性最为严格,欧盟(中国)次之,美国最为宽松；2015年以后,欧盟汽车燃油经济性标准的提高速度将超过日本,成为世界上最为严格的汽车经济性标准.     

成都市宜居水岸工程市级示范段生态化河堤行洪能力分析

成都市宜居水岸工程市级示范段主要涉及由中心城区南河、浣花溪、干河、西郊河四条河道组成的区域水网,汇流条件复杂。通过建立数学模型,模拟河岸生态化改造后的河道行洪情况。经分析表明,示范段生态化河堤行洪能力总体上可满足相应防洪标准,并对河堤生态化改造提出针对性意见。     

温度对离合器性能影响的研究

离合器作为整车传动系不可或缺的零部件,其使用故障多数为高温烧蚀,所以有必要深入了解温度与离合器性能之间的相互关系,找出影响离合器表面温度的因素和温度对离合器性能的影响,为整车离合器匹配设计提供支持。     

分层海模式中内波对潜体的作用力

以近似潜艇的细长回转体为模型,在线性分层海模式的不同水深和模态中,利用边界元方法计算了内波对潜体的一阶垂荡波浪力和一阶纵摇波浪力矩。结果表明:潜体受到内波荷载的数值与入射波的频率和模态数以及其所处的水深有关。     

大体积混凝土温度监控技术总结

阐述在大体积混凝土施工中 ,通过从选料、配比、拌制到入模浇筑的温度控制 ,减少引起混凝土内部温升的因素 ,降低混凝土中心温度峰值 ;在混凝土浇筑完毕后立即保温养护 ,掌握混凝土温度变化情况 ,预防混凝土因温度应力引起的开裂。采取这些措施后 ,混凝土再也没有出现裂缝 ,提高了整个工程的质量。