具有执行器饱和不确定线性系统的控制

主要研究了一类具有执行器饱和不确定线性系统的控制问题,探索当执行器饱和与不确定项同时存在时,系统渐近稳定的条件,并证明所得结论。首先,根据扇形区域法将饱和函数的饱和项表示出来。同时,根据Lyapunov稳定性理论,给出具有执行器饱和的线性系统渐近稳定的充分条件,并设计相应的状态反馈控制器,使系统渐近稳定。然后,借助椭球体参考集,进行系统吸引域大小的估计。为了便于使用Matlab软件进行求解,将上述系统渐近稳定的充分条件转化为线性矩阵不等式的形式,进而利用LMI工具箱进行求解,得到相应数据。最后,给出仿真算例,证明了结论是有效可行的。     

关于连续型随机变量函数分布类型的一个反例

给出了一个反例,说明一个连续型随机变量由非平凡的连续函数作用后得到的新随机变量不一定为连续型随机变量.     

一种任意起始位姿的连续曲率泊车路径在线规划方法

针对目前泊车路径规划算法对起始位姿要求严格，且难以兼顾最终位姿精度、路径质量及计算效率等问题，提出了一种任意起始位姿的连续曲率路径在线规划方法。该方法将整个泊车路径规划分为库位内调整与入库过程两部分。库位内调整采用以最终位姿高精度与调整次数最少为目标函数的最优化方法进行逐段规划；入库过程采用连续曲率曲线组用于混合A*算法的状态节点扩展以直接生成无需后处理的可执行路径。设计考虑路径的曲率变化与方向改变次数的估价函数；采用由路径几何形状特征点构建特征多边形的碰撞检测方法以提高计算效率。离线仿真与实车试验结果验证了该方法的有效性。     

一种新的结合奖励机制的ETLBO算法

通过对原ETLBO(elitist teaching learning based optimization)算法引入一种新的奖励机制, 提出一种新的结合奖励机制的ETLBO-reward算法, 并基于该算法提出一种简单自适应的精英个数算法RETLBO reward, 该算法保留了传统算法参数少、 易实现、 收敛快等优点, 进一步提升了传统算法的收敛能力. 对6个连续非线性优化问题的测试结果表明, 这两种算法均具有良好的性能, 求解效率较原ETLBO算法有明显提升.     

局部有界双连续n次积分算子C群的生成元及性质

在一个带有局部凸拓扑τ的Banach空间上,提出了局部有界双连续n次积分算子C群的定义,以及局部有界双连续n次积分算子C群的生成元,证明了其若干性质.     

密度均匀连续分层流体的内波格林函数

考虑自由表面的影响,从理论上建立了在密度均匀的连续分层流体中脉动点源生成内波的数理模型,应用Fourier变换和围道积分,推导出点源脉动频率的平方小于Brunt-Visl频率的平方条件下含自由面的连续分层流体中脉动点源的内波格林函数,并给出了详细的解析表达式,讨论了解的性质、内波的生成机理和自由面的干扰机理及波动特征.结果表明,所提出的连续分层流体中脉动点源的内波生成格林函数具有较好的准确性.     

变分不等式的惯性次梯度外梯度算法

在实Hilbert空间中提出求解单调变分不等式的惯性次梯度外梯度算法，其中变分不等式的可行集是一个光滑凸函数的水平集.新算法应用惯性加速技巧，迭代过程中对映射F赋值一次，并只需向两个半空间作投影两次.在适当的假设下，证明该算法的弱收敛性.新算法改进和推广相关文献中的相应结果.     

函数列一致收敛的奥斯古德定理

研究函数列的一致收敛性的理论方法问题,在有限闭区间上,给出了判断函数列一致收敛的奥斯古德定理和狄尼定理的两种形式,对奥斯古德定理给出了两种证明方法,给出了奥斯古德定理的几个推论,沟通了相关知识的联系,并通过实例说明奥斯古德定理的应用及其理论价值。在开区间或无限区间上,给出了函数列一致收敛的判别定理,并应用于研究含参变量广义积分的一致收敛性,从理论上沟通了函数列一致收敛与参变量广义积分的一致收敛的内在联系,构成一套理论方法体系。     

美国宇航局将办飞艇设计竞赛

<正>巨型太阳能飞艇或许将承担低成本通讯和监视任务。这是在美国宇航局支持下公布的最新报告中提出的观点。这份报告认为平流层飞艇可以飞到地球大气层边缘,从而为科学实验乃至假设天文望远镜提供一个很好的平台,而且所需费用也非常低。美国