缓冲区溢出攻击与防止技术

详细讨论和分析了由于 C/C 语言不进行数组和指针的边界越界检查造成缓冲区、堆栈溢出的原理、要素、以及对系统造成的危害 .对“禁用栈执行、使用安全 C库支持、编译器技术”当前最新的几种防御技术进行了讨论 ,并给出了部分具体的实例程序源代码 .     

半线性波动方程的分片光滑解

考虑来自半有界弦振动的一维半线性波动方程的间断初边值问题 ,利用特征线法证明了该问题的分片光滑解的全局存在性定理 .     

小鼠卵母细胞成熟和老化的不同阶段受精诱导的胞质Ca~(2+)波动

大部分哺乳类卵母细胞成熟后休止于第二次成熟分裂的中期(MⅡ).在受精过程中胞质游离Ca~2浓度[Ca~(2 )]_i从nmol/L水平上升至μmol/L并且有规律地波动,即Ca~(2 )波动或振荡(Oscillation).研究表明,胞质游离Ca~(2 )波动是诱导MⅡ卵恢复第二次成熟分裂的重要信号.以往的研究主要集中于成熟MⅡ期卵受精诱导的[Ca~(2 )]_i波动.对于未成熟卵和卵老化过程中受精诱导的[Ca~(2 )]_i波动研究较少.有报道仓鼠生发泡(Germinal vesicle,GV)期卵受精诱导的[Ca~(2 )]_i波动振幅仅为成熟卵的1/2.对于小鼠GV期卵受精诱导的[Ca~(2 )]_i波动则报道不一.本文研究小鼠生发泡期、生发泡破裂(GVBD)、第一次成熟分裂中期(MⅠ)、第二次成熟分裂中期(MⅡ)及老化过程中卵母细胞受精诱导的胞质[Ca~(2 )]_i波动的特点,在卵母细胞成熟和老化的过程中认识受精[Ca~(2 )]_i波动机制的形成和变化.     

带三阶粘性项的高维广义KdV—Burgers型方程组的整体解

考虑了一类带三阶粘性项的高维广义ＫｄＶ－Ｂｕｒｇｅｒｓ型方程组的周期边值问题和初值问题，利用先验估计及Ｇａｌｅｒｋｉｎ方法，证明了所论问题整体解的存在性、唯一性和正则性。     

Euler梁的波动控制

随着航天结构向大型和柔性发展,在解决它的振动控制时,尤其是对于具有密集频率的结构,传统的模态控制法遇到了很大困难.以本文作者提出的一种波动控制方法——递减法来解决某些振动控制问题,显得很有发展前景.等截面梁的自由振动方程为     

激光扫描测量系统扫描速度不均匀的实时校正

在激光扫描测试系统的研制过程中发现，扫描电机转速波动是导致测试精度难以提高的主要原因。在实验研究的基础上，通过分析扫描电机的转动特性，提出了一种实时补偿电机转速变化的有效方法，实际应用表明该方法不仅能使测量精度提高一个数量级，而且大大简化了系统的硬件结构。     

具时变系数波动方程的半内严格控制

证明了一个具时变系数的波动方程的半内严格可控性，所使用的基本方法是Ｈｉｌｂｅｒｔ唯一性方法。     

微小尺度流动应力波动尺度效应

通过对常温下具有不同晶粒直径的微型铜圆柱体进行镦粗实验,研究了微小尺度下流动应力波动尺度效应现象.结果表明,在应变量相同条件下,流动应力波动幅度随晶粒尺寸的增大而线性增大;在晶粒尺寸相同条件下,流动应力波动幅度随应变量的增大而增大.基于晶体塑性理论及数理统计理论,建立了流动应力波动幅度与晶粒尺寸和坯料几何尺寸间的关系.     

广义非线性超弹性杆波动方程的行波解

研究了广义非线性超弹性杆波动方程ut-utxx 12g′(u)ux=γ(2uxuxx uuxxx)行波解的存在性,这里t∈(0, ∞),x∈(-∞, ∞),g(u)是关于u的多项式.通过讨论方程的极限零点和非极限零点,获得了保证其行波解存在惟一性的充分条件.     

一类非线性波动方程解的存在惟一性

证明了一类非线性波动方程解的存在惟一性。首先利用Galerkin法构造了近似解序列，然后利用一致先验估计，证明解序列的收敛性，从而得到解的存在性，在此基础上证明了解的惟一性。