课程文献中心 更多>>

关键词： Linux操作系统   自主浏览器   关键技术   国产  

摘要： 互联网技术和数字信息技术不断进步，人们能够快捷地通过浏览器获取各种信息。目前，基于Linux操作系统的浏览器是实现人机交互的核心，其设计思路和关键技术对于人们的日常生活十分重要。目前，用户使用的浏览器与国外的浏览器相比还有一定的差距，这是我国互联网技术起步较晚所致。国产自主浏览器尚处于发展之中，并未形成完整的生态体系，不利于维护我国的网络信息安全。软件的兼容性是目前国产软件发展当中存在的关键问题，尤其是市场上的很多厂商推出的浏览器软件无法兼容国产操作系统，或者兼容性较差，浏览器在使用中容易出现问题。因此，浏览器厂商开发基于Linux操作系统的自主浏览器对于我国实现网络安全具有重要作用。

关键词： 遥操作系统   间歇性网络传输   自适应控制   事件触发机制  

摘要： 近年来，遥操作机器人系统备受关注，主要由于其在太空探索、军事、医疗、灾难救援和核电站操作等多个领域的广泛应用。遥操作系统通常由一个人类操作的主机器人和一个执行实际任务的从机器人组成，两个机器人之间通过高效的通信网络进行信息交流和传输，从而实现远程控制和操作。这种操作方式能够有效地避免人类直接面对危险环境。然而，在长距离网络传输过程中，通信时延是一个不可避免的问题。现有大多数研究往往只考虑了连续通信时延的情况，忽略了通信信道存在的不规则延迟和可能的数据丢失等实际问题。而且这些研究都要求很强的时延假设，不符合实际中尤其恶劣环境中的遥操作系统的网络条件。　　本篇论文以间歇性网络传输下的单主-单从/多从遥操作系统为研究对象，旨在针对间歇性数据传输的约束网络问题，设计了一种自适应控制算法，以保证系统的同步。在间歇性网络传输下，通信信道存在着不规则的时延和可能的丢包等问题，从而导致数据交换在时间上是间歇性的，这使得系统稳定性分析变得异常困难，至今未得到很好的解决。因此，本文的研究重点在于如何应对这些弱假设通信条件，并设计出适应性强、能够应对间歇性通信问题的控制算法，从而提高间歇性网络传输下的遥操作系统的性能。论文的主要研究工作如下：　　(1) 针对间歇性网络传输下的带有未知参数的单主-单从/多从遥操作机器人系统的同步问题，本文提出了一种自适应控制策略。该策略旨在通过在线估算未知参数并进行动态调整，以实现闭环系统的性能要求并减少不确定性的影响。而且，在控制器的设计中，直接力反馈的引入能够有效避免过多的阻尼传递给操作者，同时也避免了自适应控制将人力当作“外部干扰”进行处理。通过采用本研究所提出的控制策略，可以有效地提高遥操作机器人系统的同步性能。　　(2) 以间歇性网络传输下的单主-单从遥操作机器人系统为控制对象，设计了一种全新的动态事件触发方法，该方法不仅能够显著增加事件发生时间的间隔长度，而且还能提高系统的性能。设计的控制算法实现了单主-单从遥操作系统的一阶无限可操作性以及在每一个事件触发时刻的静态力反射，从而显著提升了系统的透明性。此外，本文所提出的事件触发机制也可用于单主-多从遥操作系统中，以降低控制器的更新频率，达到减少计算资源消耗的目的。　　(3) 为了解决单主-多从遥操作机器人系统中间歇性网络传输带来的同步控制问题，本文提出了基于虚拟模型和动态补偿器的分布式自适应控制算法，实现了所有子系统的同步。相比较于传统的同步控制方法，本文基于遥操作系统中机器人之间的间歇性数据交换提出的方法要求更宽松的网络条件，不仅能提高系统的同步性和控制精度，基于事件触发机制还能够降低通信成本和计算能耗。

关键词： Embedded operating system   IoT   Network interface   Thread network  

摘要： Thread networking’s emergence as the de facto low-power IP networking technology warrants investigating a Thread interface within embedded operating system network stacks. Although there exist many embedded software platforms providing Thread integration, these examples notably lack multi-tenancy and a principled policy for interface design and resource sharing. This work first provides a survey of leading embedded operating systems’ networking and Thread capabilities followed by a proposed Thread networking interface design. To demonstrate the interface design, kernel Thread networking support was implemented within TockOS and provided functional interoperability for a Tock child device to attach to an OpenThread router.

