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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

用于电气机车牵引变电所的滤波装置

电力机车的牵引力大,能源利用率高,又能大幅度地提高铁路运输能力。因此,我国正在积极筹建和新建电气化铁路工程。但是,电力机车用电会造成对电网的谐波干扰,对此必须予以足够的重视。当前,电网为了改善电压质量和降低网损,正大力加强无功补偿工作,电网内电容器组投入的数量越来越多。如果谐波干扰对电容器组的危害得不到适当的解决,它将会阻碍加快建设电气化铁路的进程。本文针对电气化铁路用电的滤波器及负序电流问题作一初步的理论探讨,供有关同志参考。     

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

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