知识库系统KBASE＋的数据模型,语言及实现

本文讨论具有面向对象特征的知识库系统ＫＢＡＳＥ＋的数据模型，语言及实现，ＫＢＡＳＥ＋的数据模型可以方便地支持对象标识，类层次，多继承等面向对象概念。描述性查询语言ＫＢＬ是扩充的ＤＡＴＡＬＯＧ。本文重构了ＫＢＬ语义理论框架，提出了解决属性继承和实例继承的方案，说明了ＫＢＬ程序可以转换成语义等价的ＤＡＴＡＬＯＧ程序。     

具有面向对象特征和知识库系统

本文讨论了具有面向对象特征的知识库系统ＫＢＡＳＥ＾＋的数据模型，语言及实现。ＫＢＡＳＥ＾＋的数据模型可可以方便地支持对象标识，类层次，多继承等面和对象概念。描述性查询语言ＫＢＬ是ＤＡＴＡＬＯＧ针对于非一范式关系模型的扩充。本文重构了ＫＢＬ的语义理论框架，提出了通过计算相关的下确界来解决属性继承中的冲突问题，通过在ＫＢＬ程序中添加规则来实现实例继承的方案。本文说明了ＫＢＬ程序可以转换成语义等价的ＤＡ     

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

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

DREAMWEAVER常见问题解答

Ｑ：如何制作Ｅ—ｍａｉｌ链接？ Ａ：在 Ｄｒｅａｍｗｅａｖｅｒ中制作链接信箱地址,要手工输入ＨＴＭＬ代码,如果要将一段文字链接至信箱：ｓｏｍｅｏｎｅ＠ ｓｏｍｅｗｈｅｒｅ． ｎｅｔ,首先选中这段文字,弹出属性面板,在 ＬＩＮＫ域中键入 ｍａｉｌｔｏ： ｓｏｍｅｏｎｅ＠ ｓｏｍｅ－ｗｈｅｒｅ．ｎｅｔ即可。（在３．０版本中已经有插入Ｅ－ｍａｉｌ链接功能的对象） Ｑ：为什么我在Ｄｒｅａｍｗｅａｖｅｒ中打空格没有用？ Ａ：在是因为 Ｄｒｅａｍｗｅａｖｅｒ完全按 ＨＴＭＬ语句规律进行显示。在ＨＴＭＬ中您在单词中输入超…     

ANGULAR VELOCITY INTERPOLATION USING QUATERNION

ＡＮＧＵＬＡＲＶＥＬＯＣＩＴＹＩＮＴＥＲＰＯＬＡＴＩＯＮＵＳＩＮＧＱＵＡＴＥＲＮＩＯＮ￥ＪｉｎＸｉａｏｇａｎｇ；ＰｅｎｇＱｕｎｓｈｅｎｇ（ＳｔａｔｅＫｅｙＬａｂｏｒａｔｏｒｙｏｆＣＡＤａｎｄＣＧＤｅｐａｒｔｍｅｎｔｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉ...     

CHOLESKY分解求解大型稀疏线性方程组的并行算法

ＣＨＯＬＥＳＫＹ分解求解大型稀疏线性方程组的并行算法王思群，魏紫銮（中国科学院计算数学与科学工程计算研究所）ＡＰＡＲＡＬＬＥＬＡＬＧＯＲＩＴＨＭＦＯＲＳＯＬＶＩＮＧＬＡＲＧＥＳＰＡＲＳＥＬＩＮＥＡＲＳＹＳＴＥＭＳＯＦＥＱＵＡＴＩＯＮＳＶＩＡＣＨＯＬＥ...     

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

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

扩充KQML以实现合同网

KQML目前已成了agent通信语言的事实标准,并得到广泛应用。文中在对KQML的语义分析的基础上指出它不利于Agent间任务级的高级复杂交互,不能实现合同网,为此对现有的KQML执行原语集合进行了扩充,以期支持合同网中存在的各种协商策略。文章给出了11条扩充原语的定义和语义及其在合同网上的应用。     

标准建模语言UML简介

ＵＭＬ是面向对象的标准建模语言,是面向对象技术领域中的重要成果。它的内容包括ＵＭＬ语义和ＵＭＬ表示法两个部分。本文简要地介绍了ＵＭＬ语义和表示法的内容,并总结了它的主要特点和应用领域。     

