形式规约技术

表式规约技术从七十年代中期提出至今，有二十年的历史，但仍未得到广泛的工业应用，至它的研究仍需进一步深入。     

操作系统DJS200/XT1G

本文概述了操作系统DJS200/XTIG(简称XTIG)的特点、结构和实现要点,并给出了一个多道工作的实例。     

KZ10:一个基于知识的操作系统

本文介绍了一个基于知识的操作系统KZ10,它包括智能化人机接口和基于知识的分布式任务调度两个部分。它的研制为新一代计算机系统提供了一个有效的、合适的操作系统模式。