期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
基于Pi-演算的Web服务可替换性验证 被引量:8
1
作者 廖军 谭浩 刘锦德 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第z1期168-171,共4页
通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用求逆的方法证明了弱互模拟在语法兼容等条件下可保证服务兼容... 通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用求逆的方法证明了弱互模拟在语法兼容等条件下可保证服务兼容性和可替换性的结论.最后建立了一个关于投诉处理流程的实际模型,展示了如何应用Pi-演算的弱互模拟方法和形式化辅助工具对服务的可替换性进行判定. 展开更多
关键词 PI-演算 进程代数 WEB服务 服务替换 服务兼容性
在线阅读 下载PDF
一种能够描述可信特征的进程代数 被引量:1
2
作者 符宁 周兴社 詹涛 《计算机研究与发展》 EI CSCD 北大核心 2011年第11期2120-2130,共11页
针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系... 针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系统行为的同时体现出其可信特征.进一步引入互相似距离的概念以考察2个进程在多大程度上是能够互相模拟的,并研究了QPi与之相关的若干性质.具体的实例描述说明了该代数方法的有效性. 展开更多
关键词 可信软件 进程代数 PI演算 Q代数 半环
在线阅读 下载PDF
基于Pi-演算的信任网络形式化建模 被引量:2
3
作者 袁禄来 曾国荪 王伟 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第1期57-61,116,共6页
网格环境下实体信任网络的形式化建模是实现其仿真的关键环节,利用pi-演算刻画网格中信任网络的结构和交互。抽象定义信任网络,讨论信任网络节点与Pi-演算的对应关系,给出基于Pi-演算的信任网络建模规则和建模过程,借助pi-演算模型检测... 网格环境下实体信任网络的形式化建模是实现其仿真的关键环节,利用pi-演算刻画网格中信任网络的结构和交互。抽象定义信任网络,讨论信任网络节点与Pi-演算的对应关系,给出基于Pi-演算的信任网络建模规则和建模过程,借助pi-演算模型检测工具对提出的信任网络形式化系统进行行为分析与推演,结果表明其具有活性和安全性,且能有效满足用户在信任方面的服务质量需求。 展开更多
关键词 网格安全 信任网络 形式化建模 PI-演算 进程代数
原文传递
超中心扩张的根 被引量:4
4
作者 游松发 《数学研究》 CSCD 1995年第2期18-21,共4页
本文引入了超中心扩张的概念,得到了类似于小心扩张的几个漂亮结果。
关键词 超中心 类似 中心扩张 概念
在线阅读 下载PDF
多数据源集成系统中数据查询过程的π-演算模型 被引量:5
5
作者 王永滨 孟庆龙 刘静 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第1期42-46,共5页
企业动态联盟对信息系统灵活性提出了更高的要求。我们开发的异构数据源集成系统,具有系统配置灵活和数据源的"即插即用"特点,并给出了其简化的数据查询过程的π-演算模型。利用该模型研究了系统动态行为,表现其多层结构中多... 企业动态联盟对信息系统灵活性提出了更高的要求。我们开发的异构数据源集成系统,具有系统配置灵活和数据源的"即插即用"特点,并给出了其简化的数据查询过程的π-演算模型。利用该模型研究了系统动态行为,表现其多层结构中多代理、多对象之间的互操作性。该模型显示了HDSI的并发性、分布性及适于动态联盟组织结构和软硬件平台多变性的灵活性。该形式化模型有利于系统的改进、维护及验证。 展开更多
关键词 多数据源集成系统 数据查询 π-演算模型 数据库
在线阅读 下载PDF
中心根扩张的一个推广 被引量:1
6
作者 游松发 《湖北大学学报(自然科学版)》 CAS 1996年第2期130-132,共3页
推广了Herstein关于中心根扩张的一个重要结果
关键词 根扩张 素代数 半素代数 中心根扩张 交换环
在线阅读 下载PDF
一种用于粒子群优化的服务选择的扩展Pi演算
7
作者 李德胜 邓娜 +1 位作者 程渤 陈俊亮 《计算机科学》 CSCD 北大核心 2012年第S3期259-269,共11页
一种扩展的Pi演算被提出并用来建模使用PSO方法的QoS感知的服务选择问题。首先对Pi演算的语法部分做如下扩展:将通道扩展为带有维数约束和并发约束的束通道;将并行组合扩展为并行链接并将求和扩展为随机选择和代价选择。其次对Pi演算的... 一种扩展的Pi演算被提出并用来建模使用PSO方法的QoS感知的服务选择问题。首先对Pi演算的语法部分做如下扩展:将通道扩展为带有维数约束和并发约束的束通道;将并行组合扩展为并行链接并将求和扩展为随机选择和代价选择。其次对Pi演算的语义部分进行扩展,主要是代价测度函数和PSO元控制原语的融入。最后,在这个目标语言的基础上,通过多媒体环境下的一个服务组合例子,对基于PSO的离散模式DPSO的QoS感知的服务选择进行了建模和仿真。仿真结果表明,该方法在处理该类问题时具有良好的性能和规模性。 展开更多
关键词 PI演算 进程代数 粒子群优化 服务选择
在线阅读 下载PDF
基于Pi演算的网构软件组装与演化框架
8
作者 傅凌云 胡德发 屈喜龙 《微计算机信息》 2011年第2期243-245,共3页
如何在开放的Internet环境下实现各种异构资源的共享与集成,已经成为计算机技术面临的重大挑战,并由此提出了网构软件(Internetware)这一新的概念。网构软件是指在Internet环境下,采用构件技术,自底向上集成各种网络资源的一种新的软件... 如何在开放的Internet环境下实现各种异构资源的共享与集成,已经成为计算机技术面临的重大挑战,并由此提出了网构软件(Internetware)这一新的概念。网构软件是指在Internet环境下,采用构件技术,自底向上集成各种网络资源的一种新的软件形态。对于网构软件这一新型软件形态的研究目前还处于起步阶段,特别在网构件软件的组装与演化方面缺乏形式化理论基础的支持,这严重制约了网构软件的发展与应用。鉴于此,我们在仔细分析网构软件的特点与Pi演算的功能与性质的基础上,提出了一种基于Pi演算的网构软件组装与演化框架,对网构软件的组装与演化过程进行形式化分析。 展开更多
关键词 网构软件 软件演化 PI演算 进程代数 形式化方法
在线阅读 下载PDF
分次本原环与Kaplansky定理 被引量:1
9
作者 朱彬 《北京师范大学学报(自然科学版)》 CAS CSCD 北大核心 1998年第1期1-5,共5页
利用分次本原环的结构定理给出了分次artin单环的刻画,以及分次artin单环是artin单环的一些条件.定义并讨论了分次PI-代数,给出了Kaplansky定理的分次形式.
关键词 分次本原环 artin单环 Kaplansky定理
在线阅读 下载PDF
两类PI-代数的生成恒等式
10
作者 张远峰 徐江南 鲍炎红 《安徽大学学报(自然科学版)》 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
Hopf代数作用的几个传递性质
11
作者 王晓红 《首都师范大学学报(自然科学版)》 1996年第1期18-22,共5页
设H是域k上的有限维Hopf代数,A是左H模代数,本文得到:当H半单时,若A有Krull维数,则AH也有,且KdimAH≤KdimA;当A是仿射PI代数时,且A含这为1的元素,对p∈Spec(AH),有GK(AH/P... 设H是域k上的有限维Hopf代数,A是左H模代数,本文得到:当H半单时,若A有Krull维数,则AH也有,且KdimAH≤KdimA;当A是仿射PI代数时,且A含这为1的元素,对p∈Spec(AH),有GK(AH/P)=clKdim(AH/P)。 展开更多
关键词 郝普夫代数 KRULL维数 GK-维数 仿射PI代数
在线阅读 下载PDF
基于Pi-演算的服务组合正确性验证
12
作者 李勇军 刘敏娟 《软件导刊》 2009年第7期42-44,共3页
对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模... 对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。 展开更多
关键词 PI-演算 进程代数 WEB服务 服务组合 形式化方法
在线阅读 下载PDF
Dynamic Characteristics Analysis on MHTGR Plant’s Secondary Side Fluid Flow Network 被引量:1
13
作者 Maoxuan Song Zhe Dong 《Journal of Power and Energy Engineering》 2016年第7期15-22,共8页
Multipe NSSS (Nuclear Steam Supply System) modules use the common feeding-water system to drive the common turbine power generation set. The SSFFN (secondary side fluid flow network) of MHTGR plant has features i.e. s... Multipe NSSS (Nuclear Steam Supply System) modules use the common feeding-water system to drive the common turbine power generation set. The SSFFN (secondary side fluid flow network) of MHTGR plant has features i.e. strong-coupling and nonlinearity. A wide range of power switching operation will cause unsteady flow, which may destroy the working elements and will be a threat for normal operation. To overcome those problems, a differential-algebraic model and PI controllers are designed for the SSFFN. In MATLAB\SIMULINK environment, a simulation platform is established and used to make a simulation of SSFFN of a MHTGR plant with two NSSS modules, which uses feedwater valves to control the mass flow rate in each module instead of feedwater pump. Results reflect good robustness of controllers. 展开更多
关键词 MHTGR Plant Secondary Side Fluid Flow Network a Differential-Algebraic Model PI Controllers
在线阅读 下载PDF
Azumaya代数的张量积的PI-类数
14
作者 游松发 《湖北大学学报(自然科学版)》 CAS 1994年第3期265-267,共3页
证明了下述重要定理:假设R1,R2是任意交换环C上的代数,且R1,R2分别为它们的中心Z1,Z2上的Azumaya代数,则有deg(R1cR2)=deg(R1)·deg(R2)其中deg(B)为R的PI-类数.
关键词 Azumaya代数 泛矩阵代数 交换环
在线阅读 下载PDF
Trace maps over M_3(K)associated with the substitutions
15
作者 WEN Zhixiong 《Science China Mathematics》 SCIE 2002年第2期165-171,共7页
Let K be a field of characteristic zero and M 3(K)the ring of matrices 3×3 over K.In this paper,we establish first the certain identities of traces of some algebras of Min3(K),then we define the trace mapping of ... Let K be a field of characteristic zero and M 3(K)the ring of matrices 3×3 over K.In this paper,we establish first the certain identities of traces of some algebras of Min3(K),then we define the trace mapping of 3×3 matrices associated with a substitution over a two-letter alphabet on some algebraic variety and study their properties. 展开更多
关键词 SUBSTITUTION TRACE map pi-algebras.
原文传递
李p-超代数的约化包络代数
16
作者 朱英浩 《复旦学报(自然科学版)》 CAS CSCD 北大核心 1997年第6期700-706,共7页
证明了有限维李p-超代数的约化包络代数是一个Frobenius代数,然后研究了李p-超代数的某类约化包络代数满足多项式恒等元的充要条件.
关键词 李p-超代数 约化包络代数 Frobeius代数
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部