操作系统形式化验证综述

介绍操作系统验证理论、语言和工具等技术基础,阐述验证路径、精化关系验证和大规模验证等新的验证方法和理念.比较分析多个操作系统验证项目研究内容、验证方法、主要贡献以及最新进展.分析操作系统验证过程中存在的问题,认为验证成本高、验证工具局限性是制约操作系统形式化验证的关键因素,随着验证工具、框架和定理库的完善,以及深度学习...     

基于GFAC的综合访问控制研究

在对操作系统目前流行的访问控制手段和Linux操作系统分析的基础上,探索了改进系统安全性的可行方案。重点研究了在操作系统中实现多种访问控制策略的方法,并利用访问控制通用框架(GFAC),探索了在单一操作系统内实现细粒度自主访问控制、基于Bell-LaPadula模型多级安全规则的安全性强制访问控制以及基于Biba模型的完整性强制访问控制等多种安全策略的方法。提出了可根据实际需要在操作系统中灵活选择、组合访问控制机制的方法。     

基于RTLinux的机器人控制操作系统实现

RTLinux操作系统具有实时性、完备性和源代码开放等很多优点、结合机器人的特点，讨论了将嵌入式RTLinux操作系统应用到机器人控制操作系统中的一些关键问题，重点介绍了构造机器人操作系统的软件设计方法，构造的操作系统在移动机器人平台上进行了实验，取得了较好的控制结果，为机器人控制的深入研究打下基础。     

基于WSL 2子系统的嵌入式Linux操作系统移植方法

提出一种基于WSL 2子系统的嵌入式Linux操作系统移植方法.该方法在Windows操作系统下搭建WSL 2子系统,并安装Ubuntu 22.04操作系统,用于嵌入式软件开发和交叉编译,能极大提高计算机资源的利用效率.同时,采用QEMU开源虚拟化软件模拟各类硬件平台,对裁剪后的操作系统、板级驱动和应用程序进行跨平台移植和快速验证,有利于缩短产品开发周期,提高研发效率.     

高校机房操作系统及软件维护经验谈

本文介绍了高校机房中操作系统的维护方法：利用ghost、vfloppy、网络还原精灵和带有usb启动功能的闪存盘来保证操作系统和应用软件正常工作的方法。     

识别操作系统的方法、原理及其防范技术

分析和探讨了识别远程操作系统类型的方法和原理,重点介绍了高效识别操作系统的协议特征信号技术,并探讨了如何防范操作系统被识别的手段.     

计算机学科操作系统教学与学习探讨

本人在多年从事操作系统课程教学和辅导学生学习操作系统的基础上,通过吸纳他人教学和学习的有效成果,进行探讨、实践,根据不同程度的学生和他们的学习基础,提出了一整套操作系统教学和学习方法,以便大家在教学和学习中,提高效率和效果。     

操作系统实验内容设置与成绩评价探讨

操作系统实验是操作系统课程的重要辅助,帮助学生从编码层次理解操作系统原理。该文文结合教学需求和培养方向,探讨了操作系统实验的内容设置和学生成绩评价方法的设计。以预备实验、验证实验、模拟实验和探索实验的形式组织实验内容,强调通过实验理解原理,将代码评审的形式引入学生成绩评价。     

一种用于PC系列微机的实时多任务操作系统

提供了一种在IBM－PC及其兼容机MS-DOS操作系统下可并发运行的实时多任务操作系统软件．它解决了MS-DOS系统的单任务性和不可重入性问题,在此操作系统支持下，用户可较方便地编写不用中文操作系统支持的实时多任务应用软件（但支持中文显示和打印）.由于摆脱了中文操作系统环境，因此用户可编大型的实时多任务应用软件.该方法可推广到目前流行的单片机组成的数据采集、检测和控制系统中.     

一种提高微内核效率的有效方法

提出了一种提高微内核操作系统效率的方法。该方法通过在操作系统中实现单地址空间、操作系统内核程序和用户程序在一个处理机状态下运行以及利用ｃａｐａｂｉｌｉｔｙ实施对资源和特权指令的保护,使得当客户进程通过进程通信访问服务器提供的服务时,不需要执行进程空间的切换和ＣＰＵ状态的切换,提高了微内核结构操作系统的效率。     

