安全操作系统研究的发展(下)

来源 :计算机科学 | 被引量 : 0次 | 上传用户:oskarguan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
6 动态政策时期[0]从单一政策支持到多种政策支持,安全操作系统迈出了向实际应用环境接近的可喜一步.然而,R.Spencer等指出[17],从支持多种安全政策到支持政策灵活性,还有相当一段距离.政策灵活性是动态政策时期的重要特征,1999年,Flask系统的诞生是动态政策时期的帷幕徐徐打开的标志.
其他文献
箱梁桥是裸露在地表上的结构物,温度变化对结构内力的影响不可忽略,我国公路规范对温差的规定适合大部分地区,但对于昼夜温差变化极大的地区不太适合;运用有限元建模实例进行分析
高速公路在山岭重丘区的路线设计受到地形、地势、地质、水文等诸多自然条件的制约和限制。结合工程实例,对山岭重丘区高速公路选线进行分析和研究,寻找出运行安全、生态环保
本文分析了低合结构钢16Mn的碳当量和规格,对强度性能的影响,用多元回归得到屈服点和抗拉强度的回归方程,并且获得合适的碳当量范围,当Ceq=0.48~0.56%(连铸坯碳当量=0.50~0.60%)时,轧制16~150mm钢板都能保证强度性能符合标
<正> 1 前言 轧辊是直接使轧件产生变形的工具,辊型的变化将直接影响轧材的质量,特别在薄规格中板生产中,这种影响更为突出。6mm、8mm中板的生产,是首钢中板厂拆除炉卷轧机进
<正> 1998年,舞阳钢铁公司轧钢厂根据生产要求,恢复建设两台外部机械化热处理炉。外机炉原设计是1973年由北京钢铁设计研究总院完成。主要用于厚板的淬火和回火。其结构性能
<正>1 前言 对已描述的有关多种产品(厚板、铸件)以及这一系列含铌钢的技术和冶金设计是可行的,重点放在合金设计和工艺控制上。本文所描述和讨论的是目前市场上铌合金钢的多
<正>Dalamine钢厂通过加大使用吹氧,氧—燃料烧嘴和增大变压器容量,使其90t电弧炉的产量在6年中翻了一番。1995年,安装一个100MVA的变压器,以期获得更多的二次燃烧,从而使产
1.引言软件体系结构的重要性已被越来越多的软件人员所重视,体系结构从全局的、整体的角度去理解和分析整个系统的行为和特性,在更高层次上把握系统各组件之间的内在联系,有
1.引言相互协作完成某一任务是许多信息系统都具有的特征,任务导向及安全临界(MSC,Mission and Safety CriticalSystem)系统也不例外.从软件工程的角度考虑,具有良好特性的协
<正> 1 前言 新余中板厂1978年建成投产,是以2300mm三辊劳特式轧机为主体设备的中板生产工艺,可轧制8~20mm的规格产品,产量在12万吨上下徘徊,为适应市场需要和我厂的生存与发