轨道交通软件开发中的数据结构定义方法

本文介绍一种轨道交通软件开发中的数据结构定义方法,步骤包括:形成设备基础信息表;形成设备对象到边及控制区域的第二索引表.采用这种数据描述方法能减少映射表的使用,使数据操作简单、一致和方便,符合轨道交通软件开发对数据的实时性和安全性的要求.     

模型驱动开发在安全苛求系统中的应用

主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是规范和指导领域内安全苛求系统中的MDD开发,最终可以实现降低软件开发成本、提高软件交付质量和确保软件安全性的目的。     

模拟退火遗传算法在飞行冲突解脱中的应用

由于空中交通流量的增加，我国的空中交通管理系统面临着越来越严重的航线拥挤问题，自由飞行可以有效地解决这一问题，自由飞行允许飞行员选择最适合自己的飞行航线和飞行速度，但同时却给管制员的工作增加了难度。采用模拟退火遗传算法对自由飞行条件下的飞行冲突进行探测与解脱，与标准遗传算法相比，模拟退火遗传算法具有解的质量更优、鲁棒性更强、初值敏感度更低等优点。