形式化方法和对象技术的结合途径研究

本文首先给出形式化方法概述,并介绍两种分别代表面向模型和面向性质的形式规约语言Ｚ和Ｌａｒｃｈ。然后,重点讨论形式化方法与面向对象技术的结合。     

基于MAS的形式化数据流图的方法

由于Ｄｅ Ｍａｒｃｏ的数据流图缺乏形式化的描述方法，本文提出了一种使用的综合知识表示模型ＭＡＳ来形式化描述ＤＤＦＤ的新方法。使用此方法，能方便地建立一些有关ＤＤＦＤ的知识规则，并能对ＤＤＦＤ自动进行一致性和完全性检查。     

车辆路径问题的形式化方法研究

为解决目前车辆路径问题离线处理模式无法适应问题条件动态变化的情况,针对车辆路径问题在线系统的首要环节——问题形式化,提出了基于分类知识的车辆路径问题形式化方法,给出了该方法实现过程中的关键技术,为该问题的自动构模与求解操作奠定了基础。     

铁路信号产品接口风险分析方法研究

铁路信号产品通常由多个安全相关子系统构成,各个安全相关子系统又由安全相关子模块构成,系统内外均存在非安全相关子系统,因此,安全系统与外围系统,系统内部各模块之间构成了信息交互网络,接口风险分析方法就是用于研究、分析各内外接口之间存在哪些影响安全的风险,并给出如何防护这些风险的安全防护措施。本文将以安全级铁路信号产品模型为例,研究如何做接口风险分析,并对接口分类讨论,分别给出适用于各类接口的安全防护措施。     

面向对象结合形式化技术的框架式开发方法

在面向对象及形式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥，使软件开发能适应形势的需要。     

结合形式化方法的UML系统开发

介绍并讨论了在系统开发过程中使用UML(Unified Modeling Language)与其他形式化方法得到的一种精化模型，而且这一模型也同样支持形式化的分析和验证．     

关于形式化方法与软件可靠性的研究

形式化方法是一种基于数学的表示方法.它的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致,不明确或不完整,有助于增加软件开发人员对系统的理解,因此形式化表示方法是提高软件系统,特别是Safety-Critical系统的安全性与可靠性的重要手段.     

关于软件形式化方法

简要回顾了形式化方法的发展历程，阐述了形式化方法的定义，重要性及主要研究内容，着重讨论了形式规约语言和方法，以及演绎证明和模型检测等形式验证方法。     

并发系统性质描述的一种形式化方法

给出并系统性质的一种形式化描述方法－时态逻辑方法，其时间模型是离散和和线性的。     

安全苛求系统的形式化开发方法

从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.     

铁路道口信号的效益分析

铁路道口信号是保证运输安全、提高运输效率的铁路信号设备之一.本文在阐述我国道口安全状况、差距、近几年来抓道口安全成效等方面上,从不同角度、按不同特点,对铁路道口信号的经济效益及社会效益进行了分析.     

基于混沌振子的铁路移频信号检测研究

基于混沌振子的微弱信号检测方法是强噪声环境中信号检测的一种有效方法.本文研究了利用混沌振子的测频方法在铁路UM2000移频信号载频检测中的应用.主要采用Holmes型的Duffing振子,检测在强噪声环境中的UM2000移频信号,经仿真验证,对于UM2000移频信号有较好的检测效果.     

铁路信号电缆施工工艺的改进建议

主要介绍了铁路信号电缆施工过程中存在的一些问题,并针对这些问题提出了相应的改进办法。     

铁路信号工程质量的控制

铁路信号是指挥行车的大脑和神经，因此铁路信号工程建设的质量至关重要。文章指出对人、材料、机械、方法和环境5大因素进行控制，是保证工程质量的关键。     

铁路信号系统与城市轨道交通信号系统的比较研究

对铁路信号系统和城轨信号系统在发展现状、设备布局及应用、联锁方式、信息传输方式、测速测距等多个方面做了对比分析,总结了两者的异同;通过比较总结发现城市轨道交通信号技术更精尖.得出了高速铁路应在技术上借鉴城市轨道交通信号技术,并进行改造和创新的结论.     

车站信号的发展及其经济效益

本文就铁路车站信号设备对提高行车安全,增加车站咽喉通过能力等7项技术指标进行了理论分析和论证.说明大力发展车站信号技术装备是投资少、见效快、效益高的明智之举.     

基于属性文法的本体形式化描述方法及其应用

在分析本体概念和性质的基础上,提出一种基于简单属性文法的本体形式化描述方法,其中文法产生式描述本体内的各种逻辑关系,为逻辑层推理奠定了基础,通过属性求值规则实现本体的语义;设计一种属性求值器的构造方法,在此基础上实现基于语义的信息检索模型;将基于XML(extensible Markup Language)的本体元数据模型作为属性求值器处理的对象,提供相应的文档类型定义(DTD:Document Type Definition)以指导XML文档的创建;结合应用实例说明基于此方法的信息检索结果具有令人满意的精确度;通过改变产生式、属性及属性求值规则可扩充此方法.     

铁路电务部门对铁路运输总产值的贡献

本文讨论了铁路通信信号的地位、作用和特征.利用生产函数的理论,分析了我国铁路通信信号的经济效益并建立了数学模型.定量地计算了铁路通信信号对铁路运输总产值的贡献,提出铁路电务部门是铁路运输中的重要生产部门.     

高速铁路通信信号设备现状与展望

从高速铁路新技术设备概况、高速铁路通信信号技术装备情况以及高速铁路通信信号技术展望等方面,阐述了我国高速铁路通信信号设备现状。