π-余模代数与π-张量积

主要讨论Hopfπ-余代数H上π-H-余模代数与π-张量积.首先引进π-H-余模的π-张量积的概念,得到两个π-H-余模的π-张量积仍是π-H-余模;然后讨论局部有限维的Hopfπ-余代数H上π-H-余模代数的对偶,给出π-H-余模代数的一个等价条件.

Hopf π-余代数的π-子余代数

主要讨论了局部有限维的Hopfπ-余代数的Hopfπ-子余代数,得到了Hopfπ-余代数的π-子余代数,和Hopfπ-子余代数的一些充分必要条件.

移动智能体的形式化研究

移动智能体是当前分布计算领域的研究热点之一 ,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性 ,介绍了当前的研究现状 ,分析了其中的不足 。

弱Hopf群余代数Kegel定理(英文)

本文研究了余三角弱Hopfπ-余代数H的左弱π-H-余模代数.通过构造左弱π-H-余模代数的导出π-σ-李代数,得到了弱Hopfπ-余代数Kegel定理,推广了文献[4]的结果.

移动IPv6的快速切换的代数验证

利用π演算理论分析移动通信系统,可以严格而规范地描述其协议过程,并给予代数验证。文章基于π演算理论来分析移动IPv6的快速切换机制。首先建立了切换的π演算模型,然后通过推导,证明了模型的一致性。这将为移动IPv6的快速切换的研究提供一定的参考和分析价值。

网络服务行为的进程代数验证方法研究及其应用

通过形式化建模分析了系统特点,确认系统行为,从而尽可能避免系统的冲突等情况.文中提出了一种使用进程代数描述网络服务组件的行为建模方法,包括强模拟、强互模拟、时效性、触发器、服务环境等网络服务交互行为描述方法,然后给出了P2P节点的节点发现、防火墙穿越等行为的描述,提出了适用于托管的RCMMS网络自管理协议,并使用代数的方法描述协议行为,确认其合理性,从而验证文中所提出的方法.

π-余模代数的π-余模理想

研究Hopf π-余代数H上的π-余模代数的π-余模(右)理想的性质,定义了Hopf π-余代数H上的π-余模代数的π-余模(右)理想,在局部有限维条件下证明其与π-H*-模右余理想的对偶关系,并讨论了π-余模代数的π-余模理想,给出π-余模理想的等价条件.

Hopf π-子模

设H为有限型Hopf π-代数,研究Hopf π-代数H上的Hopf π-模与Hopf π-余代数H*上的Hopf π-余模之间的对偶关系,得出了Hopf π-子模与Hopf π-子余模之间的充分必要条件,推广了Hopf代数中的相关结论.

单侧π-理想

设H为局部有限维Hopfπ-代数,证明了H的对偶空间H0是Hopfπ-余代数.在此基础之上,讨论了局部有限维Hopfπ-代数H的单侧π-理想与局部有限维Hopfπ-余代数H0的单侧π-余理想之间的对偶关系.

π-余代数上的余模

设C是π 余代数,给出了π 余代数C 上的C π 余模和有理π C* 模的概念,把余代数上的相关性质推广到π 余代数上.研究了C π 余模、有理π C* 模的基本性质,给出了左C* 模的极大有理π C* 模的刻划以及它们之间的密切联系.

余ribbon Turaev π-代数

讨论了Turaev π-代数余模范畴中的pivotal群交叉结构和ribbon群交叉结构,引入余pivotal Turaev π-代数和余ribbon Turaev π-代数的定义,并分别给出Turaev π-代数伴有余pivotal结构和余ribon结构的充要条件.

π-余代数及π-分次代数

引进π-子余代数及π-子代数正交的概念,讨论π-子余代数正交补与其对偶π-代数的π-理想的相互关系,将文献[2]中的一些性质在Hopf-π-余代数上进行推广.

一种基于进程代数的Android组件行为形式化描述方法

已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并给出了组件行为相应的演化规则,然后给出了组件交互行为的形式化描述,并应用于一个案例表明了方法的正确性和有效性,最后给出了基于模拟机制的行为判定规则,为应用行为的分析和判定提供有效支持.

802.11MAC层切换过程的代数验证

8 0 2 .1 1MAC层的切换过程是其协议的一个重要组成部分 ,它影响着网络的动态拓扑结构。利用π演算理论来进行分析 ,可以严格而规范地描述其切换过程。在本文中 ,首先建立了切换的π演算模型 ,然后通过推导 ,证明了模型的一致性。这将为 80 2 .1 1MAC层的研究提供一定的参考和分析价值。

π-余模余代数与π-余模余理想

引进了π-H-余模余代数、π-■-模代数的定义,给出了一些相关的性质,然后证明了局部有限维的π-H-余模余代数的对偶是一个π-H*-模代数;接着又引进了π-H-子余模、π-H-余模余理想、π-■-子模以及π-H-模子代数等概念,证明了π-H-余模余理想与π-H*-模子代数间的对应关系.

关于π-余代数的几个性质

引用π-余代数的概念，把一些余代数的性质推广到π-余代数中，最主要的是把基本同构定理推广到π-余代数中．

π-H-余模代数与π-H-余模子代数

研究了π-H-余模子代数的相关性质.借助对偶原理证明了M是π-H-余模代数A的π-H-余模子代数当且仅当M⊥是π-H-模余代数A*的π-H*-模余理想.

弱Hopf群余代数的Morita关系(英文)

弱Hopf群余代数是弱Hopf代数和Hopf群余代数的自然推广.设π是一个群,在弱Hopfπ-余代数前提下考虑Morita关系,设H是有限型弱Hopf群余代数,A是弱右π-H-余模代数,构造了弱smash积A#H*和余不动点AcoH的Morita关系.这一结果推广了Wang发表于2006年的Morita contexts,π-Galois extensions for Hopf π-coalgebras一文中的结论.此结果对于构造弱π-Galois扩张是非常重要的.

弱群缠绕结构与弱Hopf群(余)代数(英文)

作为弱Hopf代数与缠绕结构的推广,本文引进弱Hopfπ-代数与弱群缠绕结构,并证明两者之间有着密切的关系：设H={Hα}_（α∈π）是一族余代数同时也是一个余代数.假设A_（αβ）（h_αk_β）△_β（k_β）,则下面几点等价：·H是弱半Hopfπ-代数;·（H,H,ψ′）和（H,H,~2）分别是左-右和左-右弱群缠绕结构;·（H,H,~3）和（H,H,ψ~4）分别是右-左和左-左弱群缠绕结构.最后,作为对偶情形.本文还证明半Hopfπ-余代数与弱群缠绕结构的关系.

π-演算中无卫递归的消除

本文提出消除π－演算中无卫递归的公理，证明了将该公理加入到正则π－演算受卫递归子集上的证明系统后。