DOSFG中的语义子系统

分布式ＯＳ形成化生成系统模型主要由文法部分ＤＯＳＦＳＧ和语义子系统ＤＯＳＦＳＳ组成。其中ＤＯＳＦＳＧ采用了上下文无关文法。ＤＯＳＦＳＳ则是一个带操作集的语义子系统。     

一个基于DOS的分布式操作系统的设计

本文针对多机并行处理系统ＭＰＳ－１这种通用结构环境，基于ＤＯＳ进行了一个分布式操作系统ＭＤＯＳ的方案设计，阐述了ＭＤＯＳ的系统结构，资源管理，进程控制与文件系统结构，实现了打印机及文件的共享。为ＤＯＳ用户开展分布式应用提供了一个示例，有现实意义。     

基于DOS的网络操作系统设计与实现

本文通过探讨ＤＯＳ与网络操作系统的关系，论述了在局域网上，如何利用单机操作系统ＤＯＳ实现操作系统的方法，并说明了我们设计实现的网络操作系统。该系统使ＤＯＳ与网络操作系统实现了有机的结合，反本地操作和网络操作统一起来，实现了全局和局部的相互映象，网络资源的共享，为网络用户提供了与ＤＯＳ一致的界面。     

一种新型分布式操作系统自动生成系统模型

针对现行分布式ＯＳ及其研制方法所存在的主要问题，本文提出了一种集智能型，集成化和可塑性于一体的分布式ＯＳ自动生成系统模型ＤＣＳＡＧＳ，主要讨论了形成该模型的动机、它的逻辑结构、各组成部分的功能，以及在和实现过程中应探讨和解决的一些关键问题。     

一个基于DOS的分布式操作系统的设计

本文针对多机并行处理系统ＭＰＳ—１这种通用结构环境，基于ＤＯＳ进行了一个分布式操作系统ＭＤＯＳ的方案设计。阐述了ＭＤＯＳ的系统结构、资源管理、进程控制与文件系统结构，实现了打印机及文件的共享。为ＤＯＳ用户开展分布式应用提供了一个示例，有现实意义。     

在WIN95下删除NTFS分区的方法

Ｗｉｎｄｏｗ９５、Ｗｉｎｄｏｗ９８、ＷｉｎｄｏｗｓＮＴ操作系统是Ｍｉｃｒｏｓｉｆｔ公司近年推出的十分优秀的计算机工作平台。它在社会上得以广泛的使用,颇受欢迎。ＷｉｎｄｏｗｓＮＴ支持的文件系统包括：　ＦＡＴ　（文件分配表,主要用于ＤＯＳ操作系统）;　ＨＰＦＳ　（高性能文件系统,主要用于ＯＳ／２操作系统）;　ＣＤＦＳ　（ＣＤ文件系统,主要用于ＣＤＲＯＭ文件）;　ＮＴＦＥ　（ＮＴ文件系统,ＷｉｎｄｏｗｓＮＴ特有）。其中ＮＴＦＳ文件系统是ＷｉｎｄｏｗｓＮＴ操作系统独有的文件管理系统。它具有很好的安全性和…     

WINDOWSNT中的对象及其管理（上）

ＷＩＮＤＯＷＳＮＴ的出现给微机操作系统带来了重大的影响。要想了解ＷＩＮＤＯＷＳＮＴ，首先就要了解ＷＩＮＤＯＷＳＮＴ中的对象。就ＮＴ来说，进程、线程、文件、甚至Ｗｉｎ３２子系统（一个进程）都是对象，因此，了解了ＮＴ的对象系统就能深入了解这个操作系统的各个部分。本文为此深入地探讨了ＷＩＮＤＯＷＳＮＴ中的对象、对象的管理、以及对象的保护三个方面的问题。     

DOSFGS中的语义子系统

分布式OS形式化生成系统模型(DOSFGS)主要由文法部分DOSFSG和语义子系统DOSFSS组成.其中DOSFSG采用了上下文无关文法(CFG)。DOSFSS则是一个带操作集的语义子系统,DOSFGS按照抽象、描述和细化三个步骤自动模拟生成用户所需的分布式OS。本文主要讨论其中的语义子系统DOSFSS的设计思想、操作集及其定义及基本工作流程等。     

MS—DOS6最重要的特色—MULTICONFLG

在ＭＳ－ＤＯＳ６诸多的新功能中，最富特色的莫过于ＭＵＬＴＩＣＯＮＦＩＧ，即它在ＣＯＮ－ＦＩＧ．ＳＹＳ中所具有的多重可选择性。本文通过实例介绍了这一功能的应用。     

NFS和NIS—Sun操作系统（SunOS）的网络服务

ＳｕｎＯＳ提供了非常丰富的网络服务，本文对Ｓｕｎ工作站的操作系统Ｓｕｎ ＯＳ及其网络服务作了初步介绍，着重介绍了ＮＦＳ的工作机制和管理配置，并概述了为ＮＦＳ提供服务的ＲＰＣ／ＸＤＲ，最后还简述了ＳｕｎＯＳ的另一个重要服务ＮＩＳ的原理和应用。     

