罗尔定理证明一类存在性问题

提出罗尔定理证明一类存在性问题的方法,采用拉格朗日中值定理或柯西中值定理来证明这类问题往往需要构造精巧的辅助函数,我们还指出了这种方法的一般性.     

基于CCD采集的Mach-Zehnder干涉条纹图的处理算法

Mach-Zehnder干涉仪适用于研究气体密度迅速变化的状态。由于气体折射率的变化与其密度的变化成正比,而折射率的变化将使通过气体的光线有不同的光程,因此可通过干涉臂变化对干涉条纹图像效果的影响得到气体密度。实测中,采用图像采集卡和CCD来接收Mach-Zehnder干涉仪产生的条纹图像,再通过计算机对条纹图像的条纹间距进行处理,从而得到气体密度的变化状态。从光干涉理论出发,对Mach-Zehnder干涉条纹图像特征进行了分析,建立了Mach-Zehnder干涉条纹的数学模型,并根据此模型设计了处理Mach-Zehnder干涉条纹图像的算法。算法包括图像的预处理(即图像的噪声提取)、图像的二值化及图像的细化。     

静电火花法表征塑料导爆管起爆感度探索

提出了塑料导爆管轴向静电火花感度的概念、测试原理。用标准的静电感度测试仪配以一定结构的起爆针 ,建立了可用于导爆管感度测试的实验装置 ,采用升降法测出导爆管起爆所需静电能量并用它来表征导爆管的感度。用三种导爆管进行了感度测试 ,实验条件下其感度值E0 .50 分别为 0 .4 3、1.0 8、1.94J。     

混合单调集值映射的耦合不动点定理

在赋范线性空间中引入单调弱闭集等概念，讨论了不具有任意连续性的混合单调集值映射耦合不动点的存在性问题，并且给出了耦合不动点的求解步骤以及它的构造形式。     

QUATERNION GENERALIZED SINGULAR VALUE DECOMPOSITION AND ITS APPLICATIONS

This paper derives a theorem of generalized singular value decomposition of quaternion matrices （QGSVD）,studies the solution of general quaternion matrix equation AXB -CYD= E,and obtains quaternionic Roth＇s theorem. This paper also suggests sufficient and necessary conditions for the existence and uniqueness of solutions and explicit forms of the solutions of the equation.     

Mackey Theory for p-adic Lie Groups

This paper gives a p-adic analogue of the Mackey theory, which relates representations of a group of type G - H × t A to systems of imprimitivity.     

一类带限制集值型投入产出方程的存在性定理

引入了一类带限制的集值型投入产出方程.通过利用某些非线性分析方法,得到了一些存在及连续相依性结果.     

平面上随机级数的性质

研究了平面上系数{Xn,n≥0}为(?)-混合序列在满足,(q>1)等条件下的随机级数的增长性及值分布,得到了比较好的结果．