业务流程集成技术在铁路信息共享中的应用研究

介绍在面向服务的架构下应用业务流程执行语言(BPEL)实现Web服务集成,从而实现铁路信息资源共享的方法,结合铁路贷票、贷调和确报3个系统举例说明实现方法.     

面向形式化验证的联锁翻译器软件设计

根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件.最后详细说明翻译器软件基于函数式语言OCaml的代码实现.     

专家系统在变电站综合自动化系统中的研究

本文利用人工智能中常用的逻辑编程语言-Prolog语言．建立可以完成变电站综合式保护与控制系统中监视、诊断及开关控制等功能的专家系统。该系统已经通过在IBM-PC计算机上进行的仿真测试。为了获取进一步的实验结果，作者把用于开关控制的软件模型装到与变电站开关模拟系统板相连的IBM计算机上，从而构造适用于开关控制的实时专家系统。其结果表明，采用专家系统方法完成变电站综合自动化系统中的一些主要功能．具有解释性强．程序易于修改和扩充等优点．     

JY型列车接近语言预警机

介绍了JY型列车接近语言预警机的软、硬件设计和工作原理，并对其技术特点进行了分析。     

带约束条件数据关联规则的挖掘

文章提出了一个基于约束条件、以用户为中心、交互性较强的关联规则挖掘模型。这一体系结构中约束条件的结构是相当丰富的，包括域、类和ＳＱＬ类型的集合约束，它们使用户能清楚地定义他们所想要挖掘的关联规则。文章作者将挖掘出的关联规则所应满足的条件用约束的关联查询语句来表示。     

面向对象数据库查询语言的评价标准

面向对象数据库系统的查询语言业已开发成功，由于缺乏参照的标准，要评价这些查询语文的 件难事，此文从对面向对象的支持表达能力，对集合运算的支持以及运用性四个方面提出了一个衡量框架，并对每一个方面定义了一系列具体评价标准。     

创建应用领域XML 词汇表的方法与原则

文章介绍了XML（eXtensible Markup Language）技术的最新应用，总结了建立XML词汇表的方法，并提出了建立应用领域XML词汇表的一些指导性原则。