摘要：从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。

摘要：根据新一代CBTC(基于通信的列车控制)系统中列车的车车通信需求,引入LTE (长期演进) D2D(设备到设备)通信技术,形成列车之间的直接通信设计方案。研究了在基站和邻近服务器ProSe控制下列车之间D2D通信的建立。考虑在无基站控制下列车自组织的D2D通信,提出了一种基于接入等级限制机制和资源分组的D2D通信资源分配方式,并设计了列车自组织的通信流程。

摘要：根据轨道交通信号控制系统在物理上的分布特性和物理-信息的紧密性,提出了一种信息在物理融合系统(Cyber-Physical System,CPS)环境下的分布式轨道交通信号控制系统,并分析CPS在轨道交通控制领域的优势。对在该环境下的CPS结构体系进行了模块划分和构架,提出了将轨道交通控制设备划分为不同类型的三层架构节点:自治层、信息层和协同层。基于轨道交通安全基本条件划分了三大类安全控制功能,最后通过这三类安全控制功能设计了各节点之间的协同机制及协同控制过程。阐明了将CPS运用于分布式轨道交通控制系统中可产生可拓展性、灵活性和鲁棒性上的优势。

摘要：介绍了CBTC(基于通信的列车控制)仿真测试系统的整体结构。阐述了其中线路仿真系统的结构和组成。从线路仿真的结构和功能等方面对站场图进行分析和设计,再利用CAD(计算机辅助设计软件)技术、XML(可扩展标记语言)技术以及C#双缓冲绘图技术对站场图进行绘制、保存以及生成。

摘要：分布式对象中间件在CBTC(基于通信的列车控制)接口仿真系统的应用是实现接口数据传输有效性、通用性、实时性的重要实现方式之一。针对CBTC仿真系统中各子系统间信息的交互和融合问题,通过研究当前分布对象中间件架构和运行机制,提出适合CBTC仿真系统信息交互的接口中间件,构建引入接口中间件工作模式的CBTC通信体系。详细阐述了该通信体系的体系结构及其接口的封装与设计,并将其应用到列车运行控制仿真系统中。此应用根本改变了轨道交通运行控制的运作模式,提高了系统的效率。

摘要：一引言无刷直流电机利用电子换向代替机械换向。采用无位置传感器控制技术，从而降低了系统的硬件成本，简化了电机的设计。

摘要：本文从三层分布式对象架构开始 ,在 Active X/DCOM的分布计算环境下 ,详细介绍了一个城轨 ATS仿真培训系统的分析与设计。重点描述了系统的软件结构 ,以及仿真数据库中静态和动态数据的设计过程。

摘要：利用仿真技术对员工进行职业培训已越来越广泛地得到认可。从上海市地铁 1号线ATS系统实际出发 ,综合现代仿真理论、DCOM和ActiveX等技术 ,设计一种基于分布式三层结构的城轨ATS仿真培训系统解决方案。重点介绍系统的体系结构 。

摘要：本文介绍了卷烟厂厂级 GD数据采集系统的设计与开发 ,着重讨论了在 Power Builder中建立与数据库连接的方法和数据管道的运用 ,在此基础上比较了在数据库间进行数据传输的几种方法 。

摘要：基于 Web的建模是解决现有建模工具缺乏分布性、互操作性等缺陷的有效途径 ,对于研究数字制造系统中的建模具有重要意义 ,文章首先介绍了数字化工厂及其于Web技术的发展现状 ,分析了数字制造系统对基于 Web协同建模的需求 ,进而提出了一人基于 J2 EE平台的建模系统的设计框架。论文阐述了该建模系统的目标和体系结构 ,给出了其主要功能及关键模的设计思路 。