课程文献中心 更多>>

关键词： 数据传输效率   内存保护   直接内存访问   操作系统   计算技术   内存安全   安全防护技术   DMA  

摘要： 随着计算技术的迅速进步,直接内存访问(DMA)作为提高数据传输效率的关键技术,已被广泛应用于现代计算系统中。然而,DMA能够绕过操作系统的传统内存保护机制,具备直接内存访问特性,也引发了严重的内存安全问题。本文对操作系统的内存安全进行了介绍,在此基础上,进一步分析了DMA对内存安全的挑战,并探讨了基于DMA的内存安全防护技术,进而为保障操作系统的内存安全提供技术支持。

关键词： 应用程序   中间件   服务网格   操作系统   中间软件   云计算环境   微服务   容器化  

摘要： 引言云原生(Cloud Native)是在云计算环境中构建、部署和管理现代应用程序的软件方法,它基于分布部署和统一运管的分布式云,利用容器、微服务、DevOps等技术来建立一套云技术产品体系。而云原生中间件是指构建在云原生技术体系上,用于连接业务应用和操作系统的中间软件。它通常基于容器化、微服务、服务网格等技术,为应用程序提供通用的服务和功能。

关键词： 互斥量   功能正确性   形式化验证   定理证明   Coq定理证明器  

摘要： 操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测试手段无法穷尽系统中的所有潜在错误,因而操作系统验证有必要使用具有严格数学理论基础的形式化方法.在操作系统中,互斥量可协调多任务对资源的访问,是一种常用的任务同步方式,其功能正确性对于保障多任务应用的正确性十分关键.基于定理证明方法,在交互式定理证明器Coq中对某抢占式微内核操作系统的互斥量模块进行代码级形式化建模,给出其接口函数的形式化规范,并实现这些接口函数的功能正确性验证.

关键词： 操作系统   向下兼容   开源代码   关键领域   产业布局   产品开发   安全风险   产业链  

摘要： 在引用开源代码过程中,我们会优先选择无协议冲突的代码,提前做好协议冲突的避险工作,保证OneOS的开源符合开源精神和开源协议要求。操作系统向上承接业务应用、向下兼容硬件差异,可以实现设备互联互通,是解决终端碎片化、安全风险高、产品开发复杂等问题的关键。操作系统能力建设对补齐国家软件产业发展短板、保障产业链安全至关重要,国家多个部门明确提出要聚焦操作系统等关键领域,加快产业布局,破解关键技术本土化难题。

关键词： 工业操作系统   定义   特点   重要性   产业情况   安全形势  

摘要： 随着关键产业设备的自动化、信息化、智能化水平越来越高,对工业操作系统的技术迭代提出了更高的要求。对工业操作系统的定义、特点和重要性进行了介绍,分析了当前工业操作系统产业的整体情况和安全形势,以激发工业操作系统行业自主创新潜力,提升工业操作系统安全防护意识,促进工业操作系统产业健康快速发展。

关键词： 操作系统   辅助驾驶   计算平台   自动泊车   智能驾驶   软硬件设备   自适应巡航   传感器  

摘要： 辅助驾驶功能已实现规模应用,通过车端传感器、计算平台、操作系统等软硬件设备,运行各类智能驾驶算法,可实现诸如自适应巡航、车道保持、自动泊车、导航辅助驾驶等不同级别的辅助驾驶功能。

ISBN: (纸本)9787115647832

摘要： 本书全面、系统地介绍银河麒麟桌面操作系统的基础知识、WPS Office的基本操作,以及其他信息技术的相关内容。全书共7个模块,内容分别为银河麒麟桌面操作系统、WPS Office文档处理、WPS Office电子表格处理、WPS Office演示文稿制作、信息检索、新一代信息技术概述、信息素养与社会责任。本书以《高等职业教育专科信息技术课程标准(2021年版)》为依据,采用任务驱动的讲解方式,以锻炼学生的信息技术操作能力,培养学生的信息素养。书中任务均按照“任务描述—技术分析—任务实现—能力拓展”的结构进行讲解;每个模块末尾还配有课后练习,以便学生对所学知识进行巩固。本书可以作为高校信息技术课程的教材,也可以作为计算机培训班或相关人员自学信息技术的参考书。

关键词： 操作系统   OBE教育理念   教学改革  

摘要： 操作系统是计算机类专业核心课程之一,知识体系繁杂、概念相对抽象。民办院校学生的知识理解能力相对薄弱、学习主动性不强,采用传统的填鸭式教学模式,难以实现操作系统课程的教学目标。尝试将OBE教育理念应用于民办高校操作系统教学中,通过学习成果反向设计教学内容,以多元化教学模式开展课程教学,以全方位的考核方式检验学习成果,从而实现操作系统教学目标,提升学生自主学习能力,培养学生解决复杂工程问题的思维模式。

关键词： OpenHarmony   Hi3861   LiteOS-M   启动流程  

摘要： LiteOS-M是OpenHarmony操作系统的轻量内核,主要面向MCU的物联网终端。Hi3861是海思推出的物联网芯片,广泛应用于各种场合。Hi3861启动既有芯片内固化程序,又有物联网操作系统程序,还有面向产品业务的上层程序,本文通过分析LiteOS-M在Hi3861的启动流程,系统介绍了从硬件到操作系统,再到上层软件的运行逻辑。通过Map文件和Asm文件对没有源代码情况下进行启动流程分析,方便了大家从程序运行原理底层理解物联网系统运行机制。

关键词： 机器人  

ISBN: (纸本)9787302670148