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

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

考虑行驶时间不确定性的合乘路径鲁棒优化方法

为应对实际合乘过程中时间不确定性带来的负面影响,本文研究不确定行驶时间下的合乘问题。采用预算不确定集合描述时间变量,引入不确定性水平可调节的预算系数,构建以车辆总里程最短和车辆数最少为目标的合乘路径鲁棒优化模型。并设计两阶段算法求解,第1阶段以两乘客间的可行合乘路径为基础,从车辆总里程节省率和乘客时间窗匹配灵活性两方面设计公式量化合乘匹配机会,以匹配机会为权重构建乘客图网络并聚类乘客需求;第2阶段设计以顺序插入启发式方法构造初始解的禁忌搜索算法求解。案例数据实验结果表明：本文聚类方法能保证优化质量并提高85%以上的计算效率,同时能缩减乘客等车时间和绕行距离;增大预算系数时解的鲁棒性逐渐提高,但会增加10%~40%的车辆数并降低1%~10%的里程节省率;大规模乘客案例和窄时间窗案例的合乘路径对不确定时间的敏感性更高,宽时间窗案例无需增加过多额外车辆和总里程就能达到较高水平的路径鲁棒性。     

襄阳公交举办“修理工技能大比武”活动

3月19日。襄阳市公共交通总公司修理厂内,“修理工技能大比武”活动正在紧张地进行着。修理工们都专注地维修着车辆故障,计时裁判在为他们计算着维修时间。襄阳公交开展的这次“修理工技能大比武”活动旨在提高维修人员的业务技能,增强他们的公交车辆维修保障能力。     

远洋铁矿石船舶投资决策方案

对航运企业投资远洋铁矿石船舶进行研究．建立船舶投资决策优化模型，并求出最优投资方案，为航运企业投资决策提供参考。     

基于PC／104的串口通信及在舰载时间统一设备中的应用

时间统一技术广泛应用于国防工业、导航、通信、电力等各行业，尤其在国防领域有着重要用途。时间统一对舰艇的作战和各项试验有着重要的意义。作为舰载作战系统重要装备之一，时统设备主要用途就是为全舰武器系统提供统一的时间信息。结合已交付装备的某型自研时统设备，讨论了该设备中串口通信技术及其主要功能的实现。     

集装箱船市场现“大船追逐赛”规律

<正>对于近期班轮公司"跟风"订造18000TEU级的现象,航运咨询机构德鲁里揭示了一个有趣的"规律":只要马士基航运签订第一笔订单,其他班轮公司最终都将跟随其后,而主要的变化都只是时间问题。举例来说,马士基在1995年订造第一批8000-9000TEU集装箱船,在1997年交付。之后,在2000年,东方海外签订了2艘8063TEU集装箱船订单,并在2003年交付。在其他班轮     

读书

《不分东西》作者:闾丘露薇出版时间:2011.01闾丘露薇的思索和探寻,发掘"真相背后的真相"!简介:全面还原新闻事件本身,发掘"真相背后的真相",为读者提供更为广阔的新闻视野,引领更为独特的观察角度。反刍新闻事件中的热点话题,思索中国当下的国民心态以及大国崛起应有的姿态。     

从货币时间价值观念看降低工业流动资金成本

工业企业从事生产经营活动必须具有一定的资产,固定资产是必备的,同时流动资金也必不可少。作为一个企业,无论是购买原材料,还是添置固定资产及支付各种费用都离不开资金的使用。从货币时间观念看,流动资金管理的最佳点应是其周转速度最快的那一点。应收账款成本和存货成本是构成流动资金成本的最主要部分,要树立货币时间价值观念和建立现代企业的资金管理机制,以取得最大经济效益。     

碣石“禁摩”之后

近来耳闻＂东南沿海小镇＂国外二手车稀缺,当地做货柜的朋友也因不确定下港时间而三次退掉北上的机票,恰逢周末＂威风堂＂无法登陆,一时间关于＂有关部门已经出手,未来进口二手车交易价格看涨＂的猜想被传得沸沸扬扬。虽然早在上月便得知为保护     

基于时间累计法的机车维修性预计分析

基于时间累积法,阐述机车维修性预计工作流程以及系统与LRU平均修复时间的计算方法。并以空调与通风系统为例,说明了系统及LRU平均修复时间的计算过程,并由此得出整车的平均修复时间。文章最后阐述了维修性预计对机车设计的指导作用以及使用时间累积法的局限性。