面向业务自动化转型的铁路运输调度业务数据模型构建方法研究

铁路运输生产调度业务自动化、智能化转型改进是推动铁路运输效率提升的重要手段。探讨业务转型过程中对业务各场景各颗粒度控制逻辑和信息流通的梳理建模方法,从而推动业务高效转型,在对运输生产调度业务深入分析的基础上,抽象了调度业务组织的关键影响要素和关键关联关系,梳理了工作流、信息流、信息流通机制与上述抽象的调度业务要素及这些要素间关联关系的对应关系,设计了一种刻画业务工作流、信息流和信息流通机制的数据模型构建方法。考虑到铁路运输生产调度业务分散协作、多级耦合的多层级多场景特点,设计了工作流、信息流数据模型的分化、细化关联机制,以实现对不同层级、场景调度业务的数据模型间有机关系的刻画,最后结合实际调度业务进行了应用分析。结果表明该方法构建的数据模型可以规范调度业务在不同场景、不同颗粒度下的控制逻辑和信息流通,从而为业务自动化转型过程中的信息系统开发和作业流程再造提供参考。

基于自然语言处理的代码指挥建模方法

构建一套高效的且适用的代码指挥体系对于提高指挥控制效率、提升作业效能具有重要意义。基于指挥控制系统的现状和发展方向,分析了代码指挥技术的发展情况,构建了一套文书指挥向代码指挥转化的系统建模方法,并采用依存分析技术和Transformer模型处理自然语言指令,实现了自然语言和指挥代码的转换。原型验证系统试验结果表明,该方法可有效提高指挥控制的效率和准确性。

北魏四中郎将考论

北魏明元帝时开始仿照晋制设置东、西、南、北中郎将,并使四中郎将成为国家职事官。孝文帝官制改革后,先后制定前、后《职员令》,明确规定了东、西、南、北中郎将的品级。而且,在孝文帝迁都洛阳前、后,又使东、西、南、北中郎将于洛阳京畿四方设置军府,从而将四中郎将的设置与京畿的防卫结合在一起。北魏国家为保证京畿地区的稳定,使东、西、南、北中郎将可以统领规定数量的禁卫军,并且,还使四中郎将隶属于中领军(领军将军)。北魏国家采取从现任职官中选任东、西、南、北中郎将的做法,并实行主要以拓跋鲜卑贵族担任东、西、南、北中郎将的措施,从而在京畿防卫上,使他们占有主导地位。可以说,北魏后期,东、西、南、北中郎将的设置适应了胡、汉交融的形势,因而,也就不同于东晋、南朝设置的四中郎将,成为具有新职掌的重要职官。

自然语言空管指令交互接口研究

无人机数量和任务种类的增多使得传统的空域隔离模式不再适用,为促进无人机融入非隔离空域,设计了面向空中交通管制指令的无人机自然语言接口。提出了接口的结构框架,详细讨论了系统理解和交互部分的实现方案。针对指令文本的特殊表达进行预处理,分类编写了指令文法并设计了匹配算法进行指令解析,依据实际执行需求制订格式化指令表。模拟空管交互场景运用有限状态机设计了交互对话逻辑并给出答复语句的生成模板。最后,对系统适用性进行验证,结果表明该接口能够满足常见指控需求。

基于生成式摘要模型和知识蒸馏算法的铁路调度命令解析算法研究

随着铁路信息化的发展,利用算法自动解析大量铁路调度命令(简称:调令)的重要性日益凸显。文章提出了一种基于生成式摘要模型和知识蒸馏算法的铁路调令解析算法,该算法利用生成式摘要模型端到端解析铁路调令,拥有较高的精度和较强的鲁棒性,适应写法多样的调令。采用知识蒸馏算法等多种轻量化策略,设计了新的损失函数和多种模型初始化策略,精简模型尺寸,提升算法速度。该算法在铁路调令数据集上取得了21.6342的Rouge-2分数,推理时间达103 ms,为铁路调令解析技术在铁路场景中的部署提供了参考。

基于GCL语言的测试用例生成方法

提出一种基于GCL语言生成程序测试用例的形式化方法.程序的语义为测试用例的生成提供了基本框架,而由Hoare等人提供的规则保证了用例的正确性.作者的这种方法可被认为是一种严格的,自动生成测试用例的方法.这种方法的优点在于:所获得的测试用例都是可行的,在测试用例生成过程中可以避免状态爆炸问题,而且该方法可以延拓到任何目标语言.据此开发了一个基于Haskell语言的原型工具来支持作者的方法.

利用组态王事件命令语言保存多个画面中报表的方法

本文针对多个画面中的报表难以同时通过事件命令语言进行保存的问题,利用字符串变量判断报表所在画面名称是否为当前画面为依据,编写用于报表保存的事件命令语言,提供一种多个画面中的不同报表能够通过事件命令语言分别进行保存的方法。

作战管理语言研究综述

作战管理语言是军事人员、指挥控制系统和军用仿真系统之间进行通信的一种协议,它可以提高系统之间的互操性和仿真系统的逼真度。通过总结近几年研究作战管理语言的文献,对作战管理语言的定义、条令、表现、协议、本体和语法以及它们之间的关系等进行归纳和整理。介绍了指挥控制信息交换数据模型和Web服务在作战管理语言的应用,在此基础上介绍了作战管理语言对军事训练和军事仿真系统的影响,最后总结了目前作战管理语言的研究热点。

一种同步语言多线程代码自动生成工具

随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用。同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模和验证。目前,同步语言SIGNAL编译器主要支持串行代码生成,较少关注多线程代码生成。提出一种同步语言SIGNAL多线程代码生成工具。首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序;之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系;然后对时钟数据依赖图进行拓扑排序划分,并针对划分结果提出优化算法和基于流水线方式的任务划分方法;最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码。通过在多核处理器上的实验,验证了所提方法的有效性。

