1) paraconsistent
次协调
1.
The syntax and semantic of the logic are given,and then it is shown that the logic is both paraconsistent and nonmonotonic.
该逻辑结合多值逻辑和择优推理的语义特点,得到的推理关系具有模糊性、次协调性和非单调性,且知识的模糊性能以数值的形式显式地表现,适用于对智能系统中的不精确、不一致和不完备知识进行表示和推理。
2) Paraconsistent logic
次协调逻辑
1.
Here the basic method to circumscribe contradiction is paraconsistent logic.
这里,限制矛盾的基本手法是次协调逻辑。
3) Higher-level coordinate development
高层次协调
4) weak odd strong harmony
次奇强协调
1.
In this paper, we define a class of new graph-spoon star graph and as wellas weak odd strong harmony graph, is defined, the writers give Stn P1C4’s odd graceful labeling、k- graceful labeling and weak odd strong harmony labeling,and prove that the Stn P1C4 is a odd graceful graph, k-graceful graph and weak odd strong harmony graph.
该文定义了一类新的图形——星勺图StnP1C4,并定义了图的次奇强协调性,同时给出了它的奇优美标号、k-优美标号及次奇强协调标号,从而证明了星勺图StnP1C4是奇优美图、k-优美图和次奇强协调图。
5) para-consistent refutation
次协调反驳
6) The paraconsistent thinking
次协调思维
补充资料：次切线和次法线
次切线和次法线
subtangent and subnormal
次切线和次法线【，奴。嗯翻ta己，由.刃nllal;no八Kaca-，一eJ，，，Ra”H”0八nOPM幼L」 有向线段QT和QN，它们是某一曲线在点M处的切线(tan罗nt line)段MT和法线(norlml)段对N在、轴上的投影(见图). 少l， 口‘吧不‘一一-一-一号-份甲间二 TO柑 如果达一曲线是函数y二‘j(x)的图形，则次切线和次法线的长度分别等于 。二__f(x)。、了_了丫、，、，，，_、 心T“一分书丁，QN=f(x)f’(x)， 一f’(x)’乙一其中x是点M的横坐标.如果这一曲线由参数式给出: x=甲(t)，夕=沙(t)，则 。7’二一竺红纽自兰立。、，_竺立丝三旦 “一少‘(t)’“一少‘(t)其中t是确定曲线上点M的参数值.Bc3一3【补注】 IAI]Berger，M二Geo瑰t仃，2，SP力幻gcr.1989(中译 本二M.贝尔热，儿何，第一一五卷，科学出版社， 1987一1991). 工AZ j Go掀5 Te认eira，F，Tralt己des oourbes，l一3. Chelsea.犯Print，1971. 〔A3 1 Lamb，日二知6mtes，Inalc时e以us，Cambnd罗.U:uv. Press，1924.杜小杨译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条