基于形式概念分析理论的完全格存储模型 被引量：1

1

作者 智慧来 《计算机工程与应用》 CSCD 2013年第24期1-3,共3页

完全格的存储是一个有实际应用价值的关键问题。在利用矩阵存储完全格时,识别完全格中的不可约元;分别对上确界不可约元和下确界不可约元用对象标签和属性标签进行标注,使得对象标签和属性标签分别对应矩阵的行和列;根据不可约元之间的... 完全格的存储是一个有实际应用价值的关键问题。在利用矩阵存储完全格时,识别完全格中的不可约元;分别对上确界不可约元和下确界不可约元用对象标签和属性标签进行标注,使得对象标签和属性标签分别对应矩阵的行和列;根据不可约元之间的关系确定矩阵中元素的值。与采用邻接矩阵存储完全格相比,该方法只存储不可约元的相关信息,能够提高存储的效率。 展开更多

关键词 形式概念分析 完全格 不可约元 存储模型 概念格

在线阅读 下载PDF 职称材料

完全格的一个等价条件

2

作者 周军 《东北师大学报（自然科学版）》 CAS CSCD 1995年第3期123-123,共1页

完全格的一个等价条件周军（东北师范大学数学系，长春，１３００２４）关键词偏序集，格，完全格定义１〔１〕设（Ｌ，≤）为偏序集，若对α，β∈Ｌ，上确界α∨β与下确界α∧β均存在，则称（Ｌ，≤）是格。定义２〔２〕格（Ｌ，≤... 完全格的一个等价条件周军（东北师范大学数学系，长春，１３００２４）关键词偏序集，格，完全格定义１〔１〕设（Ｌ，≤）为偏序集，若对α，β∈Ｌ，上确界α∨β与下确界α∧β均存在，则称（Ｌ，≤）是格。定义２〔２〕格（Ｌ，≤）叫做一个完全格，如果Ｌ的任意非空... 展开更多

关键词 偏序集 格 完全格

在线阅读 下载PDF 职称材料

关于完全链格与完全格的讨论

3

作者 冯文澜 冯涛 《安徽大学学报（自然科学版）》 CAS 1993年第2期91-92,共2页

1、问题的提出文[2]中讨论递归程序的不动点语义时,指出函数空间[(D^+)~n→D^+]关于Scott偏序“”是一个链半格,由此根据Kleen定理推断出连续泛函不动点的存在性。这里的链格与通常定义的完全格有何关系?设偏序集(L,≤),对任意的x,y∈L... 1、问题的提出文[2]中讨论递归程序的不动点语义时,指出函数空间[(D^+)~n→D^+]关于Scott偏序“”是一个链半格,由此根据Kleen定理推断出连续泛函不动点的存在性。这里的链格与通常定义的完全格有何关系?设偏序集(L,≤),对任意的x,y∈L,都存在它的最大下界glb(x,y)和最小上界lub(x,y),则称L为格,对于CL,如对于任意x,y∈C,或有x≤y或有y≤x,称C为链。如果对格L中的任意链C,在L中都存在它的最小上界lub(c)和最大下界glb(c),则称L为完全链格。 展开更多

关键词 完全链格 完全格

在线阅读 下载PDF 职称材料

强广义连续格的完全链表现 被引量：1

4

作者 邓自克 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第3期10-11,70,共3页

建立强广义连续格的完全链表现定理 。

关键词 强广义连续格 完全链 完全格/-〈链 乘积格 强连续性

在线阅读 下载PDF 职称材料

完全分配可交换子空间格代数上的中心化映射 被引量：6

5

作者 马飞 张建华 任刚练 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2017年第1期48-54,共7页

基于Hilbert空间H上的一个完全分配可交换子空间格代数Alg L,考虑Alg L上的中心化映射.设为Alg L上的一个可加映射,用完全分配可交换子空间格代数的结构性质和代数分解,证明了:若存在正整数m,n≥1,使得A∈Alg L,(Am+n+1)-Am(A)A... 基于Hilbert空间H上的一个完全分配可交换子空间格代数Alg L,考虑Alg L上的中心化映射.设为Alg L上的一个可加映射,用完全分配可交换子空间格代数的结构性质和代数分解,证明了:若存在正整数m,n≥1,使得A∈Alg L,(Am+n+1)-Am(A)An∈F I成立,则存在Alg L中心里的元素λ,满足A∈Alg L,有(A)=λA. 展开更多

