基于行动理论的智能体模型

结合BDI模型和情境演算的优点构造了一个agent模型。在agent模型中,agent的心智状态由状态信念集、效应规则集、可行规则集、策略规则集和意向集组成。如果agent的心智状态是信息完全的且在流中添加情境变元,则它将成为Reiter提出的基于情境演算的行动理论,所以此agent模型既能表示agent的心智状态又能进行行动推理和规划,最后,文中提出了具有完全信息的agent实现目标的一种运行方式     

不确定性时空查询的一种符号表示法

分析了时态查询、时空查询和不确定性时空查询的各类查询形式及其查询特性,以BNF(B ackus-naurform)范式形式给出不确定性时空查询语义的统一符号表示法,并对典型查询进行举例说明。该表示法建立在时态谓词、时空谓词和不确定性时空谓词基础上,可消除由不同表现形式带来的语义混淆,以对各类不确定性时空查询进行统一表示。该方法还可用于不确定性时空数据库原型系统的实现和不确定性时空查询的进一步研究。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

三能级原子和两个压缩态光场多光子相互作用中的量子效应

本文研究了具有A型跃迁结构的三能级原子与两个压缩态光场多光子相互作用过程中的一些量子效应。通过数值计算得到不同参数条件下原子能级布居数反转的时间特性,光场平均光子数及其统计性质的时间演化,并讨论了多光子过程对加深光场压缩状态的影响。计算结果表明,多光子相互作用使系统的基本Rabi振荡频率增大,崩坍—复原持续期缩短,Mandel参数的改变加剧,光场的压缩增强。     

模型燃烧室湍流亚网格尺度模型

分别采用Smagorinsky-Lilly和k方程亚网格尺度模型,在任意曲线坐标系下对模型燃烧室湍流流场进行大涡模拟.分别用QUICK和二阶隐式差分格式离散控制方程及其时间项,并用SIMPLE算法进行求解.计算结果与PIV测量数据比较表明:大涡模拟方法能较好模拟旋流器后面回流区的瞬态变化,两种亚网格尺度模型都能较好模拟湍流流动,但k方程亚网格尺度模型稍优于Smagorinsky-Lilly亚网格尺度模型,因此采用k方程亚网格模型更适用于大涡模拟实际燃烧室复杂湍流流场.     

Motycka估算方法中滤波位置改变对最大瞬时畸变值预测的影响

将Motycka方法中脉动压力滤波改为瞬时畸变滤波可减少其估算机时。本文从理论上建立了上述两种滤波位置所获得的瞬时畸变的随机统计参数和最大值之间的关系,用计算所得结果进行了验证。验证表明可用瞬时畸变滤波方法替代脉动压力滤波方法去估算最大瞬时畸变值。     

一个自主Agent框架及其决策

自主性是Agent的最重要的特征。本提出一个自主Agent的框架及其相应的决策机制。首先介绍了用于描述自主Agent的语言;然后基于BDI模型和情境演算理论,提出一个自主Agent的框架;最后给出自主Agent的一种决策过程。     

持久性在面向对象语言中的扩充

持久性是传统程序设计语言所缺乏的,它是程序设计语言中值得重视的一个要素,面向对象语言是当前表达能力和建模能力最强的一种语言,持久性与面向对象语言的结合将能够提供一个计算建模和数据建模、数据处理和数据管理的一体化语言环境。本文介绍了持久性程序设计的发展及其相关的概念,包括持久性与数据类型的正交性;讨论了持久性与面向对象语言结合中的有关问题,如对象标识及对象指针持久性等问题;同时给出了一个在面向对象语言基础上扩充持久性的实现描述,重点在其组织结构、内外存映射及其工作过程。     

鸟撞击载荷的冲量与时间因素的确定

为了预估叶片对鸟撞击的响应，首先要建立鸟撞击载荷模型。为此，需要确定载荷的冲量、时间因素及空间因素。其中时间因素包括加载持续时间及力一时间函数。本文介绍了鸟撞击刚性靶体时，确定其冲量及加载持续时间的一种理论计算方法。按正撞击与斜撞击、含切割过程与不含切割过程分别导出计算公式，并根据某型号发动机的有关参数给出计算实例。文中还介绍了一种无量纲形式的力－时间函数。该函数形式简单，且综合了计算分析与实验测量两方面的结果。以上内容均可供建立鸟撞击载荷模型时参照使用。     

并行工程中面向多目标的目标决策方案

目标决策（Goal programming,GP)是一种常用的多目标分析管理技术，在实施并行工程（Concurrent engineering,CE)期间结合目标决策技术能够很好地协调工程中多个目标间的冲突，如何压缩产品开发时间和降低耗费一直是生产中决策者关心的问题，文中采用目标决策的方法，引入了GP／CE数学模型，针对产品并行开发中耗资与耗时两个相冲突的目标，对产品并行开的过程进行GP／CE模型,莫大成化并行工程的实施效果。     

美国空军标准语言JOVIAL的分析与评价

JOVIAL语言是美国空军唯一的标准语言。本文根据作者从事军用计算机语言研究的经验,从可靠性、可读性、效率、可维护性、可移植性、可用性、简明性、抽象性以及实现等角度对JOVIAL进行了分析、评价,并将JOVIAL与Pascal、Ada等语言进行了适当的比较,最后指出了作为军用语言的JOVIAL还缺少的语言设施。