构件类和构件的概念及其定义语言和操作语言

本文针对应用软件的特点，在类和对象概念的基础上，提出构件类和构件的概念，说明构件类和构件与O－O中类和对象概念上的异同．为规范化描述构件类，给出了构件类定义语言和操作语言．     

COOPERATIVE NAVIGATION AND THE FACULTY OF LANGUAGE

This paper presents an approach to simulating the evolution of language in which communication is viewed as an emerging phenomenon with both genetic and social components. A model is presented in which a population of agents is able to evolve a shared grammatical language from a purely lexical one, with critical elements of the faculty of language developed as a result of the need to navigate in and exchange information about the environment.     

MD5报文摘要算法与IPv6认证

MD5报文摘要算法是一种应用的提取数字指纹的算法。在IPv6中定义带密钥的MD5算法为其默认的认证算法。本文分析了IPv6的基本头标和认证头村的格式,详细剖析了MD5算法的工作原理,以及在IPv6中引入MD5作为其默认认证算法的方法。     

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

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

算法语言L的设计与形式规范

本文通过分析ＰＡＳＣＡＬ语言作为算法设计语言而存在的主要缺陷，借鉴Ｄ．Ｗａｔｔ的△之设计原则，而定义了一个小型的算法语言Ｌ。文中详细地给出了它的具体文法、抽象文法和静态语义。通过Ｌ的设计和描述，对算法语言设计与规范的有关问题进行了有益的探索。     

微结构描述语言CHMDL的构造与设计

本文介绍微结构描述语言CHMDL的构造与设计.该语言对可微程序设计体系结构的计算机微结构的描述具有较大的选择性与灵活性.特别,它把对微结构的描述程序转换成为一种称为“表状微结构”的表格驱动式的中间代码形式,为其支持完整的可重定向固件开发工具,提供了统一的微结构描述形式.另外,本文对MDL的构造,编译结果及评价标准等作了讨论.     

程控交换机远程维护和记费管理

本文介绍了一种实用的程控交换机远程维护和管理系统，给出了实现该系统的原理框图，并详细介绍了各部分的作用和具体实现技术。     

知识推理描述语言NUML的设计,实现及应用

知识推理描述语言ＮＵＭＬ用于描述多智能实体系统中协调地问题求解过程，它是一种具有良好数学基础的多风范语言，以智能代理为其基本程序结构，提供元级推理的描述能力。     

Agent规范与编程语言SPLAW的语法和语义

本文描述了Ａｇｅｎｔ规范与编程语言ＳＰＬＡＷ的语法，为ＳＰＬＡＷ中的各种语言成分提供了操作语义，并基于标记转换系统给出Ａｇｅｎｔ性质的证明规则。由于ＳＰＬＡＷ的通信部分采用不依赖于具体应用的Ａｇｅｎｔ交互语言ＫＱＭＬ，使遵循同一标准的Ａｇｅｎｔ之间能进行协作问题求解。ＳＰＬＡＷ首次为Ａｇｅｎｔ提供继承支持，使其可以实现具有面向对象特征的多线程系统。ＳＰＬＡＷ屏了为语言引入内部模态词的缺陷，试图从外     

C语言与AutoCAD接口研究

Ｃ语言与ＡｕｔｏＣＡＤ的结合，为ＣＡＤ工作提供了极其强大而有效的手段。本文介绍了Ｃ语言与ＡｕｔｏＣＡＤ的连接方式，应用程序中函数的定义、调用、参数传递以及数据的存储结构等。阐述了应用程序的编译、连接、安装和内存分配问题，还展示了一个绘制机械零件图形的应用程序实例。     

多Agent系统中消息通信模型的研究与设计

在多Agent系统当中,Agent之间可以通过消息通信的方式来相互协作共同完成一个目标任务.通过对多Agent系统中消息通信机制的探索和研究,在此给出了Agent域的概念,并在Agent域的基础之上,设计了不同的消息通信模型.     

组合事务块及其在C语言和FOXPRO中的实现

高级程序设计语言（如Ｃ语言）和数据库系统的嵌套使用，作为一种有效的数据操纵和管理结构，目前在传统的离线或在线事务处理系统，以及智能控制系统中得到了广泛应用．这些应用的特点之一是要求系统具有很高的可靠性．文中提出了一种称为组合事务块的新颖容错原语，详细论述了它在Ｃ语言和ＦＯＸＰＲＯ中的实现方案．本质上，组合事务块是一种将数据容错、程序容错及算法容错结合起来的混合容错机制．文中还分析了组合事务块在冗余处理机上的执行时间，并用软件实验验证了它的容错特性．     

消息交互系统领域驱动测试框架研究与应用

为解决消息交互系统测试用例编写维护复杂、效率低下的问题,基于领域驱动测试思想,针对消息交互系统的特点,提出一种通用消息交互系统领域测试模型。在此基础上设计开发了消息交互系统领域驱动测试框架,用领域语言描述测试用例,采用领域驱动设计DDD四层架构,基于领域模型,对测试用例进行组织、设计和开发,并直接驱动执行,提高了消息交互系统的测试效率。     

IDIOMS,NON-LITERAL LANGUAGE AND KNOWLEDGE REPRESENTATION1

There are two pertinent themes in the study of idioms in the area of natural language processing. Firstly, idioms should be defined and located in the space of non-literal expressions. This will be the first aim of this paper. Secondly, a processing model should be developed. In this paper, the application of knowledge representation techniques in three different models for the representation and processing of idioms are discussed. The first, a symbolic procedural model extends the two-level model which was originally developed in computational morphology. The second is a simple localist connectionist model. The third, a symbolic hierarchical model, represents idioms as part of a lexicon conceived as an inheritance hierarchy. A comparison between the models is made in which the focus lies on the resolution of the ambiguity of idioms, the relation between the literal and non-literal interpretation and the syntactic flexibility of idiomatic expressions.     

ON THE NATURE OF CULTURE AND COMMUNICATION: A COMPLEX SYSTEMS PERSPECTIVE

ABSTRACT

This article describes the foundations of a new theory of communication as the generative core of cultural systems. We define the concepts of meaning and information in terms of complex systems theory; communication is considered as the interplay of social and cognitive dynamics, i.e., interactions between speakers and receivers, which are determined by social and cognitive rules. The theory is validated by several computational models developed to analyze some important aspects of the theoretical foundations. The computational models themselves are validated by some empirical social experiments with student groups.     

关于一个串为正则语言中某串的子串的判定算法

本文给出一个判定∑上的任意串s是否为一正则语言L中某个串的子串的算法,即设s为∑上的任一串,L是∑上的任一正则语言,则s为L中某个串的子串,当且仅当s为集合V_n={w∈∑|w∈L,|w|≤2n+k-2}中某串的子串,其中k=|s|,n是某个自然数。