关键词 可加映射 中心化映射 完全分配可交换子空间格代数

在线阅读 下载PDF 职称材料

完全分配可交换子空间格代数上的广义Jordan中心化映射 被引量：4

6

作者 马飞 张建华 王保社 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2018年第5期22-27,共6页

基于Hilbert空间H上的一个完全分配可交换子空间格L,讨论L上的代数Alg L上的中心化映射。设Φ为Alg L上的一个可加映射,运用完全分配可交换子空间格代数的结构性质和代数分解,证明若存在正整数m、n、r≥1,使得?A∈Alg L,有(m+n)Φ(A^(r+... 基于Hilbert空间H上的一个完全分配可交换子空间格L,讨论L上的代数Alg L上的中心化映射。设Φ为Alg L上的一个可加映射,运用完全分配可交换子空间格代数的结构性质和代数分解,证明若存在正整数m、n、r≥1,使得?A∈Alg L,有(m+n)Φ(A^(r+1))-(mΦ(A)A^r+nA^rΦ(A))∈Z(Alg L),则存在Alg L的中心元素λ∈Z(Alg L),满足?A∈Alg L,有Φ(A)=λA。 展开更多

关键词 中心化映射 可加映射 完全分配可交换子空间格代数

在线阅读 下载PDF 职称材料

完全正则子半群格是半模格的完全正则半群

7

作者 田振际 胡运华 陶禹桦 《兰州理工大学学报》 CAS 北大核心 2020年第2期155-157,共3页

得到了完全正则半群S的子系统格是半模格的充分必要条件,即S的子系统格是半模格当且仅当S是一些UM-群或者极大子群为UM-群的左群或右群的序和.

关键词 完全正则半群 完全正则子半群格 半模格

在线阅读 下载PDF 职称材料

基于完全分配剩余格值逻辑上的L-双模糊拓扑群

8

作者 张倩生 《江西师范大学学报（自然科学版）》 CAS 2002年第3期214-217,274,共5页

将建立起基于完全分配剩余格值逻辑上的L -双F拓扑群的相关理论 。

关键词 L-双模糊拓扑群 完全分配剩余格 Q领域系 L-双F拓扑群 模糊邻域系 谓词逻辑 格值逻辑

在线阅读 下载PDF 职称材料

完全分配可交换子空间格代数上的非线性广义Lie导子

9

作者 马飞 张建华 刘红哲 《中山大学学报（自然科学版）（中英文）》 CAS CSCD 北大核心 2022年第4期170-177,共8页

设AlgL是Hilbert空间H上的一个完全分配可交换子空间格代数,f是AlgL上的非线性广义Lie导子,d是AlgL上与f相关的非线性映射,则f和d分别是可加广义导子和交换子上为零的映射之和。

关键词 完全分配可交换子空间格代数 非线性广义Lie导子 广义导子

在线阅读 下载PDF 职称材料

广义连续格Ⅰ 被引量：7

10

作者 邓自克 《湖南大学学报（自然科学版）》 EI CAS CSCD 1996年第3期1-3,共3页

基于ｗａｙ－ｂｅｌｏｗ关系引进广义连续格及最大子集系作为研究工具．此类格统一了完全分配格和传统连续格的理论，并在拓扑、代数上有重要应用．

关键词 完全格 广义连续格 w-b关系 最大子集系

在线阅读 下载PDF 职称材料

广义连续格的同态 被引量：5

11

作者 邓自克 《湖南大学学报（自然科学版）》 EI CAS CSCD 1999年第3期1-4,共4页

引进和研究了广义连续格的下同态和上同态，建立了广义代数格紧元素之间的映射扩充为下同态的充要条件．

关键词 完全格 剩余映射 上伴随 同态 广义连续格

在线阅读 下载PDF 职称材料

广义连续格Ⅱ 被引量：5

12

作者 邓自克 《湖南大学学报（自然科学版）》 EI CAS CSCD 1996年第5期1-3,37,共4页

基于ｗａｙ－ｂｅｌｏｗ关系引进广义连续格的强连续性、代数性以及可加性，并用最大子集系对它们加以刻划．

关键词 完全格 最大子集系 广义连续格 w-b关系

在线阅读 下载PDF 职称材料

广义连续格的子格与直接和 被引量：3

13

作者 邓自克 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2001年第1期1-4,共4页

基于上、下同态 ,引进和研究广义连续格的上、下子格以及直接和诸概念 ,其目的是用它们取代传统的同余格作为研究结构问题的新工具 .

关键词 完全格 上子格 下子格 直接和

在线阅读 下载PDF 职称材料

广义连续格的结构 被引量：2

14

作者 邓自克 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2001年第6期1-4,共4页

以上 (下 )子格为工具建立广义连续格的诸结构定理 .

关键词 完全格 直接积 子直接积 广义连续格 结构定理 子格 完全链

在线阅读 下载PDF 职称材料

广义代数格的可加性与T_0拓扑 被引量：2

15

作者 邓自克 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第5期1-3,36,共4页

证明广义代数格同构于拓扑空间的闭集格当且仅当它是可加的 ,进而证明可加广义代数格之范畴等价于 T0 拓扑空间之范畴 .因此可加广义代数格在拓扑中可起与传统代数格在代数中相同的作用 .

关键词 完全格 可加性 广义代数格 T0拓扑空间 格论 WAY-BELOW关系 拓扑表现定理

在线阅读 下载PDF 职称材料

Girard quantale的若干性质 被引量：6

16

作者 王顺钦 赵彬 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第2期10-13,共4页

研究了Girard quantale的内部结构,讨论了新算子|→r(|→l)的一系列性质.找到了Girard quantale的等价刻画以及一个D-quantale是Girard quantale的充要条件,并探讨了Girard quantale中有效元的一些简单性质.

关键词 完全格 D-quantale Girard QUANTALE 有效元

在线阅读 下载PDF 职称材料

依赖注入技术及其执行过程的形式化描述 被引量：6

17

作者 胡启敏 薛锦云 钟林辉 《燕山大学学报》 CAS 2005年第4期291-293,共3页

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系,将被调用构件实例化,并注入到调用构件之中。本文在分析研究依赖注入技术的基础上,用完全格工具形式化地描述依赖注入的执行过程。

关键词 依赖注入 基于构件的软件开发 完全格 形式化方法

在线阅读 下载PDF 职称材料

德摩根拓扑代数Ⅰ 被引量：6

18

作者 邓自克 《湖南大学学报》 EI CAS CSCD 1991年第4期1-6,共6页

本文在完全分配的完全配极格中引进一种拓扑结构,它是A. Tarski的拓扑代数的推广且包括点集柘扑和模糊柘扑作为特例.

关键词 格 完全格 配极 拓扑代数

在线阅读 下载PDF 职称材料

一类二阶线性微分方程的振动与非振动判定

19

作者 张弘 严建明 罗桂烈 《广西科学》 CAS 2004年第4期289-290,共2页

给出判定二阶线性微分方程 (r(t)y′(t) )′ +b(t)y′(t) +a(t)y(t) =0 的振动和非振动的条件 .

关键词 线性微分方程 振动 非振动 正常解 完全格 保序算子

在线阅读 下载PDF 职称材料

拟正则*-半群上的*-同余

20

作者 贾爱霞 田振际 《兰州理工大学学报》 CAS 北大核心 2013年第6期161-163,共3页

刻画拟正则*-半群S上的*-同余.同时证明映射ψ:ρaPtrρ为拟正则*-半群S的*-同余格C*(S)到S的投影集P(S)的所有正规等价关系组成的格Σ(P)上的完全格同态.

关键词 拟正则＊-半群 ＊-同余 完全格同态

在线阅读 下载PDF 职称材料