基于Petri网的联锁软件测评仿真建模

车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例.该模型有助于提高铁路联锁软件测试系统的安全性与精确性.     

一种层次化的面向对象CPN模型及其应用

文章先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网（HOCPN）模型。该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证。最后,将该建模方法在铁路车站联锁软件系统中进行实际建模应用。     

故障诊断中的检测控制策略问题

测量信息是实现故障诊断的前提,本文就信息 的量的表示、基于Wald序惯策略的检测控制策略、检测控制策略问题的求解和最优测量点的 选择等问题进行了初步的探讨,并给出了实验计算结果．     

大型并联电容补偿装置的若干问题

一、前言要保证枢纽变电站的出口电压质量和系统的经济运行,适当容量的无功补偿设备是不可缺少的。十多年来220千伏变电站增加很快,但无功补偿设备却远远跟不上,使电压质量得不到保证,给工农业生产和人民生活带来困难     

笛卡尔乘积下的FCM聚类研究

针对于模糊c-均值（FCM）算法在初始聚类中心选取不佳的情况下容易产生聚类错误划分的情况,从FCM算法出发提出了一种基于笛卡尔乘积的FCM聚类算法（C-FCM）,并分析了加权指数m对聚类分析的影响。C-FCM将聚类提高到更高维的空间,有效地避免了FCM 对初值敏感及容易陷入局部极小的缺陷。客运专线列控（TCC）评估测试项目对C-FCM的检验结果表明,与传统FCM算法相比,C-FCM算法更准确,效果更佳,对解决邻站数据包的划分问题是可行、有效的。     

车地无线通信中无线信号强度与AP切换的研究

基于通信的列车控制系统已经被人们广泛地研究并加以使用。由于易于安装和多用途的优点,无线网络是一种重要的通信方案。为了准确地对无线车地通信进行仿真,文中提供了一个无线信号强度的测量系统,其能在指定位置完成AP切换,为将来研究最佳AP切换时机作准备。     

基于模型检测的安全分析技术在轨交信号系统的应用

轨道交通系统作为大容量公共交通运输工具,其安全性直接关系到广大乘客的生命安全,而安全分析是保障系统安全的必要手段。传统的安全分析技术,极大地依赖于分析人员的技能和经验,使得结果不够完备,甚至错误。本文提出了一种基于模型检测的安全分析新技术,并研发了集FTA和FMEA于一体的安全分析工具,通过遍历系统全部可达状态,自动识别导致某顶事件发生的最小割集,并以轨道交通的信号系统为例,说明此方法的过程及可行性。     

基于 MAS 的 VOBC 仿真测试系统研究与设计

首先针对VOBC 仿真系统的需求特点设计系统,将整个系统分成不同Agent,并用MAS体系结构组织系统。然后,分别介绍每个Agent的设计要点,并以PCA为例,用形式化方法进行建模。之后,以VMA和LSA之间为例,简要介绍用KQML语言的通信方法。最后,使用高级语言C＃来实现系统设计。     

氮——甲醇气氛在热处理上的应用

氮气N2-甲醇CH3OH是最具代表性的氮基气氛,可广泛地应用于保护加热和气体渗碳工艺。 氮气在高温（〈1000℃加热时和钢铁不发生任何反应,即不氧化、不脱碳、也无还原和增碳作用,是一种中性气体。）当温度超过700℃时,甲醇按下式进行裂解反应：     

地铁集中运输控制系统联锁软件的第三方测试

介绍了将铁路计算机联锁软件测试技术应用于地铁的计算机集中运输控制系统第三方测试中所使用的方法和技术。根据被测系统的特点，合理地运用黑箱测试技术，按地铁集中运输控制系统对安全性的特殊要求设计详细的测试案例，并对测试结果进行了分析。