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

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

埃索沥青家族

普通重交沥青是最为广泛用于铺设道路的沥青产品。产品级别的选择取决于气候状况、交通量以及道路的设计而定。埃克森美孚公司能供应任何等级的道路沥青．不论是用于欧洲南部的硬级沥青或是北欧国家的软沥青产品。     

《公共汽车类型划分及等级评定》的发布对客车企业的影响

2014年4月15日交通运输部对外正式发布了《公共汽车类型划分及等级评定》（JT/T 888-2014）标准,且要求自2014年9月1开始执行。从发布起到执行之日只有4个月的过渡期时间。如何理解这个标准对公共汽车生产企业的影响？企业如何应对才会对企业的经营是最有利？这些都是大家最为关心的。笔者对此进行解读,供同行参考。     

浅谈道路照明设计过程中存在的问题

针对道路照明设计过程中存在的道路等级照明指标,灯具的配光类型、布置方式,灯具的安装高度、间距等问题逐一进行分析,并提出了相对应的解决方案。     

广东海事局实行职务等级标识

1月8日上午，广东海事局在广州隆重举行海事职务等级标识授予仪式，交通运输部海事局梁晓安书记为广东海事局三级副总监及汕头、湛江局班子成员副职授予海事职务等级标识，广东海事局梁建伟局长为一级监督长代表授予海事职务等级标识。     

2008年中国海事十大亮点

2008年，对于中国海事局来说是极其不平凡的一年。保障奥运安全、全力抗震救灾、抗击雨雪冰冻、纪念改革开放30周年暨水监体制改革10周年活动、推行海事职务等级标识制……中国海事面对重大挑战，不断攻坚克难、拼搏奋进，实现了水上交通安全形势的持续稳定。一年来，有太多的亮点值得回顾。盘点2008，我们感慨万千；走向2009，我们充满希望。     

问茶龙井村

立夏之后的第3天,来到乾隆爷曾经最爱品茶的地方。敢情我们这一路走来,还真无意之中遵循了他老人家当年的步履。都把苏杭比天堂,而如今,我们已经从天堂的那一端来到了这一端。去领略一番明前明后的龙井茶。     

中、高风险等级新冠肺炎疫情地区的城市轨道交通客流密度控制方法

新冠肺炎疫情期间，控制城市轨道交通车站及列车的客流密度是城市疫情防控的重点。基于疫情下中、高风险地区对城市轨道交通列车及车站客流密度的控制要求，建立了城市轨道交通客流密度控制流程，研究了列车满载率的控制方法，以及车站内各关键点位客流控制人数的计算方法，使列车满载率、车站拥挤度这两个客流指标控制在标准阈值范围内。利用Anylogic软件进行仿真，验证了城市轨道交通客流密度控制方法的可行性和可操作性。     

火灾后预应力混凝土简支梁桥损伤程度及剩余承载能力鉴定分析

为准确鉴定火灾后预应力混凝土简支梁桥损伤程度及剩余承载能力,以某火灾桥梁为例,针对火烧桥特点,利用现有检测技术及手段,在检测基础上建立Midas Civil计算模型进行受力分析,并通过桥梁动静载试验对剩余承载能力加以验证,从而为桥梁管养部门后期维修加固提供科学依据。     

全国计算机等级考试存在的问题及应对策略

随着高校的扩招,全国计算机等级考试涉及的面越来越大。本文在了解全国计算机等级考试现状的基础上,分析了其中存在的问题及原因,有针对性的提出了解决问题的策略,以期能够引起组织单位及广大考生的关注和思考,使得这项考试能够发挥其更为重要的作用。