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

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

基于UNIX System V流机制的串行口通信程序的设计与实现

流（ＳＴＲＥＡＭＳ）机制，是ＵＮＩＸ系统中用户进程到设备（伪设备）之间的一条全双工数据通路，它为字符处理、网络服务和数据通信等驱动程序的设计提供模块化手段。本文概要介绍了流机制的组成及原理，着重讨论了用流机制实现ＵＮＩＸ设备驱动程序的方法，在ＳＣＯＳｙｓｔｅｍＶＵＮＩＸ系统中设计并实现了基于流机制的带ｍｏｄｅｍ控制的串行口驱动程序，最后讨论了串行口通信的数据传输控制及串行口通信程序的应用。     

淮北地区水稻适宜发展规模的研究

准北地区水稻发展的主要制约因素是水资源，该地区水资源系统是江水北调大系统的一个有机部分，其水稻适宜规模取决于江水北调系统水资源的开发利用。根据输水线路或水资源特征将整个系统划分为１５个子系统，以水资源利用量最大，以及缺水造成的减产损失和提水费用之和最小作为水资源利用的两个目标，建立了模拟分析数学模型，提出了求解该模型的大系统分解一协调技术，给出了模拟模型的执行顺序和运行程序，研究了当前工程水平、泵站改造项目完成、通榆河工程完成和南水北调工程建成四种情况淮北水稻适宜发展规模。     

一种面向对象的Petri网

柔性制造系统属于离散事件动态系统，具有实时、并发、异步等特性，由于Ｐｅｔｒｉ网模型的图形表述和数学描述，使它既可以采用数学分析，又可以通过图形形象地表述出离散动态系统，故广泛应用于制造过程动态行为建模与分析。而面向对象建模与设计是一种围绕真实世界的概念来组织模型的全新的思考问题方式，面向对象的模型能帮助对问题的理解，有助于同领域专家通讯交流。本文在Ｐｅｔｒｉ网基础上，引入面向对象技术，提出了一种面向对象Ｐｅｔｒｉ网（ＯＰＮ）模型，并以企业中的一项生产活动——二次电源生产过程为实例，建立了描述这一活动系统的完整的ＯＰＮ模型，真实地反映了系统的动态特性，从而为制造过程建模和分析提供了一个更为有效的工具     

励磁变换器控制的定子双绕组感应发电机优化设计

针对新型励磁变换器控制的定子双绕组感应发电机控制绕组励磁变换器容量的最小化问题，总结了带整流型负载的感应发电机的设计特点，给出了其变速运行时功率绕组励磁电容的优化方法，讨论了带整流型负载发电机计算容量的确定原则。本文还提出了将改进实数编码的遗传算法与二维有限元电磁场分析相结合的方法应用于变速运行的双绕组感应发电机的优化设计中，以实现全局优化，提高优化效率。样机优化结果表明，在转速变比为1：3时，该方法能使励磁变换器的容量减小到额定输出功率的1／3左右，从而减小了变换器的体积和重量。     

设计灵敏度分析的迭代模态法

在结构动态有限元数学模型修正、结构动力学修改以及结构动态设计中，灵敏度分析是十分重要的一环，往往也是主要计算工作量所在。如何在保证精确度前提下减少灵敏度分析工作量和计算时间，具有重要意义．本文提出的迭代模态法，可以大大提高特征向量对设计参数导数（模态灵敏度）的计算效率。本文还从理论上证明经典模态法和修改模态法只是迭代模态法的特殊情况。文中还给出了ＦＯＲＫ，３Ｄ－ＦＲＡＭＥ两种结构为实例的计算机仿真，并与已有两种模态方法进行比较。理论分析与计算机仿真表明，本方法不仅能充分保证特征向量灵敏度分析的精度，而且大大提高了计算速度．     

基于γ-Reθ转捩模型的高超声速复杂构型转捩模拟

在大规模并行可压缩Navier-Stokes求解器AHL3D框架上，搭建了γ-Re_θ转捩模型。在该模型基础上，通过高超声速二维进气道构型算例，加入了可压缩性修正，使其能够模拟可压缩性对转捩位置的影响，同时通过修改分离诱导转捩关键参数，增加了模型对粗糙颗粒诱导强制转捩的敏感性，最后对耦合关系式也进行了适当的修改。为了验证修改后的模型对高超声速自然转捩和强制转捩的预测能力，对Ma7.4 Ames全尺寸模型和单个粗糙颗粒诱导Ma6的平板转捩进行了模拟。结果表明:与原始模型相比，修改后的模型的转捩位置被大大推迟，并且粗糙颗粒诱导转捩的作用被加强，与实验结果吻合良好。采用此模型对X-51A的20%缩比进气道模型在普渡大学Ma6静音风洞中的试验状态进行了模拟，模型不仅能够反映来流湍流度对转捩的影响，也能反映转捩带对转捩的促进作用。结果显示修改的转捩模型在高超声速复杂构型的转捩预测及研究中具有很好的应用潜力。     

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

分析了时态查询、时空查询和不确定性时空查询的各类查询形式及其查询特性,以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还缺少的语言设施。