课程文献中心 更多>>

关键词： 实时操作系统   事件响应机制   printf   输出   mbedOS   实时操作系统   KL36   芯片  

摘要： 为了能清晰理解事件的工作原理与机制,通过分析事件在实时操作系统中的作用、响应原理及流程,基于KL36微控制器采用类PC机的printf输出法,从调度过程时序、响应时间性能等方面剖析了mbedOS的事件响应机制。实验结果表明,通过printf函数能将事件响应过程的线程地址、队列地址,队列内容、线程进出队列情况以及事件位等信息直观输出,为读者从底层理解mbedOS的事件响应原理和流程提供便利,也为分析mbedOS的其他同步与通信手段的脉络结构提供方法借鉴。

关键词： 嵌入式操作系统   形式化验证   VCC   CBMC   PAT  

摘要： 操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失.一直以来,如何保障操作系统的安全性和可靠性对学术界和工业界都是一个重大挑战.目前验证操作系统安全性的方法有软件测试、程序静态分析、形式化方法等.其中,形式化方法是最有潜力确保操作系统安全可信的方法,通过使用形式化方法,建立数学模型并进行系统的形式化分析和验证,从而发现潜在的错误和漏洞.在操作系统中,形式化方法可以用于验证操作系统的功能正确性、完整性以及系统安全性等.在已有的针对操作系统形式化验证的成果基础上,提出了一个面向嵌入式操作系统的形式化验证方案,采用VCC(verified C compiler)、CBMC(C bounded model checker)以及PAT(process analysis toolkit)工具分别对操作系统单元层面、模块层面和系统层面进行验证.该方法已成功应用到某操作系统的任务调度架构案例中,对于嵌入式操作系统的分析验证具有一定的通用性。

关键词： 操作系统   思政元素   融入途径   知识体系   道德素养  

摘要： 操作系统作为计算机专业的核心课程,对学生知识体系的发展具有重大意义。为落实立德树人根本任务,将思政元素融入计算机专业核心课程教学势在必行。文章以操作系统为例,依据思政元素融入该课程的教学目标,重点介绍思政元素融入课程教学过程中存在的问题以及思政元素融入课程教学的途径。旨在提升教师的思政元素课程建设能力,提高学生接受专业课程思政元素教育的意识和学习专业课程的热情,使学生在构建计算机知识体系结构的同时提升自身的道德素养。

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

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

关键词： 机器人操作系统   机器人专业教育   市场需求   复合型技术人才培养  

摘要： 机器人应用领域逐渐渗透到各行各业,使得机器人市场飞速发展,从而对机器人相关技术人才需求量增大。中职学校是培养一线机器人技术人才的重要摇篮,为了应对市场需求对中职学校人才培养提出了新的需求。针对当前中职工业机器人专业教育存在的问题,通过从中职学校对工业机器人专业教材的需求入手,对人才培养需求及教材开发进行深入分析,阐述将机器人操作系统作为机器人专业教育核心课程的意义,以及论证在中职学校开展此课程的可行性。

关键词： 程序分析   动态分析   恶意代码   系统内核   硬件虚拟化  

摘要： 各种高级恶意代码在网络空间中不断出现,具有分析对抗能力强、恶意行为更隐蔽等新特点,对各类信息系统的安全性产生严重威胁。为深度了解恶意代码及相关攻击活动,需研究更实用和高效的分析方法,以提高对威胁的分析能力和响应速度。针对二进制程序分析,尽管已有较多的研究成果,但随着软硬件技术的发展,仍面临实用性和灵活性较低、性能和资源开销较高、难以适应新的应用场景等问题。因此在已有工作的基础上,本文以动态细粒度程序分析为目标,将操作系统和虚拟机监视器进行深度融合,提出一种新的二进制程序动态分析方法。该方法充分利用硬件虚拟化新特性对目标程序的执行进行动态拦截,能够更便捷地对用户模式应用程序进行自动化分析,并采用新的动态分析相关内存管理方案,以提高细粒度分析的效率和分析代码构建的灵活性;同时综合程序执行和指令分析进行分离的策略,进一步降低分析过程对目标程序运行时的性能影响。本文在Windows平台上设计了该方法的原型并实现相应的分析框架,采用基准程序和实际应用程序进行大量实验,验证了该方法的可行性和高效性,并通过数据流分析案例进一步展示了框架在实际分析中具有较高的应用价值。

关键词： 计算机   UEFI   多操作系统  

摘要： 图书馆的公共计算机每天要提供给多个读者使用,不同的读者因教育背景各异,对计算机操作系统的需求也各不相同。在同一台计算机上安装各自独立互不干扰的操作系统可满足读者差异化的需求,在一定程度上能提高计算机的利用率。UEFI固件引导模式与传统的BIOS固件相比,具有系统启动过程耗时更短,兼容性更好,支持超大容量存储设备等优点,现在的计算机系统基本均支持UEFI。本文实现了基于UEFI单机Windows和Linux系列多种操作系统实体机的安装和启动方法。

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

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

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

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

关键词： 鸭甲型肝炎病毒   反向遗传   病毒拯救  

摘要： 鸭病毒性肝炎（DVH）的高发病率和对雏鸭的高致死率已成为制约我国养鸭业发展的一大难题，目前危害最为严重的DVH主要由鸭甲型肝炎病毒（DHAV）引起，DHAV主要有两种基因型，分别为 DHAV-1和DHAV-3，主要攻击4周龄以内雏鸭，引起急性肝炎和雏鸭死亡。目前主要通过鸡胚连续传代致弱来研制弱毒疫苗，耗时较长。因此，急需一种快速改造DHAV的技术来提高疫苗研究速度。本研究利用RT-PCR方法扩增DHAV-1强毒株（SH8）和DHAV-3强毒株（SH52）的全基因组，将全基因插入pUC19载体构建了重组质粒，以重组质粒为模板、利用融合PCR方法扩增DHAV全基因组，转录为RNA后转染至鸭胚肾（DEK）细胞，最终成功获得两株拯救毒株。将两株拯救毒株在9日龄麻鸭胚连续盲传5代收获病毒，分别命名为r-SH8和r-SH52。将SH8、r-SH8、SH52和r-SH52分别接种9日龄麻鸭胚，发现拯救毒株与野毒株相比，在9日龄麻鸭胚中引起的胚体病变情况相同，病毒滴度相近。本研究成功构建 DHAV-1和DHAV-3反向遗传操作系统，为快速定向突变致弱DHAV奠定了基础。