用区间套定理证明Rolle定理、Lagrange定理

Rolle定理和Lagarange定理是两个重要的微分中值定理,它们是Cauchy定理的基础,进一步为L'Hospital法则求极限提供了理论依据.它们还是研究函数增减性、凹凸性的基础.它在整个微分学中起着把微分的概念和方法应用于许多数学物理问题的桥梁作用.本文用区间套定理给出它的另一种证明.     

基于Fourier变换非一致间距阵列的一种合成法

基于阵列图及其分布间的Fourier关系，作者提出了非一致间距阵列的一种合成方法。在Fourier关系下，通过抽样一个给定的阵列图，就能使用FFT(快速Fourier变换)得到其近似连续的阵列分布。为提高改善阵列图的性能，提出一个算式用于决定非一致间距阵列的空间间隔，从而在合成的阵列中保持更多的能量。该方法简单且易于应用。     

有关李群局部生成定理的运用与研究

本由李群局部生成定理出发得出了一些结论，并对李群结构性质作了相关讨论。     

强连续余弦算子函数的不可约性

讨论了强连续余弦算子函数的不可约性及其共轭扰动余弦算子函数的不可约性,建立了以下两个结果:1)设(X,‖·‖)为Banach格,{C(t)}t≥0是正的强连续余弦算子函数,B∈B(X,XΘ)是一个正算子,那么,扰动余弦算子函数{CB(t)}t≥0是不可约的充要条件为:J={0}及J=x是仅有的满足C(t)J J,K(λ)J J的闭理想,这里t≥0,K(λ)=R(λ2,AΘ)B.2)设{C(t)}t≥0是Banach格上的具有生成元为A的正余弦算子函数,则以下论断等价:①{C(t)}是不可约的;② 0>0;③对λ>S(A),R(λ2,A)是强不可约的;④对λ>S(A),R(λ2,A)是不可约的.     

区间值模糊集合的表现定理

针对区间值模糊集合，给出了2类区间值集合套的定义，得到了2个区间值模糊集合的表现定理。     

基于现场可编程器件的全数字成形滤波器实现

研究全数字基带成形滤波器的实现．根据数字通信中的基带传输原理，分析基带传输中成形滤波的必要性和几种常见实现方法的优缺点．选择了其中的查表法，并通过采用基于现场可编程门阵列器件的硬件描述语言，对该方法进行了全面的仿真和分析．采用该技术实现的全数字成形滤波器可以针对不同速率及指标在系统中方便地进行修改．符合未来数字通信软件化的趋势，在软件无线电中有广阔的应用前景。     

采场模糊渗流定解问题的可表示性

采空区气体模糊渗流问题由模糊偏微分方程所描述，模糊微分方程是未知函数及其导数与已知模糊函数或者模糊常数的条件等式。方程解的模糊性是由已知模糊函数或模糊常数所引起的。当已知函数或常数为区间值函数或区间数时，相应的方程为区间微分方程，由于模糊函数或模糊数的截集为区间值函数或区间数，通常，模糊微分方程的解是利用模糊函数或模糊数截集所对应的区间微分方程解通过表现定理给出。由于模糊微分方程的解必须是模糊函数，如果通过表现定理给出的模糊微分方程方程的解是模糊函数，则称方程的解是可表示的，本文在给出模糊微分方程解的可表示定义同时给出了解的可表示判定条件，并且证明了有采空区气体模糊渗流定解问题的可表示性。     

退化C0半群的扰动

讨论多值线性算子A生成的退化C0半群在线性算子B下的扰动问题，在退化C0半群的生成定理的基础上，本文对于B为单值有界，相对A有界，以及B为多值线性算子的情况分别给出了A在B下的扰动A B生成退化C0半群的条件。     

基于DCT的人脸特征提取

设计一个准确性和鲁棒性均很好的人脸识别系统．该系统利用DCT来提取人脸特征，并且采用归一化技术来提高人脸对几何特征与光照的鲁棒性．并在人脸图像库中对系统进行了测试．实验表明，该系统的识别率和速度要比采用其他识别方法的系统好很多．①     

奇非线性多调和方程的整体正解

证明了具有奇性的一类非线性多调和方程在R^n(n≥3)上的整体正解的存在性和多解性，用两个具体的例子说明定理的应用．