基于基扩展的快时变信道建模及仿真

针对无线通信中的快时变信道建模与评估,通过已有的信道测试参数中的部分数据,采用基扩展的方法,对信道进行建模,并根据模型评价的两个指标—模型准确度和算法复杂度,对快时变信道进行综合评价,最后给出了仿真结果.     

基于组件技术的城市轨道交通轨旁设备仿真系统开发研究

针对轨旁设备仿真系统的设计面临动态性、复用性和组合性等多项难题,利用组件技术构建轨旁设备组件库,根据XML语言描述的站场信息将组件库中的组件进行动态组装,利用GDI+技术绘制站场图,并且加入故障注入模块满足各种测试案例要求,最终实现针对不同轨道线路可复用的轨旁设备仿真系统.该方法设计的轨旁设备仿真系统已通过应用成都1号线数据得以验证.     

基于跟踪流量的客专安全数据网背景流量研究

针对客运专线信号系统的安全数据网的可靠性研究,使用网络仿真研究方式时需要的背景流量模型,对时下使用较多的理论模型进行了介绍并对实际使用中常用的泊松模型、跟踪文件背景流量模型进行了研究,得出了一种适用于安全数据网仿真中的背景流量模型.并以相邻车站CBI之间的通信为例介绍了实际仿真研究时这一背景流量模型的构建和应用.     

基于嵌套树模型检测的研究

文章针对软件验证过程中的结构抽象表示问题,考虑到结构程序的顺序结构、调用返回关系,给出了嵌套树以及嵌套状态机的定义。在该数据结构及μ演算的基础上,定义了嵌套树的μ演算(NT-μ)。NT-μ的公式语法是基于概要的,在嵌套状态机上提出基于概要类的模型检测。嵌套状态机的结点是有限的,且嵌套状态机有限的概要类对应于嵌套树中的无限的概要,因此该方法能提高检测的效率。     

基于ICE的CBTC仿真测试平台中间件的研究与设计

研究真实CBTC系统各模块之间的数据通信和协同操作,从而设计基于ICE的CBTC仿真测试平台的中间件,最终实现CBTC仿真测试平台各子系统模块之间实时地,稳定地,安全的通信,并且通过在中间件中实现底层自适应通信接口协议转换从而可以接入各厂家的真实设备,而且引入中间件使上层模块与操作系统解耦,实现各子系统模块的跨平台性.最后中间件完成之后,可以使得再次设计CBTC测试平台时将精力集中于业务逻辑的实现.     

形式化故障树分析建模和软件安全性测试

阐述了安全性需求的形式化故障树表示技术,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论。     

范畴MSC在轨道交通领域的应用研究

基于通信的列车运行控制系统(Communication Based Train Control System,CBTC)是完全基于移动闭塞的列车控制系统,使得列车可以在更短的运行间隔内实行安全运行.为提高CBTC系统设计的安全性,必须对CBTC系统的行为进行建模验证.本文将扩展的MSC-范畴MSC应用于CBTC系统形式化建模,增强了CBTC系统形式化建模的准确性,提高CBTC系统设计的安全性.     

CBTC系统测试用例生成方法的研究

针对CBTC系统测试案例的特点和生成过程,本文使用基于MSC建模语言来生成测试用例,并且说明了使用该方法生成测试用例的优点所在.在基于MSC生成测试用例的过程中,对MSC添加状态约束条件,分析MSC图,得到场景测试树,再遍历该场景树,得到场景的输入、预期输出、约束条件以及场景环境,测试用例即由这四部分内容组成.     

基于OPNET的客运专线安全数据网故障建模

客运专线安全数据网络的可靠运行对高铁运输安全至关重要,故障建模是研究该网络可靠性的重要手段.但是,目前对该网络中故障没有进行系统研究,只是针对特定故障对网络的影响,缺乏一种对故障进行分类和建模的方法.针对这个问题,本文提出了采用三层故障体系对客运专线安全数据网络中的故障进行分类,并使用OPNET软件为该网络建立故障模型.该分类方法解决了客运专线安全数据网络故障研究的混乱问题,并且提供了一种对该网络故障模型的方法.     

住宅智能安防系统设计

系统采用电子探测、智能控制和遥控技术,依托公用电话网络,形成住宅防火、防盗、紧急事件应急处理的住宅安全防范体系,给我们的现代家居生活带来方便.