一个自主Agent框架及其决策

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

分布式实时系统中的多Agent调度

以机场航班运营管理系统(flight operation and management system，FOMS)为应用背景，对分布式实时系统中的Agent调度算法进行探讨。在分析实时系统特点的基础上，结合具有定时事件序列特征的FOMS，对定时事件序列进行了形式化描述，建立了分布式实时多Agent。系统的结构模型，并对其结构特点、系统负载能力和常用的Agent实时调度算法分别进行了分析与论述。为解决分布式实时系统中多Agent调度与迁移过程中实时任务处理不问断性和通信可靠性问题，本文提出了事件处理的分级调度策略和多Agent调度的迁移与定位同步算法(Synchronization of agent moving and locating，SAML)，并对其实现机理以及Agent djrectory和Agent scheduler的中介服务在实现SAML中的作用进行了介绍。最后分别对采用SAML和异步迁移算法时事务处理的实时特性作了分析比较。     

基于多Agent的分布式制造执行系统模型

提出了一种开放式、模块化、分布式、可配置、可集成和可维护的基于多Agent的制造执行系统(MES)模型。首先分析了制造系统中的制造执行系统域，然后提出了基于多Agent的MES模型，采用UML图表详细分析了该模型的MES功能实现，最后给出了实施的MES系统框架。该MES系统易与企业资源计划(ERP)、车间控制系统(FCS)及其他制造系统相集成。     

多Agent智能制造系统研究综述

Agent与多Agent系统是分布式人工智能的主要研究方向之一，Agent技术已经被认为是进行分布式工业系统建模的一种重要方法，是设计与实施分布式智能制造环境的最自然的手段，是构建下一代制造系统的重要技术之一，基于Agent的制造系统是多Agent系统理论和方法在制造领域中的具体应用，在对Agent与多Agent系统技术研究进行简要总结的基础上，综述了Agent技术在制造企业集成，供应链管理、制造规划、调度和制造控制等方面的应用及其研究现状，并对Agent制造系统研究的主要内容及关键问题进行了探讨。     

多指标区间数关联决策模型的研究

根据区间数的特性，定义了区间数的距离，并证明了当区间数为实数时，区间数距离就是实数距离的推广；在此基础上，根据灰色关联度的理论，提出了区间数关联度的计算方法，从而把灰色关联分析理论由实数序列拓广到区间数序列；进一步研究了具有区间数的多目标决策问题，建立了多指标区间数关联决策模型。该模型不仅避免了寻求虚拟理想方案和负理想方案的困难，而且它把整个评价方案看作一个整体来寻求最优决策方案，还具有易于在计算机上实现的特点。最后，以实例验证了该模型的有效性与实用性。此方法为解决具有区间数多指标决策问题提供了一种科学、实用的决策新途径。     

极大代数在柔性制造系统建模中的不适用性

正确地认识和描述一个问题,是解决问题的前提条件。一个良好的柔性制造系统(FMS)模型可以反映其结构特性和预测其动态运行状况,为分析评价FMS的技术经济效益提供必要的信息,并为FMS的规划设计和运行决策提供依据。极大代数理论是目前常用的FMS建模方法之一,通过对极大代数理论和相应的FMS模型的分析,作者认为基于极大代数理论的FMS模型与实际系统相距甚远,无法反映FMS的柔性和FMS的动态运行过程。因此,极大代数理论不适合FMS的建模分析。     

一种新型人工神经网络的实现与改进——概率逻辑神经网络

概率逻辑神经网络模型是一新兴的神经网络模型,它不仅具有较快的训练速度,而且具有“自退火”性能,并易于硬件实现,从而成功地克服了误差反向传播(BP)模型的训练时间长,易于陷于局部最小点的弱点。本文将给出概率逻辑神经网络(PLNN)的一般结构、学习算法及其模拟实现的情况。并由此推广到多层联想网络的实现与分析,最后给出了PLNN与BP的比较结果。     

中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。     

民航发动机视情维修决策方法

为了提供可行的民航发动机视情维修决策方法,首先介绍了民航发动机视情维修决策理论。基于可靠性和状态数据建立了比例强度模型,根据该模型实现了发动机最优预防维修间隔决策和拆换决策,并通过收集发动机运行役龄和状态数据,实现了发动机在翼时间预测。最后以某航空公司CF6—80C2型号的发动机机队为应用实例,研究发现完备的发动机运营数据是准确决策的关键。研究结果表明,这些视情维修决策方法有助于更好地控制发动机维修活动和在翼时间,从而减少风险和维修成本。     

基于粗集的调度Agent知识库建模研究

