课程文献中心 更多>>

关键词： 操作系统   形式化验证   定理证明   验证技术   验证方法  

摘要： 介绍操作系统验证理论、语言和工具等技术基础,阐述验证路径、精化关系验证和大规模验证等新的验证方法和理念。比较分析多个操作系统验证项目研究内容、验证方法、主要贡献以及最新进展。分析操作系统验证过程中存在的问题,认为验证成本高、验证工具局限性是制约操作系统形式化验证的关键因素,随着验证工具、框架和定理库的完善,以及深度学习等新技术的应用,操作系统更多的安全性质能够被形式化验证。

关键词： 家庭版   专业版   Windows   操作系统   生命周期   微软  

摘要： 2021年6月15日,微软悄悄地更新了Windows 10家庭版和专业版的生命周期页面,表明了Windows 10将于2025年10月14日终止服务支持(图1)。虽然六年前,微软在发布Windows 10的时候说它将会是Windows的最后一个版本,但包括泄露的镜像和截图在内的种种迹象都表明了新一代的操作系统即将到来。

关键词： 信息安全   数据安全   网络安全   智能网联汽车   数据中心   操作系统   云计算   智能汽车  

摘要： 从产品到市场,智能网联汽车是一个全新的创新融合体。对政策或标准的讨论离不开对新的产业产品架构的研究,在智能网联车产业化过程中,也离不开对政策体系和标准体系的输入。智能网联汽车要数字化,在四个轮子上建立数据中心,与云端云计算相结合。网络安全、信息安全、数据安全贯穿在车内云端生态,这种情况下,整体的产业链、新开发模式需要政策与标准层面的提前布局和指引。

关键词： 操作系统   生态系统   普通用户   手机   华为   苹果   新浪潮  

摘要： 从7月底开始,手机新品的更新浪潮再次来临,相信很多读者朋友也再次进入“选择困难症”的状态。因为手机现在基本分为三大阵营:苹果、华为和Android阵营。没错,由于众所周知的原因,华为已经依靠自家的鸿蒙操作系统自成阵营。所以对于普通用户来说,现在购买手机的第一步已经不是二选一,而是三选一。大家需要先选择好自己熟悉或者希望去体验的生态系统阵营。当然,每个人对于品牌和生态系统的喜好都不一样,而我这里聊的也仅限于今年夏秋季发布的新品。

关键词： 客户体验   数字化画像   工业大数据   生产调度预测   感知   自动化  

摘要： 针对港口之间对货源和用户的竞争日趋白热化、同质化竞争更加激烈、以客户为中心的服务需求,进行基于客户体验驱动的煤炭码头生产操作系统研究。采用客户在港旅程的业务数字化画像,建立基于用户需求+实时工业大数据的生产管控系统架构,基于用户需求的生产计划与调度预测,以及支持客户服务的实时作业感知、操作与跟踪系统。通过在港口的实际应用,重构港口与客户的关系,实现客户交互方式、频率的变革,回归“为客户创造价值”之路,提升客户忠实度。对提高我国煤炭码头生产和管理水平,提升区域综合竞争力和服务外向型经济起到重要作用。

关键词： 数控机床上下料   智能技术   操作系统  

摘要： 自智能技术进入工业领域以来,人们就一直想要利用该项技术优化各个环节,数控机床上下料就是其中之一。但因为各环节的工作目的、结构等方面存在差异,所以不能采用统一的方式进行优化,必须进行针对性的设计。文章重点针对数控机床上下料环节进行智能操作系统设计,先论述了智能技术的基本概念,分析设计方案并提出相关流程,通过实例应用验证设计成果的有效性,最终提出设计方案中可能存在的问题与解决方法。

关键词： 等级保护   安全计算环境   信息安全  

摘要： 《中华人民共和国网络安全法》明确我国实行网络安全等级保护制度,等级保护越来越受到各级行政机关、企事业单位的重视,并积极邀请第三方测评机构对涉及重要资产的系统进行网络安全等级测评。测评机构依据《网络安全等级保护2.0》标准对信息系统进行测评,本文旨在讨论《网络安全等级保护2.0》标准中三级信息系统安全计算环境操作系统的实际情况,探讨安全计算环境中操作系统与终端的现状。

关键词： 嵌入式操作系统   机器人操作系统   智能系统   人工智能   学术研究机构   国产操作系统   工业物联网   智能制造  

摘要： 2021年是中国经历了前所未有的疫情之后,开始快马加鞭、努力奋斗的一年。复杂的国际政经环境依旧,国产芯片和国产操作系统受到国内产业界、学术研究机构和政府相关部门高度重视,产业发展势头迅猛,投资热情高涨。伴随人工智能快速发展,嵌入式操作系统在智能系统中发挥越来越大的作用,为了应对日益复杂和不确定的外部环境,国产智能系统更离不开国产嵌入式操作系统,智能制造和工业物联网对国产嵌入式操作系统需求强劲。国产机器人产业正处于快速发展阶段,机器人操作系统急需国产化!

关键词： 移动终端  

ISBN: (纸本)9787563564965

摘要： 本书介绍了各个移动操作系统的使用方法和开发环境的搭建步骤，以及必要的移动应用程序开发知识、移动应用程序开发流程。全书共分为6章，内容包括：操作系统基础、移动操作系统概述、移动操作系统Android、移动操作系统iOS、移动操作系统Windows Phone、移动操作系统的未来发展。

关键词： UNIX操作系统  

ISBN: (纸本)9787111689973

摘要： 本书由FreeBSD系统的三位引领者撰写, 在上一版基础上做了大幅更新, 涵盖FreeBSD 5和FreeBSD 11之间的所有重大改进, 如使用FreeBSD Jail的高度可扩展和轻量级虚拟化、使用Xen和Virtio设备半虚拟化的虚拟机加速、Capsicum沙箱和GELI加密磁盘保护以及DTrace内核调试技巧等。全书从接口到内核再到硬件逐层深入, 详细阐述实现每个重要系统组件--进程管理、安全、虚拟内存、I/O系统、文件系统、套接字IPC和网络等--所使用的概念、数据结构和算法。本书可作为系统开发人员和管理人员的学习指南, 也可作为高等院校操作系统相关课程的参考读物。