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

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

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

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

基于排队论的并联双通道公交站台使用效率研究

针对公交车在车站排队延误过长的问题,提出设置并联双站台的形式加以解决,从候车人的心理和实际观察角度进行了微观设计。为从理论上证明双站台的优点与通行能力,结合实例应用统计方法验证了具体路段公交车连续到站间隔服从泊松分布,应用WinQSB工具箱、根据排队论计算分析了并联双通道站台公交站点的各项排队指标。将该指标与实际站台排队数据比较,新型双站台形式能有效减少延误和排队长度。     

超立方体排队均衡的卫星消防站选址调度优化

考虑应急服务设施忙碌条件下的需求覆盖可靠度,以及在应急救援中卫星消防站主站和副站关联机制,构建了超立方体排队均衡条件下的卫星消防站渐进覆盖混合整数规划模型,对不同等级灾害的车辆选址与调派方案进行了渐进覆盖优化.应用软件GAMS与局部搜索算法对模型进行编程与求解,并对黑龙江省哈尔滨市主城区卫星消防站布局进行了实例优化,通过计算消防服务水平,证实了卫星消防站模式的优势,并对卫星消防站关联成本进行了敏感度分析,为哈尔滨市消防规划部门预算投入提供了更为准确的参考.     

相似制造论及其应用研究

介绍了相似论及相似制造论的基本概念、相似关系、相似规律,以及相似制造论在推进我国制造业从"制造大国"变为"制造强国"的进程中所具有的重要理论价值和应用价值,论述了在现代装备制造业中产品设计、工艺规划、多品种小批量工序质量控制,以及在现代集成制造系统、敏捷制造、精良生产等先进制造模式中研究与应用相似制造论的原理与方法,对相似制造论研究与应用的现状、前景进行了总结.     

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

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

JY型列车接近语言预警机

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