首先通过相识集、招标集、投标集和中标者的概念，描述了车间调度系统中的调度Agent与资源Agent间任务分配的招投标关系；运用粗集理论，基于任务的属性和资源Agent完全任务的成本、质量、负荷和时间等属性构造决策表；在分析了决策表的特征基础上，生成调度规则集，即调度知识库；最后给出车间调度Agent的调度过程算法。     

智能产品数据服务环境

提出了一种支持复杂工程系统多学科协同设计优化的产品数据管理方法及基于系统优化任务的智能产品模型数据组织模式。通过工程控制结构模型，定义了产品优化任务，并为设计任务自顶向下进行产品模型控制提供了途径。利用产品主模型技术实现数据的完整性，通过设计任务的语境模型产生数据高保真的分析视图以及关联数据环境实现产品主模型和分析模型的一致性。整个产品数据通过协作数据对象的封装，以WEB服务的形式，使优化设计人员通过网络透明地获取产品数据。为了支持基于INTERNET的协同产品开发，采用了基于OPENHSF的流格式作为产品数据的显示方式。     

基于AutoCAD中三维绘图的教学探讨

阐述三维绘图及观察三维图像的一些经验、技巧和方法,帮助学生轻松从二维转换到三维设计,以提高学生计算机绘图的水平和效率。     

应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

某型涡扇发动机实时建模技术研究

通过对各部件特性的研究,提出一种简化部件计算过程的方法,该方法的最大特点是在某些部件的计算中使用很多通过试车数据所发掘的经验公式,用以代替那些繁琐的热力学计算,并合理选取初猜值,使模型能更快收敛,从而减少运算时间,提高模型的实时性。通过对比常规建模方法所建模型,可看出该模型具有实时性、稳定性好的优点。     

带多个进气道的导弹通气模型测力试验技术研究

高速风洞通气模型试验是研究发动机进气对飞行器气动特性影响的重要手段之一。带多个进气道的大长细比导弹通气模型测力试验结果与国外参考值具有很好的一致性。试验中影响试验数据质量的几个关键技术问题及其解决措施有内流管道设计要求、流量调节位置的选取原则以及通气面积比的确定等。     

基于灰色时序的航空发动机磨损故障预测模型

把时序AR(n)预测模型和灰色GM(1,1) 预测模型两者有机结合起来,形成新的灰色时序模型的预测模型.以发动机光谱为例,经过实测数据检验,显示了其更好的预测效果.     

飞机失速/螺旋模型自由飞试验总体方案构想中几个问题的分析

本文对制定飞机失速/螺旋模型自由飞试验总体方案时必然会遇到的一些重要问题进行了分析,其内容涉及模型缩尺比例数 K 的最佳选取、确定飞机进入螺旋特征模拟高度 H_A 的依据、模型投放高度 H_m 的变化范围和试验模型质量 M_m 的控制问题。本文所作的各种分析和提出的原则对各种模型自由飞失速/螺旋试验研究具有普遍意义。     

尾族自由飞试验模型的设计问题

本文阐述了尾旋自由飞模型的设计要求和模型缩尺比例数Ｋ的选取原则；对影响模型质量ｍ＿ｍ的诸因素进行了深入的分析；剖析了真实飞机发生尾旋的高度Ｈ＿Ａ与模型试验高度Ｈ＿ｍ的确定问题；对模型的结构设计和回收系统设计的一些主要问题也作了简要的讨论。     

基于Hammerstein模型的非线性建模与预测控制

所有实际的运动机构中都包含一定的非线性,对其进行精确的建模和控制是运动控制中具有挑战性的难题。文中提出了基于粒子群优化算法的RLS-PSO系统辨识建模方法,所得伺服转台模型具有良好拟合效果;对该模型提出改进的两步法,应用基于预测函数控制(Predictive functional control,PFC)的全局优化预测控制;伺服转台的仿真运行结果表明跟踪效果良好。     

2米旋翼模型试验系统研制

旋翼模型试验系统是开展直升机理论与技术研究、新机研制的最基本和最重要的试验设备。本文简介由南京航空学院研制的2米旋翼模型试验系统、它的设计思想和主要特点等。该系统主要用于开展直升机空气动力学、动力学和飞行力学等方面的试验研究,也可直接为直升机型号研制服务。其主要设计原则是满足试验要求、与现已有的风洞相匹配和满足可行性与灵活性要求等。 本文对旋翼模型、操纵与激振系统,动力、传动系统,测量系统,数据采集与处理系统,安全监控与报警系统,以及中央控制台与显示系统等的主要特点均作了简略叙述;还简要介绍了系统调试中的几个问题:温升、振动、天平标定及变距标定等。 系统调试完成之后,已成功地进行了几个典型的空气动力学与动力学试验。试验结果达到预定要求,表明该试验系统的研制是成功的。