用矩阵讨论多元函数的极值问题

利用矩阵给出了多元函数在稳定点取极值的充分条件，提出了解决两类极值问题的代数方法。     

范·弗拉森的量子力学解释理论

范·弗拉森的量子力学解释理论既是他的量子力学哲学的核心，也是他的建构经验论的科学思想基础。本文主要从量子力学的一般解释理论、量子力学测量问题、测量的模态解释的主要思想、模态解释的意义等四个层次较深入浅出地介绍范·弗拉森的量子力学解释理论。     

小波多尺度分解及其在SAR图象目标检测中的应用

合成孔径雷达图象的目标检测是最重要的任务之一.目前用于目标检测的现有方法速度较慢、准确率较低、精度较差.作者提出小波分解的方法用于目标检测.同尺度目标检测采用二维离散二进小波分解方法,提高检测速度.不同尺度的目标检测采用多尺度二维离散小波分解方法,提高检测准确率.图象匹配采用灰度归一化的灰度相关匹配方法,提高匹配精度.实验证明,采用该法进行目标检测能获得较好的效果.     

一种新的小波变换及其性质——弱收敛意义下微分方程和对应积分方程的等价性

利用一种新的连续小波变换讨论微分方程和积分方程之间的关系,并且当h是对称小波时,能够把一类微分方程利用新的小波变换变换成等价的积分方程.它们在弱收敛意义下是等价的,从而将微分方程的讨论与积分方程的讨论联系起来,使得连续小波变换在讨论微分方程和积分方程的过程中得到应用.     

关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

含第三对称平均值比的一个不等式及其应用

借助于数学归纳法建立了含第三对称平均值比的一个不等式 ,并将此结果用于正定矩阵 ,获得了一个有趣的结果 .     

H0^3（Ω）→L^2n／n—6 （Ω）的最佳嵌人常数

给出了S=inf|∫R^n|D(Δu)|^2dx|u∈Hkc^3(R^n),∫R^n|u|2n/n-6 dx=1|达到函数，并得到了H0^3(Ω）→L^2n/n-6 (Ω）的最佳嵌入常数。     

广义De Bruijn图分解问题的一些结果

广义DeBruijn图是最近提出的一种具有良好性质的网络拓扑结构，文中对这类图的分解问题作了初步的分析，构造了一类基本模块，并得出了一些关于模块效率的数值结果。