分布式计算机系统容错技术

现有的关于计算机系统的容错理论并不很适用于分布式系统。本文引入了Apetri net模型,并用其对分布系统的故障进行描述;然后,提出自适应结构重组容错技术。     

数控加工程序传输技术

使用笔记本微机作为工作站与数控机床的中继传输器，首先用串行通讯将工作站上的数控加工程序传递到微机上，然后用笔记本微机替代光电阅读机和纸带穿孔机，模拟它们的动作，实现工作站与ＦＡＮＵＣ系列数控机床的通讯．该方法具有使用方便、灵活及准确性高等特点，可广泛应用于工厂中．     

化简Reed-Muller多项式的分解法

化简Ｒｅｅｄ－Ｍｕｌｌｅｒ多项式的分解法Ａ．Ｔ．Ｐｈｄ等著陈惠符译（哈尔滨科学技术大学）１术语说明一下将在分解法中使用的术语。ｎ变量的函数表示如下表示模２和．ｍ＿ｉ是最小项ｉ，ａ＿ｉ是当二进制输入Ｘ＿（ｎ－１），…，Ｘ＿１，ｘ＿０的值为ｉ时函数ｆ的值...     

在付油控制与管理应用中的单处理机实时多任务系统的设计与实现

本文介绍了如何利用操作系统分时和多重中断的概念与技术,在TMC—80工业控制微机上成功的设计和实现了在付油控制与管理应用中的单机实时多任务系统。     

数控加工程序传输技术

使用笔记本微机作为工作站与数控机床的中继传输器，首先用串行通讯将工作站上的数控加工程序传递到微机上，然后用笔记本微机替代光电阅读机和纸带穿孔机，模拟它们的动作，实现工作站与ＦＡＮＵＣ系列数控机床的通讯．该方法具有使用方便、灵活及准确性高等特点，可广泛应用于工厂中．     

ESDT－HKD系统任务的调度及推理

专家系统开发工具ＥＳＤＴ—ＨＫＤ是一个通用知识工程语言，它以规则＋框架＋黑板作为系统的知识结构。本文详细地介绍ＥＳＤＴ－ＨＫＤ系统在咨询过程中任务的调度及推理。     

专家系统推理严密性的控制及竞争规则处理方法

专家系统推理机对推理方法行为的控制直接影响推理的效率及误差，尤其当竞争规则出现时表现更为突出。本文主要是分析和研究专家系统推理的严密性及推理机对竞争规则的选择和评价方法。