铁路选线优化设计专家系统的设计

铁路选线设计专家系统（ＲＯＤＥＳ）是我们用ＬＩＳＰ、Ｃ＾＋＋、ＦＯＲＴＲＡＮ语言和ＡＵＴＯＣＡＤ实现的一个实际专家辅助设计系统。本文介绍ＲＯＤＥＳ的基本设计思想，讨论它的知识表达、推理机制及解题过程。     

结构化程序方法在汇编语言中的应用

在传统的汇编语言程序设计中,选择结构程序设计一般用转移指令（ＪＭＰ）加标号来实现,这种程序结构实际上并不是真正的选择结构;在循环程序设计中,一般用循环指令（ＬＯＯＰ）或转移指令来实现循环,这种结构也不具有结构化程序中的“ＷＨＩＬＥ循环”或“ＲＥＰＥＡＴ循...     

多主体系统中对其它主体的研究

多主体系统是当前人工智能研究后一个热点，其中，关于知识和动作的推理是一个重要的课题，文中给出了一种知识表示框架，称为ＲＡＯ逻辑，用来对其它主体研究时表示概念和规则，我们从日常推理中抽象出换位原则的规则（ＰＥＰ），ＰＥＰ是ＲＡＯ是的一条公理模式，并且为主体研究其它主体的一个基本规则，它与知识逻辑中的分离规则和（Ｋ）公理具有相似的形式和作用。     

多重精度算术软件包的设计与实现

本文结合我们的ＴＵＲＢＯ ＰＡＳＣＡＬ语言编程的实际经验，介绍多重精度算术软件包的方法和在ＰＣ微机上的实现效果。     

POSTSCRIPT曲线字库的结构和直接显示方法

本文从剖解ＳＰＤＯＳ软ＰＯＳＴＳＣＲＩＰＴ曲线字库内部结构出发，结合ＢＯＲＬＡＮＤＣ 程序来具体说明曲线汉字的描述技术及Ｂｅｚｉｅｒ曲线在轮廓字中的应用。     

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

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

工程试验卫星7号的自动交会对接系统

日本航天局（ＮＡＳＤＡ）正在研究Ｈ－Ⅱ无人轨道飞机（ＨＯＰＥ）和Ｈ－Ⅱ转移飞行器（ＨＴＶ），经们将用于国际空间站（ＩＳＳ）进行后勤支持。交会对接（ＲＶＤ技术是ＨＯＰＥ、ＨＴＶ、轨道服务飞行器（ＯＳＶ）和月球探测器等航天顺完成各种空间活动的不可缺少的技术，目前正在研制的工程试验卫星－７（ＥＴＳ－Ⅱ）就是一琪无人自动ＲＶＤ系统的在轨演示计划，本文介绍ＲＶＤ系统的基本概念，ＥＴＳ－ⅦＲＶＤ在轨试验计划和     

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

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

COMPUTER AIDED INSPECTION PLANNING

ＣＯＭＰＵＴＥＲＡＩＤＥＤＩＮＳＰＥＣＴＩＯＮＰＬＡＮＮＩＮＧＴａｎｇＸｉａｏｑｉｎｇＣＯＭＰＵＴＥＲＡＩＤＥＤＩＮＳＰＥＣＴＩＯＮＰＬＡＮＮＩＮＧ￥ＴａｎｇＸｉａｏｑｉｎｇＡｂｓｔｒａｃｔＣｏｍｐｕｔｅｒａｉｄｅｄｉｎｓｐｅｃｔｉｏｎｐｌａｎｎｉｎ...     

基于TMN逻辑分层的CORBA网管与传统网管互操作机制研究

文章首先介绍了当前网管技术的发展情况,指出分布对象技术是网管的发展方向。但在相当长的时间内,仍是 ＳＮＭＰ、ＣＭＩＰ和 ＣＯＲＢＡ共存的局面。随后针对 ＯＭＧ组织提出的 ＣＯＲＢＡ－ｂａｓｅｄ ＴＭＮ体系,提出了基于 ＴＭＮ逻辑分层的ＣＯＲＢＡ网管与传统网管工操作机制,分析了这种方法的特点及应用情况。     

面向Agent的程序设计

本文针对所谓合作Agent应用问题阐述了一种面向Agent的程序设计AOP（agentori－entedprogramming）方法框架．其中提出了一种新的Agent编程语言（AOPL），设计并实现了其程序设计系统（AOPS），该系统支持AOPL到C的转换．同时，提出了一种新的Agent关系模型，讨论了该模型的组成及其在体现合作Agent应用系统的体系结构、指导Agent之间的协作行为和支持对系统结构特点的深层理解方面所发挥的重要作用．最后讨论了AOP在多功能感知系统中的应用．     

