区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

基于CANopen的有轨电车PDO交织校验

根据CANopen协议允许用户对应用层协议自定义的特点,参考有轨电车相关标准对数据错误的描述,针对CANopen通信网中的报文结构及其对传输信道的负载影响进行分析,并以此为基础,提出了一种PDO数据交织校验模型。经仿真测试,结果表明该模型既能在保留传统报文结构安全性的基础上增强隐蔽性,又能在一定程度上提高传输效率。     

CBTC系统功能通用实现方式的分析

主要介绍了CBTC系统的功能实现原理,通过对比CBTC系统及传统轨道电路工作原理的差异,结合安全定位的实现方式、可能的影响因素以及移动授权的获取方式对于CBTC系统的工作方式和原理进行了简明的描述。     

北京市轨道交通亦庄线信号系统结构设计

基于通信的列车运行控制系统(CBTC)是由不同子系统构成的一套安全、高效、可靠的的信号系统。通过对地铁亦庄线CBTC系统中各子系统功能的剖析,以及各子系统间接口功能的阐述,系统地描述了完整CBTC系统的结构及特点。     

基于Testbed的C++单元测试(动态测试)方法

自动化单元测试是保障通信类软件质量的重要手段,业界没有什么普适性方法。但通常是借助于第三方工具。本文介绍的Testbed测试工具套件是通第三方认证公司认可的安全软件测试工具,能够支持多种语言的自动化测试．本文主要介绍了如何使用TESTBED测试工具对C＋＋代码进行单元测试,对测试方法进行介绍,并从工程实践的角度,进行了测试步骤分解,最后从软件开发和项目管理的角度对单元测试的组织给出了建议。     

VRML编辑器中可视化路由的设计与实现

VRML使用路由机制处理事件,而路由的可视化编辑一直是VRML编辑器的难点,基于此,对VRML编辑器可视化编辑路由进行了研究,把路由这种无形的一种机制进行了可视化编辑,借助Open Inventor强大类库和VC 开发工具实现了VRML可视化编辑器,将节点树视图,场景视图,路由视图结合起来,使用户能够进行可视化编辑路由。     

西门子PLC控制网络的配置方案和运用

西门子公司开发了不同的控制网络产品,来满足广大客户的自动化系统的通讯控制的使用需要,实际应用上可以看出不同的产品的差异性比较明显,这对产品的技术开发增加了一定的难度。本文对西门子控制网络的产品进行扼要研究,提供适宜的配置方案;并对进行配置的方法在选择上进行描述,对系统配置的一些主要特点重点描述,期望对其他监控系统的设计提供一定价值的参考。     

基于LS-SVM逆系统方法的传感器非线性校正方法研究

针对传感器存在的非线性问题,提出了一种基于逆系统方法的非线性校正方法。通过最小二乘支持向量机方法构造传感器的右逆系统,并与原系统串联,完成传感器的非线性校正。该方法不依赖于传感器的数学模型,鲁棒性较强。仿真结果证明该方法的有效性和优越性。     

浅谈软件设计模式中的设计原则

软件设计模式中最重要的原则就是设计原则。本文结合实际的工程开发经验讨论了对软件设计模式中设计原则应用的思考,特别是＂开闭原则＂的理解,并结合实际给出了软件设计中应尽量避免的误区。     

基于Petri网的分布式系统并发进程的死锁检测

分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具.为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全链路合成技术组装了全局并发进程等待的Petri网模型,给出了判断整个系统是否出现死锁的充分必要条件.