【摘 要】
：
为增强安全关键实时系统的可信性,在分析高可信保障机制现状的基础上,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构.为防止不同关键度子系统
【基金项目】
：
国防科技预研基金，国家科技攻关项目
论文部分内容阅读
为增强安全关键实时系统的可信性,在分析高可信保障机制现状的基础上,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构.为防止不同关键度子系统间的有害干扰,提出了基于两级结构化调度方法的时间隔离机制.为实现时间隔离,论文首先针对集成式多级关键高可信保障机制建立了调度模型,然后进行了子系统及其任务的可调度性分析,最后用实例进行了例证.本文的研究成果也可应用于其他非关键领域,具有较大的实用性.
其他文献
康德在《判断力批评》中，把人的心灵分为知、情、意三部分。人必须通过审美状态才能由单纯的感性状态达到理性和道德的状态，审美是人达到精神解放和完美人性的先决条件。而影视
作为构建社会主义和谐社会的重要组成部分,构建和谐校园其意义和作用也十分重要。加强和改进各族教职工的思想政治教育,是民族院校思想政治工作的重要组成部分。文章从对思想
尽管在成像和遗传的进步允许基因铁超载的大多数盒子的非侵略的诊断，肝病理仍然保持经常有用( 1 )联系了损害由分级纤维变性并且寻找估计预后并且( 2 )指导病因学的诊断，特别当
迄今为止，洛克希德·马丁公司已经向美空军、海军和国外用户交付了25000多套激光制导组件。该公司与美国空军签订约5000万美元合同，生产美国空军明年需要的激光制导组件，其
本文将子波网络用于实现DS－CDMA系统信道中多用户的信号检测，在实际中，当存在强干扰信号时传统检测器（单用户匹配滤波器）的性能会急剧恶化。本文基于MMSE（Minimum Mean-Square Erro
信息时代消费者需要信息就像需要水和空气。本文运用信息经济学和微观经济学理论,分析了广告产生的经济学原因,叙述了由于消费者和商品生产者之间存在着信息不对称现象,出于
1引言激光作为高功率密度光源可用于各种材料的加工,其在工业领域的应用包括汽车、钢铁、电器电子和半导体,主要用途是切割、焊接和打标.
植物状态是脑外伤的一种特殊意识状态。现代医学认为脑具有巨大的可塑性,当脑细胞受损时,正常脑细胞和平时受抑制的神经通路可代替。植物状态不一定是脑皮质的完全性损害,有
AIM: To evaluate the feasibility and safety of performing laparoscopic cholecystectomy (LC) in nonteaching rural hospitals of a developing country without intra
一处驰名中外的景区，不可能处处美仑美奂，绝佳处往往只是其中的一两个景点；一篇洋洋洒洒的文章，从头到尾也不可能字字珠玑、句旬金石，妙手偶得处也往往只是那么一两段，甚至三五句。