Agent Oriented Programming进展

1 引言近十年Agent和多Agent系统(MAS)的研究逐渐成为AI学科的热点之一。MAS中Agent是具有思维状态和交互能力的自治实体,彼此通过合作求解复杂问题,适合于动态开放环境。Agent的思维状态通常采用BDI模型,B(信念)、D(愿望)和I(意图)分别用模态算子给出,并在可能世界框架下给出其语义解释。这一模型语义明确直观,但实质上是一个计算资源无限的理想模型,因而在实际系统中,都采用限制和变通的方法来实现Agent,因此导致了所谓的理论脱离实践     

面向Agent程序设计的研究

面向Agent程序设计(agent-oriented programming,简称AOP)基于多Agent系统的抽象和思想、借助于Agent理论和技术来支持软件系统的构造与实现,其程序设计思想、软件模型、基础理论和语言设施有别于现有主流程序设计技术,如OOP,代表了一种新颖的程序设计范型.由于多Agent系统被视为支持开放环境下复杂软件系统开发的一种新颖、有效的技术手段,因而近年来AOP受到人工智能、软件工程和分布计算等领域研究学者和工程实践人员的高度关注,并在过去20年取得了重要进展.但是,无论在应对复杂多Agent系统开发方面,还是在大规模工业化应用等方面,AOP的研究与实践都面临着严峻的挑战.作为一种程序设计范型,AOP研究需要在交叉其他学科知识(如人工智能)的基础上,充分借鉴软件工程以及已有程序设计范型的原理、原则和成功实践,从而推动技术走向成熟并为广大工程实践人员所接受.通过对AOP研究历程的系统介绍,从软件工程的视点考虑MAS程序设计的不同层次,综述AOP在程序设计抽象与模型、机制与理论、语言与设施和支撑平台这4个方面的研究成果,展示不同时期AOP研究关注点的变化以及发展趋势,分析当前AOP研究与实践存在的问题和面临的挑战,并展望进一步的研究.     

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

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

PHP语言中的面向方面编程实现

面向方面编程（AOP）技术能够有效提高软件系统的可维护性、复用性和可扩展性,PHP语言是当前最流行的脚本语言之一。分析了主流语言平台下的AOP实现策略,提出了基于PHP语言的AOP实现目标和实现原理,还描述了应用AOP技术的软件系统结构和核心文件,并设计了相应的AOP支持类。最后通过实例演示该AOP技术的用法,程序结果表明该AOP实现是有效的。     

一种AOP方面的代数语义

面向方面程序设计可以模块化横切关注点,因此受到工业界及学术界的广泛关注。目前模块化横切关注点几乎成为面向方面程序设计的代名词,而且有不少人士狭隘地将面向方面程序设计认为是面向对象程序设计的延续、扩展或补充。回顾了面向方面程序设计的定义,分析了产生这一现象的原因。并且形式化了定义中的量化语句和方面,给出了它们的语义。探讨了量化语句和方面的一系列性质,包括量化语句和方面的可满足性,量化语句的包含、交叉及精化关系,方面的同态、同构、构成、完全语义保持精化、语义保持精化及等价替换等关系。该研究为面向方面程序设计的理论研究打下了坚实的基础,也为更好地理解面向方面程序设计提供了有效的帮助。     

从面向方面程序设计的定义到面向方面程序设计语言

目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为 面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序 设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面, 给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与()bliviousncss,模块化横切 关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它 程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程 序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。     

面向Agent的程序设计风范

一、引言 近年来,人工智能研究开始强调推理与知识表示相结合的能动实体——AgentAgent一词在Al研究中既被广泛使用,同时又存在着相当多的争议,在不同的应用环境里gent一词都被赋予特定的含     

基于AOP的信息管理系统的研究与实现

面向对象的编程OOP（Object Oriented Programming）能够有效地解决面向过程语言的缺陷,现有的软件项目大都采用面向对象的编程范型。但是OOP不能解决由于横切属性带来的代码混乱和代码分散等诸多问题,导致系统的可读性和复用性差,因此引入了面向方面的编程AOP（Aspect—Oriented Programming）思想。该编程思想可使开发者有效地将业务关注点与横切关注点分离,解决OOP的难题。介绍了AOP技术中较成熟的语言——AspectJ及其相关概念,通过一个信息管理系统,展示AOP技术在处理横切关注点时发挥的优势。