极限的求导剥离法则

给出一种新的求函数极限的方法———求导剥离法,使许多常见的经典求极限之例得到巧解和扩充.     

汽车侧围外板锐棱成形工艺设计与数值模拟

为实现锐棱化腰线在汽车覆盖件上的工业化应用,以腰线圆角半径为2.5 mm的某车型侧围外板为研究对象,借助FEM仿真软件,对锐棱化侧围外板进行成形工艺设计和数值模拟.通过冲压方向优选、压料面随形设计、浅拉延工艺补充面设计、余肉隆起设计以及流入量调整等方法,解决了锐棱化侧围外板拉延开裂以及腰线滑移等质量问题.最终按照优化后...     

空基外辐射源定位系统的可观测性分析

针对空基外辐射源定位(airborne external transmitter location, AETL)系统的可观测性问题,建立了AETL系统的二维运动学模型与量测方程,基于离散化的非线性可观测理论求解系统的可观测矩阵,并分析证明了系统不可观测的条件。基于矩阵分析理论的条件数定义了系统的可观测度,并仿真分析了观测站运动参数以及目标和外辐射源的机动参数对系统可观测度的影响。结果表明,当观测站与目标和外辐射源共线或目标和外辐射源保持径向运动时系统不可观测;当系统可观测时,观测站与目标和外辐射源之间的相对速度越小,系统可观测度越大。研究结果可为观测站制定机动策略提高系统定位性能提供有效的参考依据。     

边界条件含特征参数的三阶微分算子的自伴性和特征值的依赖性

研究一类边界条件含有特征参数且具有转移条件的三阶微分算子的自伴性和特征值的依赖性.通过在新的Hilbert空间定义线性算子T,将问题转化为对相关线性算子T的研究.利用算子理论,证明了该算子的自伴性,在此基础上,讨论了特征值的连续性,特别研究了特征值关于相关参数的可微性,并得到相应的微分表达式.     

奇摄动非线性系统Robin边值问题的多种层性质

通过研究一类具有转向点的二阶非线性系统Rob in边值问题的奇摄动.在适当的假设条件下,利用微分不等式方法得到了解的存在性和渐近估计.     

具有两个滞量的微分差分方程的周期解

讨论了具有两个滞量的微分差分方程周期解的存在性.在HT1空间内,构造了一个泛函φ(u),并且证明了方程存在周期解和泛函具有临界点的等价性.再利用泛函的临界点理论,得到了方程具有周期解的充分条件.     

行列式函数构造与应用的一点注记

将行列式与微积分结合起来,用行列式定义某些函数,利用行列式的性质和计算方法分析函数,通过微分中值定理的归一性、微分中值定理与积分中值定理的联系等实际例子,讨论行列式函数的构造及其应用.     

关于拉普拉斯变换的几个定理

拉普拉斯变换及其逆变换在积分计算和求解微分方程中有着很多重要的应用,本论文主要研究一维和二维拉普拉斯变换,分别得到它们的功率定理和自相关定理,且讨论了二维拉普拉斯变换的留数定理以及它的微分性质.     

局部紧Hausdorff空间上的Fuzzy测度

研究局部紧Hausdorff空间X上的Fuzzy测度的正则性。首先引入X上内(外)正则集,正则集以及正则Fuzzy测度的概念,并给出了Fuzzy测度正则的充要条件和任意两个紧(或紧Gδ)集的正常差内(外)正则的条件。其次证明单调递增的内正则集的并是内正则的,具有有限Fuzzy测度的单调递减的外正则集的交是外正则的。最后在严格单调条件下,证明具有有限Fuzzy测度的有限个两两不交内正则集的并是内正则的以及每一个紧(或紧Gδ)集是外正则的当且仅当每一个有界开集是内正则的。     

求解变分不等式与不动点问题的惯性次梯度外梯度算法

提出了一种求解变分不等式与不动点问题的惯性次梯度外梯度算法,证明了其弱收敛性定理,通过数值实验验证所得的理论结果.