关键词： 形式化方法   操作系统   数据库   文件系统   分布式共识协议  

摘要： 对高可靠系统软件需求的不断增加使得形式化方法在工业界引起了广泛的兴趣。文章概述了当前主流形式化方法，分析了国内外研究态势，并介绍了形式化方法在设计和实现操作系统、编译器、同步原语、文件系统、数据库系统和分布式共识协议等方面的实践。基于这些实践，进一步总结了形式化方法在系统软件中应用的经验，并从理论和工程两方面讨论其可能面临的挑战，最后针对这些挑战提出发展建议。

关键词： 实时操作系统  

ISBN: (纸本)9787302634270

摘要： 本书首先介绍了嵌入式实时操作系统(RTOS)的基本概念，包括什么是RTOS、RTOS的组成和结构、为什么要在设计中使用RTOS、RTOS运行的微处理器架构(单核和多核处理器)以及集中和分布式计算系统；接者进一步深入到RTOS内核机制，详细阐述了RTOS的调度方法、通信机制、存储管理和资源共享等RTOS核心基础理论知识；然后作者依托丰富的实时系统工程和研究经验，对调度策略进行分析，讨论RTOS性能测试和相关分析工具的使用，对于实际问题给出解决方法；安全关键系统是嵌入式实时操作系统的重要应用场景，书中最后专门用一章来讨论在安全关键系统中使用RTOS的一些问题。

关键词： 航电系统   光纤通道   FC-AE-ASM   操作系统   Lwip协议栈  

摘要： 随着高速率、高带宽和强可靠性的光纤通道协议被广泛使用,航空电子系统分委员会制定了以FC协议作为底层传输网络的FC-AE-ASM协议,并且该协议在航电领域中已经展开应用与研究,是当前研究和应用的热点话题。实现FC数据的采集和转发,对实时监控飞机的飞行状态和数据分析意义重大。本文基于FC-AE协议设计了一种数据采集转发系统。具体工作如下:1)本文分析了相关总线协议,内容包括:MIL-STD-1553协议的网络概述和网络结构;光纤通道协议的特点、分层模型、拓扑结构和帧格式;FC-AE-ASM协议的帧格式。2)完成基于P2020处理器和Zynq-7000系列XC7Z045芯片的FC数据采集软件和FC数据转发软件的设计。主要是给出了FC数据采集软件的操作系统分析、驱动层软件和应用层自检软件的实现方案以及FC数据转发软件的数据处理、数据搬运和数据发送模块的设计方案。3)通过Workbench和Xilinx SDK软件完成FC数据采集软件和FC数据转发软件的开发。主要完成FC数据采集软件的引导程序、驱动层各模块和应用自检软件的程序编写以及利用Lwip协议栈等技术完成FC数据转发软件的数据处理、数据搬运和数据发送模块的功能实现。4)结合所提出的技术方案,完成地面模拟环境的搭建并且对系统进行全功能测试。相应的测试结果表明,设计的FC数据采集软件和FC数据转发软件功能完备,满足用户的各项指标要求。5)通过对本文总结,指出在未来的工作中会对系统信息处理的数量级进行提升,满足更高速率的处理要求。

ISBN: (纸本)9787576705485

摘要： 本书强调其实践的重要性, 并用不少篇幅介绍了当时流行的各种操作系统的具体实例, 供计算机专业的学生在操作系统课程实习时使用, 以期达到理论与实践相结合之目的。

关键词： 线上   线下   混合式教学   《操作系统》  

摘要： 为进一步完善和切实做好计算机专业课的教学，本文以《操作系统》课程作为研究对象，分析其在传统线下教学中存在的不足，从教学形式多样化、教学资源多层次、考核方式多元化等方面出发，设计合适的线上线下混合教学模式。通过在教学中对该模式加以实施后发现，学生参与课程的活跃度更高、学习时间安排更灵活、形式更丰富。通过一学年的教学实施可以验证，采用线上线下混合教学模式有利于提高教和学的效率。特别是采取线上线下混合教学模式使得学生有更多的机会和时间来消化较难的知识点，提升了学生的学习成绩，提高了学生的学习兴趣。