全状态受限的高超声速飞行器的预定性能滤波反步控制

针对气动参数不确定和状态受限的高超声速飞行器的稳定跟踪控制问题，提出基于固定时间干扰观测器的预定性能滤波反步控制策略。首先，在反步控制的每一步中引入障碍Lyapunov函数，保证系统状态满足预先设定的约束要求。其次，设计固定时间干扰观测器对综合不确定进行估计；同时，构造新型的一阶滤波器避免传统反步控制的"计算爆炸"问题。再次，基于Lyapunov稳定性理论证明输出跟踪误差有界且状态满足约束要求。最后，通过对比仿真验证控制策略的有效性。     

涡环物理特征的研究

通过数值模拟涡环的形成,进而采用基于涡环的随体坐标系下的流函数方法确定涡环的边界,分析不同形成时间(活塞冲程/活塞直径)涡环的物理特征参数(涡环的体积、半径、能量等参数)的变化。通过与实验结果和Slug模型的理论分析结果做对比,该方法能合理地确定涡环的边界和其它物理特征参数。进一步研究中发现当形成时间小于4(此时涡环发生夹止)时,涡环的涡核半径随形成时间的增加而增加,夹带能力在下降,而当形成时间大于4后,涡环的涡核半径不再进一步增加,并且夹带能力开始增大。     

数学表达式遥测工程参数解析系统实现

为解决航天靶场测控中心实时遥测数据处理软件开发过程中航天器工程参数类型多、数据量大,遥测参数必须频繁更动源代码的问题,引入了数学表达式解析方法。论述了表达式解析系统的设计思想,并从理论上对表达式解析系统的需求和设计原则进行简要分析,在Qt集成开发环境中结合标准C++库进行了系统实现,提出了逆序函数处理思想,有效解决了函数嵌套的问题,最后通过举例详细说明了表达式解析系统的处理过程,并通过测试字符串表达式验证了系统的正确性。     

线性调频信号检测算法的性能

最近研究的拉东(Radon)模糊变换算法检测到了未知中心频率、带宽及持续时间的线性调频(LFM)信号。本文通过模拟验证了这种算法在噪声中检测LFM信号的能力，同时还提供了信号扫描速率及持续时间的估值。用归一化步长扩展了该算法使其能抑制宽带干扰。还讨论了今后需要解决的问题。     

数字时间戳协议RFC3161的设计与实现

对RFC316协议的的结构和基本工作方式进行分析,利用Java技术开发了一个跨操作系统平台的简便、灵活的数字时间戳W eb服务系统。实现了RFC3161协议的基本功能。     

基于功率复用的椭圆球面波函数非正交调制方法

围绕如何降低基于椭圆球面波函数的非正交调制（PSWF-NPSM）系统误码率，降低信号检测复杂度，引入调制信号功率复用思想，提出基于功率复用的椭圆球面波函数非正交调制（PD-PSWF-NPSM）方法。该方法对载波信号按子波带进行功率分配，增加了调制信号最小欧式距离，降低了系统误码率；在接收端，提出基于检测统计量的串行干扰相消信号检测方法，依据不同支路信号间功率差异，对信号进行分离、检测。理论与仿真分析表明，该方法在不降低系统频带利用率、调制信号功率谱、峰均功率比特性前提下，能够有效提高系统误码性能，降低调制信号检测复杂度；与原非正交调制方法相比，当误比特率（BER）为10^-5时，所提方法系统误码性能提升约1.7 dB。     

关于单叶解析函数一类子族的增长、掩盖定理

本文研究了单叶解析函数的一类子族βα族,令f(z)∈βα且z=0是f(z)-z的k+1阶零点,我们得到了f(z)的较为精细的增长、掩盖定理,所得结论推广了某些已知结果。     

关于多元函数的二阶混合偏导数不相等的例子

指明考察多元函数的二阶混合偏导数不相等问题的理论依据，给出两类二元函数的二阶混合偏导数不相等的例子，并说明在此基础上取得新例子的方法。     

图像平滑与去噪方法:各向异性散射滤波

介绍了一种图像增加方法.从数学原理入手,说明了各向异性散射滤波的作用.它具有相对简单的形式,但滤波效果也令人满意,作为图像预处理阶段,它的作用是明显的,也将得到广泛的应用.     

从一道习题看求偏导的方法

《高等数学》教材上常见到这样一道习题:f(x,y)=x y (y-1)arcsin(x/y)~(1/2),求f＇_x,(x,1),f＇_x(0,1),f＇_u(0,1)。此题看似普通,内涵颇多,能正确理解并完全做对的同学很少。究其原因,是对偏导定义、求偏导的方法等问题未能透彻理解。下面先看一种错误解法: 解:欲求f＇_x(x,1),f＇_x(0,1)及f＇_y(0,1),先求f＇_x(x,y),把y看作常量,对x求导,得: