面向智能体逻辑程序设计系统GKD－AOLPS

我们在面向对象逻辑程序设计系统ＧＫＤ－ＯＯＰＳ的基础上，研究并实现了面向智能体逻辑程序设计系统ＧＫＤ－ＡＯＬＰＳ。本文首先提出了智能体的结构和机制，然后给出了一种智能体的元级结构；最后根据言语行为理论，研究了ＧＫＤ－ＡＯＬＰＳ系统所提供的智能体通信原语的语用性质。     

支持智能体的通讯原语库系统GKD－APS的设计与实现

ＧＫＤ－ＡＰＳ是我们基于面向智能体程序设计范例，设计并实现的一个支持智能体相关概念及智能体间消息通讯的Ｐｒｏｌｏｇ解释器。它同时引入了智能体、精神状态、知识、信念、承诺、能力及智能体间的消息通讯等概念，并提供了对这些概念的直接支持。ＣＫＤ－ＡＰＳ为实现多智能体间的知识通讯和合作运行，构造多智能体系统提供了基础，有效地支持了分布式知识系统的研究和开发。本文首先介绍了当前国际上关于智能体及面向智能体范例的研究进展，其次描述了ＧＫＤ－ＡＰＳ所涉及的基本概念及所实现的通讯原语的操作语义，然后给出了系统的构成及主要实现技术，最后介绍了ＧＫＤ－ＡＰＳ所提供的智能体操作原语。     

面向篇章理解的多智能体系统MAS／TH－3

面向篇章理解的多智能体系统ＭＡＳ／ＴＨ－３石纯一，王克宏，胡蓬，康小强（清华大学计算机科学与技术系北京１０００８４）ＭＡＳ／ＴＨ－３：ＡＭＵＬＴＩ－ＡＧＥＮＴＳＹＳＴＥＭＦＯＲＴＥＸＴＵＮＤＥＲＳＴＡＮＤＩＮＧ￥ＳｈｉＣｈｕｎｙｉ；ＷａｎｇＫｅｈｏｎ...     

支持智能体的通信原语库系统的研究与实现

ＧＫＤ－ＡＰＳ是我们基于面向智能体程序高度范例设计并实现的一个支持智能体相关概念及智能体间消息通信的Ｐｒｏｌｏｇ解释器。它同时引入了智能体，精神状态，知识，信念，承诺，能力及智能体阐的消息通信等要概念，并提供了对这些概念直接支持。ＧＫＤ－ＡＰＳ为实现体间的知识通信和合作运行，构造多智能体系系统提供了基础，有效地支持了分布式系统的研究和开发。     

Windows95和NT下的网络游戏开发(下)

其中所有的参数都取自ＥｎｕｍＳｅｓ－ｓｉｏｎｓ,系统每收到一个回复的消息便调用一次ＥｎｕｍＳｅｓｓｉｏｎ,并在结构ＬＰＤＰＳＥ－ＳＳＩＯＮＤＥＳＣ中添入适当的值。以下是ＥｎｕｍＳｅｓｓｉｏｎｓＣａｌｌｂａｃｋ的程序实例。ＢＯＯＬＦＡＲＰＡＳＣＡＬＥｎｕｍｓｅｓｓｉｏｎ（ＬＰＤＰＳＥＳＳＩＯＮＤＥＳＣｌｐＤＰＧａｍｅＤｅｓｃ,ＬＰＶＯＩＤｌｐＣｏｎｔｅｘｔ,ＬＰＤＷＯＲＤｌｐｄｗＴｉｍｅｏｕｔ,ＤＷＯＲＤｄｗＦｌａｇｓ）｛ＬＯＮＧｉｌｎｄｅｘ：ＨＷＮＤｈｗｎｄ＝（ＨＷＮＤ）ｌｐＣｏｎ－ｔｅｘｔ;／…     

知识获取系统NDKAS的研究与应用

知识获取系统ＮＤＫＡＳ的研究与应用潘金贵，陈彬，陈晶，陈世福（南京大学计算机科学系南京２１０００８）ＴＨＥＲＥＳＥＡＲＣＨＡＮＤＡＰＰＬＩＣＡＴＩＯＮＯＮＴＨＥＫＮＯＷＬＥＤＧＥＡＣＱＵＩＳＩＴＩＯＮＳＹＳＴＥＭ－ＮＤＫＡＳ￥ＰａｎＪｉｎｇｕｉ；Ｃｈ...     

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

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

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

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

