一类变系数混合时滞细胞神经网络周期解的存在性和全局指数稳定性

应用Mawhin连续性定理和不等式方法,给出了一类变系数混合时滞细胞神经网络周期解存在和指数稳定的充分条件。该结论对神经网络的设计具有重要的参考价值。     

Wilkinson定理扰动界的改进估计

Wilkinson定理是代数特征值问题中的一个经典定理,文章给出了Wilkinson定理的结果中关于扰动矩阵上界的另一种估计形式,并指出该形式对Wilkinson定理具有一定的改进。     

多值非扩张非自映射的强收敛定理

对多值非扩张映射构造了两个迭代算法,在自反且严格凸Banach空间中证明了强收敛定理。研究结果推广了Matsushita-Takahashi的结果。     

n阶非线性常微分方程n点边值问题解的存在唯一性

n阶非线性常微分方程n点边值问题解的存在唯一性早在20世纪50年代就有人开始研究，所得结果都是在条件及其复杂，假设了一些边值问题解的存在性或唯一性(甚至包括其自身的)的基础上得到的，这给应用带来了困难。至今还没有人得到条件简单明了的便于应用的存在唯一性定理。这篇文章成功地将上述边值问题转化成了积分方程问题．并利用格林函数，不动点定理得到了较好的存在唯一性结果。为研究n阶非线性常微分方程非线性n点边值问题奠定了基础。     

时滞BAM神经网络周期解的存在唯一性

研究了一类具有变系数及状态依赖时滞或分布时滞的BAM神经网络模型的周期解存在唯一性问题,利用不动点定理获得了周期解的存在唯一性条件,并应用数例说明结论的有效性。     

正定几何规划及对偶问题的推导

给出了正定几何规划及对偶问题的有关定量证明，指出了原文献中凸数证明错误的地方，并补充了正确的证明。     

一类带两参数的高维脉冲泛函微分方程周期解的存在性

利用不动点指标定理,研究了下列带两参数的高维脉冲泛函微分方程:x′=A(t)x(t) λf(t,xt),t≠τk,△x|x=t k=μIk(x(τk)),t=τk,k∈Z ,建立了其周期解存在和不存在的一些充分条件。     

一类中立型高维周期微分系统的周期解

文中利用指数型二分法,结合不动点定理考虑如下形式的中立型高维周期系统: 苦d/dt[x(t)+cx1]=A(t,x(t))x(t)+f(t,x1),得到其T-周期解存在的充分性条件,所得结论改进或推广了早先文献中周期解存在的相应结论。     

一阶微分方程终值问题拟解的存在性

利用拟上下解方法,研究了一阶微分方程终值问题u′(t)=f()t,u(t),u(T)=xT拟解的存在性,并通过构造单调迭代序列得到该终值问题的最大最小拟解。     

固液相变问题的边界元法数值解

相变问题的数值计算方法有多种,本文用边界元法解应用工程中常见的相变导热问题。     

复域上右端为有理分式的常微分方程的显易解结构

本文给出了复域内右端为有理分式的非线性常微分方程的某一类显易解结构的一般形式，详细讨论了这类显易解结构存在的条件。     

加筋锥壳结构分析

本文将壳体微分方程的数学解算过程与其解的物理意义联系起来,结合结构力学中的力法概念,使求解的微分方程分成两组比较简单的形式;一组只求膜解,另一组只求齐次解。这种思路对于一般形式的薄壳均适合。因为锥壳在工程上应用最广,故本文以锥壳为例,列出了锥壳在各种常见的荷载下的计算公式,并应用上述的概念来解算组合锥壳的问题,使原来十分复杂的问题大为简化。     

激光制导炸弹的弹道解算与仿真

介绍了激光制导炸弹的组成、工作原理以及弹道方程的求解,并在给出初始条件下,对传统方式求解和柱坐标方式求解结果进行比较,给出了最理想的求解办法。同时根据实际情况对激光制导炸弹在不同条件下的投放进行了仿真。     

外边界位置对数值计算翼型绕流的影响

用数值方法计算翼型绕流时,外边界位置一般只取在距翼型有限的距离。本文用不可压位流理论找出该问题的精确解,从而得到外边界位置对计算的升力、阻力和表面压力分布的影响。     

TVD格式计算一维Euler方程间断解存在的几个理论问题

本文讨论了TVD格式按本文第二节A段意义推广到拟线性方程组的几个理论问题。指出:1.对于Riemann间断分解,Euler方程的解和Riemann不变量都没有TVD性质,因此不能将TVD格式自然推广;2.TVD格式是提高分辨率的一种途径,它不能保证得到物理解,能得到物理解的TVD格式一定是耗散守恒格式,因此将TVD格式推广时,必须保证格式是耗散的,否则仍会得到非物理解。并给出了一阶迎风格式,TVD2,UNO2得到的若干非物理解算例;3.非物理解现象只是发生在具有剧烈膨胀的单波区的计算上,而某些TVD格式若会得到非物理解,则一定发生在特征值变号的单波区的计算上。     

助推-滑翔式弹道中段的近似解

研究了助推-滑翔式弹道中段的近似解。首先根据不同假设条件,给出以下四种情况的近似解:(1)自由飞行段的解;(2)只考虑气动力常迎角飞行段的近似解;(3)考虑引力和气动力的合成解;(4)平衡滑翔解。再由上述近似解合成助推-滑翔弹道中段的分段近似解。通过与数值解的对比,验证了近似解的合理性。研究结果可为新型助推-滑翔式飞行器在方案论证阶段时的弹道特性分析以及射程、峰值热流和过载等特征参数的估算提供依据。     

用虚拟压缩方法求解不可压缩流动

本文详细介绍了虚拟压缩方法的基础理论,通过引入已经成熟的求解可压缩方法的数值离散格式,研制了一套具有宽广应用范围的数值模拟软件。对已知的几个经典问题的初步计算,得到了比较满意的结果。     

飞机风挡鸟撞动响应分析方法研究

建立了鸟体模型和风挡玻璃破坏准则,形成了一套完整的风挡鸟撞动响应分析方法。并对某型号风挡进行了鸟撞动响应分析,得出了鸟的运动轨迹和风挡的位移、应力、应变响应以及风挡玻璃的鸟撞临界速度,经与试验结果比较,两者吻合较好。     

Hale引理证明的修正

本文指出了著名的Ｈａｌｅ引理证明中的不足之处，并给以完善。