共查询到20条相似文献,搜索用时 25 毫秒
1.
我们在面向对象逻辑程序设计系统GKD-OOPS的基础上,研究并实现了面向智能体逻辑程序设计系统GKD-AOLPS。本文首先提出了智能体的结构和机制,然后给出了一种智能体的元级结构;最后根据言语行为理论,研究了GKD-AOLPS系统所提供的智能体通信原语的语用性质。 相似文献
2.
GKD-APS是我们基于面向智能体程序设计范例,设计并实现的一个支持智能体相关概念及智能体间消息通讯的Prolog解释器。它同时引入了智能体、精神状态、知识、信念、承诺、能力及智能体间的消息通讯等概念,并提供了对这些概念的直接支持。CKD-APS为实现多智能体间的知识通讯和合作运行,构造多智能体系统提供了基础,有效地支持了分布式知识系统的研究和开发。本文首先介绍了当前国际上关于智能体及面向智能体范例的研究进展,其次描述了GKD-APS所涉及的基本概念及所实现的通讯原语的操作语义,然后给出了系统的构成及主要实现技术,最后介绍了GKD-APS所提供的智能体操作原语。 相似文献
3.
4.
GKD-APS是我们基于面向智能体程序高度范例设计并实现的一个支持智能体相关概念及智能体间消息通信的Prolog解释器。它同时引入了智能体,精神状态,知识,信念,承诺,能力及智能体阐的消息通信等要概念,并提供了对这些概念直接支持。GKD-APS为实现体间的知识通信和合作运行,构造多智能体系系统提供了基础,有效地支持了分布式系统的研究和开发。 相似文献
5.
其中所有的参数都取自EnumSes-sions,系统每收到一个回复的消息便调用一次EnumSession,并在结构LPDPSE-SSIONDESC中添入适当的值。以下是EnumSessionsCallback的程序实例。BOOLFARPASCALEnumsession(LPDPSESSIONDESClpDPGameDesc,LPVOIDlpContext,LPDWORDlpdwTimeout,DWORDdwFlags){LONGilndex:HWNDhwnd=(HWND)lpCon-text;/… 相似文献
6.
知识获取系统NDKAS的研究与应用 总被引:1,自引:0,他引:1
知识获取系统NDKAS的研究与应用潘金贵,陈彬,陈晶,陈世福(南京大学计算机科学系南京210008)THERESEARCHANDAPPLICATIONONTHEKNOWLEDGEACQUISITIONSYSTEM-NDKAS¥PanJingui;Ch... 相似文献
7.
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中.KBASE-P是一个通用的知识库程序设计语言.KBASE-P以KBASE作为查询语言,以FD-PROLOG(我们开发的一个PROLOG扩充)为过程性的宿主语言执行1/O和DB更新操作(用扩充的内部谓词).由于良好的设计和实现,查询语言与宿主语言之间的阻抗不匹配问题相对较小.因而,KBASE-P是一个比较实用的知识库程序设计语言.KBASE-P系统支持逻辑程序设计语言(KBASE-P语言)的程序开发,提供了文本编辑、文件管理、谓词管理、事实操作、Datalog查询、SQL查询等功能.本文详细介绍了KBASE-P系统的设计和实现. 相似文献
8.
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中。KBASE-P是一个通用的知识库程序设计语言。KBASE-P以KBASE作为查询语言,以FD-PROLOG(我们开发的一个PROLOG扩充)为过程性的宿主语言执行I/O和DB更新操作(用扩充的内部谓词)。由于良好的设计和实现,查询语言与宿主语言之间的阻抗不匹配问题相对较小。因而,KBASE-P是一个比较实用的知识库程序设计语言。KBA 相似文献
9.
一类并行多步Runge-Kutta预校算法李寿佛,甘四清(湘潭大学数学系)ACLASSOFPARALLELMULTISTEPRUNGE-KUTTAPREDICTOR-CORRECTORALGORITHMS¥LiShou-fo;GanSi-qing(D... 相似文献
10.
Navier-Stokes方程的非线性Galerkin有限元方法何银年,李开泰,向一敏(西安交通大学)NONLINEARGALERKINFINITEELEMENTMETHODOFNAVIER-STOKESEQUATIONS¥HeYin-nian;Li... 相似文献
11.
AFASTHIDDEN-LINEREMOVALALGORITHMFOR3-DIMENSIONALBUILDINGSQinKaihuai;TongGeliang;ZhangNan;ChenDailin;LiYungui;ShenWenduAFASTHI... 相似文献
12.
邓健新 《数值计算与计算机应用》1994,(1)
解大型稀疏线性代数方程组的预条件Krylov子空间方法邓健新(中国科学院计算中心)PRECONDITIONINGKRYLOVSUBSPACEMETHODSFORLARGESPARSELINEARALGEBRAICSYSTEMS¥DengJian-xi... 相似文献
13.
CASESTUDYOFCADICAPPINTEGRATIONFORROTATIONALPARTSWuHongming;WangYaping;TangRongxiCASESTUDYOFCADICAPPINTEGRATIONFORROTATIONALPA... 相似文献
14.
侯延仁 《数值计算与计算机应用》1996,(4)
二维N-S方程的Fourier非线性Galerkin方法──全离散情形侯延仁(西安交通大学应用数学研究中心)FOURIERNONLINEARGALERKINMETHODFOR2-DN-SEQUATIONS──FULLDISCRETECASE¥HouY... 相似文献
15.
带有变量中误差的Logit回归模型及其计算 总被引:3,自引:0,他引:3
带有变量中误差的Logit回归模型及其计算吕纯濂,陈舜华(南京气象学院)H.Kuchenhoff(慕尼黑大学统计与科学理论研究所)THELOGITREGRESSIONMODELWITHERRORS-IN-VARIABLESANDITSCALCULAT... 相似文献
16.
从办公决策的特点出发,探讨了用于办公自动化的决策支持系统(OADSS)中问题模型构成要素及其功能模型;说明了从基于Client/Server结构与O-O技术的分布式OADDS中抽取共性的分类模型的可能性和途径。对OADSS系统模型进行了总体设计,给出了该系统的逻辑模型和物理结构构想。 相似文献
17.
任意形状容器装液不定常晃动的边界元模型冯振兴,李正秀(武汉大学)LAGRANGIANBEMFORANUNSTEADYSLOSHINGMODELSUITABLETOARBITRARYTANKS¥FengZhen-xing;LiZhen-xiu(Wuha... 相似文献
18.
C~k连续的保形插值2k次样条函数 总被引:6,自引:0,他引:6
方逵 《数值计算与计算机应用》1994,(4)
C~k连续的保形插值2k次样条函数方逵(国防科技大学,长沙)AC~k-SHAPE-PRESERVINGINTERPOLATINGSPLINEFUNCTIONOFDEGREE2k¥FangKui(NationalUniversityofDefenseTe... 相似文献
19.
20.
Navier-Stokes方程的Runka解法及其应用朱祚金,陈义良(中国科学技术大学热科学和能源工程系)刘岳元(上海交通大学船舶及海洋工程系)RUNKAALGORITHMFORNAVIER-STOKESEQUATIONSANDAPPLICATION... 相似文献