1) maximal consistent block
极大相容块
1.
As minimum knowledge units,maximal consistent blocks are very useful for knowledge representation,attribute reduction,granular analysis and knowledge acquisition in incomplete information systems.
极大相容块是非完备信息系统中的最小知识单元,在非完备信息系统的知识表示、属性约简、粒度分析及知识获取方面有重要的应用价值。
2) maximal compatibility block
最大相容块
3) maximal tolerance degree
极大相容度
1.
So a rough set model based on maximal tolerance degree relation and prior probability obtained out of incomplete information system is presented.
从扩展粗集理论的适应范围角度出发,引入信息系统对象的先验概率,结合量化相容关系的思想,提出了极大相容度关系模型,然后以该模型为基础研究了不完备信息系统的属性约简,通过严格的数学证明,提出了一种不完备信息系统的启发式属性约简算法。
4) maximal consistent theory
极大相容理论
1.
It is proved that each maximal consistent theory must be the deductive closure of some set with the form S(α)={φ1,φ2,…} satisfying φi∈{pi,pi,(p2i)&((pi)2)} for all i=1,2,…,where p1,p2,… are the propositional variables of L*.
在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统L*的满足性定理和紧致性定理,其结果完善了系统L*的理论体系。
5) block independent
块相容
1.
A quick method to solve the problem of block independent of multiple faults of large analog circuits is proposed.
提出了判断模拟电路ｋ故障块相容性的一种快速方法和一种基于虚拟故障概念的电路分块诊断方法，它适用于大规模模拟电路故障定位。
补充资料：极大环面
极大环面
maximal torus
的所有极大环面之并集与G的所有半单元素的集合相等(见J加面n分解(Iordand献〕mposition))，而它们的交与G的中心的所有半单元素的集合相等.每个极大环面包含于G的某个刀匀旧子群(E劝化1 sub脚uP)中.极大环面的中心化子是G的一个C臼佃n子群(C加心川su地加uP)，它总是连通的G的任意两个极大环面在G中共辘.如果G定义在一个域k上，那么G中存在一个极大环面也定义在k上，且其中心化子也定义在k上. 设G为定义在域k上的约化群(代幻uctjVe grouP).在G的所有代数子群中，考虑那些本身是k分裂代数环面的极大子群.这样得到的极大k分裂环面在k上共扼.这些环面共同的维数称为G的k秩(k-m砍)，记作rk*G.一般地，一个极大k分裂环面不必是极大环面，因此，rk*G一般小于G的秩(rank)(它等于G中极大环面的维数).如果rk*G=0，就称G为丸上的非迷向群(毗。仃。picg旧uP)，而当rk*G等于G的秩时，称G为瓦上的分裂群(s plitgouP).如果k是代数封闭的，则G总在火上分裂.一般地，G在火的可分闭包上分裂. 例设k为一个域，万是其代数闭包.系数在k中的刀级非奇异矩阵群G=GL。(万)(见典型群〔山·ssiail grouP);一般线性群(gene耐Uneargro叩))，它在k的素子域上定义且分裂.全体对角矩阵构成的子群是G的一个极大环面. 设k的特征不等于2.V是k上的n维向量空间，F是V的定义在k上的一个非退化二次型(即:对于v的某组基e，，，e。，型F(x le，十‘·十x。e。)是一个系数在左中的x，，…，x。的多项式).令G为V的所有行列式等于1且保持F的非奇异线性变换构成的群.它定义在k上.令气为el，…，e。在k上的线性包，它是V的一个k形式.在V中总存在一组基f1，…，fn，使得 F(x:ft+二+气人)=x!x。十xZx。一，+ +·‘’十xpx。一P+、，其中，当n是偶数时p=。/2，当。是奇数时P二(。+1)/2·在这组基下，由形如{{aol{，其中当i护，时a。=o，而对i二l，…，尹，a“a。一，、，。一‘+，二1的矩阵为元素构成的G的子群是G中一个极大环面(从而G的秩等于。/2的整数部分).一般地，这组基不属于V‘.但总存在V*中一组基h、，…，气使得二次型可写成 F(x，h:+…+x。h。)= 二x，x。+…+x，x。一，十:+F0(%;、:，“‘，x。一，)， q>P，其中F。是一个在k上非迷向的二次型(即方程F0=O在k中只有零解，见V竹tt分解(Wittd邸mpo-sition))、在基h，，…，h，下，由形如}}a。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条