期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
两类PI-代数的生成恒等式
1
作者 张远峰 徐江南 鲍炎红 《安徽大学学报(自然科学版)》 CAS 北大核心 2024年第6期30-36,共7页
PI-代数所满足的恒等式构成自由代数的T-理想,是PI-代数研究的重要研究内容.经典的Kemer定理指出特征零域上的T-理想都可由有限多个多项式生成.但关于T-理想的生成多项式的计算是很困难的.基于自由代数的T-理想与含幺结合代数Operad的... PI-代数所满足的恒等式构成自由代数的T-理想,是PI-代数研究的重要研究内容.经典的Kemer定理指出特征零域上的T-理想都可由有限多个多项式生成.但关于T-理想的生成多项式的计算是很困难的.基于自由代数的T-理想与含幺结合代数Operad的理想之间的对应关系,通过计算含幺结合代数Operad的截面理想分支的生成元,给出了具有2,3阶多项式增长余维数序列的含幺结合PI-代数的生成恒等式. 展开更多
关键词 pi-代数 T-理想 OPERAD 截面理想 生成恒等式
下载PDF
MAS-based dynamic web service composition formal model 被引量:3
2
作者 徐东红 齐勇 +3 位作者 候迪 沈林峰 杜小智 王功震 《Journal of Southeast University(English Edition)》 EI CAS 2008年第3期289-292,共4页
Applying dynamic web services composition is one of the important schemas for solving service-oriented architecture (SOA)and service-oriented computing(SOC).For implementing dynamic web services composition,the mu... Applying dynamic web services composition is one of the important schemas for solving service-oriented architecture (SOA)and service-oriented computing(SOC).For implementing dynamic web services composition,the multi agent system (MAS)is applied to web services composition.First, the essentials of the MAS and web services composition are analyzed and their relationship is discussed.Secondly, an MAS-based architecture is designed for dynamic web services composition,and it is named as CSMWC.A Jade tool is used to implement the major components.The architecture can primarily implement syntactic level dynamic web services composition,and it gives a basis for semantic level dynamic web services composition.For specifying the correctness of the architecture,by using pi-calculus,the architecture of the MAS is formally described,and its dynamic properties and adaptability are reasoned.Finally,it demonstrates the idea proposed by the Pi4SOA tool. 展开更多
关键词 dynamic web service composition MAS(multi agent system) pi-CALCULUS process calculus Pi4SOA
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部