课程文献中心 更多>>

关键词： 智能汽车   智能网联汽车   操作系统  

摘要： "未来的城市基础设施一定要与新一代通信技术、人工智能、物联网连为一体,在智能汽车发展方面,就是要用更智能的路来支持更听话的车。通过试点为大量车载设备、路侧设备、5G技术、汽车操作系统、人工智能等新型技术提供运用机会,促进技术创新,特别是大家关注的无人驾驶汽车的操作系统、车路协同等技术得到大量的实景测试。"——住房和城乡建设部部长王蒙徽认为,汽车的电动化、智能化不仅带来了产业的变革,也对出行方式、城市布局、道路设施、城市治理等产生颠覆性的影响。

关键词： 程序包   操作系统   Linux   VirtualBox   Ubuntu VirtualBox  

摘要： 在众多的虚拟机的软件程序包之中,不论是开源的免费版本还是商用的付费版本,您可曾想过哪一款虚拟机的软件,所支持的操作系统最多且最容易上手使用呢?答案就是Oracle的VirtualB ox。它不仅轻巧又简单使用,更可让IT工作者所创建的各种用途之虚拟机,轻松游走在不同操作系统上的VirtualB ox虚拟环境之中。

关键词： 操作系统  

ISBN: (纸本)9787568525916

摘要： 本教材系统地介绍了计算机操作系统的基本概念、工作原理、实现方法和技术。主要内容包括：操作系统概述；用户界面；处理器管理；进程互斥、同步与死锁；存储管理等。

关键词： 混合学习   操作系统   英文授课  

摘要： 针对目前中外合作办学项目越来越多,国内很多高校开展了中外合作课程的教学,在英文授课的操作系统课程中,不仅需要让学生掌握操作系统的基本原理,而且能多动手进行操作系统课程的实践也显得尤为重要.为了达到较好的教学效果,在分析了原有操作系统课程现状的基础上,本文提出了基于混合学习的操作系统英文授课模式,并进行了实践.教学实践表明,新的授课模式和方法能有效的提高学生的理论知识水平和计算机动手能力.

关键词： 操作系统   网络安全   Fortinet Forti OS 6.4   威胁情报  

摘要： Fortinet近期推出了Forti OS 6.4版本,它是支持Fortinet Security Fabric的最新版旗舰操作系统。Forti OS 6.4增加了350多种新特性,进一步扩展了Security Fabric安全架构的全面覆盖、深度结合和动态协同能力。Fortinet产品执行副总裁兼首席营销官John Maddison表示,"伴随FortiOS操作系统6.4的发布,我们将继续扩建Fortinet Security Fabric安全基础架构,以便在应对多种攻击方

关键词： 操作系统   Linux   系统调用   模糊测试   依赖   静态分析  

