基于交互式马尔可夫链的CTCS无线通信可靠性分析

CTCS无线通信的可靠性与整个系统的稳定性和安全性紧密相关,对其进行建模与分析具有重要意义。利用交互式马尔可夫链对CTCS无线通信的可靠性进行了建模与分析,主要解决了CTCS无线通信中存在的信道延时、通信故障、网络故障等随机事件与确定动作的分隔问题,以及带有同步的并发操作的实现问题。定义了交互式马尔可夫链的相关语义和逻辑刻画,给出了基于交互式马尔可夫链的模型检验算法。分析结果表明:在具有修复机制和双网冗余结构的条件下,系统在规定时间内完成数据传输的概率大于99%,24 h内连续正常工作的概率大于95%,满足系统要求。     

基于XML的时间自动机状态可达性分析在RBC子系统中的应用

时间自动机中的状态可达性分析是模型建立完成之后的一个重要验证工作,大多数时间自动机建模工具均为非开源代码,不能与实际系统进行有机的结合.本文以CTCS-3中的无线闭塞中心(RBC)[1]为实际系统,提出基于XML的时间自动机状态可达性分析[2],实现了建模工具与实际测试平台不同开发环境下的数据交互,为完善整个测试平台在理论方法与实际应用相结合方面提出一个较为可行的方法.     

隐患排查分析在工程项目安全管理中的应用

随着时代的发展,从国家到个人对安全生产的要求以及认识都有了显著提高,我国安全生产情况也有了质的改变.大家关注的重点由开始被动的安全事故处理到提前预防.安全风险分析和事故隐患排查已经成为身边耳熟能详的名词.但是,如何根据排查出的事故隐患,制定出切实有效的对策,将事故隐患消灭在萌芽状态,有效控制各类安全风险,对隐患进行深入...     

锚绞机齿轮啮合性能有限元分析

为了研究锚绞机传动齿轮的啮合性能,利用非线性有限元法对轮齿沿齿宽和齿高方向的载荷分配规律、轮齿在啮合过程中综合啮合刚度变化规律进行了分析.结果表明:轮齿沿齿宽和齿高方向的载荷分布是不均匀的,啮合刚度呈现周期性变化.同时说明有限元法可以准确的分析齿轮的啮合规律,为提高锚绞机齿轮的承载能力、寿命、动态性能提供了可靠的设计依据.     

水面船设备冲击响应的实验公式

基于实船、船模和浮动平台上设备的冲击响应测据,文章汇总出一个实用的实验公式。二种检验方式(F-分布和相关系数)的结果表明这个公式对于预报水面船设备的抗冲性能是非常可靠的。     

基于满意度门限检测的多雷达航迹对提取研究

针对多部雷达航迹对提取问题,首先提出了门限法,通过设定多个参数的门限,依据相关准则判断下一时刻的点是否选人该门限内,剔除野点后对单部雷达的观测数据建立航迹。进一步提出航迹在某时间段相交的判别准则,找出了各雷达站观测到的有相交时间段的航迹;对应多个有相交段的航迹,采用了线性插值的方法进行时间配准,让不同雷达表示同一目标位置的时刻集合扩大为一致;在此基础上,按照航迹相关准则抽取了表示同一目标的航迹对。仿真结果验证了算法的有效性。     

水中承台钢板桩围堰施工验算探讨

通过对钢板桩验算,可以确定钢板桩围堰施工顺序,判断钢板桩围堰是否能够满足水中承台的施工要求。     

水泥搅拌桩承载力检测频率的确定及施工质量控制要点

针对不同规范采用不同的搅拌桩承载力检测频率,文中从数理统计、经济性两方面论述了采用0.5%检测频率的合理性。针对原土取样、提升速度,桩顶和桩底质量控制,提出了搅拌桩的质量控制要点及优化措施。     

柴油机喷油器的修理及检验工艺

柴油机喷油器修理工艺中,一个待修机件往往同时存在多处损伤和各种故障,有的部位可能处于未达极限损伤状态,但仍应全面加以修复,文章系统地分析和判断柴油机喷油器的修理及检验工艺,并全面权衡整个机械零件各损伤部位,确定其全面修复的方案和检验工艺可靠性和有效性.     

基于一致性校验方法的沥青路面施工质量过程控制

依托国内多条高速公路的建设,运用一致性校验的方法,建立了沥青路面工程质量过程控制数据分析体系,应用正态性检验中的W(Shapiro-Wilk)法,分析了业主和施工单位的质量控制风险概率,实现了沥青路面工程质量过程的动态控制。分析结果表明:应用统计学的手段对各种指标数据进行检验分析,可以优化现行质量控制抽检频率,有效减少虚假数据的产生;同时可以及时发现某段时间和某个施工区域内的质量缺陷,避免因为工期紧任务急带来的大量人为数据误差,为广大管理者和专家对潜在问题的识别和判断提供依据,从而实现沥青路面施工过程控制。