软PLC控制系统实现

以Visual C 6.0作为开发工具,介绍了软PLC控制系统的软、硬件结构,详细叙述了其具体实施方案,并给出实际运用,验证了它的正确性.     

人才信息系统数据库设计

在人才信息系统的功能需求基础上,设计了一个信息数据库,能够实现招聘信息发布与查找、应聘信息发布与查找以及人才信息统计等功能。整个设计过程从需求分析、概念设计、逻辑设计等方面进行探讨。     

Gbps串行链路信号完整性分析与设计

本文对影响Gbps串行链路信号完整性(SI)的主要原因进行了详细分析,提出了一系列改善信号完整性的解决方法和思想。实际设计了实验背板,测试结果验证了方法的有效性。     

继电保护定值管理系统设计

基于工作流技术分析了定值单管理业务过程,利用UML活动图对定值单管理工作流程建模,在BEA Weblogic Integration支持下实现了定值单工作流系统,给出了与定值整定计算软件、配电AM/FM/GIS进行系统集成的方案.系统的实施实现了定值生产管理流程化、自动化和多部门协同.     

基于PI3000平台的电力企业模型可视化研究

基于PI3000平台进行信息系统建设的第一步是企业模型的构建,原有的树状结构的模型描述方式不够清晰直观.提出了一种基于PI3000平台的电力企业模型可视化的方法,该方法以UML类图的方式展现信息系统中的企业模型,同时,为了增强可读性,重点研究了UML类图的自动布局过程.     

时间自动机的LTL性质模型检测研究

为了增强模型检测工具的检测能力,拓宽模型检测技术的应用范围,对基于时间自动机的LTL性质模型检测进行了研究,对自动机的状态空间的存储方式和状态空间的展开过程进行了分析,讨论了LTL性质模型检测工具的检测流程和检测算法的实现策略对工具检测性能的影响,针对制约模型工具的检测能力和检测效率的因素,采取了一些相应的优化改进策略.采用了BDD(二叉决策图)共享存储技术和位编码压缩存储,较有效地减小了空间消耗,缓解了模型检测中状态爆炸引起的内存空间不足问题.与DTSpin等著名的模型检测工具进行了实验比较,取得了较好的实验结果.     

通用逻辑电路自动检测系统的设计

目前我国电力机车中逻辑控制设备的检测大都采用专用设备,缺乏通用解决办法,为此采用现代计算机软件与控制技术开发设计了通用的检测试验装置;该系统采用灵活的硬件和软件设计,解决了通用逻辑电路检测的难题;对检测试验装置的硬件系统做了原理分析;对计算机软件系统中的核心数据结构的设计、算法和处理方法做了较为详细的介绍;实践结果表明,该检测系统运行稳定可靠,能实现电力机车中绝大部分复杂逻辑电路的自动检测,具有很好的实用性和应用价值。     

Railway station route searching based on ACA

In the railway station signal system, the route searching algorithm is an important software module to realize the function safety of this system. In the paper, the ant colony algorithm is applied to the railway station route searching. Take the specific station route-the Wangzhai Station route for example to search the shortest route. The ideas of the Wangzhai Station route searching are put forward based on the ant colony algorithm. The implementation steps of it are presented. The control flow of it is proposed. The program is developed, the interface is worked out, and the route controlling is realized to demonstrate its good performance.     

基于空间形态数据的铁路通信数字工程设计系统

建筑信息模型 (building information modeling, BIM)技术作为建筑业实现信息化数字化转型的核心技术, 在铁路建设全生命周期中具有很高的研究价值. 在铁路通信机械室内、站场、区间设计中, 将铁路通信实体的空间位置、形状、大小、关系等空间形态描述数据化, 结合铁路通信设计规范、相关铁路BIM标准以及专业实际设计需求, 研究开发出铁路通信数字工程设计系统. 本系统以空间形态数据为支撑, 铁路工程实体结构分解标准为基础, 在三维环境下实现了铁路通信机械室内机柜设备的智能布设, 站场通信沟槽线缆的路径规划, 区间通信信息点位置的准确布置. 系统进一步基于数字工程模型和图论基本原理, 实现了从数字工程模型中获取逻辑关系并生成通信逻辑网图. 经实际工程验证, 系统对铁路通信数字工程设计效率和准确率都有较大提升, 从工程源头实现了铁路通信工程数字化成果交付和应用, 促进了铁路通信工程项目全过程技术升级和数字化模式革新.     

基于UML活动图的用例识别

在面向对象的软件开发过程中,统一建模语言(unified modeling language, UML)的用例图用于捕获用户的需求.传统描述用例的方法一般是开发者根据自己的经验,从需求中人工获取用例.然而,如何自动生成准确的用例仍然是一个待解决的问题.本文提出了一种通过用UML活动图半自动生成用例的方法.首先通过引入形式化模型——统一结构来描述用例图与活动图,其次给出分解活动图的算法,然后根据分解活动图得到的依赖链生成对应的用例的事件流,从而得到用例模型,最后通过所开发的原型CASE工具进行案例的演示,验证了本文所提出的方法的可行性。