课程文献中心 更多>>

关键词： 遥操作系统   时变时延   扩张状态观测器   自适应控制   滑模控制  

摘要： 遥操作系统对处理远端危险环境下的任务具备极大优势,这些优势体现在对未知环境的适应性和操作的灵活性上,这对提升灾后救援、未知空间探索等能力具有重大的理论研究价值。虽然网络技术的发展使得遥操作系统的实现更加便利,但是主从两端的机械臂具有很强的非线性以及远端执行器受到内外扰动的影响,仍然难以获得十分精确的模型以实现较好的控制性能。另外,主从两端信息传递过程中产生的时延问题,严重影响遥操作系统主从之间的同步性能。综合考虑系统非线性、内外扰动和时延问题,基于相对精准的非线性模型设计遥操作系统的抗扰控制器,进而提升系统的稳定性是本文的主要研究内容。本文主要工作如下:(1)研究了具有不可测力信息和时变时延的双边遥操作系统的跟踪控制问题。为了获得更好的透明性,通过设计非线性状态观测器来获得不可测力信息。利用四通道波变量方法设计一种基于力反馈的自适应控制律,以保证双边遥操作系统的无源性。利用相依锥准则和自稳定域分析了非线性状态观测器的有效性并利用李雅普诺夫函数给出系统稳定性的充分条件。最后通过仿真表明,所提出的控制律在考虑时变时延的情况下具有良好的抗扰能力。(2)研究了具有时变时延和动态不确定性的双边遥操作系统的跟踪控制问题。该跟踪控制方案基于扩张状态观测器、时延部分观测器和连续终端滑模控制策略。针对双边遥操作系统的动态不确定性,采用扩张状态观测器进行估计。利用两个时延部分观测器估计具有不可测导数的时变时延。在不知道跟踪误差二阶导数的情况下,采用连续终端滑模控制策略保证双边遥操作系统的有限时间收敛。最后,对双边遥操作系统进行了实验,验证了所提出的跟踪控制方案的有效性。(3)研究了具有动态不确定性和随机时延的双边遥操作系统的跟踪控制问题。设计降阶扩张状态观测器用于处理双边遥操作系统的动态不确定性。利用连续时间马尔可夫过程建立随机时延下的遥操作系统模型,提出基于降阶扩张状态观测器的跟踪控制策略以保证闭环系统的稳定性,利用马尔可夫无穷小算子证明闭环双边遥操作系统的同步性能。最后,对双边遥操作系统进行了实验,在随机时延下,双边遥操作系统是稳定的,所设计的控制策略是可行和有效的。

关键词： 水电站   防误操作系统   思考与实践  

摘要： 中大型水电站用电系统接线中电气设备的交叉部分是很多的,而且各部分相关性较强,所以水电站的运行需要综合考虑运行情况.但是在实际工作中由于设备类型多、操作范围大,导致操作难度升级,再加上操作工人数量较少、人员流动大,得到正规培训的机会少,实践经验短缺,增加了操作工人发生失误的可能性.本文对导致水电站出现操作失误情况下讨论诱发安全事故的原因,并对防止水电站出现操作失误的方法进行了探索和分析.

关键词： 浏览器   Web   渲染引擎   操作系统   工作原理  

摘要： Web浏览器无疑是用户访问互联网很常见的入口,其借免安装和跨平台等优势,逐渐取代了很多传统的客户端。Web浏览器通过向URL发送网络请求来访问Web服务器资源,并以交互性的方式展示这些内容。基本操作包括获取、处理、显示和存储,常见的浏览器包括Internet Explorer,Firefox,Chrome,Safari,Opera等。

关键词： UEFI   操作系统   PXE   可信计算  

摘要： 随着科学技术的快速发展,信息化已经成为当今时代发展的大趋势,信息化为人们提供方便快捷的同时其安全性也面临着新的挑战,《信息安全技术网络安全等级保护基本要求》国家标准中提出了重要系统需提供可信验证的要求,目前国家重要信息系统都已经按照这一标准实行了等级保护。在云计算、数据中心等环境,服务器操作系统的安装都是通过PXE技术完成的,相比于传统的操作系统启动方式,该方式可以同时进行多台计算机操作系统的部署安装。无论是何种操作系统启动方式,都离不开底层固件的支持,UEFI是目前最主流的固件类型,作为BIOS的替代者,UEFI在开发效率及可扩展性方面明显增强,但也存在新的安全隐患。可信启动作为可信验证的基础,其安全机制一直是人们研究的热点,目前基于UEFI的计算机在单机环境的可信启动已有完善的解决方案,而基于网络的计算机远程启动的安全方案仍有待研究。因此,研究基于UEFI的计算机远程可信启动具有重要的意义。本文主要工作如下:(1)针对UEFI体系计算机远程启动过程中存在的安全威胁,通过对UEFI系统启动各个阶段以及PXE技术的研究,结合可信计算理论提出了基于UEFI的计算机远程可信启动的总体框架,实现了计算机从上电、平台初始化直至远程加载操作系统过程中的安全可信。(2)针对目前UEFI体系计算机存在的安全问题,本文通过研究固件系统的具体实现以及攻击者对文件系统的攻击原理,以UEFI系统启动后的第一阶段和自定义的驱动程序模块作为可信根,实现了对固件系统的安全度量机制,以此确保在PXE启动之前客户端固件文件系统的安全性。(3)针对PXE技术中服务端和客户端在网络传输文件过程存在的安全问题,本文通过对UEFI网络协议栈分析,在UEFI系统层面通过数字签名技术保障了PXE服务端所传文件的安全性。同时,在PXE服务端和客户端间建立通讯通道,解决了客户端无法向PXE服务端报告操作系统启动状况的问题。最后,设计攻击方法对基于安全方案的计算机在远程启动过程中的安全性进行了测试,实验结果表明,在功能上,基于安全方案的计算机在远程启动过程中的安全性大大增强;在性能上,由于在启动过程中引入了驱动程序模块,导致开机时间平均增加了39%。因此,安全方案在提高了安全性的同时也在一定程度上降低了计算机的启动效率。

