【摘 要】
：
SKPP（Protection Profile for Separation Kernels，分区内核保护框架）是一种适用于分区内核的高安全需求规范。本文作者在深入理解SKPP内涵的基础上概括的介绍了SKPP所包含的各
【基金项目】
：
航空科学基金（2012ZC31006）,十二五总装预研课题（课题编号：51315030101）
论文部分内容阅读
SKPP（Protection Profile for Separation Kernels，分区内核保护框架）是一种适用于分区内核的高安全需求规范。本文作者在深入理解SKPP内涵的基础上概括的介绍了SKPP所包含的各个需求领域，并提出了能够涵盖SKPP大部分安全功能性需求的安全分区内核访问控制机制的实施策略。
其他文献
习作教学是小学语文教学的重要组成部分.在小学语文新课标中有关习作教学要求是较为明确的,也就是在习作教学过程中教师需要重视学生观察能力、思考能力、评价能力以及表现能
文章主要介绍一种新型的电动车智能安全辅助系统，实时采集电动车行车车速，通过单片机系统做出安全距离判断，控制电机进行调速，并做出声光报警。本文介绍总体设计方案的选定以及思
为了解决室内兴趣点数据更新的准确匹配问题,本文提出了基于定位点坐标、名称和地址进行相似度计算的综合匹配方法,并介绍了该方法的实施步骤与流程,通过试验评价了不同相似度计算方法的匹配效果。结果表明,该方法具有可用性,得到的参考阈值可为室内分布密集、种类繁多的兴趣点的快速更新提供技术支持。
加氢裂化PSA解析气压缩机K-801因实际工况与设计工况存在较大偏差，当入口变压吸附供给压力瞬间变化幅度较大时，压缩机防喘振控制阀一直无法全部关闭且不能在自动状态下稳定运行
摘要：软件工具及其生产环境是软件技术及其产业的重要组成部分。提高软件生产效率和质量一直是软件生产领域的重大课题。运行环境和应用模式的变化总是带动软件工具和生产环境的发展。当前，软件工具与生产环境呈现若干新特点：基于Internet 的工具资源开放共享与协同开发成为提高软件开发效率、降低软件开发成本的重要途径；基于复用思想的大规模的软件资源库构建与共享成为提高软件生产率和产品质量的有效手段；软件的可
本文主要介绍以UseCase为基础的故障模式分析方法。在系统分析阶段,把系统在结构上分解成若干小的解决方案,再推导出一个全面的故障模式分析结果。在每一步里,将关注每个UseC
5月10日，国家电网公司召开2013年防汛工作电视电话会议，贯彻落实国家防总水库安全度汛视频会议及电监会有关文件精神，总结去年防汛工作，分析当前防汛形势，安排部署今年电力设施和
目的探讨中晚期宫颈癌患者同步放化疗的化疗方案选择。方法选择120中晚期宫颈癌患者,完全随机分为对照组和观察组各60例。观察组接受放疗同步每周多西他赛方案,对照组接受放
我在美院自本科到研究生学习期间,从书法到写意山水再到写意花鸟,国画课基本上以临摹中国美术史上的艺术家经典作品为主。从技法训练到写生创作再到理论学习,可以说是形成了
本文主要阐明设计艺术的形式是表现作品内涵的视觉要素,而形态则是体现艺术作品的形式美学的态势表达。文中从形态的构成种类以及形态要素的归纳着手,从多个方面理解和把握形