差分分析在序列密码攻击中的应用

给出了差分序列的若干性质，对差分分析方法在序列密码中的应用作了一些探讨，并给出了攻击实例。     

中立型脉冲微分方程正解的存在性

利用压缩映射原理，讨论了中立型脉冲时滞微分方程正解的存在性。     

一类常微分算子的谱分析

研究了一类具有对数函数系数的常微分算子，使用酉变换和不等式估计给出了本质谱分布的范围和本质谱为空集时系数应满足的条件，通过与常系数微分算子及Euler微分算子的比较，分析了系数的变化对本质谱的影响．     

一次雷达气象数据处理研究

随着雷达技术的不断发展，目前越来越多的航管一次雷达在提供飞机运动学参数(位置、速度、加速度等)的同时，还提供了相应的气象信息．气象信息是为飞行服务的，气象条件与飞行安全的关系是极其重要的．在国际、国内的飞行事故原因中，有很大一部分跟天气或气象保障原因有关，也有不少飞行事故完全是由于天气原因造成的．因此，为飞机的飞行提供相应的气象数据，有着极其重要的意义．     

一种Eureka-147数字声音广播系统频率捕获算法

提出了一种新的Eureka-147数字声音广播(DAB)系统的频率捕获算法.该算法采用了基于相邻子载波之间差分检测的频率估计,消除了符号定时误差引起的相移影响,根据频率估计测度的最高值与其左右邻近值关系将粗频率估计分辨率提高到0.5,频率捕获残留的载波频率偏移减少到-0.25～0.25,避免了通常的精频率偏差估计算法在±0.5左右时性能严重恶化的问题.     

一阶脉冲时滞微分方程解的全局存在性

考虑具有变时脉冲的时滞微分方程初值问题x′(t)=f(t,x(t-h)),t≠τk(x),Δx=Ik(x),t=τk(x),k=1,2,…，x(t)=φ0(t),t∈[t0-h,h0],x(t0 0)=x0,获得了其解全局存在的充分条件     

具有边界摄动的二阶微分方程的奇摄动问题

研究了一类具有边界摄动的奇摄动问题,在适当的条件下,利用微分不等式理论证明了边值问题解的存在性,讨论了其解的渐近性态.     

关于系数平方增长的带跳BSDE的解(Ⅰ)

讨论了系数关于q为平方增长,p和-y为指数增长的带跳倒向随机微分方程(BSDE)解的存在性,以及有这种系数的反射BSDE解的存在性.     

流体静力学的外微分形式

用几何的观点，把微分形式引进流体静力学，从而得到了热力学第一定律的一次形式．并利用外微分的性质，导出了流体静力学的一些基本关系．     

非线性中立型延迟微分方程Runge-Kutta方法的稳定性

对Rα,β类非线性中立型延迟微分方程给出了稳定及渐近稳定的充分条件,对于Runge-Kutta方法应用于上述问题得到的数值方法，获得了其稳定及渐近稳定的条件。