关键词： 操作系统   网络安全   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安全基础架构,以便在应对多种攻击方

关键词： 网络安全   计算机病毒   操作系统  

摘要： 随着互联网技术的不断发展,计算机进入到我们的生活和工作中,影响到了方方面面.计算机给我们带来方便的同时,也伴随着一些安全隐患.因此,本文对计算机网络安全隐患问题展开分析,即操作系统问题,计算机病毒及黑客.同时对计算机网络安全隐患提出了一些解决方法,如何控制计算机病毒.

关键词： 操作系统   安全性能   应用支持   自动化测试  

摘要： 随着计算机技术在各行业的应用范围不断扩展,社会生活的各个领域对操作系统的安全性能也提出了更高的要求。作为一切应用程序运行的基础软件,操作系统需要保障其自身能对应用程序提供稳定可靠的运行环境,同时系统也应当为应用程序提供各类应用支持。设计开发一套测试工具来实现操作系统应用支持的测试,对于保障操作系统安全性具有重要意义。根据现有的操作系统测评标准中对应用安全支持的测试要求,可以将其中的部分测试内容分为应用接口支持检测、应用安全保护措施检测和应用程序存取访问控制检测三大类。结合安全操作系统相关测试标准以及安全信息系统的特点,分析各类测试项应检测的功能点,给出了操作系统应用安全支持测试的设计方案。该方案包括文件传输、应用接口支持、应用安全保护机制以及程序访问控制测试模块。应用接口支持测试主要针对身份认证接口、审计开发接口、文件系统调用接口进行测试;应用安全保护机制测试还包括程序独立运行环境的测试;程序访问控制测试包含应用程序对文件的自主访问以及强制访问控制机制的测试,分为文件读写执行权限标识符和访问控制列表机制,以及类型强制策略和多级安全策略的测试。根据以上内容设计测试流程和自动化测试方案,实现一套适用于操作系统应用安全支持自动化测试的工具。对现有的麒麟操作系统进行测试验证,检测系统是否满足标准中要求的安全功能。结果表明测试工具能够完成对操作系统应用支持的测试。

关键词： 采样控制   非线性系统   稳定性   时延  

摘要： 双边遥操作系统是融合了计算机技术,网络通讯技术和控制理论的一门十分综合学科。由于实际生活中网络带宽和传输速率均有限,因此信息很难进行实时同步传输,于是引入采样控制对双边遥操作系统进行研究。此时系统仅需要对离散时刻的主从位置进行采样即可,因此不仅减少了能量的损失和信息同步的传输量,还提高了带宽的利用率,这样可以使得双边遥操作系统在远程救援和深海探测等现实领域有更好应用。基于上述情形,因此分别基于无源性理论和在操作者有源的情况下对双边遥操作系统进行了采样分析,基于离散时刻的相关信息对系统进行稳定性分析和探索。通过构造相应的Lyapunov-Krasovskii泛函,并使用自由权矩阵和凸优化的方式,给出了该双边遥操作系统稳定性判据和控制器的设计准则。具体的内容如下所示:1)针对基于无源性理论的双边遥操作系统采样控制进行了研究和探索。在考虑了控制信号在网络中传输时存在的时延、干扰等问题后,假设操作者和外界环境均为无源状态,对该双边遥操作系统进行了控制器设计和稳定性分析。该方案充分考虑了离散系统采样点的相关信息以及系统的非线性函数特性,搭建完成了分段泛函,并根据该线性矩阵不等式(LMIs)分析系统的稳定性。在最后通过对系统进行仿真实验验证使用方案的有效性。2)研究了在操作者有源情况下的双边遥操作系统采样控制的问题。基于相关文献中所提出的双边遥操作系统模型,在考虑操作者有源的情况下对该系统进行采样控制分析。首先构造合适的Lyapunov-Krasovskii泛函,通过Schur补引理和Jensen不等式进行推导,分析该方案采样控制系统的稳定性,并利用LMIs方法求解,最后通过仿真证明了提出方案的可行性。图21幅;参52篇。

关键词： 计算机操作类课程   高职   线上教学  

摘要： 特殊时期"停课不停学",要玩转线上教学,对比较枯燥的高职计算机操作类课程来说是个极大的考验。一是在课前做充分的准备;二是在直播过程中做好课堂管控,激发学生的兴趣,提高学生的参与度;三是注重课后总结。以高职"Linux网络操作系统"为例,介绍线上教学的课前准备、直播授课和课后工作等环节的方法和经验,供同行参考。