无穷维情形下的Rolle定理

设Ω是自反的实Banach空间X中的有界开凸集,Y为一实赋范线性空间。证明了一个无穷维情形下的Rolle定理：如果算子A∶Ω→Y在Ω上强连续,在Ω内Frèchet可微,并且存在Y上的非0连续线性泛函f,使得f（Ax）=0对一切x∈Ω成立,则至少存在一点∈Ω,使对一切u∈X,都成立f（A′（x）u）=0。     

基于不确定性的设计方案经济可承受性分析

研制周期中的不确定性因素对飞机总体方案的评估结果有着重要影响.通过对飞机设计过程中不确定性因素的分类及其相应处理方法的分析,建立了基于区间数层次分析法AHP(Analytic Hierarchy Process)和鲁棒设计RD(Robust Design)的概率多准则决策MCDM(Multiple-Criteria Decision-Making)方法,可用于处理不确定因素影响下的飞机总体设计方案评估问题,并使评估结果更具科学性.通过上述方法的引入,着重考虑了新技术的引入和寿命周期费用的波动对设计方案的影响,建立了基于不确定性的设计方案经济可承受性分析结构模型.最后,利用算例分析检验了上述分析模型的有效性.     

MGEKF可修正增益矩阵的研究

MGEKF就是基于EKF衍生出的一种修正算法。MGEKF算法是基于非线性函数是可修正的特性,详细介绍非线性函数的可修正增益矩阵的定义和推导方法,通过实例对方位角的可修正增益矩阵进行推导,并归纳出工程上计算修正增益函数的方法和步骤,最后利用Maltab仿真了MGEKF和EKF的滤波过程,证实了MGEKF算法的优越性。     

基于MCS-51的应用系统可重构加密技术的设计与实现

为防止MCS-51单片机应用系统被未经授权的仿造,可以通过改变系统的硬件电路及软件程序对单片机应用系统加密。本文在以Intel公司的MCS-51系列单片机为例来介绍单片机应用系统的通用加密技术基础上,分析了其优缺点,并提出一种硬件结合软件、虚实地址相互变换的综合实时加密技术可重构加密技术,以实现单片机应用系统的软硬件综合加密。     

多链可重构模块化机器人的构型转换

可变形指尖陀螺是一种流行的玩具,其多链、可变形的优点为空间机器人提供了一种方案。以此玩具为启发,结合链型机器人灵活多变的特点,引入了多链可重构模块化机器人。以构型分析及构型转换策略为重点对多链可重构模块化机器人的拓扑构型展开研究,使其改变拓扑构型来适应不同任务。首先,结合整数拆分及排列组合,建立了适用于正六边形基座的模块化机器人基本非同构构型库,提出了一种非同构构型枚举算法,该算法表明非同构构型数随模块数的增加呈指数型增长;其次,以构型转换为核心,定义了基于结构特征的等价关系库,设计了一种构型匹配的重构策略来完成构型间的最优匹配与转换;最后,通过演示与仿真,验证了重构策略的有效性。     

基于VaR-PARCH-CED模型对附有赎回条款的可转换债券风险测度的研究

本文首先对附有赎回条款的可转换债券的风险因素进行分析,然后以桂冠转债的日收盘价格数据为样本,利用不同分布假设下的PARCH族模型进行实证研究,结果发现GED分布所测得的VaR要比t分布和正态分布所测得的VaR值更精确,更适合可转换债券风险测度要求。     

可重构生产系统的BAOOIM建模法研究

提出了一种集成的建模方法——BAOOIM建模法。这种方法集成了面向对象模型、功能模型、动态模型的优势从不同的角度描述了可重构生产系统,而且BAOOIM建模法采用一定的映射机制在各个子模型之间进行转换,最终在整体上保持了集成模型中各子模型的一致性,从而为可重构生产系统的设计与控制、性能分析和调度奠定基础。     

RLV末端能量管理段三维鲁棒制导方法

针对传统可重复使用运载器(RLV)末端能量管理段(TAEM)制导方法在精度和实时性方面的不足,提出了一种三维鲁棒制导方法,提高扰动情形下的返回精度。首先,转换RLV时域制导模型为以高度为自变量的等效模型,设计基于滑模控制理论的制导算法,根据运载器当前状态生成满足动力学、末端和动压约束的状态轨线及制导指令;输入指令至RLV时域制导模型,一个制导周期后根据当前飞行状态更新制导指令,抵抗气动、大气及质量偏差等扰动。标称和扰动两种情形下的仿真验证了制导方法的性能。