课程文献中心 更多>>

关键词： 操作系统   软件定义   中间件   自动驾驶   智能汽车   组织调度   算法软件   通信架构  

摘要： 在软件定义汽车的大趋势下,汽车OS是传统汽车实现智能汽车升级的关键。E/E架构升级包括硬件、软件、通信架构三大升级,芯片+操作系统+中间件+应用算法软件+数据构建核心技术闭环,汽车操作系统是软件定义汽车生态循环发展的灵魂。操作系统是实现软件定义汽车的灵魂操作系统是指控制和管理整个计算系统的硬件和软件资源,并合理地组织调度计算机的工作和资源,以提供给用户和其它软件方便的接口和环境的程序集合。

关键词： 智能驾驶   操作系统   智能计算  

摘要： 在第二届软件定义汽车高峰论坛上,地平线副总裁兼智能驾驶产品总经理余轶南认为,智能汽车是一个划时代的产物,它的体量、能源供应等都足以支撑自动驾驶和智能交互。在上海车展第二届软件定义汽车高峰论坛上,地平线副总裁兼智能驾驶产品总经理余轶南发表了题为《汽车智能计算——软件定义汽车的基石》的主题演讲,详细介绍了汽车智能计算如何在软件定义汽车上发挥作用。他谈到,智能汽车是一个划时代的产物,如今它的火热程度不亚于50年前计算机的诞生。

关键词： 软件工程   Linux   系统运维   系统程序开发   实验教学  

摘要： 阐述Linux课程教学中的问题及原因,教学设计的应对措施,包括教学方式和角色重构、课程教学的开展形式、课堂讲授形式设计、线上教学平台构建、学生考核方式设计。

关键词： 物联网   操作系统   跨平台   自主可控   连接性   华为   开天辟地   生态建设  

摘要： 6月2日华为发布多款搭载HarmonyOS2的新产品,重点是该系统的覆盖面并不局限于手机,而是面向更广阔的物联网世界。HarmonyOS鸿蒙系统在华为内部的开发工作要追溯到2012年,其诞生之初就明确是一个跨平台的操作系统,为的是打破碎片化的产品系统和复杂的连接性。在华为光环加持下,加上其背后自主可控技术的意义,鸿蒙系统生态建设的进展值得注目。

关键词： 操作系统   异常管理   异常嵌套   任务切换   形式化验证  

摘要： 航天器等安全关键系统是典型的嵌入式系统,具有多任务并发、中断频发等特点.操作系统是其最基础的软件,构建一个正确的操作系统是保障航天器系统高可信运行的关键.异常管理作为操作系统最底层的功能,负责引导系统控制流的突变来响应处理器状态中的某些变化,异常管理的正确性是整个操作系统正确性的基础.提出一种基于Hoare-logic的验证框架,用于证明面向SPARC处理器架构操作系统异常管理的正确性,特别针对多任务并发和中断频发实时操作系统异常嵌套与异常中发生任务切换的情况,将异常管理划分为5个阶段进行全面的形式化建模,并且在Coq证明定理辅助工具中实现了此框架.基于该框架,验证了我国北斗三号在轨实际应用的航天器嵌入式实时操作系统SpaceOS异常管理功能的正确性.

关键词： 嵌入式操作系统   YAML   配置   模型   数据抽象  

摘要： 为了能够用同一种嵌入式软件开发环境对不同的嵌入式操作系统进行配置,基于YAML的嵌入式操作系统配置技术通过使用YAML将配置模型进行抽象,使配置模型具有灵活的可扩展性。通过该技术设计和实现的嵌入式操作系统配置功能具有良好的可扩展性,可以配置多个不同的嵌入式操作系统。本文重点分析了配置模型的设计以及使用YAML对配置模型的表示方法,还描述了如何实现该配置工具的原型。同时,在文章的最后还实现了锐华嵌入式操作系统的部分配置项描述文件。

关键词： 阿里巴巴   操作系统   产业互联网   在线化   企业经营管理   数字化   智能化   方向和路径  

摘要： 我们正在经历从消费互联网向产业互联网的转型,而消费互联网仅仅是数智时代的开始,它在倒逼企业经营管理与产业生态协同走向在线化、数字化、智能化。经过20年的实践、沉淀和梳理,阿里巴巴总结了一套商业操作系统——5部曲×5层架构×11要素,为未来商业变革和数智化转型指出了方向和路径。

关键词： 课程群   应用背景   积极性   创新能力  

摘要： 《传感器原理及微操作系统》是物联网工程专业的一门核心专业课,针对这门课程概念多、种类多、应用复杂的特点,提出对物联网工程专业学生在课程教学使用基于应用背景的教学方式,以增强学生对传感器的感性认识,提高学生学习传感器的积极性和主动性,营造良好的学习氛围。为培养物联网工程专业学生的应用能力和创新能力奠定坚实的基础。

关键词： 华为   操作系统   苟活  

摘要： 对华为,对中国的民族企业而言,生存本身就是一种幸运,弱小注定没有前途,甘愿苟活则源于无知,唯有不断强大才是出路。华为现在有两件大事,一是鸿蒙操作系统2.0面世,二是“孟晚舟案”进入焦灼阶段。

关键词： 赋能教育   操作系统   复杂工程问题   迭代机制  

摘要： 分析传统操作系统教学中存在的问题和不足,以赋能教育为牵引,从课程的教学设计、教学组织、教学评价等方面实施了较为全面的教学改革。明确课程在人才培养体系中的作用和地位,以能力产出为导向设定课程的教学目标,并将其细化、分解为知识点级别的教学要求,指导课堂教学及实践环节的开展。教学过程中,依据科学、精细的课程考核,有效评价教学目标的达成、发现教学中的短板,形成了基于课程目标的"教学—评价—分析—改进"的闭环迭代机制,有效支撑学生解决复杂工程问题能力的培养。