课程文献中心 更多>>

关键词： 通用操作系统   安全保护   控制终端   磁盘过滤   休眠镜像  

摘要： 通用桌面式操作系统普遍存在易感染病毒、不能抵抗异常断电冲击等问题,特别当应用于关键系统的控制终端时,更成为必须要解决的问题。通过对问题产生原因和几种应对方案进行研究和对比,分析了以往方案的不足之处。提出了基于磁盘过滤与休眠式启动镜像的全新方案,它克服了传统安全保护方案的各种缺陷,首次实现了所必需的操作系统崩溃预防、病毒防护和快速启动全部三项能力。实践表明,新方案从根本上解决了通用操作系统健壮性缺陷问题,可为各类桌面式控制终端、企业和个人计算机系统所广泛采用。

关键词： 应用程序   网页信息   操作系统   Python   爬虫   网络媒体   新闻工作者   脚本  

摘要： 为适应网络媒体兴起的大环境,减轻新闻工作者的年末在新闻或稿件数量的统计核对压力,提高工作效率,提升基础工作能力,本论文以简化通信与信息技术中心(以下简称中心)主页的新闻信息统计问题为例,以及统计工作量相对更大的“气田风采”等栏目。本论文通过编写一种不依赖于开发语言环境的脚本应用程序,来实现应用在WinXP操作系统及其以上系统的兼容工作,让新闻工作者可以不用安装任何附件,方便地使用本应用并保存结果。

关键词： 智能网联汽车   汽车产业   操作系统   自动驾驶   实施策略  

摘要： 结合智能网联汽车操作系统的内涵及发展趋势,梳理并分析全球具有代表性操作系统的主要特点,基于我国智能网联汽车操作系统的发展现状,剖析存在的主要问题,提出我国发展智能网联汽车操作系统的实施策略。

关键词： 单板计算机   操作系统   DDR3   树莓派   音乐播放器   Ubuntu   系统级芯片   Linux  

摘要： 香橙派是一款开源的单板计算机,也是新一代的AR M开发板,它可以运行Android 6.0、Ubuntu、Debian等操作系统,还可以兼容树莓派。香橙派使用全志A64系统级芯片,同时拥有1GB DDR3内存,只有身份证大小,我们可以用它搭建计算机、无线网络服务器、游戏机、音乐播放器、高清视频播放器、扬声器等。它是为任何想用技术进行创作创新的人设计的一款非常简单、有趣、实用的工具。香橙派操作系统为Linux,是免费开源的,希望大家能用它去打造你身边的世界,图1所示就是香橙派单板计算机。

关键词： 制造业   熔喷布   伪创新   工匠人才   供应链   操作系统  

摘要： 劣质产品和造假行为对中国制造业的冲击,比病毒更恐怖近日来,新冠肺炎疫情持续在全球蔓延,受市场衰退和生产停滞影响,一些国家似乎不惜代价,要转移制造业:4月10日,日本政府宣布,将支付22亿美元,支持日资企业迁出中国。其中,有20亿美元用于企业回到日本的贷款,另外2亿美元支持企业去东南亚国家。同一天,美国白宫首席经济顾问库德洛建议,美国企业从中国迁回去,将由政府给予100%的直接报销。这样的背景下,很多人担心中国制造业要不保。究竟该如何看待呢?中国制造又该警惕什么?

关键词： 实时操作系统   mbedOS   移植   ARM  

摘要： MbedOS是ARM公司于2014年开始推出的一款面向智能终端与物联网节点的实时操作系统,主要用于对响应时间有较高实时性要求的嵌入式系统.在深入分析mbedOS的基本功能、调度机制、延时函数机制、任务间通信机制等基础上,以可移植的mbedOS工程框架为基础,分析移植的共性问题,给出具体的移植方法.在此基础上,实现了mbedOS在ARM Cortex-M系列的不同内核及不同MCU上的移植,还给出了不同开发环境间移植共性问题分析,为mbedOS的应用研究提供了基础,有效地降低了mbedOS的移植难度,也可为其他RTOS的移植提供参考.

关键词： 移动操作系统   跨平台   平台架构设计  

摘要： 本文通过对本地应用、网页应用和混合应用进行对比,分析各种应用的特征,选择适合跨平台开发的应用类型。在此基础上提出面向混合应用的跨平台应用架构,针对跨平台和特定场景需求,重点阐述开放服务的设计思路。分析了该应用架构的有点和不足,并阐述了未来跨平台移动应用的发展趋势。

关键词： Ti6678   操作系统   最小系统  

摘要： 操作系统主要是管理计算机系统中的软、硬件资源,在Ti6678的高性能处理器中,设计最小化可运行的操作系统有着现实的意义,包括最小化运行需要的基本驱动、操作系统基本功能、任务切换上下文、固化运行等。文章详述了这些方面的适配设计考虑,根据适配设计实现了最小可运行且具有基本操作系统特征的系统。

关键词： 实时操作系统   VCC   混合程序验证   自动验证   Z3求解器  

摘要： "如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出了一个自动化验证操作系统内核的框架.该验证框架包括:(1)分别对C语言程序和混合语言程序(C语言和汇编语言)进行验证;(2)在混合语言程序验证中,为汇编程序建立抽象模型,并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型;(3)从规范中提取性质,基于该自动验证工具,对性质完成自动验证;(4)该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-Ⅱ进行了验证.结果显示,利用该框架在对两个不同的硬件平台上内核验证时,框架的可重复利用率很高,高达83.8%,虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中,分别发现了10处~12处缺陷.其中,在ARM平台上两处与硬件相关的问题被发现.实验结果表明,该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.

关键词： 微型断路器   电磁兼容性   集成低通滤波器   准谐振  

摘要： 为实现对微型断路器误动作的弥补,本文设计了一种与微型断路器配套使用的电动操作系统.该设计属于机电一体化产品,测试标准对标欧盟家用电器、电动工具或类似器具的电磁兼容标准EN55014.本文重点关注其中4类指标:发射干扰EMI(Electron-Magnetic Interference),抗干扰性EMS(Electron-Magnetic Susceptibility),谐波干扰Harmonic,电压扰动Flicker.通过设计高集成、谐波强衰减、高抗浪涌能力的低通滤波器,采用准谐振软开关技术及分时变频的控制策略,优化的PCB(Printed Circuit Board)布局布线,实现对电磁兼容性的优化,并在第三方检测机构测试通过,获得CE认证.