1) rough Galois connection
粗糙Galois连接
1.
The paper studies concept lattice that is formed by rough sets, define rough formal context, rough concept, give their properties, studies the lower (upper) approximate operators by means of implication in rough formal context, and investigate rough Galois connection.
研究由粗糙集形式的概念格,定义粗糙形式背景、粗糙概念,给出它们的性质,借助蕴涵算子研究上、下近似运算在粗糙形式背景中讨论了粗糙Galois连接。
2.
we discuss concept lattice in rough sets,define rough formal context,rough concept,give their properties,study the lower(upper) approximate operators by means of implication in rough formal context,and investigate rough Galois connection.
在粗糙集中讨论概念格,定义粗糙形式背景、粗糙概念,给出它们的性质,在粗糙形式背景中借助蕴涵算子研究上、下近似运算,并且定义和讨论了粗糙Galois连接。
2) Galois connection
Galois连接
1.
This paper describes the abstract interpretation framework of the program semantics based on the Galois connection, and then discusses three typical applications of the abstract interpretation theory: The program transformation, the program verification techniques about the safety property and the program verification.
描述了程序语义基于Galois连接的抽象解释理论框架,讨论了基于抽象解释理论的程序变换、程序安全性验证和活性性质验证这3种典型的应用,并指出了基于抽象解释理论的程序验证的主要研究方向。
3) rough continuity
粗糙连续
1.
In comparison with real function,their some properties,such as rough continuity,rough derivatives,rough integral are discussed and some new mathematical analysis properties concerning rough function are obtained.
指出了已有的一元、二元粗糙函数定义的不足之处并进行了合理的改进 ,进一步与实函数相类比 ,讨论了它的数学分析性质 ,诸如粗糙连续、粗糙导数、粗糙积分 ,得到了一些结
4) Asperity contact
粗糙接触
5) asperity contact
粗糙面接触
6) Galois collection
Galois连络
补充资料：Galois扩张
Galois扩张
Galois extension
〔加如台扩张【C汕血巴恤d团;T助ya pae山.peo.e」，域的 正规并且可分的域的代数扩张(见域的扩张(exten.sion of a field)).这种扩张的自同构群的研究构成了Ca如如理论(Calois tl贺幻ry)的一部分. 裴定一译赵春来校
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条