论文部分内容阅读
"安全性"是涉及内容较多的一个概念范畴，在不同应用领域具有不同的内涵.对于具有实时性要求的应用场合，安全性可以包含实时性的要求；对于安全关键性领域的应用场合，安全性又可以包含确定性(可预测性)的含义.本文所要讨论的系统安全性主要指应用系统的可预测性，即系统处于可预测状态的程度.
基于可预测性的实时操作系统安全性技术研究
【摘 要】
：
"安全性"是涉及内容较多的一个概念范畴，在不同应用领域具有不同的内涵.对于具有实时性要求的应用场合，安全性可以包含实时性的要求；对于安全关键性领域的应用场合，安全性又可以
【机 构】
：
中国航天工程咨询中心,100038
【出 处】
：
2006中国科协年会
【发表日期】
：
2006年期
其他文献
本文针对安全性关键软件的特点，提出了一种在全面测试的基础上、基于软件安全性分析的软件可靠性测试与评估方法.全文分三个部分:第一部分为软件可靠性测试，描述了软件可靠性测
引子:有位曾经叱咤股市风云的高人接受采访时说了一句很富意味的话:“人生就是永远的踏空和套牢。”方联城觉得这话放在自己身上,怎么搁都合适。也许股市真是人生的另一种演
据江苏证券债券部在《中国证券报》发表的文章分析,1999年国债市场呈现一些新特点。从影响每年决定国债规模的三个主要因素即还本付息、财政赤字与建设资金情况分析,1999年
本文通过对数控电火花加工航天发动机零件的过程进行分析，提出了一种利用数控机床自动分度的简易解决方案.
本文叙述了无人机翼伞手动归航控制过程，利用模块化设计方法设计了无人机一翼伞组合体的可视化仿真软件.详细介绍了各个功能模块的设计，实现了无人机用翼伞手动归航控制的可视
目前，活门、连接器等部组件广泛用于各类航天产品关键部位，用于控制液、气通道，实现液路、气路的开启和关闭，调节流体的流量、压力等参数，其质量稳定性对产品整个系统能否顺利运行
会议
本文阐述了继电器在星上配电滤波电路中的应用原理，介绍了继电器外围电路的设计.并对调试过程中出现的问题进行了机理分析，最后给出了解决方案.
人类的食品有3000多种,食物不同,营养价值就不同。奶制品是被人们公认的营养丰富、营养价值齐全和营养成分较高的天然食品。天天喝1至2杯奶对于今天的家庭来说,是很容易达到
为了掌握燃气流过有机玻璃圆管的降温情况，以设计出可以实现所要求的燃气出口温度的降温装置，对高温贫氧燃气流流过有机玻璃圆管时，管内壁径向热降解的变化过程进行数值模拟，将推