判决PN机理论及其在入侵检测中的应用

论文针对攻击行为的知识表示和智能分析展开研究,利用Petri网理论和人工智能技术,建立适合攻击行为分析与检测的理论和方法。提出一类Petri网子类型判决PN机和着色判决PN机作为攻击行为的描述模型,利用其运行机制检测攻击,并使用着色判决PN机的有色合成解决模式关联的问题,同时     

计算机网络互连技术若干问题及其发展趋势

作者对计算机网络互连这一研究领域中的互连的有关概念、网络互连的种类、原则和特征、网络互连体系结构、互连协议以及网络互连的技术和设备的现状和发展趋势进行了分析和讨论。     

列车运行控制系统中安全通信协议的形式化分析

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修改后的安全通信协议进行研究,综合安全层、信道与应用层模型提出无线通信系统模型的分层结构,通过改变信道与应用层模型的参数,分析修改的安全通信协议中安全连接建立的时间特性。分析结果表明:信道丢包率为0.1、0.05、0.01的情况下,修改的安全通信协议安全连接建立时间特性是符合规范要求的。     

客运专线接触网钻孔桩施工技术的探讨

根据合宁客专接触网钻孔桩的施工经验,考虑到250km／h客运专线的质量要求,从客专施工的必要性进行分析,并总结其施工的工艺及流程、施工的技术及机具要求,为客运专线接触网钻孔桩施工提供技术指导。     

牵引供电系统接触网常见故障分析及对策

针对铁路牵引供电系统中接触网常见故障现象产生的原因进行了整体分析,并提出了有针对性的技术措施,为牵引供电系统的运行维护提供借鉴。     

加拿大蒙特利尔地铁系统

首先介绍蒙特利尔地铁系统的建设背景,然后从现有线路和线路延伸规划两个方面描述线网的总体情况,并对蒙特利尔地铁的车站设计、车辆及运营管理技术等方面进行阐述,分析蒙特利尔地铁车站设计和运营组织的独特之处,最后总结归纳出蒙特利尔地铁所具有的地铁车站艺术设计、多种票制和多种交通衔接等优点及其对国内地铁的启示。     

线路储能装置的试验研究

文章介绍线路储能装置作用及工作原理,通过对线路储能装置在不同工况下的试验,分析线路储能装置对线路网压及节能方面的影响。     

天津轨道交通网络化运营清分规则研究

城市轨道交通运营已成网络化的国内城市,都建设有清分中心系统用于票卡消费数据的清分清算,而清分系统的核心是清分规则的确立。对天津轨道交通清分规则进行了研究分析,介绍了目前应用的最短路径法和时间权重法2种寻径方案及其参数设置情况。对目前天津轨道交通中多运营商、多票制且不同票价体系下的收益分配规则进行了分析。希望天津轨道交通的清分规则体系搭建经验能给其他城市提供参考信息。     

基于自动Petri网的联锁逻辑设计

联锁软件的逻辑严密性和安全性对于行车有很大的影响。利用自动化Petri网,根据轨道电路、信号机和道岔之间相互制约的关系以及状态的转换,分别建立了信号机、道岔和进路模型,并根据列车的运行状态细化模型从列车压入进路到出清进路的过程,建立进路解锁的模型。基于上述分析,设计了一种基于可编程逻辑控制器的联锁软件设计方案,实现对联锁的逻辑控制。     

设计模式在典型.net三层架构Web程序中的应用

设计模式是一套被反复使用、经过分类编目的、代码设计经验的总结．使用设计模式是为了可重用代码，让代码更容易被他人理解，保证代码可靠性．文中介绍了设计模式，多层架构程序以及.net，论述了如何将设计模式应用到三层．net架构程序中，着重讨论了设计模式在数据库中的应用．