课程文献中心 更多>>

关键词： 操作系统   双核浏览器   安全防护  

摘要： 针对国产操作系统上运行软件的兼容性问题,提出研制支撑Gecko和IE内核的双核浏览器,并介绍了基于国产操作系统双核浏览器的整体技术架构设计、安全防护方案等。选取了几个典型的业务场景对双核浏览器进行测试分析,试验结果表明,在不改造国家电网公司原有业务系统的情况下,用户使用Linux操作系统可以无缝访问业务系统,满足日常办公需求。

关键词： 商用操作系统软件   V&V   CGD   B类系统  

摘要： 标准要求核电厂数字化仪控系统(DCS)中的软件需遵守标准IEEE 1012,IEC 60880和IEC 62138来执行V&V,但随着核电的快速发展,国产化核电厂数字化仪表控制系统(DCS)面对着极大的市场需求,DCS中执行或影响安全功能所需的操作系统软件难以寻找到满足法规要求的核级供应商。为了降低开发难度、增强代码可读性以及可移植性,核电厂不可避免地引入商用操作系统软件,而商用操作系统软件的质量得不到保证可能会影响DCS的安全运行。商品级物项适用性确认(CGD)方法是确保核级商用操作系统软件能够正确可靠执行安全功能的重要手段,而国内尚未形成完整的技术体系。本文通过研究国内外CGD方法,初步形成了B类系统中商用操作系统软件CGD工作流程和体系,并在国内某工程项目上成功进行实践,为推动我国核电领域的CGD标准体系的建立及监管体系的完善奠定技术基础。

关键词： 时间轴   舞台机械   控制系统   操作系统   多项式插补算法  

摘要： 介绍基于时间轴的舞台机械控制系统的构成和应用,包括系统结构、操作软件、网络通信协议、现场总线协议、控制器算法以及应用方法等。

关键词： 国产化   开源工具   软件测试  

摘要： 随着国产化工作的推进,国产生态环境日益成熟,运行于国产平台的软件数量不断增加,对测试工具的需求也越来越高。文章对国产计算机系统的开源测试工具进行研究,从静态分析、单元测试、功能测试、性能测试和覆盖测试对工具进行了分类,提出了国产操作系统开源测试工具整合方案。

关键词： 操作系统  

ISBN: (纸本)9787121395536

摘要： 本书系统地介绍了计算机操作系统的基本理论和最新技术，并具体分析了Linux中的实现技术和方法。全书分为10章, 第1章概述了操作系统的定义、发展、功能、特征和类型：第2-10章分别介绍了进程管理、同步与通信、死锁与饥饿、处理机调度、基本存储管理、虚拟存储管理、设备管理、文件管理和操作系统接口。

关键词： Linux操作系统   数据处理软件  

ISBN: (纸本)9787121391224

摘要： 本书基于较新的Linux发行版—CentOS 7.6，内容涵盖Linux基础操作、Linux常见服务器架设及Hadoop生态圈中基于Linux的Hadoop、Spark、Flink、Hbase、Hive等平台的搭建。CentOS是RHEL的社区版，可以无缝衔接应用广泛的RHEL，其基础知识也可以用于其他很多Linux发行版。目前，Hadoop生态圈在企业里深受欢迎，实用性很强，在大数据相关领域应用广泛。本书依托岗位技能，将工作任务融入 有代表性的实例中，理论内容丰富，操作步骤清晰，力求理论与实践相结合，并且充分考虑学生认知规律和特点，重点突出，难点拆解到位。由于深入浅出的内容组织。

关键词： 操作系统  

ISBN: (纸本)9787121391866

摘要： 本书详细阐述了自研操作系统DIM-SUM的设计与实现，提供了在ARM 64虚拟机中动手实践DIM-SUM及参与DIM-SUM开发的方法。针对DIM-SUM操作系统的同步与互斥、调度、内存、中断与定时器、块设备、文件系统模块进行了详细的分析，包括这些模块的设计思路、数据结构定义、关键API说明。最重要的是，本书对各个模块的主要函数进行了逐行解释，有助于读者深刻理解如何实现一款实用的操作系统。最后，本书还展望了接下来10年DIM-SUM操作系统的发展目标，希望最终其能发展为可以在服务器系统、桌面系统中实用的自研操作系统。

关键词： 微内核   操作系统   和利时   专家评审会   评审专家   国内首创  

摘要： 填补国内空白:和利时推出的微内核工业操作系统通过专家评审2020年6月10日上午,和利时推出的国内首创微内核工业操作系统专家评审会,在和利时北京基地成功举办。和利时微内核工业操作系统以前沿的技术、优质的产品,获得评审专家的一致好评。和利时微内核工业操作系统,填补了国内行业发展中微内核操作系统建设的空白。