课程文献中心 更多>>

关键词： 综合化航空电子系统   ARINC653操作系统   AADL   代码自动生成  

摘要： 综合化航空电子系统(Integrated Modular Avionics, IMA)是一类典型的安全关键系统,具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化,系统的功能越来越多地采用软件来实现,如何对这类复杂软件进行建模并自动生成代码成为一个重要挑战。文中提出了一种基于AADL(Architecture Analysis and Design Language)的综合化航空电子系统代码生成方法。首先,提出HMC4ARINC653(Heterogeneous Model Container for ARINC653)属性集扩展,使其具备描述IMA软件架构、异构功能行为和非功能属性的能力;其次,提出IMA模型到C代码及ARINC653系统配置文件的映射规则,并遵守MISRA C安全编码规范,生成的代码能够在ARINC653操作系统上部署并仿真执行;最后,设计并实现了相应的原型工具,以ARINC653操作系统和工业界实际案例,验证了所提方法和工具的有效性。

关键词： 智能网联汽车   车控操作系统   任务调度   代码隔离   最坏执行时间分析  

摘要： 电子控制技术为智能网联汽车的高速发展持续赋能,车控操作系统是保障汽车电子控制软件安全、高效、实时运行的基石。随着智能网联汽车向集中式、端云融合式电子电气架构发展,车载硬件演化为多核异构处理器、弹性计算平台,车控软件向面向服务的软件架构转变,车控操作系统的架构、关键技术等也随之发展。综述了智能网联汽车用车控操作系统的发展历程与现状,对任务调度、实时性/安全性保障、形式化表征与验等基础理论和关键技术进行深入分析,阐述现有车控操作系统的技术挑战与发展趋势,为智能网联汽车的车控操作系统发展提供参考。

关键词： PID视觉巡线算法   深度学习   ROS机器人操作系统  

摘要： 本作品以GUARDER机器人为主体,运用PID视觉巡线算法、基于Yolo环境的深度学习以及ROS机器人操作系统完成从起点位置出发,沿途依次通过上下斜坡、单边桥、S弯道、直角弯道、U形弯道、双边桥等地形,并在弯道区域完成不同人群的人数识别。该巡检机器人具有识别异常情况、自主避障及远程播报功能,能够更好地服务于复杂多变的工地场合。

关键词： 开源软件   操作系统   智能汽车   RISC   地缘政治   芯片  

摘要： 地缘政治差异全球化的时代,RISC-V正让我国汽车芯片走出IP授权和自研门槛高的围城;与此同时,开源芯片也将带动开源软件,特别是操作系统的开源,这对于打造开源、开放的智能汽车生态也是一个意外之喜。

关键词： Linux操作系统   计算机专业   教学改革   实践教学   案例分析  

摘要： 在计算机专业中,操作系统是极为重要的基础课程之一,也是计算机科学领域的必修课.近些年来,随着信息技术的快速发展,社会对计算机专业人才的需求也逐步发生变化,要求该专业学生对操作系统有足够的认识并具备一定的应用能力.其中,Linux操作系统是当前使用范围最为广泛的操作系统之一,该系统的发行版本非常多、更新速度快、教学知识点复杂,如何在Linux操作系统环境下培养学生对操作系统的深刻理解与应用能力,是计算机教育领域亟待解决的问题.文章通过分析基于Linux的操作系统课程教学现状,探究如何利用现代信息技术、多种教学方法加强对Linux操作系统原理、实践操作、应用案例等教学内容的改革,为改进操作系统课程教学提供借鉴与参考.

关键词： 工程实践能力   课程内容教学体系   教学模式   考核机制  

摘要： 分析操作系统课程在教学过程中存在的问题,提出突出工程实践能力培养的课程改革思路,从课程内容体系、实验教学内容、教学资源和能力训练平台、教学方法、考核评价方面介绍改革实践过程,最后说明课程改革效果。

关键词： 变电站   智慧操作监护   二次安全措施   防误操作  

摘要： 智能变电站二次系统用网络通信取代了传统变电站的有线通信,极大地提高了变电站的信息共享,但也带来二次安全措施的运行复杂、可靠性难以保证的问题。通过智能变电站二次安全措施的概念和基本原理,分析二次安全措施可靠性低的原因。根据实际工作经验,给出了预先检查、在线错误预防和二次安全措施自动生成三种解决方法。结合工程应用的难点,给出了二次安全措施的未来发展方向。

关键词： 社会基础设施   行业共识   人工智能技术   数据处理效率   数据资源   AI   操作系统   通信基础  

摘要： 当前,通信基础业务和公众市场在短期内增长有限已经成为行业共识,运营商迫切需要寻找新的增长点。随着人工智能技术逐步融入社会基础设施,大模型将成为AI时代的“操作系统”。运营商拥有算力基础和丰富的数据资源,发展大模型的成本较低,且可以带来数据处理效率提高。

关键词： 无人机   战术仿真   物联网操作系统平台   虚拟现实   数字孪生   人工智能  

摘要： 针对现有无人机蜂群仿真解决方案灵活性不足、成本较高的现状,提出基于物联网操作系统平台的无人机战术仿真系统建设思路,在物联网操作系统平台之上构建了无人机信息模型、人工智能算法、外部决策模块、虚拟现实场景,集成了无人机战术仿真系统,能够支持对于上层无人机应用的仿真测试。经过验证,证明该系统具备开发效率高、耦合程度低、模块编排灵活的特点,有利于无人机新战术、新应用的开发。

关键词： 煤矿智能化系统   井下组合开关   智能化控制技术  

摘要： 随着科技的不断进步,煤矿智能化系统在提高煤矿生产效率、保障工人安全以及实现可持续发展方面发挥着越来越重要的作用。其中井下组合开关作为煤矿智能化系统的关键组成部分,其创新和发展对煤矿生产的安全、高效运行起着至关重要的作用。本文将对煤矿智能化系统进行概述并重点探讨井下组合开关的创新与未来发展趋势,包括智能化控制技术、数据化管理技术、节能环保技术以及安全防护技术的应用以及未来智能化程度、设计模块化、安全环保性能等方面的提升。