本项目利用极大代数的离散事件动态系统(DEDS)理论对航空电子综合系统的动态行为开展研究,试图解决信息化战场环境下航空电子综合系统设计中的系统建模与优化、性能分析与评估等关键问题。极大代数是以"max"和"+"算子分别同态于加法与乘法的抽象代数结构,是DEDS理论中重要的定量分析方法。本项目首先给出实时系统的可预测性与极大代数DEDS线性系统的可控、可观、稳定性等概念的理论联系;然后结合信息化战场
本项目利用极大代数的离散事件动态系统理论对任务关键性实时系统的动态行为进行研究与仿真,研究工作围绕着信息化战场环境下航空电子综合系统设计中的建模、任务优化、资源分配、性能评估中的关键问题展开。研究了在航空电子综合系统分析与设计中离散事件动态系统理论的应用方法,及其与面向对象的方法与过程结合应用的注意事项,给出了离散事件仿真和科学计算可视化相结合的性能评价方法,并且对于交换式互连的冗余路径方案进行了案例研究并获得其关键部件可靠性的研究结果;研究了离散事件模型下航空电子综合化互连的实时性能保证措施,在光纤通道航空电子互连的案例研究中,提出了延迟和时延抖动的界限以及通信任务的分配方法,在航空电子全双工交换式以太网综合化互连的案例中,给出子虚拟链路分配和事件触发机制的分析与操作方法;以离散事件模型为基础,研究新一代航空电子综合系统体系结构;采用离散事件语义信息建模的方法,提出并初步构建了一体化平台综合化系统信息生成与管理方法。