【摘 要】
：
在军事指控领域中,伴随着硬件规模和复杂度的不断加大,以及苛刻的实时性能需求和各个平台之间实时要求的巨大差异,对于硬件平台之上的实时操作系统要求越来越高.但是当前的实
论文部分内容阅读
在军事指控领域中,伴随着硬件规模和复杂度的不断加大,以及苛刻的实时性能需求和各个平台之间实时要求的巨大差异,对于硬件平台之上的实时操作系统要求越来越高.但是当前的实时操作系统一般都存在着可移植性差,分配资源的策略无法对不同的实时应用做出相应的优化,以及对数据库的支持不够等种种缺点.该文以西安电子科技大学软件工程研究所承担的十五预研项目"可信软件重用及构件库管理系统"为项目背景,借鉴了国外先进的resource kernel思想,提出了一种新型的以资源为中心的实时操作系统MRTOS的设计方案;并且利用Builder模式实现了该设计方案中内存数据库的内存分配模块.以上工作可以使操作系统的资源分配根据实时应用的事务逻辑进行裁减,使得实时应用的效率得到一定的优化,并且能够比较好的解决面向军事指控领域的实时操作系统可移植性差,对数据库的支持不够等缺点.
其他文献
该论文主要阐述了:基于网络的智能化计算机辅助教学是在现代建构主义理论的指导下,将计算机技术与教育、教学改革相结合,通过教学模式的智能化、网络化设计,衍生出的一种新的
本文对安全多方计算协议进行了研究，介绍并分析了现有的四类安全多方计算协议：“基于VSS 的安全多方计算协议”、“基于Mix-Match 的安全多方计算协议”、“基于OT 的安全多方
本文提出的网络管理方法，是在认真分析、比较当前各种网络性能、故障管理技术的优缺点后，针对故障管理中故障检测、过滤和定位中需要考虑的问题，吸收了各种现有技术的优秀思想而
远程教育以网络技术为支撑，具有时空自由、资源共享、系统开放、便于协作的优点，在发展远程教育的过程中人们深刻认识到，学习资源的共享性和复用性对远程教育的实用性和经济性具
本文讨论了RKIF规范的设计和推理引擎的实现。最终定义的RKIF实际上是一个默认封闭世界假设，并去掉了一些不常用的KIF语法特性的KIF子集。在此基础上，我们以Rete算法为核心，实现
计算机通信协议的开发难度随着复杂程度的增加而日益增大,潜在错误也越来越多,其中对协议规格说明理解的偏差是重要原因之一.因此需要对协议进行一致性测试,协议的一致性测试
本文主要分为四个部分。第一部分是引言，主要讨论了在Java中引入泛型特性的原因，并概要介绍了泛型和JSR-14的一些背景知识。第二部分就主要研究了它的语法特性。该部分首先描述
本文首先研究了定题搜索Robot中的一些关键技术，包括Robot爬行的原理，Robot的基本组成，机器人排斥协议，以及经典定题搜索算法与网页相关度评价，并提出了定题搜索算法的改进方案。