操作系统形式化设计与验证综述

对操作系统的形式化设计和验证的概念进行介绍,描述其框架和基本方法。比较和分析操作系统宏内核和微内核结构,调查多个设计和验证项目,阐述项目的验证目标、方法、优缺点和进展情况。在总结研究现状的基础上,分析和展望操作系统形式化设计和验证的发展趋势,从操作系统模型设计、验证工具、代码实现和验证重用等方面给出形式化设计和验证的思路。     

基于"和欣"操作系统的安全文件系统构件

“和欣”是基于ezCOM构件技术、支持构件化应用的操作系统，它的灵活内核体系结构支持动态加载、更换、卸载文件系统构件。本文在介绍ezCOM构件技术的基础上，扩展“和欣”的文件系统构件，详细论述了安全文件系统构件的设计与实现。该安全文件系统不仅是可装卸的，而且从操作系统层次上对数据提供了强大的安全基础支持。     

支持多核架构的微内核操作系统设计

针对多核架构开始在嵌入式领域普及的趋势,设计一个基于多核处理器架构的微内核操作系统,描述系统中内存管理、线程调度、锁和中断、线程间通信以及应用程序等各部分的设计方案。该设计充分利用多核架构和微内核操作系统的特点,不仅应用于与Intel公司合作的L4微内核操作系统研究项目,也为其他微内核操作系统设计提供了参考。     

产时多任务系统下的现代电站监控系统的设计

文中介绍了Ｉｎｔｅｌ公司的新一代基于Ｗｉｎｄｏｗｓ的实时多任务操作系统ＩＲＭＸｆｏｒ Ｗｉｎｄｏｗｓ系统，以及该 系统在１１０ＫＶ电站监诉应用情况。由于ＩＲＭＸｆｏｒ Ｗｉｄｎｗｏｓ的被采用，使得该系统的设计时功能得到充分保护，各种性能得大大提高。     

微软未来的概念操作系统——Singularity

每一个操作系统都是一系列的设计理念的体现，这些设计上的选择包括语言的选择、程序保护的方式、安全模式、系统抽象等。现代操作系统，包括Windows、Linux、Mac OS X以及BSD在设计理念上都有许多共通之处，这种共性并非偶然。究其根原，是因为上述操作系统都是基于二十世纪六十年代到七十年代所形成的操作系统结构理论和开发工具完成的。在这样的前提之下，操作系统的设计者们采用几乎类似的设计理念完成相近的设计，是完全可以预料的结果。     

企业内部互联网的活动目录设计

在介绍微软Windows2000操作系统活动目录服务的基础上，进一步探讨了利用该技术对企业内部互联网的资源进行统一、安全、灵活的设计、控制、管理方法。     

微内核操作系统的设计及其设计实例比较

超级计算机技术发展的趋势是在规模并行计算机。在这各计算机的每个结点上运行的操作系统的一般计算机上的操作系统有极大区别。微内核操作提供了燕行计算机所需的功能和性能，是并行操作系统的发展方向。本文讨论了微内核操作系统的基本设计方法，并对三个典型实例ＡｍｏｅｂａＭａｃｈ、Ｃｈｏｒｕｓ进行了分析比较。     

支持网格的机群操作系统的设计

机群操作系统面临着网格计算对其提出的资源共享、协同工作和自治管理的挑战，现有的扁平机群操作系统不能够适应这种需求，提出了一种基于服务的机群操作系统DCOS，采用层次型结构和面向对象的设计思想，从多个角度为网络系统提供支持，讨论了远程过程调用、系统状态侦测、实时检查点、安全机制等主要关键技术。     

操作系统自适应考试系统的设计与实现

介绍了计算机操作系统自适应考试系统的自适应考试的基本理论、设计思想以及该系统的基本功能和实现技术。     

Minix新增系统调用的设计与实现

在分析和研究Minix操作系统时，发现必须增加新的系统调用，本文首先介绍了增加系统调用的必要性，接着分析比较了在基于微内核设计的Minix操作系统上增加系统的调用的各种可能方案，在此基础上，详细描述了中继方案的设计与实现。本文最后给出了新增系统调用的应用。     

