实轮换对称型及其半正定性判定的可读证明

可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分拆形式用于对不等式进行可读证明研究.讨论了该线性空间的维数,以及轮换对称型半正定性的判别方法.给出了一类具有对称零点的轮换对称型的半正定性判定条件.大量实例表明此分拆方式在轮换对称型半正定性的判定及可读证明上具有很好的实用性.     

带p-Laplacian算子三点奇异边值问题多个对称正解的存在性

利用凸锥上的不动点定理,研究了一类带p-Laplacian算子的微分方程三点奇异边值问题对称正解的多重性,得到了这类边值问题存在多个对称正解的充分条件.     

涡旋压缩机不对称双涡旋齿型线的构建与模拟

采用双涡旋齿涡旋盘结构能够有效地提高涡旋压缩机的吸气量,然而存在内容积比小、允许开设的排气口面积小的缺点。针对此问题,本文提出一种涡旋压缩机的新型不对称双涡旋齿,利用中线法得到了涡旋齿型线的设计方法,并且建立其几何模型;通过三维数值模拟研究其工作腔内部的气体流场,并与现有的双涡旋齿涡旋压缩机进行对比。结果表明:所提出的涡旋压缩机的新型不对称双涡旋齿能够有效地提高涡旋压缩机的排气量和内容积比,并且增大了排气口的开设面积,使得压缩机具有更好的工作性能。     

矩阵方程AXA^T＋BYB^T=C的双对称最小二乘解及其最佳逼近

基于共轭梯度法的思想,通过特殊的变形,建立了一类求矩阵方程AXA^T＋BYB^T=C的双对称最小二乘解的迭代算法．对任意的初始双对称矩阵．在没有舍人误差的情况下,经过有限步迭代得到它的双对称最小二乘解;在选取特殊的初始双对称矩阵时,能得到它的的极小范数双对称最小二乘解．另外,给定任意矩阵,利用此方法可得到它的最佳逼近双对称解,数值例子表明,这种方法是有效的．     

稀疏矢量阵信号栅瓣及对称伪峰干扰抑制

稀疏矢量阵进行宽带信号处理时,强目标的栅瓣及对称伪峰会干扰弱目标的检测,提出了一种基于理论干扰预测的加权抑制方法。方法利用矢量阵波束形成先获得强目标的波达方向(Direction Of Arrival,DOA)信息以及目标所在方位各频率的幅度谱信息,再利用理论计算公式获得强目标的栅瓣和对称伪峰角度上对应的各频率点的幅度谱强度信息,通过在方位、频率维度加权的方式对强目标的栅瓣和伪峰干扰进行抑制,来改善在强干扰下的弱目标检测能力。方法也适用于多目标情况,对各个目标依次使用,减少多目标时栅瓣和对称伪峰对方位历程的影响,净化了时间方位历程图。对所提方法给出了理论推导过程并进行了仿真和实验验证,实验结果验证可行。结果表明,新方法可以有效地抑制强目标的栅瓣和对称伪峰干扰,提高弱目标的检测能力,此外,净化后的时间方位历程图更利于弱目标检测和目标数量的估计。     

带P-Laplacian算子的四点四阶奇异边值问题的对称正解

本文主要利用上下解方法和Schauder不动点定理,在更广泛的条件下研究了一类带PLaplacian算子的四点四阶奇异边值问题的对称正解的存在性.克服了对非线性微分算子[φp(u″)]″Fredholm抉择定理和极大值原理不能使用的困难,改进并推广了最近的一些已知结果.     

谈谈“对称消元法”的应用条件

本刊2010年12(下)《商榷》栏刊登朱德云老师的文章《一道方程组的妙解分析及别解》以后,陆续收到多位读者来稿参加讨论,他们是湖北黄石宋毓彬、河北围场赵平、重庆巴南李忠勇、河北顺平高艳琴、郑泉水和湖北潜江李品林等老师,本刊向他们表示感谢,由于本刊篇幅所限,现选登高艳琴等老师的稿件,望其他老师见谅.     

现实的一代ETC模型对Zbb、Zτ+τ－顶角的辐射修正

在一个现实的一代扩展人工色(ETC)模型中,计算了旁路(Sideways)及对角(diagonal)ETC规范玻色子交换对Zbb、Zτ⁺τ^－顶角的单圈辐射修正.结果表明Z→bb过程的衰变宽度Γ_b、分支比R_b以及τ的极化不对称参数A_τ都较标准模型的要大,与最近的实验数据相符.     

函数对称性的探究

函数是中学数学教学的主线,是中学数学的核心内容,也是整个高中数学的基础．函数的性质是竞赛和高考的重点与热点,函数的对称性是函数的一个基本性质,对称关系不仅广泛存在于数学问题之中,而且利用对称性往往能更简捷地解决问题,对称关系还充分体现了数学之美．笔者拟通过函数自身的对称性和不同函数之间的对称性这两个方面来探讨函数与对称有关的性质．     

关于酉对称矩阵的QR分解及其算法

为了简化大型行(列)酉对称矩阵的QR分解,研究了行(列)酉对称矩阵的性质,获得了一些新的结果,给出了行(列)酉对称矩阵的QR分解的公式和快速算法,它们可极大地减少行(列)酉对称矩阵的QR分解的计算量与存储量,并且不会丧失数值精度.同时推广和丰富了邹红星等(2002)的研究内容,拓宽了实际应用领域的范围.