摘要： 随着互联网、大数据、云计算、物联网等技术的火热发展,Linux操作系统的应用越来越广泛。操作系统内核是操作系统的核心,提供了操作系统的核心功能和安全根基。因此,提前发现Linux内核的漏洞并进行修补至关重要。目前,针对Linux内核漏洞挖掘的一个重要方法是针对其系统调用接口进行模糊测试。本文通过对操作系统内核系统调用接口模糊测试技术进行研究,发现现有方案在产生系统调用测试用例方面存在质量和效率的不足,其中一个重要原因是没有分析、应用好系统调用之间的多种依赖关系。为了缓解目前存在的这些不足,本文提出了基于系统调用间依赖的Linux内核模糊测试技术。首先,通过静态分析技术,提取出系统调用间更完整的内核全局变量依赖信息;然后,通过基于系统调用间依赖的模糊测试技术,提高对系统调用间依赖的利用效率,从而提升模糊测试的效果。针对原型系统的实验结果表明,本文提出的关键技术和创新点具有一定的应用价值,能够获得更完整的Linux内核系统调用间基于内核全局变量的依赖信息,能够提升Linux内核系统调用接口模糊测试的代码分支覆盖数量和Bug发现数量。本文主要的工作和创新点如下:(1)分析了现有操作系统内核系统调用接口模糊测试技术在多种系统调用间依赖分析和应用方面存在的问题,主要为两个方面:一是现有基于内核全局变量的系统调用间依赖分析技术存在较多漏报的问题,主要原因是未分析内核中大量存在的间接函数调用导致的依赖。二是模糊测试过程中对多种系统调用间依赖信息的分析和应用存在问题,主要由于动态依赖分析算法未考虑系统调用间依赖的特性,表示和融合多种依赖信息时未充分应用不同依赖信息的特征,基于依赖信息指导测试用例生成和变异的效率不够等原因。(2)提出了新型的基于内核全局变量的系统调用间依赖分析技术,缓解了现有方案分析结果存在较多漏报的问题。实现了静态分析原型系统Depend Analyzer,其中通过加入基于函数类型匹配的间接函数调用分析方法,获取了Linux内核无漏报的函数调用信息,进而得到了更完整的内核全局变量依赖信息。相比于有关方案Moon Shine,Depend Analyzer分析的依赖结果更为完整:对于存在366个系统调用的Linux内核,Depend Analyzer比Moon Shine多发现66组(多28.07%)存在依赖的系统调用。(3)提出了新型的基于系统调用间依赖的模糊测试技术,缓解了模糊测试过程中对系统调用间依赖信息应用效率不够的问题。基于syzkaller优化实现了模糊测试原型系统Dependkaller,其中优化实现了基于系统调用间依赖特征的动态依赖分析技术和多源依赖表示和融合算法,并基于系统调用间依赖信息更高效地指导测试用例的生成和变异,提高了针对Linux内核系统调用接口模糊测试的代码分支覆盖数量和Bug发现数量。相比于现有较完善的Linux内核系统调用接口模糊测试方案syzkaller,加入和不加入Depend Analyzer分析结果的Dependkaller进行模糊测试的代码分支覆盖数量和Bug发现数量都更多:当测试的代码分支覆盖数量平稳后,不加入内核全局变量依赖信息的Dependkaller相比原始的syzkaller,代码分支覆盖数量提升了9.12%,多发现9个(28.16%)Linux内核的Bug;加入内核全局变量依赖信息的Dependkaller相比原始的syzkaller,代码分支覆盖数量提升了12.06%,并多发现了16个(50.00%)Linux内核的Bug。

关键词： linux操作系统   C/S模型   TCP/IP   seqlite3数据库  

摘要： 本文以Linux操作系统为开发平台,利用C/S模型作为开发框架,采用TCP/IP网络传输协议,TCP传输协议可保证用户数据可靠接收.本系统采用C语言作为程序编写语言,实现用户登陆注册,历史记录查询,单词在线翻译,用户离线查询,用户更新词库,多用户同时连接等功能.

关键词： 农业机械设备   中央处理器   管控模式   感应器   自动化控制技术   最优化   差异化   操作系统  

摘要： 随着科学技术的快速发展,自动化控制技术的应用在我国的农业机械设备研发中受到了极高的重视.现阶段,因为农业机械设备的应用环境差异化很大、复杂性很大,如果单单通过普通的传输感应器和简单的控制操作系统是不能够使每一个生产环节处于最优化的状态当中的,所以我们一定要自主研发出能够把复杂的信息在短时间内进行分析、研究、决定的农业机械设备.智能化的农业机械设备中存在的中央处理器芯片可以把传感器传回的基础信号或者其他相关的应用打造成机械化、智能化的管控模式,将中央处理芯片、指挥系统、相关的操作人员三者一体化,实现信息的及时交流.农业机械设备的智能化模式是当下农业快速发展的重要环节,是未来农业进步的基础条件.

关键词： 变电站倒闸操作   设备故障预测   故障诊断分类   系统设计  

