战时紧急度不同的战损装备抢修任务指派模型

从现代战争实际情况及装备保障特点出发,将战损装备抢修任务按紧急程度进行分类,建立紧急度不同的抢修任务指派模型,并对模型进行求解,最后结合模型通过实例验证,结果表明该方法操作简单、切实有效.     

时事速递

正《锂离子电池用聚烯烃隔膜》国家标准启动起草在由中国塑料加工工业协会、中国电池工业协会联合主办的2014锂电池、隔膜产业链市场与技术发展研讨会上获悉,《锂离子电池用聚烯烃隔膜》国家标准已经起草,目前正在进行数据验证与标准修订。该国家标准自2012年开始起草,2013年11月形成了标准送审稿,12月对标准进行了技术审查。目前正根据技术审查会意见,进行数据验证和标准修订。     

高速单体船推进系统参数辨识方法研究

建立高速单体船推进系统参数辨识的数学模型,采用优化的方法辨识推进系统的各参数,将辨识结果与仿真结果进行比较,验证该辨识方法的可靠性.     

基于随机价格时间博弈的列车队列稳定性模型验证与控制策略优化

为保证列车队列运行安全并提高队列稳定性，研究了列车队列稳定性模型验证与控制策略优化问题；基于车-车通信的列车队列采用等空间间隔、等时间间隔和变时距3种控制策略，利用随机价格时间博弈自动机，建立了包含领航列车和跟随列车的队列控制模型，分析了模型的队列稳定性；在保证列车运行安全的前提下，以列车的相对位置差、相对速度差和时间间隔差为成本函数，通过队列随机价格时间博弈自动机模型获得控制策略集；利用Q-Learning方法得到队列的最优驾驶策略，验证队列运行的安全性和稳定性；结合列车运行追踪场景，进行队列的稳定性分析。仿真结果表明：通过形式化验证，采用3种控制策略下的队列安全性得到了保证；通过随机价格时间博弈控制、协方差优化控制和Q-Learning方法对比PID控制，等空间间隔策略下的队列稳定性误差最大值分别减小到了0.19%、0.18%和0.11%,等时间间距策略下的队列稳定性误差最大值分别减小到了30.21%、10.34%和9.24%,变时距策略下队列稳定性误差最大值分别为118.27%、56.09%和39.67%,可见，采用Q-Learning方法的随机价格时间博弈理论能在安全前提下提高...     

美国本月将首次对海军水面舰艇进行节油的改进

[据美国《海军内情））2008年7月28日报道]美国海军今年的燃油费用有望达到38亿美元。根据去年10月制定的一项应对燃油价格不断上涨的计划，美国海军本月开始对水面舰艇进行节油改进。这项计划的目标是验证这些节油措施，并向舰队椎荐和使用这些经验证的措施。     

马骝洲隧道海底孤石探测与钻爆处理

马骝洲过海隧道采用盾构机施工,穿越地层存在隐伏孤石。采用地震散射新技术对孤石进行探测,获得了隧址区岩土介质三维波速分布。发现波速高于2 400 m/s与隧道有关的孤石25处,其中9处直径3 m以上。隧址区施工了2 426个钻孔对孤石进行验证和钻孔爆破处理,保证了隧道的施工安全。实践表明,以物探技术为先导,配合钻爆处理,是解决盾构施工中孤石威胁的经济、有效手段。     

宁波港消防大队开展2009年度中队业务考核悟竞赛活动

2010年月1日，晨曦初露，戍守长山列岛的消防官兵带着青松树苗来到大队培育的“爱岛林”．每人栽下一棵“爱岛树”，植下“爱岛情”。同时，栽下希望、播种理想、寄托信念、表达忠诚，表示以崭新的姿态步入新的一年，开始新的征程。     

基于HCSP的列控系统安全性建模与验证分析

高速铁路列车运行控制系统是保证列车安全、高效运行的核心设备，如何验证系统功能的正确性从而提高系统的安全性是至关重要的。引入了一种基于进程演算的方法—混合通信顺序进程（HCSP ，Hybrid Communication Sequential Process），利用该方法对列控系统进行了形式化描述，并针对典型的场景—注册与启动场景进行了HCSP建模，通过引入转换规则，进行了相应模型转换，应用模型检验工具UPPAAL进行了仿真和功能验证，验证结论表明了场景模型功能的正确性以及方法的可行性。     

DNV连续三年获“最佳验证机构”称号

DNV在《环境金融》和《碳金融》举办的第13届年度环境市场调查中连续第三年获得"最佳验证机构"称号。《环境金融》和《碳金融》是环境市场领域全球领先的出版物。DNV由于在京都议定书(清洁发展机制和联合履行)以及欧盟碳排放交易体系相关项目中的出色表现而获得了"最佳验证机构"的称号。"我们很高兴连续三年被评为