课程文献中心 更多>>

关键词： 综合模块化航空电子系统   国产机载操作系统   AADL   代码生成   模型/代码语义一致性  

摘要： 随着航空电子系统复杂化的发展趋势及自主可控的要求,对这类复杂系统建模后如何自动生成面向国产机载操作系统的软件代码并验证模型/代码语义一致性具有重要研究意义。文章提出面向国产机载操作系统的航空电子软件代码自动生成方法。首先,使用AADL对综合化航空电子系统进行建模,设计AADL模型到源代码的转换规则,自动生成面向国产机载操作系统的平台相关代码及配置文件;其次,通过AGREE Annex和BLESS Annex契约对AADL模型进行形式化验证,并提出契约到C语言验证代码的转换规则,将验证代码与模型生成的源代码进行结合,部署在国产机载操作系统上进行仿真执行;最后,基于AADL开源建模环境OSATE设计并实现了代码自动生成工具,实验结果验证了方法和工具的有效性。

关键词： 非结构化数据   进程调度   机器学习算法   人工智能   应用管理系统   虚拟化   物联网   操作系统  

摘要： 传统的操作系统需要对计算、内存、网络、存储、任务进程调度等各个方面进行管理。随着机器学习算法愈发复杂、模型规模不断提升,以及人工智能与5G、物联网等领域深度融合,图片、语音、视频等非结构化数据呈现爆发式增长,异构算力成为行业发展的必然趋势,这对算力、存储、虚拟化、网络、编排、调度、算法等部分提出更高要求,需要强有力的管理来支持异构算力的快速扩充。

关键词： 软件测试   可移植操作系统接口   正则表达式   测试脚本   操作系统  

摘要： 针对操作系统的可移植操作系统接口(POSIX)标准接口符合性测试过程,根据1003.1—2017标准和正则表达式,提出了一种POSIX标准接口静态测试方法。首先,基于1003.1—2017标准提取接口信息,形成了POSIX标准的接口信息库;其次,根据接口信息设计正则表达式,由正则表达式匹配接口信息,并通过匹配结果实现自动生成静态测试脚本;然后,在被测操作系统上编译静态测试脚本集合,根据编译输出信息,判断被测操作系统是否提供了符合POSIX标准的函数接口;最后,以某国产嵌入式操作系统为测试对象,选取静态测试脚本并执行测试,根据编译信息可以确定该操作系统提供的POSIX函数接口声明是否符合POSIX标准。

关键词： 操作系统   教学实践平台   鲲鹏服务器  

摘要： 操作系统是高校计算机专业本科生的必修课程。针对操作系统实验教学的需求,面向华为鲲鹏服务器,设计并实现了基于Web IDE的操作系统教学实践平台,并在openEuler社区开源;面向学生群体,实现了操作系统实验的全过程管理。此外,还基于Docker容器技术实现了快速部署能力,基于GitLab实现了代码管理和自动评测。同时,开发了学习行为收集插件,帮助教学团队更深入地了解教学情况。最后,设计与实现了一个综合信息平台,方便教学团队对实验相关信息进行查看与分析。

关键词： 智能决策系统   执行部件   操作系统   感知传感器   智能驾驶   环境数据   快速迭代   执行命令  

摘要： 感知、决策、执行--是智能驾驶的三大核心技术。先由感知传感器获取环境信息,然后由智能决策系统通过芯片、算法、操作系统以及基于这些组件搭建的智能驾驶解决方案或平台,对环境数据进行分析和决策,进而制定相应的控制策略、执行策略和路径规划等,给到对应的执行部件去执行命令,实现智能驾驶。

关键词： 操作系统   UOS   故障诊断   故障修复  

摘要： 国产计算机操作系统越来越广泛地应用于日常工作中,基于Linux的国产计算机操作系统UOS在使用过程中仍存在着较多故障。基于此,把使用UOS系统时常见的故障进行了归纳总结,并对常见的故障给出了解决思路和关键修复步骤,从而帮助UOS系统使用者或系统管理员快速定位和修复故障,为保证UOS系统正常使用提供方法和依据。

关键词： 汽车产业   智能汽车   操作系统   窗口期   自主可控   加速键   市场格局   普华  

摘要： 没有自主可控的操作系统,汽车产业也就没有了安全的底座,相当于在沙子上面起高楼。作为智能汽车的重要组成部分,车用操作系统一直被誉为“汽车的灵魂”,关键程度不亚于汽车芯片。但遗憾的是,在全球汽车市场,车用操作系统这片蓝海被国外厂商长期“霸占”,国产企业“难出头”。全国政协常委、经济委副主任苗圩曾公开表示,目前智能汽车操作系统市场格局未定,未来三年是国产操作系统发展的关键窗口期。

关键词： 电力系统   新型电力   辅助设备   变电站风险   操作系统   数字生态   体系构建   有效管控  

摘要： 引言当前,我国正以建设清洁低碳、安全充裕、经济高效、供需协同、灵活智能的新型电力系统为着力点,推动新型能源体系建设。变电站作为电力系统不可或缺的部分,与电力系统共同发展了100多年。在传统的变电站运作过程中,通常需要人工对变电站中的一些辅助设备进行测量、控制、监视和运维,并根据设备上的相关数据进行计算,进而实现变电站风险的有效管控和预测,确保变电站可以更加安全、可靠地运行。

关键词： 智能手机   导航   精度   数据分析   城市峡谷   差分定位  

摘要： 针对智能手机全球导航卫星系统(GNSS)在城市峡谷条件下、多路径条件下的定位导航能力不足的问题,分析GNSS观测数据质量,对比定位结果,安卓手机采用伪距单点定位和伪距差分定位的方式进行数据处理,苹果手机采用融合数据进行定位解算。结果表明:苹果手机的载噪比明显高于安卓手机;环境良好的路段下,融合定位数据的结果相比于伪距差分定位准确度提升38 m左右,精度提升4 m左右,比单点定位结果准确度提升41 m左右,精度提升4 m左右;在多路径条件下,融合定位数据的结果相比于伪距差分定位准确度提升39 m左右,精度提升4 m左右,比单点定位结果准确度提升48 m左右,精度提升17 m左右;在城市峡谷环境下发现智能手机仅依靠GNSS导航的能力不足以满足日常定位需求,目前仍需要依靠融合定位来保障日常生活中导航的需求。

关键词： 绝缘斗臂车   操作系统   指示灯   蜂鸣器  

摘要： 随着绝缘斗臂车智能化的发展,绝缘斗臂车的操作越来越不易被作业人员快速掌握,甚至在出现突发情况时出现手忙脚乱的情况。研究出一种带操作指示装置的绝缘斗臂车,该斗臂车的操作系统在每个操作动作的按钮上增加一个操作指示灯,作业人员可以通过指示灯的颜色进行判别动作的可行性,同时在该动作不可继续操作时还会有蜂鸣声进行提醒。结果证明:该绝缘斗臂车更容易被作业人员所掌控。