面向Agent的软件度量模型研究

由于Agent及其技术迅猛发展,迫切需要面向Agent度量方法和工具来辅助面向Agent软件的开发。文章提出了一组面向Agent的度量指标:Agent总数、依赖度、被依赖度、交互数、总交互数、社会理性、知识量、学习能力、反应时间和智商。在此基础上开发了一个度量工具原型:度量AgentMA。     

析取逻辑及析取逻辑程序的语义研究

在用不完全知识进行常识推理时，常用缺省方式推导结论，然而当缺省否定算子ｎｏｔ被定义成ｎｏｔ ｐｒｏｖｂｌｅ（不可证）时，析取逻辑程序（ａＶｂ，ｎｏｔ ａ，ｎｏｔ ｂ）应该是一致的，因为ａ不可证且ｂ不可证并不意味ａＶｂ不可证，虽然这是一个很重要的事实，但现有主要的析取逻辑程序语义理论却不能支持它。其主要原因是这些理论都基于传统的一阶谓词逻辑，其中否定ａ且否定ｂ将导致否定ａＶｂ，现提出一种支持上述事实     

邓小平教育思想的时代特色

科学技术是第一生产力,实现现代化的关键是科学技术现代化.而科学技术的进步,其根本途径又在于教育的发展.邓小平紧紧把握住这个时代的主旋律.在继承毛泽东同志教育思想的基础上,进一步提出目前我国教育改革的战略方向及具体任务.学习邓小平的教育思想,对于促进正在进行的教育体制改革,加快有中国特色的现代化进程,意义重大.     

ORACLESQL* FORMS触发器运行分析

对ＯＲＡＣＬＥＳＱＬ＊ＦＯＲＭＳ触发器运行的分析，表明触发器的运行机制与普通的程序设计技术既有相似之处，又有区别，正确掌握触发器的运行机制是触发器设计过程的重要一环。     

面向对象和结构程序设计的分析与比较

给出面向对象的结构程序设计的基本概念，从封装，继承和消息三个特征出发分析和比较了面向对象与结构程序设计的兼容性，指出了继承所涉及的两种接口，还讨论了我态和动态绑定引起的问题。     

电算化会计教学实验系统的分析与设计

为配合会计专业电算化教学以及会计模拟实验，运用结构化设计方法，对电算化会计的帐务处理子系统做了分析和设计，并进行了具体实施，给出了一套比较完整的教学实验系统     

函数程序设计在软件开发中的应用

从函数程序设计的角度对速成原型方法进行研讨，采用形式方法解释其应用上的优劣。并结合林业实例，说明该方法的优越性。     

结构化开发方法和面向对象开发方法的研究

分析了结构化设计方法的特点，探讨了面向对象方法的两大流派及其优缺点，得出了结构化方法和面向对象方法都具有良好的设计基础，但是前者更注重于设计方法，后者更注重于思想方法，这为今后综合这两种不同软件设计方法奠定了基础。     

分支定界法优化设计石油套管柱

在套管柱设计领域中引进了分支定界法优化理论．阐述了分支定界优化设计石油套管的基本思想．并简单介绍了利用该方法开发出的一套套管柱优化设计软件．与常规设计法相比，用该优化软件设计出的套管柱，用最低费用套管优化组合设计能节约费用２３．６４％，重量降低０．２４％．用最轻重量套管优化组合设计可节约费用１８．５５％，重量降低１９．１１％．     

基于面向对象技术的知识表示模式

该文提出了一种基于面向对象技术的知识表示模式，采用结构对象类来表示知识单元，定义组合运算作为对象间的操作机制，并结合实例具体说明了该表示技术。