井下移动SIP通信终端的设计与实现

为实现灵活、畅通、可靠的井下通信,设计一种基于嵌入式Linux的移动会话初始协议(SIP)通信终端。该终端利用SIP作为应用层协议,在流动会话过程中提供对语音连续性的支持。设计一种灵活高效的SIP协议栈,在嵌入式平台下结合无线局域网技术,实现井下实时语音通话功能。实验结果表明,该终端通话质量较好。     

矿井胶轮车运输监控系统信号设计与调度规则

介绍了一种新设计开发的通用矿井胶轮车运输监控系统的结构,并针对矿井运输特点,对井下胶轮车运输的线路划分进行分析,提出了行车安全原则;以实现安全调度为目标,对信号机、车位检测传感器等设备的安装布置规则进行了总结,并对信号机控制原则、胶轮车进出区域判断、预防调度死锁策略、司机行车规则等方面进行了研究与探讨     

基于自动机模型的平面调车软件设计方法

 平面调车是一种铁路调车过程中的离散事件系统.可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要,因此需要建立一种规范模型基础上的平面调车软件设计方法.分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方式的缺陷,提出通过自动机模型描述平面调车系统,具体讨论了平面调车系统与时间自动机(TA)、下推自动机(PDA)和分层自动机的关系.从状态划分、数据结构设计、状态转移流程等方面说明了基于自动机模型的平面调车软件的设计方法.     

入侵检测系统的可信性及其改进策略研究

入侵检测系统在网络安全中有重要的作用,但是入侵检测系统的可信性问题一直没有很好解决,成为困扰入侵检测技术发展的一个主要因素.因此,为了改善入侵检测系统的可信性,给出了可信度的数学定义,阐明了可信度和虚警率、漏警率及检测率的关系;分析了产生虚警的原因.以Snort系统为仿真对象,提出了系统的改进结构、关联性分析模块和报警分析器,并对报警分析的3种方法进行了说明;最后介绍了系统的仿真测试和数据分析结果.     

基于Petri网的联锁软件安全性测试的研究

安全是铁路运输生产永恒的主题。联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件,充分的测试对于保证其安全性具有举足轻重的作用。文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软件安全性需求的Petri网模型,提出了一种基于十字链表的Petri网的存储结构,给出了一种求解割集的算法实现;接着简述了安全性测试用例的自动生成方法;最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用。