【摘 要】
：
针对现有实时调度算法无法适应动态安全需求的问题,构建了一种安全驱动调度模型,该模型从系统安全级别、系统安全服务和任务安全策略三个方面描述了实时系统的动态安全需求,
【基金项目】
：
国家自然科学基金（No.60736017）
论文部分内容阅读
针对现有实时调度算法无法适应动态安全需求的问题,构建了一种安全驱动调度模型,该模型从系统安全级别、系统安全服务和任务安全策略三个方面描述了实时系统的动态安全需求,并设计了一种基于安全驱动的实时任务调度器框架。以该模型和框架为基础,提出了一种安全驱动调度算法（Security Driven Scheduling Algorithm,SDSA）。从全局角度对新到达任务进行可调度性检查,并将可调度任务分配到合适的处理机上运行。按照系统安全级别来动态调整已分配到各处理机上实时任务的安全策略,使其达到安全性和可调度
其他文献
为实现基于投影仪和摄像机的结构光视觉系统连续扫描,需要计算投影仪投影的任意光平面与摄像机图像平面的空间位置关系,进而需要求取摄像机光心与投影仪光心之间的相对位置关系。求取摄像机的内参数,在标定板上选取四个角点作为特征点并利用摄像机内参数求取该四个特征点的外参数,从而知道四个特征点在摄像机坐标系中的坐标。利用投影仪自身参数求解特征点在投影仪坐标系中的坐标,从而计算出摄像机光心与投影仪光心之间的相对位
研究了缺陷产品可修复且修复速率为模糊变量情况下的生产库存模型；给出了基于模糊结构元理论的求解模糊库存总成本最小化的方法步骤；得到了含有模糊结构元的最佳生产批量的表达
大学生自主学习是获得知识的重要途径。近年来,以学习者为中心的教学理念已受到越来越多的重视。本文依据大学生自主学习的相关理论,以宁夏大学、宁夏医科大学、宁夏师范学院
山区综合开发产业化经营的主体是农户、中介组织、合作经济组织和企业，政府的职能是引导、服务、协调和推动。发展和建设现代化的龙头企业，正确处理龙头企业与农民的利益关系，是