一类并行多步Runge－Kutta预校算法

一类并行多步Ｒｕｎｇｅ－Ｋｕｔｔａ预校算法李寿佛，甘四清（湘潭大学数学系）ＡＣＬＡＳＳＯＦＰＡＲＡＬＬＥＬＭＵＬＴＩＳＴＥＰＲＵＮＧＥ－ＫＵＴＴＡＰＲＥＤＩＣＴＯＲ－ＣＯＲＲＥＣＴＯＲＡＬＧＯＲＩＴＨＭＳ￥ＬｉＳｈｏｕ－ｆｏ；ＧａｎＳｉ－ｑｉｎｇ（Ｄ...     

Navier－Stokes方程的非线性Galerkin有限元方法

Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的非线性Ｇａｌｅｒｋｉｎ有限元方法何银年，李开泰，向一敏（西安交通大学）ＮＯＮＬＩＮＥＡＲＧＡＬＥＲＫＩＮＦＩＮＩＴＥＥＬＥＭＥＮＴＭＥＴＨＯＤＯＦＮＡＶＩＥＲ－ＳＴＯＫＥＳＥＱＵＡＴＩＯＮＳ￥ＨｅＹｉｎ－ｎｉａｎ；Ｌｉ...     

A Fast Hidden-line Removal Algorithm for 3-Dimensional Buildings

ＡＦＡＳＴＨＩＤＤＥＮ－ＬＩＮＥＲＥＭＯＶＡＬＡＬＧＯＲＩＴＨＭＦＯＲ３－ＤＩＭＥＮＳＩＯＮＡＬＢＵＩＬＤＩＮＧＳＱｉｎＫａｉｈｕａｉ；ＴｏｎｇＧｅｌｉａｎｇ；ＺｈａｎｇＮａｎ；ＣｈｅｎＤａｉｌｉｎ；ＬｉＹｕｎｇｕｉ；ＳｈｅｎＷｅｎｄｕＡＦＡＳＴＨＩ...     

解大型稀疏线性代数方程组的预条件Krylov子空间方法

解大型稀疏线性代数方程组的预条件Ｋｒｙｌｏｖ子空间方法邓健新（中国科学院计算中心）ＰＲＥＣＯＮＤＩＴＩＯＮＩＮＧＫＲＹＬＯＶＳＵＢＳＰＡＣＥＭＥＴＨＯＤＳＦＯＲＬＡＲＧＥＳＰＡＲＳＥＬＩＮＥＡＲＡＬＧＥＢＲＡＩＣＳＹＳＴＥＭＳ￥ＤｅｎｇＪｉａｎ－ｘｉ...     

CASE STUDY OF CAD/CAPP INTEGRATION FOR ROTATIONAL PARTS

ＣＡＳＥＳＴＵＤＹＯＦＣＡＤＩＣＡＰＰＩＮＴＥＧＲＡＴＩＯＮＦＯＲＲＯＴＡＴＩＯＮＡＬＰＡＲＴＳＷｕＨｏｎｇｍｉｎｇ；ＷａｎｇＹａｐｉｎｇ；ＴａｎｇＲｏｎｇｘｉＣＡＳＥＳＴＵＤＹＯＦＣＡＤＩＣＡＰＰＩＮＴＥＧＲＡＴＩＯＮＦＯＲＲＯＴＡＴＩＯＮＡＬＰＡ...     

二维N－S方程的Fourier非线性Galerkin方法──全离散情形

二维Ｎ－Ｓ方程的Ｆｏｕｒｉｅｒ非线性Ｇａｌｅｒｋｉｎ方法──全离散情形侯延仁（西安交通大学应用数学研究中心）ＦＯＵＲＩＥＲＮＯＮＬＩＮＥＡＲＧＡＬＥＲＫＩＮＭＥＴＨＯＤＦＯＲ２－ＤＮ－ＳＥＱＵＡＴＩＯＮＳ──ＦＵＬＬＤＩＳＣＲＥＴＥＣＡＳＥ￥ＨｏｕＹ...     

