KBASE－P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现．     

工程试验卫星7号的自动交会对接系统

日本航天局（ＮＡＳＤＡ）正在研究Ｈ－Ⅱ无人轨道飞机（ＨＯＰＥ）和Ｈ－Ⅱ转移飞行器（ＨＴＶ），经们将用于国际空间站（ＩＳＳ）进行后勤支持。交会对接（ＲＶＤ技术是ＨＯＰＥ、ＨＴＶ、轨道服务飞行器（ＯＳＶ）和月球探测器等航天顺完成各种空间活动的不可缺少的技术，目前正在研制的工程试验卫星－７（ＥＴＳ－Ⅱ）就是一琪无人自动ＲＶＤ系统的在轨演示计划，本文介绍ＲＶＤ系统的基本概念，ＥＴＳ－ⅦＲＶＤ在轨试验计划和     

有机物性估算系统OPES微机版本的研制（Ⅱ）软件的开发与特性

本文主要介绍有机物性估算系统ＯＰＥＳ（ＯｒｇａｎｉｃｐｈｙｓｉｃａｌＰｒｏｐｅｒｔｙＥｓｔｉｍａｔｉｏｎＳｙｓｔｅｍ）微机版本的软件特性。ＯＰＥＳ的总体结构采用将输入、输出与物性估算程序完全分离的策略：实现了系统的有效分解；物性估算程序的进一步分解则有效地解决了在ＤＯＳ环境下开发大型应用程序所面临的内存使用问题；标准化模块的设计思想既提高了软件的开发效率，又方便了今后软件的维护。本文从基础物性数据库检索方法的选择、用户界面的灵活性与智能性、系统的透明性、系统的健壮性等方面介绍了ＯＰＥＳ的使用功能。＊Ｃｏｍｐｏｎｅｎｔ：１＊２４Ｏ５Ｃ３Ｈ３Ｎ１Ｏ７－１３－１（依次是：丙烯腈的ＩＤ号、分子式、ＣＡ登录号）ＣＨ２＝ＣＨＣ＊Ｎ（丙烯腈的ＯＣＳＣＥ线性码）ａｃｒｙｌｏｎｉｔｒｉｌｅ（丙烯腈的英文名）Ｔ２（温度点数为２，温度分别是２９３。１５Ｋ，４５０．００Ｋ）２９３．１５Ｋ４５０．００ＫＰＯ（没有输入压力，压力点数为０）ＰＨ２（相态为液态）ＰＯ３（极性类别是强极性）ｂａｓｉｃｄａｔａｏｆｃｏｍｐｏｎｅｎｔＮｏ．１（从基础数据库中查到的数据）ＳＴＲＣＨ２＝ＣＨＣ＊ＮＲＭ５３．０６００（ｇ／ｍｏｌ）Ｓ（分子量，质量码Ｓ     

SCOP对象管理系统

对象管理系统ＯＭＳ（ｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｓｙｓｔｅｍ）是ＳＣＯＰ组合框架软件的核心．本文简要介绍ＳＣＯＰ对象管理系统的设计与实现，包括内存对象管理系统、外存对象管理系统以及基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ的并发库系统等.     

苏博泰克商业POS系统

苏博泰克商业ＰＯＳ系统遍及世界各国各个领域中的条码技术和应用系统，其共同特点是使用条码自动识别技术作为现场数据和信息采集的输入手段．其中最频繁和最出色的当局商业ＰＯＳ系统。目前，广泛应用的典型ＰＯＳ系统有医院ＰＯＳ、血库ＰＯＳ、商场ＰＯＳ、银行ＰＯＳ...     

一种POCSAG码的软件解码方案

将输入捕捉ＴＣＡＰ技术与输出比较ＴＣＭＰ技术组合运用，解决了ＰＯＣＳＡＧ码的速率识别、位（ｂｉｔ）、字同步问题。同时给出生成多项式ｇ（ｘ）模２快速除法及ＢＣＨ（３１，２１）监督位算法的软件实施方案。为读者提供一种无线寻呼系统增值服务ＰＯＣＳＡＧ码软件解码方法。     

