基于UPPAAL的LKJ-15系统模式转换功能建模与验证研究

模式转换是LKJ-15系统的重要功能。为了保证模式转换功能安全,提出利用形式化建模工具UPPAAL对该功能进行建模与验证。首先分析LKJ-15系统各种模式转换条件,建立模式转换信息交互网络;之后使用UPPAAL建立模式转换功能模型;最后对模型进行仿真和BNF语句验证。结果表明:该模型满足LKJ-15模式转换的功能要求,其安全性得以验证,为系统开发和应用提供了理论保障。     

多级票价下高速铁路列车嵌套票额控制方法

我国高速铁路运力的大幅提升有效缓解了一票难求的现象,但也带来部分列车上座率不佳的问题。采用多等级票价来吸引更多购票需求,可以减少运力浪费并提高售票收益。本文重点研究多等级票价体系下高速铁路列车席位控制方式、票额方案及售票过程。通过分析收益管理存量控制方式的控制机制和主要特点,提出适用于多等级票价体系的列车票额嵌套控制方式。在此基础上,构建多等级票价下的票额分配模型以及基于价格等级的嵌套票额生成方法。进一步,研究嵌套控制方式下购票请求的处理逻辑及嵌套票额的更新过程。通过仿真对比测试,相比传统的分割式控制方式,嵌套式控制平均提高了3.9%的票款收入,证明了嵌套票额控制对于多等级票价体系的适配性与有效性。     

隧道防火涂料施工工艺研究

介绍了现有隧道的防火措施,以及隧道防火涂料的施工工艺,具体阐述了施工过程中需要注意的技术指标及安全问题,为隧道防火涂料施工提供一些参考性的建议。     

固化剂类型与助剂对桥梁用环氧结构胶湿热老化性能的影响

耐湿热老化性能是结构胶,尤其是桥梁加固用结构胶的重要性能之一。采用两种快速老化试验(80℃水浸7 d和90℃水浸3 d、5 d、7 d),考察了两种类型的固化剂对环氧结构胶耐湿热老化性能的影响,同时考察了分别掺入增韧剂和偶联剂对两类固化剂制备的环氧结构胶耐湿热老化性能的影响。试验结果表明:80℃水浸7 d后,固化剂为聚酰胺类时,不掺助剂的强度保持率为76.91%,掺增韧剂的强度保持率提高了1.27%,掺偶联剂的强度保持率提高了3.28%;固化剂为脂环胺类时,不掺助剂的强度保持率为132.16%,而掺增韧剂的强度保持率降低了6.25%,掺偶联剂的强度保持率降低了13.68%。     

由船体振动引起的水下辐射噪声数值计算及其应用

岩崎曾发表过一种关于结构－流体相互作用问题的数值计算方法。关于这一方法，计算机模型必须具有多个自由度，而且需要必须的计算机费用。除此之外，还存在一个不规则频率的问题，这一频率是内部相应问题的固有频率。探讨了如下经改进的数值计算方法：（１）使用这一模态近似法，借此通过在真空中起主要作用的线性组合，将其结构位移近似为无阻尼的标准结构模式。通过这种方法可大大缩短计算时间；（２）将不连续的表面和内部的赫尔     

高架索海上补给装置—在航行补给系统中应用独特的HST高架索以传送燃料、装备和武器

战斗舰艇在装备、食物被消耗,而仍须停留在海上给定位置时,为了补给作业,供给船必须驶至距离战斗舰艇60～200英尺之内(常常处在不利的气侯和海情下)。补给系统利用液压传动绞车与相关的钢索组合,来进行两船之间补给品的输送。所有各类装备、燃料、武器甚至人员,都是在两船航行状态下,跨过水     

高速公路桥面水泥砼铺装层质量通病成因分析及防治措施

结合高速公路桥梁工程监理工作实践，通过对高速公路水泥砼桥面铺装层质量通病进行成因分析，提出防止桥面铺装质量通病的技术措施、建议和施工质量控制要点。