课程文献中心 更多>>

关键词： 高可信   嵌入式操作系统   人工智能   系统设计   分区配置   系统测试  

摘要： 嵌入式操作系统体系架构的可信性是保障其稳定运行的关键。文中设计基于人工智能的高可信嵌入式操作系统,配置操作系统有效空间与系统资源。依据任务安全等级划分处理器模块分区;依据任务类型配置分区属性分配所需内存;依据分区任务从机器学习算法库中选取合适机器学习算法,获取各分区与主时间框架内的分配策略以及调度策略;依据任务需求配置分区通信,完成分区通信配置后配置健康监控以及任务容错实现人工智能的高可信嵌入式操作系统。实验结果表明,该系统在不同任务数量时,操作可信率均高于96%;处理不同类别任务精准率以及召回率均高于98%。

关键词： 操作系统   课程建设   慕课   慕课设计   慕课制作  

摘要： 针对如何提高应用型本科学生在自学模式下的学习效率的问题,分析教学环节中教师如何提高教学效率的实际情况,结合移动互联网时代慕课的优势,提出对操作系统慕课进行设计和制作,旨在为高校教师制作操作系统相关优质慕课提供参考。

关键词： 计算机程序   操作系统   自动运行   阿特拉斯   计算器   IBM   OS   按钮  

摘要： 操作系统溯源操作系统(OS)是管理计算机硬件和软件资源的计算机程序。每次打开计算机,人们都要与OS互动。最早的计算机,像用按钮的计算器一样,没有OS。后来,计算机有了复杂的自动运行的程序,也就有了发展OS的必要。1962年。第一个OS由英国的阿特拉斯公司研发。IBM在20世纪60年代推出的OS∕360已经很复杂了。

关键词： 腹腔镜模拟操作系统   教学   外科临床实践教学   教学方案  

摘要： 目的探究在开展外科临床实践教学时,应用腹腔模拟操作系统的价值分析其教学意义。方法选取2018年9月至2018年11月于本院开展腹腔镜技术理论教学以及操作实践培训的医务人员40名,通过随机分组法分为对照组与实验组,每组20名。对照组医务人员选择常规理论教学方案,实验组医务人员在常规理论教学的基础上加用腹腔镜模拟操作系统开展教学。在完成培训后,对两组医务人员的理论知识考核以及实践操作能力进行评价,同时记录两组医务人员的教学满意度,分析教学效果。结果实验组医务人员的教学满意度优于对照组,实验组医务人员的理论知识水平和实践操作水平均分明显优于对照组,均在90分以上,差异具有统计学意义(P<0.05)。结论在开展外科临床实践教学时,应用腹腔镜模拟操作系统有助于提高医务人员的学习满意度,改善教学效果,对于腹腔镜技术的推广和临床应用有积极意义。

关键词： 可信软件基   操作系统   隔离/交互机制   IIM原型系统   可信执行技术  

摘要： 在应对可信软件基(TSB)与操作系统(OS)隔离的同时进行交互方面,如何有效保障TSB可信执行和监控敏感操作的可信性方面还存在一定的不足。针对这种状况,本文提出一种TSB与OS之间的隔离/交互机制(IIM),该机制结合可信执行技术保证TSB的可信引导,借助内存虚拟化技术实现TSB的内存空间对于OS完全透明。此外,在可信芯片与可信策略的支持下,该机制能够实时监控TSB运行空间,动态触发针对TSB敏感操作的可信检查,通过一些敏感操作等动态触发,可以实现TSB对OS系统的保护和验证功能,从而实现两者之间的交互作用。本文实现了IIM的原型系统并对其进行了实验测试,实验结果表明,IIM能有效实现TSB与OS的隔离与交互,给OS带来的性能开销低于3%。

关键词： 区块链   数据库领域   人工智能   大数据时代   操作系统   安卓   Python   IT产业  

摘要： 开源始于20世纪90年代,在近30年的发展中,为全球IT产业贡献了许多杰出的开源产品,无论是占据着操作系统半壁江山的Linux,数据库领域知名的MySQL,还是移动时代的安卓和大数据时代的Python,无不在业内有着深远的影响力。开源的初衷,是通过凝聚个体技术爱好者的力量开发出更好的软件。在数字经济的时代背景下,以人工智能和区块链为代表的新一轮技术迭代也是基于开源驱动,并将伴随着开源的实践而不断发展。

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

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

关键词： 应急通讯保障   去中心化   非依赖性   模块化   操作系统   应用程序  

摘要： 电力系统应急管理能力主要包括应急管理预防能力、应急准备能力、突发事件响应能力、突发事件恢复能力。从面向大灾情景下提升系统应急能力的视角进行理论分析,有针对性地进行目标导向的应急通讯保障系统设计。设计目标包括信道、编解码、系统运维与设备保障的去中心化与非依赖性,以及通讯系统的可靠性、可用性和易用性,同时要满足功能、结构、性能、模块化架构等设备指标的要求。为实现设计目标,采用基带数字化接收方案,短波系统由收发信机、全自动天线调谐器和电源单元组成,数传电台采用单片微处理器控制频率的设定、存储、扫描和工作种类转换及功能转换,采用超外差变频接收机、直接数字频率合成器组成机内本振单元,功放采用AB类线性宽带功率放大器。系统软件方案采用操作系统+应用程序的结构,FreeRTOS操作系统可满足系统要求,应用程序主要包含图形化用户界面、调制解调算法等模块。管理软件具备应急指挥功能和系统维护功能。

关键词： 动态升级   操作系统   模块化   STM32F4  

摘要： 传感/作动器等远端节点对运行于其中的操作系统及应用有高度可配置、自适应等要求,要求这些软件能够在指定的时机对自己进行更新。研究了软件动态升级的关键技术,结合自研的高度模块化的轻量级操作系统提出并实现一种能够在运行时进行软件动态升级的机制,支持应用级、操作系统级的不停机升级,并在STM32F4开发平台上进行了验证。

关键词： 任务管理   需求层   形式化建模   Coq   形式化验证  

摘要： 为确保星上操作系统中任务管理设计的可靠性,利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.从用户角度,基于星上操作系统任务管理的基本机制,提出一种基于任务状态列表集合的验证框架.在需求层将基本机制进行形式化建模,并在Coq中实现.针对建立的需求层模型,提出6条与实际星上操作系统任务管理一致的性质并进行验证.给出其中一条性质在Coq中的验证过程,结果表明,模型满足该条性质.