基于RTLinux构建机载SAR实时成像处理器嵌入式控制系统

面向地学处理的机载SAR实时成像处理器由一组连接在工业总线上的数据处理板和一个嵌入式主控子系统构成，成像处理器的总体设计对主控系统的实时性，稳定性及可扩展性提出了严格的要求，比较了传统的嵌入式工业控制系统的设计方法，设计并实现一个基于廉价的PC与RTLinux的主控系统，分析了主控系统的两个重点；DSP宿主环境和RTLinux下的混合任务集，并通过给出一个RTLinux与Linux调度精度和误差的对比试验及其结果，证明了基于RTLinux的主控系统对支持细粒度调度方面的优越性。     

Linux在保护模式下的中断处理分析

该文以80x86保护模式下的中断处理方法为基础,针对Linux在实时嵌入式系统中的具体应用,阐述Linux在保护模式下的中断及其中断响应处理过程,深入地分析Linux下的中断描述符初始化过程及中断处理程序的实现,最后通过Linux可加载内核模块编程对所作的分析进行验证。     

嵌入式电能质量监测器的设计

根据电能质量监测对于系统实时性和支持复杂算法的特殊要求 ,提出一种基于双CPU的嵌入式实时系统解决方案。主要讨论设备的硬件系统设计和基于双CPU系统的软件设计思想。设计经过实际的调试和运行 ,电路功能正常 ,证明了该设计的合理性和可用性。相对于以往的设计 ,具有实时性好、体积小和成本低的优点。     

中小型水电站厂内经济运行准实时系统的设计与实现

本文试图根据电网负荷和电站水头的实时变化情况，进行厂内经济运行的优化计算，当厂内经济运行优化计算能够达到一定的速度要求时，即可认为实现了水电站厂内经济运行准实时系统。选择其中型水电站进行厂内经济运行实时系统的模拟实验，结果表明对水电站的4台机组进行实时优化，平均计算时间在0.2秒以内，即实现了厂内经济运行的准实时系统。     

分布式实时系统的高可靠性研究与实现

将实时特性引入分布式系统将会给系统可靠性与分析带来许多新的变化。     

Completeness of the Accumulation Calculus

The accumulation calculs(AC for short)is an interval based temporal logic to specify and reason about hybrid real-time systems.This paper presents a formal proof system for AC,and proves that the system is complete relative to that of Interval Temporal Logic(ITL for short)on real domain.     

微机控制的实时录音机磁头自动检测系统

一套微机控制的磁头检测实时控制、数据采集及处理系统。     

用钩函数实现应用程序独占Windows前台控制

在一些工业实时系统中，为了使应用程序持续运行，保持数据的完整，需要应用程序独占前台控制。本文通过对钩函数的介绍，提出了用钩函数屏蔽系统命令的方案，并详细介绍了用ＷＨ—ＣＢＴ钩和ＷＨ—ＧＥＴＭＥＳＳＡＧＥ钩的解决办法。     

分布式实时系统中负载平衡任务分配算法

提出了一种以系统负载平衡为目标的分布式实时系统任务分配算法。该算法首先通过对任务分组，减小系统负载，再按照一种新的目标函数，启发搜索任务分配树，来获得系统负载平衡条件下系统负载最小的任务分配方案，有效地减小了启发式搜索算法的计算复杂度。     

微机控制的实时录音机磁头自动检测系统

传统的录音磁头性能检测方案已不能很好地满足大规模生产的要求，为此本文介绍一套微机控制的磁头检测实时控制，数据采集及处理系统。本文将讨论系统功能的要求，及为满足这些要求所采取的硬件及软件结构。使用该系统，可以增加磁头性能检测的可靠性，提高劳动生产率，有利于科学管理生产实践。