1) G unit logical metric space
G单位逻辑度量空间
1.
Based on this concept,it determined a metric ρ,and(,ρ) becomes a metric space(It is called G unit logical metric space).
给出了G单位区间[0,1]的定义并在其上引入了元素间的可分度的概念,讨论了其基本性质,并在此定义的基础上确定了一个度量ρ,从而([0,1],ρ)成为一个度量空间(文中称“G单位逻辑度量空间”),并对G单位逻辑度量空间的性质及其结构进行了详尽的讨论,并得到一些好的结果。
2) logical metric space
逻辑度量空间
1.
And the structures of the four logical metric spaces induced by corresponding logical metric are studied,and get some good results.
在4种逻辑代数中分别建立了逻辑度量,讨论了其性质,并对它们之间的关系进行了详尽地讨论;又对4个逻辑度量空间的结构及其性质进行了详细地讨论,并得到一些好的结果。
2.
As an application,the distance between a formula and a Γ-conclusion set and the different Γ-conclusion set of logical metric space(F(S),ρ) is described.
作为应用,给出了逻辑度量空间(F(S),ρ)中一个公式到一个Γ推论之集以及不同Γ推论之集间的距离描述。
3.
And the structure and property of the logical metric space are studied and some good results have been obtained.
给出了乘积代数的定义,讨论了其性质,并建立了乘积代数的度量,对逻辑度量空间的结构及其性质进行了讨论,得到了一些好的结果。
3) D-logic Metric Space
D-逻辑度量空间
1.
The Theory of Consistency Degree in D-logic Metric Space
D-逻辑度量空间中的相容理论
2.
It is proved that the set of values of D-randomized truth degree of formulas has no isolated point in[0,1];The concepts of D-logic pseudo-metric and D-logic metric space are also introduced.
通过随机化赋值集的方法,在二值逻辑中提出了公式的D-随机真度概念,证明了全体公式的D-随机真度之集在[0,1]中没有孤立点;提出了D-逻辑伪距离和D-逻辑度量空间,证明了该空间中没有孤立点;指出当取均匀概率测度,且各概率测度均为1/2时,D-随机真度就转化为计量逻辑学中的真度,同时两公式间的D-逻辑伪距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间;最后在D-逻辑度量空间中提出了3种不同类型的近似推理模式,并证明了这三种模式是等价的。
3.
A series of D-logic pseudo metric inequalities related to the finite theory in D-logic metric space are then obtained.
以D-随机真度为基础,给出了公式到有限理论结论集D-逻辑伪距离的D-随机真度表示式,得到了D-逻辑度量空间中与有限理论相关的一系列D-逻辑伪距离不等式,并在D-逻辑度量空间中进行了近似推理讨论。
4) DG3-logic metric space
DG3-逻辑度量空间
1.
DG3-logic metric space was built.
利用赋值集的随机化方法,在三值逻辑G3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DG3-相似度与伪距离的概念,并建立了DG3-逻辑度量空间,证明了此空间没有孤立点。
5) Logic Metric Space
逻辑度量空间
1.
The degree of variation functionρ between two formulas are introduced using eontrodiction de- gree,and it is proved to be a pseduo-metrie,then logic metric space (F(S),ρ ) are built.
用矛盾度定义了公式之间的差异度函数ρ',证明了ρ'是一个伪度量,从而在F(S)上建立了逻辑度量空间(F(S),ρ')。
2.
The degree of variation function ρ between two formulas are introduced using controdiction degree,and it is proven to be a pseduo-metric,then logic metric space(F(S),ρ ) are built.
将n值R0-命题逻辑系统Ln*中的矛盾式概念程度化,引入了矛盾度的概念,并且讨论了公式的矛盾度的若干重要性质,进而用矛盾度定义了公式之间的差异度函数ρ',证明了ρ'是一个伪度量,从而在F(S)上建立了逻辑度量空间(F(S),ρ')。
3.
Let (F(S),ρ) be the logic metric space of two-valued propositional logic.
在二值命题逻辑系统中基于逻辑度量空间(F(S),ρ)而建立起了逻辑理论的发散性、相容性和理论的拓扑性质之间的联系。
6) DW3-logic Metric Space
DW3-逻辑度量空间
补充资料：水质度量单位
(unitofwaterqualitymeasurement)衡量水体中污染物质含量的度量。有浓度单位相输送率单位两种。前者用1L 水中含有各种污染物质的质量来表示，单位为mg/L或ug／L，有时也常用百万分率(PPm)或十亿分率(ppb)来伐替。后者是单位时间内流过某一断面的污染物质量，在河上可用流量乘某污染物浓度而得出，单位是kg／s。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条