带有变量中误差的Logit回归模型及其计算

带有变量中误差的Ｌｏｇｉｔ回归模型及其计算吕纯濂，陈舜华（南京气象学院）Ｈ．Ｋｕｃｈｅｎｈｏｆｆ（慕尼黑大学统计与科学理论研究所）ＴＨＥＬＯＧＩＴＲＥＧＲＥＳＳＩＯＮＭＯＤＥＬＷＩＴＨＥＲＲＯＲＳ－ＩＮ－ＶＡＲＩＡＢＬＥＳＡＮＤＩＴＳＣＡＬＣＵＬＡＴ...     

一种OADSS的设计与实现

从办公决策的特点出发，探讨了用于办公自动化的决策支持系统（ＯＡＤＳＳ）中问题模型构成要素及其功能模型；说明了从基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ结构与Ｏ－Ｏ技术的分布式ＯＡＤＤＳ中抽取共性的分类模型的可能性和途径。对ＯＡＤＳＳ系统模型进行了总体设计，给出了该系统的逻辑模型和物理结构构想。     

任意形状容器装液不定常晃动的边界元模型

任意形状容器装液不定常晃动的边界元模型冯振兴，李正秀（武汉大学）ＬＡＧＲＡＮＧＩＡＮＢＥＭＦＯＲＡＮＵＮＳＴＥＡＤＹＳＬＯＳＨＩＮＧＭＯＤＥＬＳＵＩＴＡＢＬＥＴＯＡＲＢＩＴＲＡＲＹＴＡＮＫＳ￥ＦｅｎｇＺｈｅｎ－ｘｉｎｇ；ＬｉＺｈｅｎ－ｘｉｕ（Ｗｕｈａ...     

C~k连续的保形插值2k次样条函数

Ｃ~ｋ连续的保形插值２ｋ次样条函数方逵（国防科技大学，长沙）ＡＣ~ｋ－ＳＨＡＰＥ－ＰＲＥＳＥＲＶＩＮＧＩＮＴＥＲＰＯＬＡＴＩＮＧＳＰＬＩＮＥＦＵＮＣＴＩＯＮＯＦＤＥＧＲＥＥ２ｋ￥ＦａｎｇＫｕｉ（ＮａｔｉｏｎａｌＵｎｉｖｅｒｓｉｔｙｏｆＤｅｆｅｎｓｅＴｅ...     

梅捷SY-K7V DRAGON DDR主板

奔腾４风头正劲。但ＡＭＤ这边一直没有新产品推出,ＶＡ ＫＴ２６６和 ＤＤＲ内存的组合仍然是最能发挥Ａｔｈｌｏｎ性能的组合。在新一代ＶＩＡ ＫＴ２６６Ａ芯片组未推出之前各厂商仍然是将尽可能多的功能整合于一片主板之上。 梅捷 ＳＹ－Ｋ７Ｖ ＤＲＡＧＯＮ是 ＳＹ－Ｋ７Ｖ的功能增强版本。“ＤＲＡＧＯＮ”是“ＤＤＲ”．“ＲＡＩＤ”、“６－ｃｈａｎｎｅｌ　Ｈａｒｄｗａｒｅ　Ａｕｄｉｏ”　、“ＡＧＰ Ｐｒｏ”、“ＷＨＯＩＩ Ｏｖｅｒｃｌｏｃｋｉｎｇ”和“Ｎｅｔｗｏｒｋ １０／１００ＭｂｐｓＥｔｈｅｒｎｅｔ”６功能组合的…     

Navier－Stokes方程的Runka解法及其应用

Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的Ｒｕｎｋａ解法及其应用朱祚金，陈义良（中国科学技术大学热科学和能源工程系）刘岳元（上海交通大学船舶及海洋工程系）ＲＵＮＫＡＡＬＧＯＲＩＴＨＭＦＯＲＮＡＶＩＥＲ－ＳＴＯＫＥＳＥＱＵＡＴＩＯＮＳＡＮＤＡＰＰＬＩＣＡＴＩＯＮ...