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

为保证列车队列运行安全并提高队列稳定性，研究了列车队列稳定性模型验证与控制策略优化问题；基于车-车通信的列车队列采用等空间间隔、等时间间隔和变时距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个钻孔对孤石进行验证和钻孔爆破处理,保证了隧道的施工安全。实践表明,以物探技术为先导,配合钻爆处理,是解决盾构施工中孤石威胁的经济、有效手段。     

25t轴重技术对牤牛河大桥老龄砼梁影响的实验研究

本文通过对吉舒线牤牛河大桥混凝土桥梁的实测．并用Miner线性损伤理论对其进行分析，得出了混凝土桥梁在正常运营条件下疲劳寿命一般不受控制，但应当注意钢筋蚀产生疲劳源的结论．     

基于软件Maple平台上的土工实验物理实验数据处理及分析研究

Maple是由加拿大Waterloo大学开发的,从1980年的R1发展至今的R6版,已成一个相当完备的软件,它所提供的数学运算工具,可解决物理实验中复杂的数据处理问题。在土工物理实验课和开放实验室中使用,不但可以及时为道桥、房建等土工类施工所需实验服务,同时在教学中能迅速的让学生知道实验结果,以提高学生的实验兴趣和应用计算机的能力。     

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

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

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

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

蓖麻毒蛋白碘油乳剂介入治疗裸鼠肝癌的实验研究

目的 观察蓖麻蛋白碘化乳剂介入治疗肝癌的疗效，比较蓖麻蛋白碘化剂与丝裂霉素对骨髓抑制的差别。方法 用人肝癌裸小鼠皮下移植瘤为组织来源，植入实验裸鼠肝内建立裸鼠肝癌模型，以瘤体内注入生理盐水作对照，比较蓖麻蛋白碘油乳化蓖麻蛋白丝裂霉素（３种剂型用量均为半数致死量的三分之一）肝癌瘤体内注射后的疗效，观察肿瘤生长抑制率，甲胎，血像及骨髓改变。结果 蓖麻蛋白、碘油乳化蓖麻蛋白，丝裂霉素组肿瘤生长受到显著抑     

凹凸曲线护岸结构的理论计算与模型实验研究

通过理论计算与模型实验结果的比较，复核由理论计算确定的胸墙断面尺寸、护面块体大小的合理性，克服护岸结构在折角弯曲段内波能集中的影响，达到优化凹凸曲线护岸胸墙及护面块体的目的，可供类似工程设计参考。