论文部分内容阅读
简要回顾了安全操作系统的发展历史,指出了安全操作系统当前存在的主要问题;在此基础上提出了可信操作系统的概念,分析了可信操作系统的特点、内涵以及与安全操作系统的关系;最后提出了可信操作系统需要解决的问题,为下一步将要开展的工作奠定基础。
可信操作系统研究
【摘 要】
：
简要回顾了安全操作系统的发展历史,指出了安全操作系统当前存在的主要问题;在此基础上提出了可信操作系统的概念,分析了可信操作系统的特点、内涵以及与安全操作系统的关系;最后提出了可信操作系统需要解决的问题,为下一步将要开展的工作奠定基础。
【机 构】
：
四川师范大学计算机学院,电子科技大学计算机科学与工程学院
【出 处】
：
计算机应用研究
【发表日期】
：
2007年12期
【基金项目】
：
国家“863”计划资助项目（863-104-03-01）, 2003年度四川省科技攻关资助项目（03GG007-007）
其他文献
软件产品复杂度在软件度量领域是一个非常重要的方面。软件开发的成本、进度和潜伏的错误数量均与复杂度有密切的关联。由于OOA和OOD被广泛运用,度量面向对象的软件复杂性成为必然的需求。UML是一种面向对象分析与设计的建模语言,已经被接受为工业标准。为此,提出了一种适用于Java语言的根据UML类图对类的复杂性进行度量的方法,并用Weyuker提出的复杂性度量的评价标准对其进行了评价。
从全新的合作角度来研究有效进行名词性隐喻理解的方法,提出本体和喻体的三种合作方式。基于互动论的思想,采用知识库与语料库相结合的方式来抽取隐喻句的表述义。实验结果表明,提出的基于合作机制的隐喻表述义提取算法是有效的。
本文介绍了西门子V94.3A(4)型机组的HCO系统;针对上海申能临港燃气轮机电厂#3机在停机过程中HCO程序控制出现的异常原因进行简单的分析,通过对HCO程序控制逻辑的解读发现了HC
为了确保国家制定的各项电力政策和法律法规能够得到有效的落实,充分发挥电力行业促进国民经济发展、提高人们生活水平的重要作用,各级电力部门都设立了专门的用电监察机构,
随着无线网络技术和P2P计算的发展以及大量用户移动性应用的需求,人们在研究无线网络和P2P计算的众多问题的同时,也提出了基于无线网络的移动P2P计算的研究课题,并且在文件共享、路由策略、体系框架、访问控制等方面取得了丰硕的研究成果。在分析新型的移动P2P计算的基础上,总结了现有的研究成果,分析了其应用领域和技术方案以及移动P2P计算未来的发展趋势。
基于网格的异构数据源访问体系定义了一套通用的数据访问接口,包括结构化查询操作和非结构化查询操作。该体系采用基于网格基础构件的多层结构设计,包括附加在各个数据源之上的访问代理层和用于负责维护模板库和逻辑映射表的仲裁机构,通过在访问代理层实现与实际数据源相关的转换操作来提供对通用数据访问接口的支持。该体系实现了真正意义上的语句透明,并在最大限度上提供了数据的自动集成。
汽轮机组冲转过程中出现异常振动时会对汽轮机的本体造成损伤,会导致并网不能顺利进行.所以,要想防止汽轮机出现异常振动,就要严格遵守相关规定,对生产实时监管,把握好质量问
在电力行业迅速发展的背景下,社会对于电力的供应需求也迅猛增长,电力工程的顺利开展有利于为居民提供便利的电力服务。在10kV电力工程的施工中,应加强监管部门的工作,控制人