搜索结果: 1-15 共查到“知识库 公理集合论”相关记录130条 . 查询时间(2.156 秒)
F-邻域粗糙集及其约简
邻域粗糙集 F-粗糙集 属性约简 属性重要度矩阵
2024/1/23
邻域粗糙集可以直接处理数值型数据,F-粗糙集是第一个动态粗糙集模型.针对动态变化的数值型数据,结合邻域粗糙集和F-粗糙集的优势,提出了F-邻域粗糙集和F-邻域并行约简.首先,定义了F-邻域粗糙集上下近似、边界区域;其次,在F-邻域粗糙集中提出了F-属性依赖度和属性重要度矩阵;根据F-属性依赖度和属性重要度矩阵分别提出了属性约简算法,证明了两种约简方法的约简结果等价;最后,比对实验在UCI数据集、真...
非凸集值优化问题E-Benson真有效元的最优性条件
Benson真有效元 改进集 最优性条件 Lagrange乘子定理
2019/4/17
本文首先给出了集合为近似E-次类凸的等价刻画.其次，分别在锥具有紧基和弱紧基的条件下，获得了近似E-次类凸集值优化问题的E-Benson真有效元的Lagrange乘子定理.作为应用，获得了集值优化问题Benson真有效元的Lagrange乘子定理.最后，给出了集值优化问题E-鞍点的充分条件.
THE PUZZLE CONJECTURE FOR THE COHOMOLOGY OF TWO-STEP FLAG MANIFOLDS
PUZZLE CONJECTURE TWO-STEP FLAG MANIFOLDS
2015/12/17
We prove a conjecture of Knutson asserting that the Schubert
structure constants of the cohomology ring of a two-step flag variety are equal
to the number of puzzles with specified borde...
We sharpen H丩ajek乫s Completeness Theorem for theories
extending predicate product logic, 儺佂. By relating provability
in this system to embedding properties of ordered abelian groups
we construct a ...
We present a general construction of a family of ordinal
sums of a sequence of structures and prove an elimination
theorem for the class of ordinal sums in an expanded language.
From this we deduce...
A classification of BL-algebras.
In this paper, we study VC-minimal theories and explore related concepts. We
first define the notion of convex orderablity and show that this lies strictly between VCminimality
and dp-minimality. To...
Data compression and definability of types in stable and dependent formulas
Data compression formulas
2015/9/28
Data compression and definability of types in stable and dependent formulas.
Compression schemes, stable definable families, and o-minimal structures
Compression schemes stable definable families o-minimal structures
2015/9/28
We show that any family of sets uniformly definable in an ominimal
structure has an extended compression scheme of size equal
to the number of parameters in the defining formula.
We introduce the concept of a locally finite abstract elementary class and develop the theory of excellence
(with respect to disjoint ( !, k)-amalgamation) for such classes. From this we find...
Given a sequence {αn} in (0, 1) converging to a rational, we examine
the model theoretic properties of structures obtained as limits of ShelahSpencer
graphs G(m, m−αn ). We show that in most c...
A simpler axiomatization of the Shelah-Spencer almost sure theories
Shelah-Spencer almost sure theories
2015/9/28
We give an explicit AE-axiomatization of the almost sure theories
of sparse random graphs G(n, n−α) of Shelah-Spencer. In the process
we give a method of constructing extensions of graphs whos...
Mutually algebraic structures and `automatic' quantifier elimination
Mutually algebraic structures `automatic' quantifier elimination
2015/9/28
Mutually algebraic structures and `automatic' quantifier elimination.
Characterizing model completeness among mutually algebraic structures
algebraic structures model completeness
2015/9/28
We characterize when the elementary diagram of a mutually algebraic
structure has a model complete theory, and give an explicit
description of a set of existential formulas to which every formula
i...
Mutually algebraic structures and expansions by predicates
algebraic structures predicates
2015/9/28
We introduce the notions of a mutually algebraic structures and
theories and prove many equivalents. A theory T is mutually algebraic
if and only if it is weakly minimal and trivial if and only if n...