微分中值定理的又一证明方法

用“发现”法证明微分中值定理,精简教学过程,培养学生创造性的思维能力.     

Liapunov稳定定理的一个注记

Liapunov稳定定理要求V(t,x)函数为正定,本文放宽了这个要求,V(t,x)可以是变号的;并举出Lienard方程和哈密顿力学系统两个例子以说明这一放宽的意义。     

空间体J积分表达式及其守恒性

受Rice的J积分的启发文中定义了空间体J积分,从三维角度定义了J积分的空间表达方式,并证明了文中定义的由闭合曲面表达的空间J积分具有守恒性,是对Rice的二维J积分理论的拓展和延伸,为研究求解含裂纹的弹塑性断裂问题提出了新思路.     

拟范数性质（二）

讨论了赋次范空间中线性算子的Banach逆算子定理，闭图象定理，共鸣定理及推论。     

基于免疫算法多信号数字测向的研究

介绍了时差基线测向的原理,分析了测向过程中存在的模糊性问题和双基线系统余数定理解模糊的方法．根据虚拟阵元概念,解释了基线长度之比为互质数之比时多基线系统的相位解模糊算式,并提出了基于免疫算法的解模糊方法．阐述了基于免疫算法的机理,并建立免疫优化的实现方案．进一步提高了基线测向系统的鉴相能力,可实现多信号测向．仿真结果表明该方法是有效的．     

序线性空间中集值优化问题弱有效解的最优性条件

在序线性空间中,引入(u,02;Y+)—广义次似凸集值映射,建立了此映射下的一个择一定理.利用此定理,在序线性空间中获得了带广义不等式约束的集值优化问题弱有效解的最优性必要条件和充分条件.     

一类集值算子不动点定理

在Banach空间中研究了一类集值算子的不动点存在性,在不附加连续性条件下得到了不动点存在性结果,且给出了其不动点的迭代收敛序列.     

一类非线性微分方程周期解存在的条件

本文用非线性泛函分析的理论和方法研究了一类非线性徽分方程周期解的存在性, 并给出了周期解存在的条件。      

格区间值Fuzzy集的分解定理(Ⅰ)

对格区间值Fuzzy集作了进一步的研究,分别给出了[λ1,λ2]、(λ1,λ2]、[λ1,λ2)、(λ1,λ2)上的下截集、上截集、下重截集和上重截集的新的定义及一种新的闭区间与格区间值Fuzzy集的运算,并给出了与此相应的四条重要的分解定理.     

基于面元法的二维物体绕流分析

文中基于面元法,在物体表面边界分布源汇和偶极子,发展了一种数值求解二维水翼定常绕流问题的计算模型。该方法以物面速度势为未知量进行求解,进而得到水翼的压力分布和相关水动力性能参数。通过数值计算结果与试验数据和相关理论解析解的比较分析,证实了本方法的可行性和可靠性。