课程文献中心 更多>>

关键词： 分布式   模糊测试   内核测试   漏洞挖掘   操作系统内核  

摘要： 内核是操作系统的核心,它构建了操作系统各类程序运行时需要的基础环境:如进程调度、存储管理、文件系统、设备驱动和网络通信等。操作系统内核漏洞的存在可能使得计算机系统遭受拒绝服务、信息泄露、超级用户权限提升等攻击,因此,针对内核的漏洞挖掘一直是网络安全领域的研究热点。本文在现有的研究基础上,提出一种基于覆盖率制导的内核漏洞并行模糊测试模型,该模型以代码覆盖率为导向,以计算节点和控制节点组成的星型结构作为并行模型,各计算节点通过代码覆盖率对系统内核持续测试,控制节点完成计算节点间代码覆盖率的收集与交互,突破了传统测试模型对计算资源要求限制和数据竞争的瓶颈,极大的提升了代码覆盖率及测试速度,加快了漏洞挖掘的效率。为了验证模型的实用性及有效性,利用Diskaller与Syzkaller和Triforce进行对比,一定条件下Diskaller覆盖率较Syzkaller提升12.8%,执行速率提升229%,较Triforce覆盖率提升335%,执行速率提升450%,并且发现了Linux内核中两个先前未被发现的漏洞。

关键词： PIMS   主机遥控系统   虚拟操作系统  

摘要： 舰船主机遥控系统位于舰船机舱内,操作人员可以通过主机遥控实现对船舶主机的远程控制,包括启停机、功率转换等功能,对提高船舶的机动性,减轻操作人员的工作量,提高船舶的自动化水平有重要的作用。为了提高操作人员对舰船主机遥控系统的熟练程度,同时降低训练成本,本文提出一种基于组态软件PIMS技术的舰船主机遥控虚拟操作系统,通过研究和分析主机遥控系统的控制逻辑,本文建立了主机遥控系统的完整模型,开发出了PIMS主机遥控虚拟操作系统,并对该系统进行了详细的介绍。

关键词： 计算机操作系统   应用型   非标准化考试  

摘要： 《计算机操作系统》是计算机科学与技术专业的一门专业核心基础课,内容多而复杂,一直以来学校采用的是标准化教学考试,这与应用型大学教学模式不相适应。本文在基于应用型教学模式的基础上,分析《计算机操作系统》课程实践教学的特点,讨论使用标准化考试方式的缺点与不足,探讨《计算机操作系统》非标准化考试改革的动机、可行性、方式方法及成绩评定,为新形势下应用型大学的教学考试考核提供一种新的思路。

关键词： 恢复技术   时期数   应用   Windows系统   多计算机   操作系统   数据恢复   计算机运行  

摘要： 引言:计算机作为一个先进的办公、学习、生活工具,由于机器折旧、人为操作、自然断电、洪涝灾害等非常容易造成数据丢失、操作系统被破坏,影响人们正常使用计算机,甚至会给人们带来不可估量的经济损失。因此,经过多年的研究和实践,许多计算机学者和专家提出了数据恢复技术。数据恢复可以将丢失的数据从存储介质上恢复正常,数据恢复作为计算机运行和维护的重要技术之一,可以有效提升计算机使用效率。目前,数据恢复技术经过实践和研究,按照不同的种类可以划分为不同的方法,比如硬恢复和软恢复;也可以划分为在线恢复和离线恢复;也可以划分为增量恢复和海量恢复。本文结合笔者多年的应用和实践,描述新时期数据恢复技术的应用现状,总结了数据恢复专业技术公司和企业,同时分析了Windows系统下的数据恢复技术,为计算机应用提供安全保障。

关键词： 操作系统   VLAN网络安全  

摘要： 本文介绍控制管理自动化编播系统安全维护,实用上的一些应用.

关键词： OPPO   正式版   操作系统   消费者   手机   微博  

摘要： 2019年的初春,手机市场用“异常激烈”来形容也不为过,子品牌、新产品的集中发布让消费者眼花缭乱。手机大佬之一OPPO的新年第一炮走了与众不同的路线,虽然微博上已经官宣了即将发布Reno新产品系列,但最先发布的却是ColorOS6操作系统。

关键词： 组态软件   岸基电源   变频   并网   操作系统  

摘要： 变频电源并网时需实时监控各项电参数,及时调整电源输出参数。并网期间操作繁杂,需判断的数据量较大,操作过程较难直观呈现。组态软件在集中控制领域得到了广泛应用,配合触摸屏使用已成为友好的人机交互界面。在实践中,根据MCGS组态软件的结构和特点,设计一款实用的变频电源并网操作系统,以满足实际操作需求。

关键词： iPhone   研发资金投入   公司股价   研发投入   操作系统  

摘要： 3个月,市值缩水4200亿美元。苹果公司在美股新年第一个交易日盘后发布罕见预警,将收入预期下调10%。昔日'一果难求'的圣果,因何皱了?乔布斯为世界带来iPhone,不仅改变了世界,也让移动互联网蓬勃发展,苹果在近10年来风光无限。然而自苹果开始走轻奢侈路线后,产品价格越卖越贵,尽管单价的大幅提升能赚取更多利润,但同时高价也导致需求低迷,从而导致营收呈现下滑态势。

关键词： 操作系统   形式化验证   系统需求   有限状态机   Coq  

摘要： 操作系统是航天器必备的基本软件,操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障,但仍存在不能完全排除缺陷的情况,因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分,本文在分析操作系统需求的基础上,采用有限状态机在操作系统需求层进行形式化描述,并针对应用在某航天器上的SpaceOS2在需求层进行了建模,相应地在定理证明工具Coq中进行了描述建模;然后定义了六条操作系统应满足的全局性质并进行了形式化描述,给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的,为进一步全面形式化验证奠定了基础.

关键词： ARMTrustZone技术   可信执行环境   双操作系统   嵌入式系统   实时性   功能性  

摘要： 针对嵌入式系统对功能性与实时性的需求,提出一种双操作系统架构。基于ARM TrustZone提供的可信执行环境,构建双操作系统架构,实现通用操作系统(GPOS)与实时操作系统(RTOS)同时运行。将嵌入式系统中的任务划分为实时任务与非实时任务,使实时任务在RTOS中运行,非实时任务在GPOS中运行。在物理开发板上实现原型系统,并使用实时性测试工具对该系统进行性能评估。结果表明,该架构在提供GPOS功能性的基础上,保证了系统的实时性。