用快速自适应组合网格方法（FAC）求解二阶椭圆型偏微分方程

用快速自适应组合网格方法（ＦＡＣ）求解二阶椭圆型偏微分方程彭志健，林振宝，石济民（香港理工学院应用数学系）ＯＮＴＨＥＣＯＭＰＵＴＡＴＩＯＮＡＬＡＳＰＥＣＴＳＯＦＴＨＥＦＡＳＴＡＤＡＰＴＩＶＥＣＯＭＰＯＳＩＴＥＧＲＩＤＭＥＴＨＯＤＦＯＲＳＯＬＶＩＮＧＳ...     

多总线的系统扩展在计算机系统中的应用

本文分析了系统在多总线（ＭＵＬＴＩＢＵＳ）下的扩展，局部内存扩展（ＩＬＢＸ）总线、多通道Ｉ／Ｏ（ＭＵＬＴＩＣＨＡＮＮＥＬＩ／Ｏ）总线、系统扩展Ｉ／Ｏ（ＩＳＢＸ Ｉ／Ｏ）总线在多总线中的作用和结构。最后讨论了系统运用ＭＵＬＴＩＢＵＳ的情况下，板上ＣＰＵ和ＭＵＬＴＩＢＵＳ接口是如何占用双端总线，对双端口总线，对双端口ＲＡＭ进行资源共享的。     

异构环境下的文件传输服务系统（FTS）

本文介绍了一种异构环境下（异种网络协议、异种机）的多功能文件传输服务系统（ＦＴＳ）的设计和实现原理、系统提供的服务，以及系统的应用范围等。ＦＴＳ系统基于ＩＳＯ／ＯＳＩ的ＦＴＡＭ标准，采用了标准软件集成、队列管理技术和协议迁移技术，为用户提供了不同机型、不同操作系统、不同网络和协议（ＯＳＩ，ＳＮＡ，ＴＣＰ／ＩＰ等）之间的文件传输服务，并为用户进一步开发网络上的应用业务提供了良好的操作平台。     

UML在分布式系统中的应用与研究

ＵＭＬ（Ｕｎｉｆｉｅｄ　 Ｍｏｄｅｌｉｎｇ 　Ｌａｎｇｕａｇｅ）是一种标准的、功能强大的建模语言。ＩＳＯ ＲＭ－ＯＤＰ（ＩＳＯ开放分布式处理参考模型）为开放、灵活的分布式系统提供了主框架。文章提出了一种用ＵＭＬ为ＯＤＰ系统建模的方法,它以ＯＤＰ的概念和ＵＭＬ的符号为基础。     

SMC6200/6200A单片机(二)

ＳＭＣ６２００／６２００Ａ单片机（二）￥ＥＰＳＯＮ单片机北工大技术培训中心＠薛宗祥ＳＭＣ６２００／６２００Ａ单片机（二）ＥＰＳＯＮ单片机北工大技术培训中心（１０００２２）薛宗祥（接上期）有些单片机无可编程定时器，采用了事件计数器（ＥＶＥＮＴＣＯＵＮＴＥＲ）...     

基于OOP的MIS研制

该文论述利用 ＯＯＰ（Ｏｂｊｅｃｔ－Ｏｒｉｅｎｔｅｄ Ｐｒｏｇｒａｍｍｉｎｇ）技术在ＶＦＰ（Ｖｉｓｕａｌ ＦｏｘＰｒｏ）平台下,为某市教学装备站研制仪器设备ＭＩＳ系统,并阐述了系统的主要功能及解决的关键技术问题。     

一种通过最佳处理能力分配使并行计算的时间费用降低到最小的工具

本文介绍一种软件系统，ＯＰＡＳ（最佳分配系统）它把最佳分配策略加到并行计算时间费用特性的分析中。ＯＰＡＳ假设支持并行计算执行的基本系统具有有限数量的处理机，所有的处理机的速度相同，以及它们之间的通信通过一个共享共存贮器实现。ＯＰＡＳ将时间费用定义为随输入，算法，数据结构，处理机速度，处理机数量以及处理能力分配的变化而变化的，在分析计算的时间费用中，ＯＰＡＳ首先使用我们以前开发的最佳分配策略来确定每     