计算机网络操作系统的设计方法

文章对计算机网络中对等模式（Peer to Peer）和客户／服务器（clienL／Server）模式操作系统的概念进行了阐述、讨论分析与比较。同时，根据实际给出了设计网络操作系统常用的的几种方法，并且比较了各种方法之间优缺点。文中重点分析了通用系统、变形系统和分布式代理结构操作系统的设计方法。     

Windows环境下塔板设计软件的开发

现有的塔板设计软件一般是在ＤＯＳ或ＵＮＩＸ操作系统下运行的，使用上有不少缺陷，针对塔板设计过程的特点，我们以Ｗｉｎｄｏｗｓ作为操作系统，以功能很强的ＶｉｓｎａｌＢａｓｉｃ作为开发工具，开发了一个新的塔板设计软件ＴＣＤ，与其他塔板设计软件相比，ＴＣＤ具有良好的用户界面，人机对话功能和图形功能，易学易用，用ＴＣＤ既可以进行新塔设计，也可以对旧塔进行校核和改造设计，具有良好的实用价值。     

综合服务资源管理系统的设计与实现

综合服务模型旨在为不同的业务类型提供所需的服务质量，服务质量保证的实现是依赖于对系统资源的合理分配，管理和使用，该文介绍了综合服务资源管理软件在Linux操作系统上的设计和实现，并给出了对该软件系统的测试结果。     

内核模式驱动程序可靠性设计

内核模式驱动程序一般运行于高CPU优先级别上，对操作系统的完整性和可靠性都有很大的影响，但比较难于调试。本文以目前广泛使用的Windows NT/2000/XP操作系统为基础，介绍了有助于提高驱动程序可靠性的一些设计技术。     

COSIX连网子系统的设计与实现

COSIX连网子系统是基于国产中文操作系统COSIX V1．4开发的。该系统实现PPP协议，提供网络接入和出功能，不仅可用于客户端系统，也可用于服务器端系统。文章对子系统的设计与实现进行说明。     

基于嵌入式Linux的养殖水质监控智能仪表的平台设计

介绍了一种基于嵌入式Linux的养殖水质监控智能仪表的平台设计。该仪表通过ARM核心处理器连接其他外设功能模块,实现硬件平台搭建;通过裁剪和移植Linux内核,完善操作系统和驱动程序等开发,实现硬件平台上成功安装操作系统。该智能仪表主要用于水产养殖领域的各项水质参数的监测,能够满足未来养殖的高效率和高质量的需要。     

VxWorks操作系统板级支持包的设计与实现

用于工业过程控制、通信和航天器上的嵌入式计算机对软、硬件的可靠性要求极高，对于软件较为复杂的嵌入式计算机系统，必须采用高可靠的实时多任务操作系统，处于操作系统和硬件之间的板级支持（BSP Board Support Packge)的设计是一个复杂的过程，该文介绍了基于VxWorks操作系统的板级支持包以及板级支持包设计、调试中的问题。     

操作系统实践教学的探索

操作系统实践教学应该为学生提供一个实验环境,使学生能够触摸到真实的操作系统内部,帮助学生理解抽象的操作系统原理和机制;使学生能够亲身体验操作系统功能的设计和实现过程,培养学生应用操作系统知识的能力。本文分析了操作系统实践教学的目标,阐述了具体实验项目及其设计理念。     

构件化操作系统的内核设计及其发展趋势探析

本文对构件化操作系统内核设计以及发展趋势进行研究时,首先分析了构件化操作系统内核的基本结构、模型以及操作系统,其次具体分析了构件化操作系统的内核设计,最后总结了构件化操作系统内核的开发利用和发展趋势。     

图像分析视阈下计算机联锁仿真测试系统设计要点探究

铁路计算机联锁仿真测试系统能够实现进路分析，自动生成基于图片的进路数据。该系统可分为两个一级子模块和4个二级子模块，具有图像分析、数据处理、生成及执行进路测试命令等功能。文章基于OpenCV库和Windows操作系统库实现了该系统的设计与测试，取得了满意的效果。