对象式逻辑程序设计语言LKO的说明性语义

本文基于逻辑程序设计语言的良基模型语义，探讨了对象逻辑程序设计语言ＬＫＯ的说明性语义，该语义由组合迭代的极小不动点定义，具有构造性和组合性，迷在ＬＫＯ中进一步引入非单调继承和逻辑奠定了基础。     

面向多智能体的知识查询管理语言模型分析

在多智能体交互的研究中,KQML(knowledge query manage language)通信模型是最具代表性的.通过对KQML通信模型的分析,为实现在知识水平上面向智能体编程所需的通信支持作了一定的阐述.首先,通过建立KQML状态模型和KQML通信的转换模型,分别针对同步和异步通信模型分析了其实现的必要条件.其次,对KQML模型在通信过程中将出现的死锁及资源匮乏问题,从KQML状态转换模型的角度分析了其产生的原因,并指出解决问题的根本途径.最后,指出KQML同步和异步通信的在多智能体交互中的优缺     

Agent通信语言KQML的实现及应用

论文针对KQML语言规范的新变化和实际应用领域的需求,提出了一系列面向Agent通信的KQML实现算法,初步实现了一个较完整的新KQML语言解释器,并将其应用于医疗保健顾问系统中的多Agent通信,收到了较好效果。     

基于KQML面向虚拟企业合作伙伴选择的多Agent系统通信模型

给出了一个面向虚拟企业合作伙伴选择的多Agent系统基于KQML的通信模型。介绍了各Agent间通信时用到的KQML保留原语，并对KQML原语进行了适当的扩充以满足系统通信的要求。最后给出了在通信中使用较多的与数据操作有关的KQML消息到相关的数据操作SQL语句间的映射关系，较好地实现了KQML消息与SQL语句的衔接。     

分布式智能视觉系统中基于KQML的Agent通信模型

分布式智能视觉系统中多个Visual Agent之间的通信采用KQML实现，但仅凭KQML预留的行为原语是无法实现这种Agent闻任务级的高级、复杂交互的．因此，对KQML扩充了7条行为原语，并给出了定义、语义，构建了分布式智能视觉系统的Agent通信模型．     

基于JKQML的代理模型的研究与实现

KQML语言是一种代理之间用于交流“态度”的语言，而JKQML是基于java的，用于构建采用KQML语言进行通信的Agent的框架和一组接口。本文首先介绍了KQML语言，在此基础上分析了它的框架结构在JKQML中的具体实现，最后介绍了它在基于社会保障卡的社区型电子化服务系统的实现。     

基于扩展合同网协议的无线传感器网络协作方法研究

提出一种适用于无线传感器网络协作的扩展合同网协议.该协议在传统合同网协议中引入了信任度、阈值和优先级等策略,减少了无线传感器网络的通信开销,有效均衡了节点的能量消耗.为确保扩展合同网协议的完整性、正确性和可靠性.利用面向对象Petri网对其进行建模、分析和验证.仿真结果表明,扩展合同网协议有效地延长了网络生命周期,提高了网络的能耗效率,网络完成任务数也有了显著的增加.     

多Agent通讯在多移动机器人中的实现方法

随着MAS理论在各领域的应用,Agent间的通讯异常重要。目前,KQML已成为Agent通讯语言的事实标准,得到了广泛应用。该文首先说明了Agent间通讯的方法及其通信语言—KQML(KnowledgeQueryandManipulationLan-guage),然后对KQML语言进行了扩充,以用于多移动机器人间通讯问题的解决,并给出了用KQML的扩充原语完成的一种常见的对话过程。     

XML描述KQML消息的研究与实现

KQML是一种较为成熟的代理通讯语言和通讯协议，而XML逐渐成为公认的一种代理通讯语言的发展方向。本文首先证明用XML对KQML消息进行描述是切实可行的。进而分析利用XML对KQML消息进行描述，提出了对XML文档进行分析的方法及用Java实现的方法。     

动态合同网协议

对经典的合同网协议进行了改进，结合群体智能提出了一种适应环境及主体能力动态变化的动态合同网协议。并给出了动态合同网协议的算法。经过在多主体平台MAGE(Multi-AGent Environment)上的多次试验，证明了动态合同网协议在各方面的优越性。