直径为4的图的最大亏格

本文证明了如下结果:设G是直径为4的简单囹,若G不含3阶完全子图K3,则G的Betti亏数ξ(G)≤2,因此有G的最大亏格γM(G)≥1/2β(G)-1.而且,在这种意义下,所得到的界是最好的.     

一类模糊逻辑系统幺半群与同态映射

首先利用代数中幺半群的概念给出了模糊逻辑系统专业领域的概念, 建立专业领域概念的目的是为了规范模糊逻辑系统中语言变量的取值范围, 从而将模糊逻辑系统看作是某个笛卡儿乘积幺半群的有限子集. 然后利用这个笛卡儿乘积幺半群的乘积运算构造了模糊逻辑系统幺半群. 最后, 在一定的约定条件下证明了通常使用的一类Mamdani形模糊逻辑系统的输出可以看作是从模糊逻辑系统幺半群到连续函数域的同态映射.     

二维矩形件排样的切割式填充算法

针对二维矩形件排样困难的问题,提出了一种简单且高效的切割式填充矩形件排样算法.首先根据对矩形件进行优化排样的要求,建立起数学规划模型.然后采用降维的思想,对矩形行列虚拟化分割.在第一行(列)上进行矩形件排样,使其填充率最高.接着将此行(列)切割掉,形成新的矩形.最后重复上述步骤,直到矩形无法再填充下任何一种规格的矩形件为止.数值实验表明了切割式填充算法的可行性和高效性.     

基于超声同步观测辅助技术的CT成像系统设计及图像融合

CT检测非刚性物体目标时,会因多角度扫描的异步性而使得重建图像分辨率降低.本文利用超声实时同步观测技术,设计了一种基于超声同步观测辅助技术的CT成像系统,使得通过该成像系统能获取同一个标定系统下的CT重建图像和超声图像.同时基于此系统提出了一个区域特征加权的图像融合方案,从而达到丰富重建图像信息量和提高信息准确率的目的.     

线性模型中F-检验的稳健性

本文讨论了一般线性模型中关于均值参数β的线性假设基于广义最小二乘估计的F-检验统计量的稳健性问题.主要研究了当误差的协方差矩阵含有参数时,设计阵可以列降秩情况下的F-检验统计量的稳健性,得到了F(V(θ))为该假设下F-检验统计量的误差协方差矩阵的最大类.并讨论了分块线性模型中,关于分块参数的线性假设的F-检验统计量的稳健性.     

线性代数中特征向量的一个应用

在线性代数中,特征向量在矩阵的对角化过程中起着重要作用.从一个引例出发,证明了:一个矩阵与对角矩阵可交换当且仅当它可以用以特征向量为列向量的两个矩阵表示.做为推论,如果对角矩阵对角线上的相同元素在相邻位置,那么与其可交换的矩阵只能是准对角矩阵.     

具有弱$s$-置换嵌入子群的有限群

Let P be a Sylow p-subgroup of a group G with the smallest generator number d,where p is a prime.Denote by M_d(P) = {P_1,P_(2,...,)P_d} a set of maximal subgroups of P such that φ(P) = ∩_(n=1)~dP_n.In this paper,we investigate the structure of a finite group G under the assumption that the maximal subgroups in M_d(P) are weakly s-permutably embedded in G,some interesting results are obtained which generalize some recent results.Finally,we give some further results in terms of weakly s-permutably embedded subgroups.     

递推数列通项的矩阵解法

分情形讨论递推数列求通项的问题,介绍相应的矩阵解法,并借助实例说明其应用。     

一个肿瘤生长自由边界问题解的整体存在性和唯一性

该文研究一个反应扩散方程组的自由边界问题,它来源于描述抑制物作用下无坏死核肿瘤生长的数学模型.作者运用抛物型方程的L_p理论和压缩映照原理,证明了这个问题局部解的存在唯一性,然后用延拓方法得到了整体解的存在唯一性.     

下层带扰动参数的二层多目标最优化问题有效点集的锥次微分稳定性

关于集值映射最优化问题有效点集的稳定性问题，一些学者在半连续意义下得到比较系统的结果。近年，在锥次微分意义下又获得更深入的描述。借助集值映射最优化问题有效解(点)的锥次微分稳定性理论，讨论了上层无扰动，下层带扰动参数的二层多目标最优化问题有效点集的锥次微分稳定性。