实时系统的语言特征

本文以实时系统的特征为基础论述实时系统所必须的语言特征,并对现有程序设计语言 C,Jovial,Ada 做实时性分析。     

一种设计实时软件的方法：面向对象技术

本文在介绍实时系统特性的基础之上，讨论了实时系统领域的发展。对用面向对象的方法设计实时软件系统中遇到的一些问题进行了详细的探讨，并对面向对象的实时语言，面向对象的实时模型进行了介绍。     

双轴涡轮喷气发动机实时模型研究

发动机的实时模拟是研究发动机数字控制系统必不可少的基础。作者首次采用微型计算机[IBM PC/286]对某型双轴加力涡轮喷气发动机进行实时模拟研究，经过对发动机各部件特性的适当处理，很好地解决了实时模型的计算精度和计算速度之间的矛盾，得到了一个简单而又较为准确的发动机实时模型。经过与实际试车数据和非实时数学模型计算结果相比较，本文提供了数学模型无论是稳态性能还是动态响应都能很好地反映发动机的真实物理过程，具有一定的使用价值。     

民航地空通信干扰抑制系统的设计与实现

在中国民航空管地空通信经常受到无线电干扰,无法保障正常通信。从根本上解决民航地空通信干扰问题,对于有效保障民航安全具有重要的意义。结合民航VHF通信干扰源的特点,将基于恒模阵列的自适应信号处理技术应用于地空通信干扰抑制中,设计并实现了自适应干扰抑制实时系统,取得了很好的干扰抑制效果。     

保证速率的AFDX交换机实时调度算法

针对AFDX(Avionics Full Duplex Switched Ethernet)网络关键技术——交换机实时调度算法,提出一种保证速率的优先级实时调度算法(PRTRG,Priority Real Time sched-uling algorithm based on Rate-Guaranteed),并运用网络演算理论分析了此调度算法的实时性.在AFDX网络典型配置下,与(FIFO,First In First Out)结果进行分析对比,证明PRTRG算法有效地减少了高优先级数据的端到端延迟上界,同时保证了低优先级数据端到端延迟的确定性,并且阻止了数据流拥塞的扩散,在交换机内部实现了流量隔离.     

基于功率倒置算法的GPS抗干扰实时系统实现

实现了基于功率倒置算法的GPS抗干扰实时系统,并且提出了一种低复杂度的实现算法。运用Xilinx公司的Virtex-4以及TI公司的TMS320C6416T硬件平台．采用双FPGA＋单DSP结构来实现整个算法。实验结果表明,GPS信号经过实时抗干扰系统处理后,可以运用普通的接收机进行实时、精确的定位。该系统具有兼容性好、精度高等优点。     

硬实时系统中自适应反馈软件容错动态调度算法研究

在飞行控制等硬实时系统中由于任务超时完成将会给系统运行带来灾难性后果,而现有软件容错调度算法在处理机利用率较高时,成功执行主任务所占时间比率下降,针对此提出自适应反馈容错动态调度算法,此算法在经典软件容错调度算法BCE(Basic CAT EIT)的基础上,引入反馈调度机制,形成Feedback BCE调度算法。该算法在运行过程中定期监测处理机利用率,将实际处理机利用率与预期值进行比较,根据比较结果调整对任务集的调度。实验表明,相对于其他同类算法,自适应反馈软件容错调度算法有效降低了浪费的CPU时间片数量,提高了成功执行主任务所占时间比率,有效降低了因处理机超载而引起的主任务丢失率。
     

实时双机系统的可靠性仿真

可靠性数字仿真是可靠性研究的一个重要方向，也是可靠性分析所必不可少的手段与方法。本文在给出实时双机系统理论模型基础上，建立了实时双机系统的可靠性仿真模型，并将仿真结果与理论结果进行比较，得出了许多有益的结论。