1) 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种典型的应用,并指出了基于抽象解释理论的程序验证的主要研究方向。
2) 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连接。
3) Galois collection
Galois连络
4) Galois Field
Galois域
1.
A software implementation of packet-level FEC coding based on Reed-Solomon code over Galois field;
基于Galois域Reed-Solomon码的数据包层FEC编码软件实现
2.
The design methodology of an additional redundant controller using Galois field and an error-detecting code is proposed.
研究设计了一种容错离散分布控制系统的网络配置结构,即将控制系统中的每个可编程控制器作为一个控制结点,结点之间通过网络进行连接构成离散分布控制系统;使系统实现容错的方法是,增加一个在Galois域进行运算的冗余控制器结点,从而使系统能够自动侦查系统中的结点(可编程控制器)是否正常工作,并能使不正常工作的结点的功能得到恢复,确保系统的容错性和可靠性;实验证明这种设计是有效可行的;容错分布控制系统具有良好的抗故障能力,有很好的实际应用价值。
3.
The tolerant design of distributed control system control system is that an additional redundant controller is added in Galois field.
分布控制系统的容错配置设计是在Galois域增加冗余控制器。
5) Galois lattice
Galois格
6) Galois rings
Galois环
1.
Distribution of r-grams in p-ary sequences derived from sequences over Galois rings and the asymptotical uniformity;
Galois环导出p元序列中元素组的分布及其渐近均匀性
2.
By using the techniques of Galois rings,Bent functioins and partial character sums,we construct a class of splitting relative difference sets and non-splitting building sets in Abelian groups with exponent not exceeding 4.
利用Galois环、Bent函数、Gaolis环上的部分指数和等技巧,构造了指数不超过4的有限交换群上的分裂型相对差集和一类非分裂型组合集。
补充资料：Galois扩张
Galois扩张
Galois extension
〔加如台扩张【C汕血巴恤d团;T助ya pae山.peo.e」，域的 正规并且可分的域的代数扩张(见域的扩张(exten.sion of a field)).这种扩张的自同构群的研究构成了Ca如如理论(Calois tl贺幻ry)的一部分. 裴定一译赵春来校
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条