中文摘要：

实时系统的核心问题之一是调度算法。许多嵌入式系统都具有硬实时的要求。为了在一个实时操作系统中实现一种实时调度管理算法(比如RM或EDF等)，先要判定给定的任务集必须是可行的。对硬实时系统设计而言，这部分工作一般是离线进行的，这是由应用的特点及判定给定任务可行性的算法复杂度决定的。实时操作系统还不可能包括一个动态的可行性分析器，因此需要一个计算机软件工具来辅助进行，目前尚无一个好的工具。本项目利用本人以前关于限制条件间具有逻辑关系为"与"和"或"的优化理论算法的结果为基础（本人在国际上首次提出了限制条件具有逻辑"与(AND)"和"或(OR)"的最一般非线性规化问题，并给出了一种数学解法），研究基于RM、EDF 优先级的任务优化算法，以及各种扩展条件下RM, EDF的优化算法，并给出计算机软件实现。本研究结果在实时数据采集系统与控制、实时数据库，实时通讯，多媒体视频点播等领域都有重要意义

结论摘要：

实时系统是一个计算机科学和控制论等的交叉学科。本项目研究了实时系统优化理论及其具体实现和应用研究了实时系统的传统问题- - 任务可调度性判定；研究了实时系统参数优化设计问题，利用关于限制条件间具有逻辑关系为"与"和"或"的优化理论算法的结果，进行了各种具体调度算法的改进设计研究；把优化理论应用于硬实时系统的机器人实时路径规划研究。在此基础上，还研究了实时系统优化理论在其他领域的新应用在软实时系统的研究中，把优化理论、调度算法等用于瓶颈链路探测、网络资源分配及拥塞控制、计算机实时取证等。在国际国内重要刊物和会议上发表30余篇论文，其中SCI 收录10篇，EI收录23篇，ISTP收录7篇。研究成果在实时数据采集系统与控制、实时数据库，实时通讯，多媒体视频点播等领域都有重要意义。此外，还开设了研究生实时系统课程，培养了若干名博士和硕士研究生；组建了一支高素质、年龄结构合理的、在实时系统领域具有一定国际影响的研究团队；积极开展了国际科技交流与合作。