分布式智能视觉系统中基于KQML的Agent通信模型

分布式智能视觉系统中多个Visual Agent之间的通信采用KQML实现，但仅凭KQML预留的行为原语是无法实现这种Agent闻任务级的高级、复杂交互的．因此，对KQML扩充了7条行为原语，并给出了定义、语义，构建了分布式智能视觉系统的Agent通信模型．     

一个嵌入式Linux文件系统的优化

嵌入式文件系统是嵌入式操作系统的重要组成部分。本文分析了在一个嵌入式Linux操作系统上,如何为嵌入式设备构造一个合理的文件系统。考虑到嵌入式设备资源的有限性,本文在一个具体的平台上对嵌入式Linux文件系统做了一些裁减。我们希望,这些实验结果能够对嵌入式文件系统的研究和开发提供有益的帮助。     

PC─RTOS实时操作系统用于火电厂计算机监控系统

本文论述了火电厂计算机监控系统的实时软件设计与实现,它采用IBM PC/XT(或东海 0520C)微机作为上位管理计算机,STD标准总线微机作为下位数据采集计算机;并讨论了PC-RTOS操作系统的实时能力及与DOS磁盘操作系统的区别。     

一种分布式网络管理监控系统的研究与开发

针对现在网络监控管理中出现的问题,提出一种分布式网络监控系统的设计方法。设计的网络监控系统分控制端、配置端和节点端等3个子系统。该监控系统是用Virtual C＋＋开发,应用于Windows操作。文章对软件模块设计与网络数据包的拦截技术进行了讨论。这种体系结构将网络监控系统的智能和控制分布到整个网络之中。使得整个管理系统具有自适应、自组织的特性。与传统集中式监控系统相比,此种结构的系统更易于扩充．并提高了管理服务的复用性。     

基于Xenomai的实时测控系统的研究与实现

介绍实时操作系统仿真框架Xenomai和操作系统自适应域环境Adeos(Adaptive Domain Environment for Operating System)的基本原理.分析带有中断屏蔽功能的Adeos中断管道机制,以及用户态下混合执行模式的实时任务被抢占和"优先级反转"问题.应用Xenomai的实时核构建了Xenomai/Linux双内核实时机制;通过Xenomai提供的可插式接口仿真模块实现了基于RTAI API的应用程序编程;结合IPC等具体硬件实现了一套模拟小型电站任务的实时测控系统.运行结果显示系统满足电力系统硬实时的时限要求且运行稳定.     

CORBA服务在分布式电力监控系统中的应用

结合电力监控技术发展和CORBA技术特点,介绍了一种基于CORBA体系结构的分布式电力监控系统的设计。通过分析CORBA命名服务和CORBA事件服务,针对系统服务层的实际需求,将二者分别应用于系统服务层的名字服务和数据服务之中,有效解决了系统中有关对象管理和实时数据传输的问题。     

纤维逻辑

形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智。有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。但是原来的可能世界语义却难以容纳如此复杂的语法,出现了很多不合理的地方。本文首先介绍了新近出现的纤维逻辑（fibring logics）,然后归纳了目前将此理论应用在主体BDI建模的研究现状,最后分析纤维逻辑的不足之处,讨论了其他可能的应用,并对今后的工作做了展望。     

海量小文件系统的可移植操作系统接口兼容技术

基于Hadoop分布式文件系统（HDFS）研发的海量小文件系统（SMDFS）遗留了HDFS不兼容可移植操作系统接口（POSIX）约束的问题,为解决SMDFS的这一问题,提出基于本地缓存的POSIX兼容技术和基于数据暂存区的元数据高效管理技术。首先,通过设置数据暂存区来实现读写模式文件流的重定向,然后建立异步线程池模型,实现数据暂存区镜像文件的同步,从而完成用户层到存储层的所有POSIX相关的文件操作。此外,借助跳表结构的元数据缓存实现List目录等元数据操作效率优化。测试表明,相较于HDFS的Linux客户端,基于技术成果实现的SMDFS3.0的随机读性能有10倍以上的性能提升,顺序读和顺序写性能有约3~4倍的提升,随机写性能可以达到本地文件系统的20%,基于目录的元数据缓存的设计使目录的List操作效率提升近10倍。但是,由于用户空间文件系统（FUSE）挂载的客户端会引入额外的内核态和用户态切换等带来的开销,因此SMDFS3.0的Linux客户端相对于系统的Java接口会有大约50%的性能损耗。     

Linux系统调用的实现技术

Ｌｉｎｕｘ是基于Ｉｎｔｅｌ ＰＣ机与ＵＮＩＸ兼容的操作系统,本文详细的分析了Ｌｉｎｕｘ系统调用的实现技术,提出了拦截和增加Ｌｉｎｕｘ系统调用的方法,为改造Ｌｉｎｕｘ提供了有效途径。