课程文献中心 更多>>

标准号: GB/T 42140-2022

摘要： 本文件给出了云操作系统技术框架，规定了云操作系统性能指标，并描述了对应的度量方法。本文件适用于指导云操作系统及其基础服务的性能效率测评。

关键词： 安全关键软件   安全认证   形式化方法   嵌入式多核操作系统   时间确定性   功能正确性   形式化建模和验证  

摘要： 在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。

关键词： 机器人   深松土壤   路径规划   操作系统  

摘要： 针对深松机器人深松土壤作业时对室外环境感知能力差,还需要人力驾驶拖拉机进行室外作业的缺点,基于ROS(Robot Operating System)框架下利用SLAM(Simultaneous Localization and Mapping同时定位与建图)和路径规划技术进行高精度室外深松机器人应用研究。阐述SLAM算法和Cartographer算法的原理,根据田地环境需求,选择适用的地图模式,基于ROS框架对本地路径规划和全局路径规划的算法进行了分析和研究,设计研发了基于ROS的深松机器人实验平台,在基于ROS的深松机器人实验平台上进行测试,分析基于ROS框架下各节点之间的话题通信数据流向。实验第一步运用Cartographer算法建立栅格地图,获取地图后,针对不同土壤环境的特点和农作物对土壤主要特征的要求经行分析,研究出两种深松机器人工作模式:大型微耕模式和大型深耕模式;实验第二步基于Cartographer算法提供的地图上进行大型微耕模式的路径规划和大型深耕模式的路径规划的实验,并对不同工作模式的路径规划的算法进行分析。结果表明:Cartographer算法满足室外农田环境下的定位、建图的要求;改进后的基于全局历遍的路径规划算法适用于大规模的深松土壤作业,基于ROS的深松机器人实验平台可以有效适用于深松土壤作业中。

关键词： RPA平台   跨操作系统   高阶组件   元素拾取  

摘要： RPA技术在金融、医疗、互联网、人力等各个领域的广泛应用,对RPA平台提出了更高的要求,目前市面上大多RPA平台是基于windows操作系统,支持跨多个操作系统的RPA平台较少。为了解决底层操作系统卡脖子的问题,借助信创产业蓬勃发展的东风,本文提出了一种基于跨操作系统的RPA平台,从设计、触点、管控三个维度定义平台应用架构和核心产品,能力覆盖RPA机器人挖掘、设计、调度、执行、管控等全生命周期。同时本文还针对RPA平台涉及的高阶组件、元素拾取、任务挖掘等关键技术进行研究。

关键词： 工程教育专业认证   产出为导向   教学目标   教学模式   复杂工程问题  

摘要： 基于工程教育专业认证背景下的操作系统原理课程,在分析原有课堂教学弊端的基础上,为了提高学生的自主学习能力,在课程的教学目标、教学内容、教学方法等方面进行了深入探索和研究。实践证明,以学生为中心、以提升解决问题的能力为导向的教学模式,在提高教学效果的同时,促进了学生解决复杂工程问题能力的培养。

关键词： 新工科   嵌入式操作系统   教学改革  

摘要： 新工科背景下,新工科代表最新产业及产业方向,需要拓宽教学内容的宽度和广度,培育“交叉性人才”,帮助学生形成创新性思维,锻炼工程实践技能。新经济形势下的新工科背景,对于“嵌入式操作系统”这门实用性及专业性较强的课程,提出了新的标准。本文通过探讨在新工科背景下“嵌入式操作系统”课程教学模式改革,为其他工科课程提供改革指导,并帮助高校更好地培育新工科背景标准人才。

关键词： 操作系统   设计大赛   显示器   广色域   关键点  

摘要： 今年5月,Sculptor雕塑家推出了国内首款移动智慧屏--Be with Me,这款产品的推出获得了众多消费者的青睐。前不久,Sculptor雕塑家Be with Me还一举拿下了安徽省第九届工业设计大赛金奖!Sculptor雕塑家在前作的基础上持续发力,在近期又推出了一款智慧显示器:M27UA2。这款智慧显示器我们总结了几个关键点,相信你就能感受到它的魅力:仅1899元、内置Android智能操作系统、4K超高清分辨率、广色域。

关键词： 桌面操作系统   信息安全   科技产业   供应保障   新型工业化   战略性资源   破茧而出   关键技术  

摘要： 作为信息科技产业的“灵魂”,操作系统尤其是桌面操作系统的国产化是信息安全的根本保障,也是中国必须要攻克的关键技术。然而,中国在操作系统的建设上始终面临着落后局面。党的二十大报告指出,推进新型工业化在关系安全发展的领域加快补足短板,提升战略性资源供应保障能力。