论文部分内容阅读
操作系统具有规模大、结构复杂的特点,所以设计以及实现过程中的正确性验证难度较大。本文通过汇编语言层的操作系统模块功能模型构建,完成汇编语言层的设计以及验证,实现对汇编语言层设计的正确性验证。以安全可信操作系统为范例,进行了形式化验证。
汇编语言层的系统状态模型构建
【摘 要】
：
操作系统具有规模大、结构复杂的特点,所以设计以及实现过程中的正确性验证难度较大。本文通过汇编语言层的操作系统模块功能模型构建,完成汇编语言层的设计以及验证,实现对
【机 构】
：
荆州职业技术学院
【出 处】
：
通讯世界
【发表日期】
：
2017年5期
其他文献
适应"行为——法律"的对应性要求,形成了治理政党行为的专门法律群,即政党法。政党法的基本规范方法有四种:区分政党行为的种类,用适当的政党法架构对应政党行为的不同种类,
加快会展业发展是广州建设国家中心城市和国际商贸中心的重要支撑。当前,广州会展业发展存在着大而不强,品牌化国际化程度不高,高水平国际性会议的举办空间有待进一步挖掘等
青岛市是我国东部重要的港口经济中心城市和海滨度假旅游城市,为开展休闲旅游、会议展览、盛会节事等活动提供了优良条件。青岛市发展会展旅游优势大于劣势,机遇多于挑战,具
荣格原型理论是其分析心理学中关于人格的理论,人格面具(persona)、阴影(shadow)和自性(self)是荣格原型理论中三个非常重要的原型。基于荣格原型理论,产生了两种类型的道德:
本研究以模糊数学中的单向贴近度为理论基础设计出一套英语简短问答题计算机辅助评分系统，并且通过三次实验逐步改进了该系统。此研究的目的在于运用计算机技术，减少人为因素在
<正>一、民主教育的内容及其在中小学的体现瑞典中小学民主教育的内容比较广泛,从其官方文件的叙述来看,差不多涵盖了其他国家中小学道德教育的主要内容,但其重点大致包括晓
为了提高饮料液位检测的效率，介绍了一种新型的瓶装饮料液位自动检测系统。该系统采用基于机器视觉的检测方法，采用CCD作为检测元件。并基于LabVIEW和IMAQ Vision，开发出了对饮
本文主要介绍了基于IBA融合技术架构的边云协同技术实现,并分析了边云协同在智能工业安全监控领域的应用案例,论述了边云协同以及边缘计算未来发展亟待解决的问题。
计算机与人们的生活已经紧密的联系在一起,计算机功能的实现主要依靠计算机语言,通过计算机语言编制相应的程序。在涉及到大规模程序设计的时候,采用单一语言就无法发挥应有
山药(Dioscorea opposita Thunb.)在中国已有2 500多年的栽培历史,许多地区均有栽培并相互引种交流,再加上山药易受周围环境影响,部分资源外部形态特征相近、变异范围重叠,导