一种三元逻辑相关不确定推理模型

Based on Lukasiewicz's three-valued logic,this paper builds a tri-ary uncertain reasoningmodel,and discusses its some basic properties which shows that it is consistent with our intu-itions. The characters of our model are as follows: 1)its measure for uncertainty is a distribution onthe true-value set of the multi-valued logic, 2)its propagation for uncertainties is related with theoperation of the logic,and 3) its parallel propagation follows a consertative principle     

曙光一号操作系统SNIX对并行处理的支持

本文在介绍传统单机ＵＮＩＸ在支持并行处理方面不足的基础上，介绍如何通过改造传统ＵＮＩＸ核心并且在用户空间实现线程库函数来支持并处理与计算，主要工作包括共享资源进程的概念以及Ｇａｎｇ调度策略以及在ＳＮＩＸ操作系统中的实现，对Ｐｔｈｒｅａｄ库函数库界面定义以有主在 用代间的实现简述。     

时态关系代数与元组演算的等价性

建立了一个时态关系代数和时态元组演算并证明了他们间的等价性。     

参数化设计中的动态约束迭代及静态因果分析技术

参数化设计以其强有力的草图设计和图纸尺寸驱动功能成为实现产品的初步设计、系列设计以及变异式设计的核心技术。这两种参化设计算法克服了现有参数化方法在功能、效率以及可靠性等方面存在的 问题，历而能够地应用到实际系统中去。     

曙光一号共享存储并行计算机

曙光一号共享存储并行计算机陈鸿安，刘金水，李国杰（国家智能计算机研究开发中心北京１０００８０）由国家智能计算机研究开发中心研制成功的曙光一号共享存储多处理机系统是一个支持大规模事务处理、数据处理和科学计算应用开发的通用并行计算平台。系统设计的主要目标...     

曙光─号并行计算机的系统软件与特点

曙光─号并行计算机的系统软件与特点樊建平，李国杰（国家智能计算机研究开发中心北京１０００８０）曙光一号共享存储多处理器系统提供一个通用的并行计算平台，以支持人工智能应用、科学计算以及一般信息处理系统的开发。系统设计的主要目标一方面是如何攻克全对称多处...     

Mach网络服务器的设计

Ｍａｃｈ网络服务器把本地ＩＰＣ机制透明地扩充到网络环境，为分布式应用提供支持。本文介绍了Ｍａｃｈ网络服务器的功能，内部组织结构及网络通讯的基本过程。     

访西蒙教授、纽威尔教授谈智能机

1990年7月18日下午,国家智能计算机研究开发中心赴美国考察组一行四人访问了世界著名人工智能学者、美国卡内基梅农大学计算科学兼心理学教授霍尔伯特·西蒙(Herbert A.Simon)和艾伦·纽威尔(Allen New-ell),分别与每位教授进行了一小时的交谈。西蒙教授是1978年诺贝尔经济学奖的得主,并与纽威尔教授一起获1975年度图林奖(计算机科学领域最高奖)。纽威尔教授曾获得1989年国际人工智能会议最佳研究奖。兹将访     

分布式知识处理系统中基于知识的任务规划模型

分布式知识处理系统的求解主要由四步组成:任务规划、任务分布、协作求解,以及结果综合,其中任务的规划是整个求解过程的基础。目前设计的许多系统缺乏任务规划能力,任务的执行序列和执行任务的任务知识源主要由系统开发者指定,所以系统的求解结果带有很大的主观性,效率也难以提高,本文首先分析了分布式知识处理系统中任务、任务知识源和任务规划;其次采用逻辑-对象知识模型,来表示任务规划问题;最后提出了一种基于知识的任务规划模型。     

压控振荡器和计数器组成A／D转换的设计与实现

首先介绍Ａ／Ｄ转换芯片的原理，然后阐述压控振荡器（Ｖ－ｆ）和计数器组成模数（Ａ／Ｄ）转换的原理。利用该原理实现了１０位高速Ａ／Ｄ转换的功能，并设计出实用的Ａ／Ｄ转换电路。最后测试了利用该方法实现Ａ／Ｄ转换的性能，给出其检测结果。同时说明利用此原料实现不同位数和转换速度的Ａ／Ｄ转换器的方法。