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

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

船舶电气设备的风险预控管理

近年来,由于计算机与通讯技术的日益成熟,船舶的自动化程度也越来越高,向着集成化、网络化、信息化方向迅速发展。另一方面,STCW78/95公约在我国的实施,船舶最低配员中取消了电机员,各大航海院校也相继取消了该专业的设置。如何解决这一矛盾,是机务管理工作新的课题。笔者认为,管理模式的转变是解决矛盾的有效途径。本文从电气设备的风险辨识与预控的角度,探讨电气设备新的管理模式。     

OCIMF海运终端信息系统探秘

作为一个非商业非盈利组织,OCIMF的主要工作是为成员提供安全与环保两个领域的指南与标准来降低企业风险,与石油公司一起保障海上原油开采、油品运输、油品码头等环节的安全。它推出的指南、标准作为工具给整个行业提供更多安全服务,共同构建油运安全新局面。     

论物流运营风险控制与防范

物流业的发展推动了社会经济的发展，成为社会经济发展的重要组成部分，然而物流业在发展过程中也遇到了各种风险，如何防范？就此根据物流企业运营过程中所面临的各种风险进行了分析，并运用风险坐标图方法进行风险评价，确定各物流营运风险管理的优先顺序和策略，提出了各类风险控制和转移的防范措施。     

大型商贸企业经营特征及风险应对的探讨

近些年来,国内逐步成长起来一批经营生产资料的大型商贸企业,在促进物资流通、稳定市场供求方面发挥了重要作用。1大型商贸企业的主要经营特征大型商贸企业以其巨大的商品储备和商品交易量构成了要素密集的显著特征。     

铁路货检站作业组织和管理的思考

根据沈阳铁路局货检站作业组织方式、设备条件、人员管理等现状,通过分析兼职并岗存在作业组织风险、设备安全存在隐患、相关制度不完善、班组培训和管理存在差距等问题,提出强化作业人员之间相互联系,强化监控设备利用,强化业务培训和管理,加强规章制度建设,设立专职货检作业人员等有针对性的措施和建议。     

铁路建设项目稳定风险管理

近年来维护建设稳定已成为铁路建设管理的重要任务.结合沪昆铁路客运专线湖南段风险管理实践,论述稳定风险管理的主要过程、方法、效果及体会.     

学区房投资风险分析

学区房是房地产市场的衍生品,是现行教育体制下的一个独特的现象,其所在区域教育资源丰富,能够很好满足人们的教育学习生活需求。因为优质教育资源的集中和稀缺,使学区房具有单价高、升值快、需求稳定等特点,也正因如此,学区房投资风险小、收益稳定且收益较大。尽管如此,学区房的投资还是存在一定风险,本文就学区房投资风险进行分析并提出建议,使学区房投资更加稳妥。     

中国城市轨道交通“大跃进”的风险

与世界其他国家的城市轨道交通建设的速度相比，中国的城市轨道交通建设的速度无疑是最快的。至2013年，伦敦地铁用了150年才建成了现在的规模，纽约地铁历经108年总线路长达370公里，巴黎地铁用110年达到了215公里。反观国内城市，以上海为例，仅有18年运营史，已开通运营12条线，运营里程达473公里，一举赶超伦敦成为世界之最，国际地铁协会（COMET）称之为”创造了世界地铁建设史上的奇迹”。