排序方式: 共有45条查询结果,搜索用时 15 毫秒
41.
主要解决基于一级泛与运算的一阶谓词演算形式系统ULULh∈-[0.75,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统Ulh∈-[0.75,1]相对应的一阶谓词形式系统Ulh∈-[0.75,1],证明其完备性定理.从而说明形式系统Ulh∈-[0.75,1]的语义和语构是和谐的. 相似文献
42.
针对无标签高维数据的大量出现,对机器学习中无监督特征选择进行了研究。提出了一种结合自表示相似矩阵和流形学习的无监督特征选择算法。首先,通过数据的自表示性质,构建相似矩阵,结合低维流形能够表示高维数据结构这一流形学习思想,建立一种考虑流形学习的无监督特征选择优化模型。其次,为了保证选择更有用及更稀疏的特征,采用◢l◣▼2,1▽范数对优化模型进行约束,使特征之间相互竞争,消除冗余。进而,通过变量交替迭代对优化模型进行求解,并证明了算法的收敛性。最后,通过与其他几个无监督特征算法在四个数据集上的对比实验,表明所给算法的有效性。 相似文献
43.
为进一步扩充谱聚类算法的研究空间,提出一种基于ε-邻域和拉普拉斯矩阵秩约束的谱聚类算法。利用ε-邻域对亲和矩阵进行稀疏处理,再对拉普拉斯矩阵加上秩约束;以l2,1范数为正则项参数来调整模型,使得模型学习到更合理的数据结构;利用交替迭代优化算法对模型求解。最后,在4个数据集上与其他几种聚类算法进行对比,验证结果表明了ε-RSC算法的有效性和可行性。 相似文献
44.
45.