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

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

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

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

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

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

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

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

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

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

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

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

基于需求的安全例证获取与管理方法研究

基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键．本文应用形式化语言Event—B方法对需求进行建模、分析和验证,能够发现潜在危险、提高系统安全性,同时结合GSN更高效地组织和管理Event—B提供的需求安全例证,增加安全例证的可信性和可阅读性,使论证逻辑更清晰、更适合安全审核和评估．     

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

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

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

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

基于Event-B的一种联锁逻辑的形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依赖不变式技术形式化地保证了该模型的安全性。所建模型通过Rodin平台的验证,结果表明它们是安全的。