基于着色Petri网的铁路时间同步协议建模及安全性分析

针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入侵时协议认证过程的不安全状态,建立模型状态方程;应用逆向状态分析法对铁路时间同步协议认证过程的安全性进行分析,得到中间人在认证阶段攻击协议的实施序列。研究结果表明:基于Autokey模型的铁路时间同步协议的认证过程是不安全的。     

单片微型计算机最小应用系统可靠性分析

通过对单片微型计算机最小应用系统的分析，提出了最小应用系统可靠性的数学模型，并对其可靠性作了估算和分析，给出了提高最小应用系统可靠性的有效措施。     

一种改进的实数编码遗传算法

针对实数编码在进行数值优化时固有的过早收敛、停滞现象和弱的爬山能力等缺点,通过设计不同的交叉、变异算子,提出了一种改进的实数编码遗传算法。数值实验显示,该方法在函数优化问题上取得了非常满意的效果。     

基于动态故障树的计算机联锁系统安全性及性能分析研究

针对2种常用冗余结构计算机联锁系统中的联锁机子系统,在考虑单元模块、比较模块和系统间切换模块全故障模式的情况下,建立双机热备和2×2取2计算机联锁系统的危险失效概率PFD和安全失效概率PFS的动态故障树模型。由于故障树概率近似法和Markov方法计算结果非常近似且概率近似法的求解过程简单和存储要求低等特点,采用概率近似法求解对应的PFD和PFS,实例对比分析2种冗余结构计算机联锁系统的安全性。研究结果表明:在全故障模式下,2×2取2计算机联锁系统的安全性高于双机热备。     

国内外断轨检测技术发展的现状与研究

综述了国内断轨检测设备发展现状及国外采用力学、光学、声学等先进技术用于断轨检测的最新研究成果。从目前对断轨检测的应用需求出发,对钢轨预预埋应力传感器、光导纤维、牵引回流不平衡度分析、超声导波检测技术进行了类比分析与可行性研究。     

一种基于Metropolis抽样准则的蚁群算法的信息素更新策略

针对蚁群优化算法的关键步骤--信息素轨迹更新过程进行了分析.在理论证明和实验验证的基础上,针对此过程提出一种基于Metropolis接受准则的信息素更新策略,并通过引入一种非齐次的模拟退火方法有效地减少算法在早期落入较差解的可能性.在系统温度较高时,算法将以较大的概率接受不同的解,进行广泛的试探,能够有效地避免算法初期陷入较差解的状况;当系统温度较低时,将以小概率接受不同的解,在算法的后期将搜索集中到迄今最优解的邻域中,保证了算法收敛的同时减少了算法的收敛时间.同时将基于Metropolis接受准则的信息素更新策略和已有的信息素更新策略在4个不同规模的TSP问题上进行对比实验,试验结果也证明了本文策略的有效性.     

基于CEEMD的无绝缘轨道电路调谐区故障特征提取

针对无绝缘轨道电路调谐区故障特征难以提取的问题,提出基于补充总体平均经验模态分解(CEEMD)的调谐区故障特征提取方法。采用四端网理论和传输线理论构建无绝缘轨道电路模型,仿真分析调谐区不同故障对轨道电路表面电压的影响;利用经验模态分解(EMD)、总体经验模态分解(EEMD)及CEEMD分别对电压信号进行分解,再提取故障特征向量。仿真结果表明:CEEMD方法抑制了EMD和EEMD引起的模态混叠和残留噪声现象,提高了运算效率,能够有效提取无绝缘轨道电路调谐区故障特征。     

甘肃省高校创新创业教育现状调查

运用问卷调查和专家访谈相结合的方法对甘肃省省属13所本科院校的创新创业教育现状进行抽样调查。调查从学生的基本情况,学生的创新创业意愿,创新创业教育情况等三个方面进行。结果显示省属高校创新创业教育的主要特征是:学生创业意愿与就业意愿反差大;学生对创新创业的了解泛而不深;没有形成良好的创新创业环境;民办独立学院及新升本院校与老牌本科院校在创新创业教育上有较显著差异。处理好上述问题有助于创新创业教育水平的提高。