期刊文献+
共找到46篇文章
< 1 2 3 >
每页显示 20 50 100
Crossed products for Hopf group-algebras
1
作者 You Miman Lu Daowei Wang Shuanhong 《Journal of Southeast University(English Edition)》 EI CAS 2021年第3期339-342,共4页
First,the group crossed product over the Hopf group-algebras is defined,and the necessary and sufficient conditions for the group crossed product to be a group algebra are given.The cleft extension theory of the Hopf ... First,the group crossed product over the Hopf group-algebras is defined,and the necessary and sufficient conditions for the group crossed product to be a group algebra are given.The cleft extension theory of the Hopf group algebra is introduced,and it is proved that the crossed product of the Hopf group algebra is equivalent to the cleft extension.The necessary and sufficient conditions for the crossed product equivalence of two Hopf groups are then given.Finally,combined with the equivalence theory of the Hopf group crossed product and cleft extension,the group crossed product constructed by the general 2-cocycle as algebra is determined to be isomorphic to the group crossed product of the 2-cocycle with a convolutional invertible map of the 2-cocycle.The unit property of a general 2-cocycle is equivalent to the convolutional invertible map of the 2-cocycle,and the combination condition of the weak action is equivalent to the convolutional invertible map of the 2-cocycle and the combination condition of the weak action.Similarly,crossed product algebra constructed by the general 2-cocycle is isomorphic to the Hopfπ-crossed product algebra constructed by the 2-cocycle with a convolutional invertible map. 展开更多
关键词 Hopfπ-algebra cleft extension theorem π-comodule-like algebra group crossed products
在线阅读 下载PDF
π-余模代数与π-张量积 被引量:9
2
作者 孙建华 苏航赟 《扬州大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第1期1-5,9,共6页
主要讨论Hopfπ-余代数H上π-H-余模代数与π-张量积.首先引进π-H-余模的π-张量积的概念,得到两个π-H-余模的π-张量积仍是π-H-余模;然后讨论局部有限维的Hopfπ-余代数H上π-H-余模代数的对偶,给出π-H-余模代数的一个等价条件.
关键词 HOPF Π-余代数 π-余模代数 π-张量积
在线阅读 下载PDF
Hopf π-余代数的π-子余代数 被引量:10
3
作者 衡美芹 孙建华 《纯粹数学与应用数学》 CSCD 2009年第4期706-710,共5页
主要讨论了局部有限维的Hopfπ-余代数的Hopfπ-子余代数,得到了Hopfπ-余代数的π-子余代数,和Hopfπ-子余代数的一些充分必要条件.
关键词 HOPF Π-余代数 HOPF Π-代数 HOPF π-子余代数
在线阅读 下载PDF
移动智能体的形式化研究 被引量:4
4
作者 吴泉源 吴刚 王怀民 《国防科技大学学报》 EI CAS CSCD 2000年第6期47-51,共5页
移动智能体是当前分布计算领域的研究热点之一 ,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性 ,介绍了当前的研究现状 ,分析了其中的不足 。
关键词 移动智能体 并发模型 进程代数 Π演算 形式化 计算机 分布式计算模式
在线阅读 下载PDF
Hopf π-余模余代数的对偶 被引量:2
5
作者 陈华喜 殷晓斌 《山东大学学报(理学版)》 CAS CSCD 北大核心 2011年第12期46-50,共5页
给出了π-H-余模余代数和π-珟H-模代数的定义。证明了局部有限维的π-H-余模余代数的对偶是一个π-H*-模代数。
关键词 Hopfπ-代数 Hopfπ-余代数 对偶 π-H-余模余代数
原文传递
网络服务行为的进程代数验证方法研究及其应用 被引量:2
6
作者 陈福 杨家海 +2 位作者 杨扬 王元卓 贾美英 《计算机学报》 EI CSCD 北大核心 2011年第9期1660-1668,共9页
通过形式化建模分析了系统特点,确认系统行为,从而尽可能避免系统的冲突等情况.文中提出了一种使用进程代数描述网络服务组件的行为建模方法,包括强模拟、强互模拟、时效性、触发器、服务环境等网络服务交互行为描述方法,然后给出了P2P... 通过形式化建模分析了系统特点,确认系统行为,从而尽可能避免系统的冲突等情况.文中提出了一种使用进程代数描述网络服务组件的行为建模方法,包括强模拟、强互模拟、时效性、触发器、服务环境等网络服务交互行为描述方法,然后给出了P2P节点的节点发现、防火墙穿越等行为的描述,提出了适用于托管的RCMMS网络自管理协议,并使用代数的方法描述协议行为,确认其合理性,从而验证文中所提出的方法. 展开更多
关键词 进程代数 Π演算 服务行为 交互系统演算
在线阅读 下载PDF
弱Hopf群余代数Kegel定理(英文) 被引量:3
7
作者 周璇 杨涛 《数学杂志》 CSCD 北大核心 2013年第2期228-236,共9页
本文研究了余三角弱Hopfπ-余代数H的左弱π-H-余模代数.通过构造左弱π-H-余模代数的导出π-σ-李代数,得到了弱Hopfπ-余代数Kegel定理,推广了文献[4]的结果.
关键词 弱Hopfπ-余代数 左弱π-H-余模代数 π-σ-李代数 Kegel定理
在线阅读 下载PDF
移动IPv6的快速切换的代数验证 被引量:1
8
作者 胡运安 夏正友 +1 位作者 钟亦平 杨明 《计算机工程与应用》 CSCD 北大核心 2004年第20期161-164,共4页
利用π演算理论分析移动通信系统,可以严格而规范地描述其协议过程,并给予代数验证。文章基于π演算理论来分析移动IPv6的快速切换机制。首先建立了切换的π演算模型,然后通过推导,证明了模型的一致性。这将为移动IPv6的快速切换的研究... 利用π演算理论分析移动通信系统,可以严格而规范地描述其协议过程,并给予代数验证。文章基于π演算理论来分析移动IPv6的快速切换机制。首先建立了切换的π演算模型,然后通过推导,证明了模型的一致性。这将为移动IPv6的快速切换的研究提供一定的参考和分析价值。 展开更多
关键词 移动IPV6 快速切换 Π演算 代数验证
在线阅读 下载PDF
π-余模代数的π-余模理想 被引量:1
9
作者 衡美芹 孙建华 《扬州大学学报(自然科学版)》 CAS 北大核心 2014年第2期8-11,15,共5页
研究Hopf π-余代数H上的π-余模代数的π-余模(右)理想的性质,定义了Hopf π-余代数H上的π-余模代数的π-余模(右)理想,在局部有限维条件下证明其与π-H*-模右余理想的对偶关系,并讨论了π-余模代数的π-余模理想,给出π-余模理想的... 研究Hopf π-余代数H上的π-余模代数的π-余模(右)理想的性质,定义了Hopf π-余代数H上的π-余模代数的π-余模(右)理想,在局部有限维条件下证明其与π-H*-模右余理想的对偶关系,并讨论了π-余模代数的π-余模理想,给出π-余模理想的等价条件. 展开更多
关键词 HOPF Π-余代数 π-余模代数 π-余模(右)理想
在线阅读 下载PDF
Hopf π-子模 被引量:1
10
作者 赵士银 《纯粹数学与应用数学》 CSCD 2011年第1期45-50,共6页
设H为有限型Hopf π-代数,研究Hopf π-代数H上的Hopf π-模与Hopf π-余代数H*上的Hopf π-余模之间的对偶关系,得出了Hopf π-子模与Hopf π-子余模之间的充分必要条件,推广了Hopf代数中的相关结论.
关键词 HOPF Π-代数 Π-模 HOPF π-子模
在线阅读 下载PDF
单侧π-理想 被引量:2
11
作者 赵士银 《山东理工大学学报(自然科学版)》 CAS 2012年第2期45-47,共3页
设H为局部有限维Hopfπ-代数,证明了H的对偶空间H0是Hopfπ-余代数.在此基础之上,讨论了局部有限维Hopfπ-代数H的单侧π-理想与局部有限维Hopfπ-余代数H0的单侧π-余理想之间的对偶关系.
关键词 Π-代数 Hopfπ-代数 单侧π-理想 单侧π-余理想
在线阅读 下载PDF
π-余代数上的余模 被引量:3
12
作者 李金其 《浙江师范大学学报(自然科学版)》 CAS 2005年第1期1-4,共4页
设C是π 余代数,给出了π 余代数C 上的C π 余模和有理π C* 模的概念,把余代数上的相关性质推广到π 余代数上.研究了C π 余模、有理π C* 模的基本性质,给出了左C* 模的极大有理π C* 模的刻划以及它们之间的密切联系.
关键词 余代数 余模 刻划 基本性质 推广 概念
在线阅读 下载PDF
余ribbon Turaev π-代数
13
作者 郭双建 张晓辉 《东北师大学报(自然科学版)》 CAS CSCD 北大核心 2016年第3期14-20,共7页
讨论了Turaev π-代数余模范畴中的pivotal群交叉结构和ribbon群交叉结构,引入余pivotal Turaev π-代数和余ribbon Turaev π-代数的定义,并分别给出Turaev π-代数伴有余pivotal结构和余ribon结构的充要条件.
关键词 Turaev Π-代数 ribbon群交叉范畴 余ribbon结构 余pivotal结构
在线阅读 下载PDF
π-余代数及π-分次代数
14
作者 任北上 尹闯 吴洁霞 《广西科学》 CAS 2007年第3期200-203,共4页
引进π-子余代数及π-子代数正交的概念,讨论π-子余代数正交补与其对偶π-代数的π-理想的相互关系,将文献[2]中的一些性质在Hopf-π-余代数上进行推广.
关键词 Π-余代数 π-子余代数 Hopf-π-余代数 π-分次代数 π-子代数
在线阅读 下载PDF
一种基于进程代数的Android组件行为形式化描述方法
15
作者 梁东魁 申利民 +2 位作者 马川 冯佳音 陈真 《小型微型计算机系统》 CSCD 北大核心 2021年第7期1561-1568,共8页
已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并... 已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并给出了组件行为相应的演化规则,然后给出了组件交互行为的形式化描述,并应用于一个案例表明了方法的正确性和有效性,最后给出了基于模拟机制的行为判定规则,为应用行为的分析和判定提供有效支持. 展开更多
关键词 恶意应用 组件行为 进程代数 Π演算 形式化描述 模拟机制
在线阅读 下载PDF
802.11MAC层切换过程的代数验证
16
作者 胡运安 夏正友 杨明 《计算机工程与科学》 CSCD 2004年第7期97-99,104,共4页
8 0 2 .1 1MAC层的切换过程是其协议的一个重要组成部分 ,它影响着网络的动态拓扑结构。利用π演算理论来进行分析 ,可以严格而规范地描述其切换过程。在本文中 ,首先建立了切换的π演算模型 ,然后通过推导 ,证明了模型的一致性。这将为... 8 0 2 .1 1MAC层的切换过程是其协议的一个重要组成部分 ,它影响着网络的动态拓扑结构。利用π演算理论来进行分析 ,可以严格而规范地描述其切换过程。在本文中 ,首先建立了切换的π演算模型 ,然后通过推导 ,证明了模型的一致性。这将为 80 2 .1 1MAC层的研究提供一定的参考和分析价值。 展开更多
关键词 通信协议标准 数学模型 802.11MAC 动态拓扑结构 代数验证
在线阅读 下载PDF
广义Lie代数的Kegel定理
17
作者 陈华喜 张崔斌 董丽红 《山东大学学报(理学版)》 CAS CSCD 北大核心 2014年第10期38-44,共7页
设π是一个群,(H,σ)是一个余三角Hopfπ-余代数,在π-H-余模范畴中构造了一类广义Lie代数,并且得到了经典的Kegel定理。
关键词 Hopfπ-余代数 π-H-余模代数 Kegel定理
原文传递
π-余模余代数与π-余模余理想
18
作者 陈华喜 殷晓斌 《华中师范大学学报(自然科学版)》 CAS CSCD 北大核心 2012年第6期645-648,共4页
引进了π-H-余模余代数、π-■-模代数的定义,给出了一些相关的性质,然后证明了局部有限维的π-H-余模余代数的对偶是一个π-H*-模代数;接着又引进了π-H-子余模、π-H-余模余理想、π-■-子模以及π-H-模子代数等概念,证明了π-H-余模... 引进了π-H-余模余代数、π-■-模代数的定义,给出了一些相关的性质,然后证明了局部有限维的π-H-余模余代数的对偶是一个π-H*-模代数;接着又引进了π-H-子余模、π-H-余模余理想、π-■-子模以及π-H-模子代数等概念,证明了π-H-余模余理想与π-H*-模子代数间的对应关系. 展开更多
关键词 π-H-余模余代数 π-H^-模代数 π-H-子余模 π-H-余模余理想 π-H-模子代数
在线阅读 下载PDF
关于π-余代数的几个性质
19
作者 方小利 李金其 《绍兴文理学院学报(自然科学版)》 2004年第7期41-44,共4页
引用π-余代数的概念,把一些余代数的性质推广到π-余代数中,最主要的是把基本同构定理推广到π-余代数中.
关键词 Π-余代数 Π-代数 π-余理想 K-线性映射
在线阅读 下载PDF
π-H-余模代数与π-H-余模子代数
20
作者 赵士银 周坚 《纯粹数学与应用数学》 CSCD 2014年第5期447-453,共7页
研究了π-H-余模子代数的相关性质.借助对偶原理证明了M是π-H-余模代数A的π-H-余模子代数当且仅当M⊥是π-H-模余代数A*的π-H*-模余理想.
关键词 Hopfπ-余代数 π-H-余模代数 π-H-余模子代数
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部