秩函数相关论文
支持矩阵机作为支持向量机的推广,是人工智能中的重要技术,被广泛的应用在分类和预测的问题中,如文本分类、图像识别、医疗诊断等......
矩阵近似是近年来现代科学研究领域的重要课题之一,尤其在信号分析、图像处理与机器学习等领域中都有着十分广泛的应用.本论文从三......
矩阵补全是指将含有缺失元素的矩阵填补完全的过程.近年来,矩阵补全已经被广泛的应用到了推荐系统、图像恢复、信任预测等多个领域......
组合数学不仅在基础运用与软件技术中发挥很大作用,更是在交通规划、企业管理中占据重要地位。拟阵(M)作为组合数学中的一个分支,......
大数据时代的来临,随之而来的是数据的复杂性和多样性,对于传统的聚类算法提出了很大的挑战。在数据挖掘领域中,聚类分析这一块是......
学位
偏序集拟阵是用一个偏序集代替拟阵的基础集,相应地,基础集的子集被偏序集的滤子(或被序理想,对偶的)所替换而发展起来的一套理论.......
本文从代数理论的角度出发，通过引入结构化映射，主要研究了布尔函数与二值形态变换的关系，并利用改变秩函数阈值的方法扩展了二值形态......
本文主要研究H?范数下基于秩约束逼近的系统模型降阶问题。为减小降阶系统与原系统的降阶误差，对非凸的秩约束条件进行逼近，使其成为......
信道编码码序列的信息侦获是当前研究的热点、难点领域.针对信道编码中循环码的参数识别问题,本文利用秩函数确定了循环码的码长,......
利用格Li(i=1,2)的性质研究了它们的卡氏积L=L1×L2的性质,得到了L的秩函数、M6bius函数和特征多项式,并且由Li的几何性证明了L的......
低秩矩阵恢复问题在众多领域有重要应用。由于秩函数的复杂性,通常寻求其替代函数进而求解松弛问题。核范数是普遍使用的替代函数......
对极小圈模对的性质及用它陈述二元域拟阵的特征进行了研究。首先证明了若M是在E上的二元域拟阵，则y（G（M））是V（n，2）的一个子空间。其次证明......
利用格的秩函数、MSbius函数、特征多项式等性质研究格的卡氏积，得出格的卡氏积中相应的结果，并且给出它们的应用．......
利用奇异辛几何中的（m,0,1）型子空间构作一类格,并讨论它的几何性....
研究由次模函数f0所确定的拟阵。首先给出由次模函数f所确定的拟阵,讨论了连通拟阵的特征。据此证明了子集XE（G）是C（f0）中成员的充分......
秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项......
错误定位是软件调试中最重要且最耗时的部分,错误定位中的任何改进都可以大大降低软件成本,而其中秩函数的选择问题则尤为关键。结......
作为软件完全正确性的重要组成部分，程序终止性受到越来越多的关注。旨在跟踪国内外针对命令式程序的终止性验证方法，调研该领域的最......
在粗集中引入秩函数的概念，研究了秩函数的性质，并给出了粗集的秩函数公理系统；证明了由粗集中可定义集构成的格是一个几何格．......
在偏序集拟阵的基础上，引入了偏序集广义拟阵的函数，定义了偏序集广义拟阵的闭包算子，讨论了偏序集广义拟阵的一系列性质．最后得到了偏......
对信道编码中的循环码识别方法进行了研究。根据循环码的线性结构和生成多项式的根特征,建立了循环码的识别模型,在较高的误码率条......
集合上的有限维闭集空间这一有趣的研究课题是由Batten引入的,本文研究了更一般的情形，即对偏序集上的有限维闭集空间进行了探讨,利......
鉴于Welsh给出的拟阵弱映射与强映射关系不太自然,重新定义了拟阵之间的弱映射,并引入了秩弱映射和反射独立集的映射的概念.这就使......
低秩矩阵优化是一类含有秩极小或秩约束的矩阵优化问题,在统计与机器学习、信号与图像处理、通信与量子计算、系统识别与控制、经......
程序的完全正确性包括程序的部分正确性和终止性，为了提高程序验证的正确性，介绍了程序正确性的验证方法，包括基于公理化验证程序的完......
在相关系概念的基础上，建立了n维相关系的秩函数的概念，并进行了初步探究，得到了秩函数的若干性质．......
基于布尔函数与形态算子关系，用秩函数取代结构化映射中的布尔函数，通过选取不同秩函数阈值的方法，对二值形态变换进行扩展和推广。提......
程序验证是保证程序正确性的关键技术。停机性和安全性验证是程序验证中的两个重要研究内容,受到了大量关注和广泛研究。本文针对......
程序终止性问题是自动程序验证领域中的一个研究热点。秩函数探测是进行终止性分析的主要方法。针对单重无条件分支的多项式循环程......
本文针对在应用较广和较新的课题——模糊优化研究中,提出的多样化的模糊优化模型和其相应的解法中存在的退化、参数影响和算法效......
该文针对现有的基于低秩表示的子空间聚类算法使用核范数来代替秩函数,不能有效地估计矩阵的秩和对高斯噪声敏感的缺陷,提出一种改......
