高可靠、强实时分布式系统的切换技术研究

本文首先给出某高可靠、强实时分布式系统及系统的两种切换方案的简要描述，然后对切换技术的实现进行讨论；最后，在建立强实时双工系统的可靠性模型基础上，对系统的两种切换方案进行分析与比较。研究结果表明：对于本系统，机组级切换优于结点机级切换，且可以减少程序的复杂度，提高系统的可靠性与实时性。     

一种快速实时烟雾仿真方法

在导弹发射、飞行实时仿真系统中,对导弹尾部烟雾的仿真是影响可视化仿真系统真实感和实时性的重要因素。运用粒子系统的方法,对系统中导弹尾部的烟雾进行了仿真,提出了合适的粒子产生、运动、消灭和形状模型,并在系统中得以实现,取得了较好的效果。     

自适应光学波前实时处理机结构设计

本文介绍的波前处理机是１．２ｍ望远镜自适应光学系统的关键部件之一,吞吐率高,延时小,是具有高速数据处理能力的实时处理系统。为满足系统的高速度性能,系统设计在实时性、并发性的基础上,将图象数据采集加入流水线,并对波前处理中自然存在的子任务作“去相关”’处理,建立了图象采集、斜率计算、波前复原间流水线操作。图象读出时间的利用及流水线的建立,大大减少了时延,降低了系统实时性要求。流水线处理与高度并行处理相结合,也是本处理机设计的一大特色。     

用于实时系统性能分析中的扩展Petri网

Petri网(PN)是用于系统建模和性能分析的一个强有力的工具。当用于实时系统时,需要对其进行扩展以能表达实时时间属性。本文介绍几种与时间有关的扩展Petri网及其应用,并从使能规则、点火规则和点火方式几个方面对它们进行了分析比较。     

分布虚拟战场环境CGF行为调度

提出了一种分布虚拟战场环境中计算机生成兵力(CGF)实体行为调度方法,该方法由仿真结点对结点中运行的所有本地CGF实体及异地实体的远程模型所产生的行为进行集中式调度。通过本地CGF实体的兴趣域动态决定需要执行的异地实体远程模型行为的优先级及执行最后时限,通过将本地所有CGF实体的兴趣域合并,减少仿真结点需要调度的异地实体远程模型数量,进一步降低仿真结点的计算开销。该方法可以有效地确保分布虚拟战场环境对仿真实时性及真实性的要求。     

基于EGK/EGD的VxWorks图形界面开发技术

为了解决嵌入式系统下图形界面开发困难的问题,讨论了在VxWorks下利用EGK/EGD进行窗口图形界面开发的方法.分析了其工作原理及开发流程,并给出了具体的应用实例.工程应用表明,EGK/EGD功能强大、使用方便,是一套理想的嵌入式人机界面解决方案.     

基于AndroMDA的实时系统代码生成技术研究

针对实时系统软件的代码生成技术，基于开源软件AndroMDA，分析并建立了实时系统平台的PSM元模型，研究了基于类图和状态图的PIM到PSM和PSM到代码的转换规则，最后给出了模型转换的实现算法。应用效果分析表明，该方法与LACATRE和手工编码相比，开发软件的效率和质量都有较大的提高。     

基于VxWorks的某型飞机机载总线仿真系统

结合我军的某新型飞机,介绍了一种基于嵌入式实时操作系统VxWorks的总线仿真系统设计方法.使用航空机载总线技术,计算机局域网技术,重点是VxWorks技术,论证并设计了虚实结合的机载数据总线的通信仿真系统,构造了具有远程通信能力的飞机内部设备连接、分析、研究、实验、测试的通用平台.     

基于模糊Petri网的实时系统功能模型构建

Petri网在描述具有模糊行为的系统时是有缺陷的,为了更好地分析、评价和开发实时系统,提出了一种利用模糊Petri网构建实时系统功能模型的方法,阐述了模糊Petri网的基本原理,详细介绍了利用模糊Petri网的特征分析实时系统的功能及绘制实时系统功能模型的步骤。     

随机弱实时系统作业调度概率保证分析

随机弱实时系统与强实时系统的显著区别是 ,它不要求实时任务的每一项作业都满足时限要求 ,只要保证作业的时限延误率低于某一阈值 ,其总体执行性能就是可以接受的。提出了概率时间需求分析法 (PTDA) ,用于估计可剥夺静态优先级调度策略下周期性任务的作业满足时限约束的概率的下界 ,并通过一个具体的实例考察了下界的紧性。对实例系统的仿真结果表明 ,PTDA分析的误差小于 1 0 % ,计算速度快 ,可以为弱实时应用的设计提供重要的参考依据