【摘 要】
：
在CCS中,Milner把系统中的两个事件处于并发定义为＂它们可以按任意顺序发生＂。这个关于并发的定义被称之为＂交叠式并发＂。然而在网论中,Petri把并发定义为＂非序＂,并指出并发是冲突
【基金项目】
：
国家自然科学基金（60673053,90718011）资助
论文部分内容阅读
在CCS中,Milner把系统中的两个事件处于并发定义为＂它们可以按任意顺序发生＂。这个关于并发的定义被称之为＂交叠式并发＂。然而在网论中,Petri把并发定义为＂非序＂,并指出并发是冲突的精确对偶。Petri关于并发的定义被公认为＂真并发＂。为了研究这两种并发概念的联系和差异,以C/E系统为模型,分别从这两种不同定义的视角出发,讨论了并发的表现和实质,并对网系统中存在的不同并发组合情况给出了求交叠式序列（根据交叠式并发概念而得出）个数的一组计算公式。
其他文献
区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵,构造了格蕴涵代数,讨论了格蕴涵代数的一系列性质。同时在区
在开放、动态的网络环境中，网络构件致力于如何有效地整合和共享多样化资源。近年来，流媒体应用在Internet上日趋流行，由此带来了资源共享和节约带宽消耗等一系列挑战性的问题。
在MANET接入Internet网络中，静态网关提供接入的范围有限，动态网关提供接入的性能不稳定，因此提出动态网关和静态网关协作的MANET接入Internet模型。在此基础上，设计了一种基于该
提出一种基于移动最小二乘法变形模型的医学图像配准技术。首先用蛇模型的方法分割图像感兴趣区域;其次在分割后的图像上半自动地选取对应标记点;最后基于这些标记点采用移动最小二乘法的变形模型对图像进行变形,从而实现医学图像的配准。实验结果表明,该方法克服了手动选点难度大的缺点,提高了配准的精度,是一种有效的医学图像配准方法。
介绍了一种仿人机器人的新型步态规划方法。将仿人机器人前向步态简化为七连杆模型,侧向步态简化为五连杆模型;然后在Z坐标相等的情况下合成三维步态;最后通过ZMP方程来检验
结构化P2P覆盖网络通常都基于某个静态的图结构，而这些静态图又常常是Cayley图或其超图，这些静态图的直径、度等特性可以直接影响到覆盖网络拓扑的路由表大小、路由长度等特性，
近期传感数据监测和移动对象跟踪等许多从自然界直接采集数据的新应用引发了不确定性数据管理这一新的研究课题。这些应用中相关数据的不确定性为传统的数据处理方法提出了新
无线自组织网络是没有预置基础设施支撑的自组织可重构的自治网络。由于需要克服远近效应问题、干扰问题以及提高信道的空间复用度，并且为了降低网络节点的能耗，提高网络的生存
一种新的神经网络模型通过输出互学习可实现内部权值同步，将该模型用于安全密钥协商具有计算耗费低、通信量少等特点。在介绍权值同步模型的基础上，结合传感器网络安全协议Tiny