期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
关于Ehresmann半群上最大同余的一个注记 被引量：1
1
作者 马思遥 宫春梅 《西南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第6期8-11,共4页
讨论了Ehresmann半群上包含于广义格林关系U中的最大同余μ.证明了关于任意Ehresmann半群(S,U),商半群((S,U)/μ,U/μ)仍为Ehresmann半群.给出了商半群同构于半格U的一些等价条件,揭示了这类Ehresmann半群的一些结构信息.
关键词 同余条件 最大同余 弱U-富足半群 Ehresmann半群
下载PDF
完全0-单半群同余的同余对刻画研究
2
作者 罗肖强 《长江大学学报（自科版）（上旬）》 CAS 2010年第3期170-172,共3页
运用核类和迹类研究完全0-单半群的同余,证明了逆核同余交并运算式,以及若存在3个同余的蕴含关系。
关键词 完全0-单半群 同余对 最大同余 最小同余
下载PDF
拟富足半群的最大同余
3
作者 刘明 胡欣 +1 位作者 严斌辉 吴春梅 《空军雷达学院学报》 2011年第1期43-44,47,共3页
各类Green关系在半群中扮演着重要的作用.Qallali E和Fountain J研究富足半群,给出了其Green关系的最大同余,本文推展到拟富足半群,并给出了其#-Green关系的最大同余.
关键词 #-Green关系 拟富足半群 良同余 最大同余
下载PDF
MS—代数的理想和同余关系 被引量：5
4
作者 王尊全 《纯粹数学与应用数学》 CSCD 2004年第4期389-392,共4页
给出了 MS—代数 L的理想 I =( d]可以成为某个同余关系核的充要条件 ;分别给出了以 L的理想 I =(
关键词 MS-代数 核理想 同余关系 最小同余关系 最大同余关系
下载PDF
CLT含递归算子的最大前同余性
5
作者 邓鹏辉 张晋津 《计算机技术与发展》 2016年第9期143-148,共6页
进程之间的等价关系或精化关系的同余或前同余性(congruence或precongruence)是组合式推理和模块化设计验证的理论基础。针对面向Web Service的进程演算,Bernardi和Hennessy提出了Client-Must-Testing(CLT)语义及相关的测试前序ㄈ用于... 进程之间的等价关系或精化关系的同余或前同余性(congruence或precongruence)是组合式推理和模块化设计验证的理论基础。针对面向Web Service的进程演算,Bernardi和Hennessy提出了Client-Must-Testing(CLT)语义及相关的测试前序ㄈ用于描述进程的精化关系,并对包含于的最大前同余关系+进行了研究。递归算子是规范理论中重要而且是基础性的算子,Bernardi和Hennessy对包含于的最大前同余关系的研究中未涉及递归算子,因此不能描述进程的无限行为。文中研究了CLT诱导出的精化关系在包含递归算子情形下的前同余性。在讨论了环境(context)、递归进程以及一步转换内在联系的基础上,给出包含于的最大前同余关系。 展开更多
关键词 进程代数 must-testing语义 精化关系 递归算子 最大前同余
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部