论文部分内容阅读
Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后，提出了以Pi演算作为工作流形式化的基础，并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述。
复杂分支和同步模式的Pi演算描述
【摘 要】
：
Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后，提出了以Pi演算作为工作流形式化的基础，并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述。
【机 构】
：
西北大学信息科学与技术学院
【出 处】
：
计算机科学
【发表日期】
：
2010年2期
【基金项目】
：
本文受国家高可信研究开发计划（2007AA010305）资助.
其他文献
建立了基于流体固体耦合单元的电容式微超声传感器（cMUT）的有限元模型，通过对模型进行声场仿真分析，研究传感器阵列在不同介质中工作时的声场特性，如，谐振频率，发射声压等；分析了传感
系统采用视觉成像技术实时窥视炮膛内壁状况（裂纹、烧蚀斑点和局部阳线断裂等），利用微位移传感器和微机测控技术采集炮膛内径数据，采用上下位机通信机制进行数据传输，由下位机完成
提出了一种实用的基于汉字字段的关系数据库数字水印新方案。通过主键、用户密钥集合和水印嵌入间距确定目标属性值。根据定义的规则，计算比较属性值和水印的特征值并将不同位
半监督学习是机器学习领域的研究热点。协同训练研究数据有多个特征集时的半监督学习问题。将图表示法引入协同训练,使用多个图结构表示多关系数据。在每个图上进行半监督学
从已有的数据模型中进行语义提取，经过一定的规则映射生成本体的过程称为本体学习。关系数据库模型是当前数据的存取与组织的主要模型，从中学习得到本体，一直是本体工程领域研究
节点定位是无线传感器网络中的关键技术之一。介绍了定位算法的分类，论述了一种基于多维标度的迭代定位算法。该迭代定位算法的初始值一般为随机值，该算法定位精度较高，具有一定
普适计算环境中未知移动节点的位置信息是定位服务要解决的关键技术。在普适计算二维空间定住过程中，通过对三角形定位单元区域的误差分析，提出了定位单元布局（LUD）定理。在此基
e-Science是近年新兴的研究热点,主要研究IT技术与各学科领域的结合与应用。野外数据的采集与传输是在涉及野外观测的学科领域中开展e-Science应用所面临的亟需解决的问题。
Web服务技术作为分布式、松耦合的网络系统实现技术，得到了长足的发展，但是服务失效和UDDI注册中心不提供服务选择和优化，查询的服务不能有效满足用户需求等问题却仍然十分突出
针对异构多核片上网络（NoC）的任务映射问题,根据IP核的选择以及IP核向NoC平台中位置映射的两个阶段的不同特点,分别提出能耗和延时的粗略估算模型和精确计算模型。为避免离散空