课程文献中心 更多>>

关键词： 智能电视   彩色电视机   开放式平台   智能化方向   自主研发制造   操作系统   互联网   背景资料  

摘要： 技术关键词:智能电视背景资料:从黑白电视到智能电视,电视发展日新月异。1958年,我国第一台自主研发制造的电视机诞生;1970年,我国第一台彩色电视机诞生;进入21世纪第二个十年,电视向智能化方向发展,智能电视应运而生。智能电视是指具有全开放式平台,搭载了操作系统,可以由用户自行安装和卸载软件、游戏等第三方服务商提供的程序,通过此类程序来不断对电视的功能进行扩充,并可连接互联网的彩电的总称。

关键词： 单片机   操作系统   编程方法   智能计量   嵌入式系统   高效编程思想  

摘要： 单片机是嵌入式系统中最常用的处理器。许多嵌入式系统需要实时、高效地处理任务,这需要设计编程方式。探讨了单片机无需操作系统的高效编程思想,介绍了其优点和局限性,并列举了部分实际应用的例子。通过分析这些例子,说明单片机不用操作系统的编程思想在实际应用中的可行性和优势。在部分特定的场景中,单片机无需操作系统的编程思想,可有效提高嵌入式系统的效率和可靠性。

关键词： 脑机接口   操作系统   工程技术   深海探测   机械工程   有形实体   生物工程   研究成果应用  

摘要： 工程科技是指将科学知识或技术发展的研究成果应用于工业生产过程,以达到改造自然预定目的的手段和方法,包括工程技术和科学技术等,这些技术可应用于建筑工程、机械工程、电子工程、生物工程等领域。工程科技一般可区分为“软”和“硬”两类,但目前业界关于“软”“硬”工程科技尚未有明确定义。本文在借鉴樊轶侠、李嘉珣等专家学者关于“软”“硬”新基建划分的基础上,综合考虑全球经济社会数智化“大融合”发展趋势,认为“硬”工程科技泛指支撑有形实体建设的工程技术,如通信、高铁、大飞机、深海探测等技术,“软”工程科技泛指以通用人工智能、脑机接口、操作系统OS、AI芯片、工业软件等为代表的数智化创新技术。

关键词： 航天器   MBSE   操作系统   数字孪生体  

摘要： 在“数字中国”的宏伟目标下,当前我国航天器的研制模式正在从文档驱动的研制模式向模型驱动的研制模式升级转换,基于模型的系统工程(model-based systems engineering,MBSE)是指导这次研制模型升级的核心方法.其中,MBSE的核心内容之一是数字孪生体模型的构建与运行问题.航天器数字孪生体模型由多尺度模型构成,例如航天器系统级数字孪生体模型、子系统级数字孪生体模型以及部件级数字孪生体模型.同时航天器数字孪生体模型还由多维度模型构成,例如结构模型、软件模型和电路模型等.如何将多尺度的模型与多维度的模型按照一定的规范综合链接为一个整体的数字孪生体模型已成为MBSE领域关键研究的内容.本文提出一种具有普适性的航天器数字孪生体模型的构建方法,同时针对航天器数字孪生体模型的通用运行平台的设计架构与原理,提出一种基于操作系统原理的实践方案.

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

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

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

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

关键词： 核电   嵌入式操作系统   健康监控   分级故障监控   快速故障响应   安全性   可靠性  

摘要： 研究、设计符合核电嵌入式操作系统要求的健康监控体系,对维护操作系统安全、稳定运行具有重要意义。对操作系统健康监控技术进行了研究。分析了核电领域技术需求与操作系统故障模式。在自主研发的核电仪控平台嵌入式操作系统中,利用硬件中断捕获技术、故障派发机制、虚拟中断技术,设计与实现了一种操作系统健康监控体系。该体系具有多层级故障监测、快速故障捕获、精准故障派发、高效故障处理的特点,并满足核电站安全性、可靠性、确定性、高效性的要求。该体系可为核电领域其他嵌入式操作系统的健康监控研究提供借鉴。

关键词： 行政管辖   乌兰木伦   神东煤炭集团   伊金霍洛旗   矿井地质   井田面积   鄂尔多斯市  

摘要： 国能神东煤炭乌兰木伦煤矿(简称乌兰木伦煤矿)隶属于国能神东煤炭集团有限公司(简称神东煤炭集团),位于内蒙古自治区鄂尔多斯市东南部,归属内蒙古自治区鄂尔多斯市伊金霍洛旗乌兰木伦镇行政管辖,地处伊金霍洛旗东南部。矿井始建于1988年11月,1992年12月正式投产,井田面积44.1 km2,矿井地质总储量41 204.66万t,主采煤层三层。

关键词： 分区操作系统   文件系统   安全访问控制   并行文件访问   快照管理  

摘要： 研究涉及一种基于分区操作系统的文件系统设计方法,解决分区操作系统下文件的安全访问问题。分区操作系统资源、空间彼此隔离,文件系统用于管理分区数据,不能违背数据资源的隔离需求。为此,通过将文件系统部署在分区操作系统的分区;分区内和分区外采用两层分区安全访问控制;采用快照管理实现文件系统自身对并行文件访问需求,实现文件系统设计。通过测试表明,该方法能够在满足分区操作系统设计约束下,实现文件的安全访问。

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

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