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

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

摘要：对计算机控制系统中串口和MODEM通信进行研究 ,利用MODEM建立的模拟信道实现数据远程传输 ,着重介绍了MODEM点对点通信协议的设计和实现 。

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

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