三峡船闸和升船机上游引航道通航条件评价

根据引航道设计中方案论证的需要，建立安全通航专家知识系统，以研究三峡船闸和升船机上游引航道口门区的通航条件，本文介绍了在计算机上建立专家知识系统的过程及研究方法，给出了基于该系统的评价结果。     

基于自适应模糊系统的船舶碰撞危险评判

本文应用模糊系统方法建立船舶碰撞危险的专家评判系统。该系统用数值化的模糊联想记忆（ＦＡＭ）规则表示专家的领域知识并进行模糊推理,同时采用神经网络的微分竞争学习算法（ＤＣＬ）实现规则的自适应生成,该系统能模仿人类专家迅速作出危险评判,并具有学习,更新和完善的能力。     

基于现场数据统计的计算机联锁设备寿命分析

计算机联锁系统是铁路信号的核心技术装备,满足其系统可靠性要求的设备寿命一直是人们关注的焦点。为计算设备寿命,针对某型计算机联锁设备的故障数据及站场维护数据进行筛选、匹配和分析,并根据各部件的有效故障数据预测失效分布函数;采用故障树分析方法,对涉及联锁设备可靠性的安全部件构建故障树,分析系统子事件的失效组合,找到最小割集;根据有效故障数据确定各硬件设备进入损耗故障期的时间,并采用相关系数优化法计算各威布尔分布的系数,进而对该型机算计联锁系统的可靠性及预期寿命进行计算和分析。     

基于模型的CTCS-3级列控系统测试案例自动生成方法

为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process, HCSP)形式化模型和时间自动机(timed automaton, TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center, RBC)切换场景为例,生成了100%全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02 s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30%.