Sun开放性Boot固件中的设备树结构

设备树是Ｓｕｎ Ｓｐａｒｅ系统开放性固件ＯＢＰ（Ｏｐｅｎ Ｂｏｏｔ Ｐｒｏｍ＾１１１）中的一个重要的数据结构,用来描述系统中各种设备（包括总线）的连接结构,在简要地介绍ＯＢＰ及其设备树的作用之后,对设备树的物理结构与逻辑结构进行了详细的论述。     

开放式地理信息系统应用开发平台的理论与实现

首先，以开放ＧＩＳ协会（ＯｐｅｎＧＩＳＣｏｎｓｏｒｔｉｕｍ，ＯＧＣ）提出的开放地理数据互操作规范（ＯｐｅｎＧｅｏｄａｔａＩｎ－ｔｅｒｏｐｅｒａｂｉｌｉｔｙＳｐｅｃｉｆｉｃａｔｉｏｎ，ＯＧＩＳ）为核心，结合ＷＷＷ技术来探讨开放式地理信息系统应用开发平台的实现方案。然后，描述了一个遵循ＯＧＩＳ规范的ＧＩＳ应用开发平台ＯＧＩＳＤＰ（ＯｐｅｎＧＩＳａｐｐｌｉｃａｔｉｏｎＤｅｖｅｌｏｐｍｅｎｔｐｌａｔｆｏｒｍ）的设计与实现方案，提出了应用开发平台的构成要素和新的ＧＩＳ应用程序范型，以及基于ＯＧＩＳＤＰ技术的项目实例——ＷｅｂＧＩＳ。     

不动点问题的异步并行算法

不动点问题的异步并行算法王德人（上海大学，上海应用数学与计算数学研究所）ＡＳＹＮＣＨＲＯＮＯＵＳＰＡＲＡＬＬＥＬＡＬＧＯＲＩＴＨＭＳＯＦＦＩＸＥＤＰＯＩＮＴＰＲＯＢＬＥＭＳ￥ＷａｎｇＤｅｒｅｎ（ＳｈａｎｇｈａｉＵｎｉｖｅｒｓｉｔｙ，ＳｈｏｎｇｈａｉＩ...     

对二甲苯工艺全流程实时动态仿真系统

介绍了年产５．５万吨对二甲苯（ＰＸ）工艺的全流程产时动态仿真培训系统，该系统采用微机网络结构模拟了化工过程特性和仿ＰＲＯＶＯＸ集散控制系统（ＤＣＳ），并拥有工艺现场模拟站以及智能导师指令台，本文从ＰＸ流程、软硬件结构、建模过程等方面介绍了该系统的设计。     

应用面向对象知识处理的选案专家系统

本文介绍了一种用专家系统实现税务部门计算机稽查选案的方法。这一计算机选案专家系统是用面向对象的知识处理系统（ＯＫＰＳ）构造而成。ＯＫＰＳ是我们自主开发的一套可视化专家系统工具。本文着重阐述了ＯＫＰＳ系统和该专家系统的原理、选案知识库的构造、推理控制策略等问题。本文所讲解的这一计算机选案专家系统已作为广东地税信息系统（ＧＤＬＴＩＳ）的一部分投入实际运行。     

面向对象的特征设计系统的开发与研究

本文结合面向对象的特征设计原型系统（ＯＯＦＤＳ）的开发，论述了面向对象机制的实现方法，面向对象的特征表达以及特征设计的方法，原型系统基于ＡｕｔｏＣＡＤ环境，并应用其接口语言ＡｕｔｏＬＩＳＰ进行开发。     

KBASE—P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中。ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言。ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行Ｉ／Ｏ和ＤＢ更新操作（用扩充的内部谓词）。由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小。因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言。ＫＢＡ