摘要： 变电站在供电系统中作为电能转移的中间站,主要起到改变电压等级、电流大小,并将接收到的电能分配给用电侧的作用。特别是输电线路和变压器在变电站中分别起到传输电能与改变电压等级的作用。但是由于变电站主接线方式不同,倒闸操作顺序有很大的不同,所以当输电线路或电气设备需要检修或发生故障时,运维人员若不清楚倒闸顺序,在倒闸过程中稍有疏忽就会出现误操作,对电网产生巨大的危害。本论文基于现有的变电站监控系统,应用相关算法、仿真软件,主要研究倒闸操作系统中倒闸的具体操作顺序和输电线路和变压器故障预测方法,当其预测到异常,提醒操作人员进行倒闸操作。本文主要进行了以下工作:1.首先对变电站的桥形接线结构进行说明,指出内桥和外桥接线的优缺点。并根据接线方式和倒闸“五防”规则,对内桥和外桥的线路和变压器投切步骤进行了详细说明。并基于规则推理对内桥接线方式下的7种运行模式下的操作规则函数进行研究。2.基于层次分析法和模糊综合评价法,对输电线路和变压器进行故障预测。利用层次分析法确定各指标因素权重,之后建立输电线路和变压器综合评价模型,得到最终的预测结果。预测出输电线路和变压器的异常部分,为运维人员的倒闸操作工作提供参考依据。3.采用小波包分解和支持向量机对输电线路进行短路故障分类。利用仿真软件PSCAD搭建110kV输电线路短路故障模型,仿真模拟出740组故障信号,利用小波包分解重构故障采样信号,提取故障信号的能量熵作为样本的特征向量,并将其作为故障分类模型训练样本,选用支持向量机进行故障分类预测。本文对变电站倒闸操作进行研究,给出内桥式变电站不同的运行模式下倒闸操作函数,使倒闸操作更具有规范性;本文提出的在输电线路和变压器状态故障预测方法,可预测出输电线路和变压器是否处于异常状态;本文研究输电线路的故障分类算法,可及时分辨出变电站中发生短路故障类型,对运维人员提供参考。

关键词： 异构多核处理器   微内核操作系统   Simics   实验平台   评价体系  

摘要： 多核嵌入式操作系统实验平台的构建,可以方便准确的考察操作系统下新算法的效率和性能,对多核操作系统的研究具有重要意义。本文针对操作系统实验平台及其性能评价方式,改进已有的支持多核的模拟平台,建立操作系统性能评价体系,利用仿真实验和评价模型相结合的方式,不断更正相关机制和算法。本文主要的工作内容如下:首先,针对异构多核处理器微内核操作系统实验平台的总体架构设计,本文以Simics为基础,将Simics平台当作数字建模平台模型,设计了一个面向异构多核处理器微内核操作系统的仿真实验平台CC-GLL。将Simics支持的处理器作为参考模型,通过把HLA适配器与Verilog PLI通过任务分类的核间通信机制连接起来,辅助HDL仿真器的调配,使得仿真平台可以模拟处理器运行的真实环境,还继承了仿真器错误检测的功能,使CC-GLL仿真实验平台变得更加可扩展和可移植;针对操作系统性能评价体系的设计,本文在现有专家评价法以及安全检查表法等评价模型的基础上构建适用于微内核嵌入式操作系统的评价模型,并设计了一套新的嵌入式操作系统性能评价体系。其次,针对异构多核处理器微内核操作系统实验平台总体架构中的核心模块设计,在仿真平台模型ICP仿真模块优化方面,为了解决粒子群算法在寻找最优结果的时候受参数设置的影响比较大的问题,本文对粒子群算法进行改进,优化后的算法提升了寻找最优结果以及调整测试性能的效率,加快了平台的仿真速率;在平台的内存机制设计方面,本文设计了一种基于mach的虚拟内存管理机制,这种内存管理机制在实现平台的内存合理高效的分配的时候是通过slab分配器来实现的,使仿真实验平台在运行过程中内存的分配和释放所消耗的时间更短;在进程间通信设计方面,本文设计了一种基于共享内存的通信策略,这种策略的基本原理是在内存的共享区域中把所有的寄存器进行表示,建立链表,能够方便的把各种数据信息读写到内存的共享区域当中,提高了通信速率;在进程/线程设计方面,本文提出一种双堆栈的设计模型,这种模型降低了地址空间在切换的过程中所产生的系统开销,加快了程序的运行效率,从而提高了CC-GLL仿真实验平台的性能。最后在相同测试环境下,将本文设计的测试效率程序置于μC/OS-II操作系统中,分别在本文搭建的CC-GLL仿真实验平台和Visual Studio 2010当中运行本文的测试程序,对平台的通信速率以及内存的分配和释放进行测试实验,最后对运行结果数据进行对比分析,证明了本文设计的CC-GLL仿真实验平台在运行过程中具有更高的效率。