带时间参数的面向agent的程序语言AOPLID

对面向ａｇｅｎｔ的程序设计语言ＡＯＰＬＩＤ进行时态扩充,使之能表达并处理带时间参数的并发行动。对经典情境演算进行适当改造,使之能描述含时间变元的行动,因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程,因此可以将一个持续动作分解为两个时间上互不相交的瞬时动作,再引入一个新的关系流刻画这两个瞬时动作的执行情况,从而可在扩充后的情境演算中表达带时间参数的并发行动;对已有的ＡＯＰＬＩＤ离线解释器进行了适当改造与扩充,使之能执行带时间变元的ＡＯＰＬＩＤ程序;通过实例说明了该方法以及扩充后的一些语言特色。     

基于非均匀数据细分曲面重建的数据测量技术研究

为了提高细分曲面重建质量和效率，在对非均匀数据细分曲面重建算法研究的基础上，根据算法对数据的需求，给出了一种针对非均匀数据细分曲面重建算法的数据测量方法，并采用该方法对某型摩托车进行了测量重建。     

一个C程序切片系统的设计与实现

针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现的一个Ｃ程序切片系统，其中包括系统的概要设计思想，系统中使用的数据结构以及切片生成算法。Ｃ程序切片系统不仅可用于产生Ｃ程序的切片，而且可用于观察Ｃ程序的框架结构和有关变量的多种数据字典。所有这些结果，为Ｃ程序的测试、排错与维护提供许多有用的信息，对Ｃ程序的并行性检测、波动分析和复杂性度量提供有力的支持。     

小型无人机姿态回路的简化配置控制系统设计

提出了无人机的最简控制设计思想，并就姿态回路进行了两种最简控制结构（PI型、PID型）的设计。为了提高最简控制性能和设计效率，将输出反馈LQR控制理论进行了改进，使其能够解决飞行控制的跟踪问题。通过对某无人机姿态回路的最简控制设计表明，姿态回路的最简控制策略是成功的，控制系统的性能取决于最简控制结构，输出反馈LQR不仅具有很高的设计效率，而且能对最简控制结构进行规范描述。     

基于演化计算的线性规划原对偶内点法中的初始点选取算法

采用原对偶内点法求解线性规划问题,对初始点要求严格。根据初始可行内点的准则,定义了相应的达成度函数,并由达成度函数定义了适应值函数,从而提出了基于演化计算的线性规划原对偶内点法中的初始点选取算法。该算法基于和声搜索演化算法实现,经数值实验测试,结果表明,对所选取测试的典型线性规划问题,算法都能求得大部分问题的初始可行内点。     

基于固体微推力器阵列的卫星控制一体化算法

为了使固体微推力器阵列更具实用性,提出了一种适用于一体化控制的推力器布局方法;对基于固体微推力器阵列的推力器姿轨控分配算法问题分别进行了建模,引入了成本概念,保证推力器使用个数最少;将动态规划及贪心策略思想引入到了推力器分配问题求解中,建立了求解数学模型,进行了算法实现;对用于一体化控制中的推力器分配问题以及信息共享问题进行了分析。经过算法分析及仿真验证,该方法能有效快速求解该问题,有利于实现实时控制,能满足一体化控制的要求。     

基于LQR的飞机纵向控制律设计

介绍了最优二次型理论 LQR,以及加权矩阵 Q的选取。建立了某型固定翼飞机的纵向小扰动方程,利用显模型最优二次型法设计了飞机的纵向控制律,对飞机的 C*响应进行了改善。利用低阶等效系统方法,对飞机的法向过载和俯仰角速率进行拟配,并对设计的控制律进行飞行品质的评价,仿真结果表明所设计的控制律符合 而现代控制理论可以得到系统的状态变量模型,相比éêê ê? GJB 185-86的相关规范。     

航空发动机推力衰退缓解的神经网络控制

针对航空发动机气路部件性能退化导致的推力下降问题,提出一种基于变增量线性规划(LP)优化 神经网络控制方法用于航空发动机推力衰退缓解控制。该方法通过内环控制转速和发动机压比,外环修正发动机指令信号以缓解发动机推力衰退。其中内环非线性自回归滑动平均(NARMA-L2)转速控制器由神经网络训练得到;外环指令修正回路利用变增量LP优化方法调整发动机指令信号。以某型小涵道比涡扇发动机为对象进行仿真验证,结果表明,在4组仿真条件下,设计的控制方法在保证性能退化的发动机不超限的条件下使推力衰退至少缓解了46.5%,验证了该方法的有效性。     

空间目标光电巡天策略的优化

随着空间目标与碎片数量的激增,传统的基于目标跟踪的空间目标光电监视手段已不能满足需求,近年出现了面向空域的空间目标巡天观测。针对空间目标巡天观测的特点,同时考虑空间目标观测的目标个数和数据量,提出了一种空间目标巡天观测策略,并建立了相应的空间目标光电巡天优化数学模型。模型中通过0-1变量的使用,实现了目标函数和约束条件的线性化,十分有利于大规模问题的求解,能够更好地满足实际需求。仿真计算表明:策略简单,易于实现,并且有很好的效果;通过优化,只需要少量望远镜即能实现大批量空间目标的监视,并保持一定的观测数据量,为空间目标光电监视策略提供了新的思路。     

基于约束序贯M估计的时空域融合红外杂波抑制

针对红外弱小目标检测中的强背景杂波干扰抑制问题进行研究,提出了一种基于参数约束序贯M估计的时空域融合自适应杂波抑制算法.该算法首先在分析序列图像帧间失配的基础上建立了一种改进的时空域融合背景预测模型,结合二维离散傅里叶快速变换图像配准和双线性插值方法进行灰度值估计;然后,基于约束序贯M估计方法进行模型参数的自适应估计,...