浅谈操作系统指纹识别

本文介绍了操作系统指纹的概念、TCP数据包结构以及识别操作系统指纹的方法。     

操作系统模拟环境的设计与实现

提出了开发操作系统CAI软件的新思路 ,把操作系统CAI软件建立在操作系统模拟环境的基础上 .描述了操作系统模拟环境的设计思想与实现方法     

虚拟化平台构建操作系统函数调用关系方法

针对现有操作系统函数调用关系构建方法存在依赖系统源代码、兼容性差的问题,提出了一种基于硬件虚拟化中断陷入机制的操作系统内核函数调用关系构建方法。该方法在操作系统内核函数的特定位置动态插入会引起虚拟化中断陷入的特殊指令覆盖内核特定位置的指令,实现在函数调用、被调用时触发虚拟化中断陷入,并在陷入后的虚拟机监控器中获取当前内核函数的调用信息,从而动态构建操作系统的内核调用关系。实验结果表明,本方法能在不依赖内核源码、编译器的情况下构建多种开源/闭源、32 位/64 位操作系统的内核函数调用关系,构建准确率为100%,查全率大于85%。该方法可用于操作系统内核安全分析及白名单构建等工作,具有一定的实用价值。     

操作系统扩展程序研究的综述

操作系统的稳定性一直是研究人员十分关注的问题,然而操作系统扩展程序给操作系统的稳定性带来了巨大的威胁。本文主要总结了降低扩展程序对操作系统稳定性带来威胁与潜在威胁的研究方法。     

Windows 98 下多线程编程方法研究

在新型的操作系统中，引入了多线程的概念，在支持多线程的操作系统中提供了相应的系统词用函数，研究了Windows操作系统中资源分配和调度的基本单位以及线程的特点，核心论述了在Windows操作系统下多线程编程方法的实现。     

MINIX嵌入式操作系统进程调度的移植

MINIX操作系统作为与UNIX操作系统完全兼容但内部结构有完全不同的操作系统,采用微内核结构.分析了MINIX 3操作系统作为嵌入式操作系统在移植中的一个关键问题--调度程序的移植,并说明了移植方法.     

C语言在微机中文操作系统中的应用

本文以开发汉字彝文操作系统为例,讨论C语言用于操作系统汉化及少数民族化中的作用和对一些特殊问题的解决方法。     

智能卡操作系统的补丁机制研究

简要介绍智能卡操作系统的基本概念及操作系统的文件结构;以接触式51智能卡为例,说明补丁在智能卡操作系统中的应用,并针对当前补丁下载方法的不足,提出一种操作系统的补丁管理机制,以实现发卡后可以实时更新卡片应用程序,或者修改卡片操作系统中存在的问题．文中给出具体的实例,并进行分析,给出实现方法和步骤．同时验证了此补丁下载方法的可行性．本文中提出的补丁管理机制,较一般的补丁下载具有很强的灵活性,可以一次下裁多个补丁,并方便对多个补丁进行管理．     

在IMB PC上安装多个操作系统的理论与实践

依据多年操作系统实际安装和教学的经验,对安装操作系统所涉及的理论和实际问题进行必要的探讨,并给出一种实际可行的,在一台IBM PC上同时安装Windows、SCO Unix和Linux的方法.     

如何做好人力资源管理工作

具体的招聘、培训开发、绩效管理、报酬等操作系统（政策、制度、程序、方法等）。是企业人力资源策略的具体实现途径和手段，它包括为强调专业化而设立的职能操作系统和为企业领导者和管理者设立的跨越职能的功能系统。人力资源部通过制定作为“技术资源”的职能系统，以及向公司所有管理者提供“技术”应用培训和咨询辅助，促进管理者有效运用功能系统，旨在形成全公司动态有效的人力资源机制。各操作系统建立在同一个平台上，所以彼此不是相互独立，而是紧密联系的。人力资源操作系统必须充分体现并融合战略、组织、文化的要求．而每家公司的战略、组织、文化独具特点，所以人力资源操作系统也应该是个性化、切合企业实际的，只有这样才能有效。