基于TCL的电路板原理图自动审查平台建设

该文提出了一种用TCL语言作为审查脚本语言构造原理图审查系统的系统框架。在该系统中,利用TCL语言的扩展性,制定了一套应用于原理图通用数据结构的TCL扩展命令,并在此基础上构建原理图规则库和自动审查执行器,实现了原理图的自动审查。

参数化建模的螺栓法兰连接刚度分析

为分析几何参数对螺栓法兰连接刚度的影响,用MSC.Patran软件的二次开发工具PCL(Patran Command Language)建立了螺栓法兰连接的参数化模型。研究了螺栓法兰连接刚度随连接结构几何参数的变化规律并进行了灵敏度分析。经分析可知,连接结构刚度对开孔位置比例参数最敏感,其次是上法兰厚度。当上部段长度大于某一数值时,连接结构刚度对上部段长度参数不敏感,这一结论能为连接结构动力学简化建模提供一定理论参考。

基于Patran二次开发的星形药柱几何参数灵敏度分析

为了分析几何参数对星形药柱结构完整性的影响,在有限元软件MSC.Patran/Nastran平台上,用Patran的二次开发工具PCL(Patran Command Language)实现了星形药柱建模与分析的参数化。研究了星形药柱最大Von Mises应变随药型几何参数的变化规律并进行了灵敏度分析。结果表明,星形药柱肉厚、星角系数、星角数以及沟槽顶弧倒圆半径等对药柱结构完整性影响较大,药型设计时应重点关注这些参数。所提出的方法和相应结论可为固体发动机设计提供参考。

基于PCL的高超飞行器结构参数化建模

在复杂的高超飞行器总体设计中,参数化建模起关键作用。该文根据结构分析软件MSC.Patran提供的二次开发语言PCL的特点,利用PCL实现参数化的高超飞行器结构建模功能。程序提供总体集成的接口便于总体集成优化。静应力与模态计算的结果显示出网格的有效性和计算的正确性。

利用UML建模设计指挥自动化软件系统

指挥自动化系统是C4ISR的重要组成部分,主要用于系统的指挥、控制和协调,指挥自动化应用系统的开发是一个复杂的软件工程,结合一个指挥自动化系统工程项目,利用统一建模语言(UML)来对该系统建模和设计,展示了UML在开发指挥自动化系统的运用,表明软件工程的方法可以有效地运用于指挥自动化系统的开发。

基于PUS协议的通用遥控指令设计及其XTCE描述

为了解决现今各卫星型号中遥控指令形式多样、参数多变、指令设计繁琐的问题,提出了一种通用的卫星遥控指令设计方法。该方法参考PUS(Packet Utilization Standard,包应用标准)对遥控指令包格式进行通用化设计,并使用XTCE(XML Telemetric and Command Exchange,基于可扩展标记语言的遥测遥控数据交换)格式对遥控指令格式和内容进行描述,能够快速有效地进行遥控指令的设计和动态生成,在满足卫星遥控指令设计和应用需求的同时又具有较好的通用性和继承性。实践表明,基于PUS协议的通用遥控指令设计方法及其XTCE描述能够有效地降低地面应用和测试软件的复杂度,提高软件的通用性和可靠性,缩短研制周期,降低卫星研制成本。

基于预警文本信息的调度命令智能生成模型

提出调度命令智能生成模型,该模型由神经网络和调度命令修正模块两部分组成。基于长短时记忆(LSTM)网络构建序列‒序列(seq2seq)模型,将预警文本信息作为模型的输入进行训练,提出五种调度命令修正策略并分别对五种易错信息进行修正,最终得到调度命令。结果表明:该模型具有利用预警文本信息生成调度命令的能力,引入的调度命令修正模块能够有效提升调度命令生成质量。

后唐定难军节度押衙白全周墓志考释

《白全周墓志铭》于20世纪70年代出土于陕西省横山县魏墙村。墓主白全周称贯南阳,与志文中所言先祖白居易之郡望不符,当为伪托冒袭。墓主先后在定难军担任正兵马使和节度押衙,主持回图重务。揭示了唐末五代时期的定难军夏州政权以回图贸易作为财政收入来源之一。墓主之仕宦,由正兵马使迁转至于节度押衙,说明在唐五代时期的定难军政权中,节度押衙之职级略高于正兵马使。同时,墓主还以押衙身份兼知他职,乃至管理藩镇经济事务,说明定难军节度押衙一职出现了阶官化趋向。

基于边界扫描的SRAM测试技术的研究与实现

静态随机存储器(SRAM)应用广泛,必须充分测试以保证其高可靠性;应用边界扫描的虚拟探针技术实现SRAM测试,分析SRAM功能结构并建立测试模型;以HY6264SRAM存储器为被测对象进行DEMO板可测性设计,应用TCL语言描述其测试信息;实验证明,该方法可完成对SRAM外围线(包括控制线、数据线和地址线)和存储单元的测试与故障诊断,结果正确且诊断定位具体,具有较好的应用前景。

TCL/TK语言结构分析及其在网络教学中的应用

对当今计算机界流行的TCL/TK体系结构进行了深入分析,并结合TCL/TK语言以及面向对象建模技术,给出了一种基于TCL/TK脚本语言的跨平台可扩展、可视化网络教学系统模型和结构的设计方法。

用MSC.Patran的PCL二次开发用户界面

在对MSC .Patran进行二次开发时 ,通常要自己编写自定义的图形界面 ,以实现开发者所需的一些特殊功能 ,结合某些用户界面 ,说明利用PCL语言进行二次开发用户界面的过程和应注意的问题。