【摘 要】
：
并发计算模型是计算机科学研究的重要问题之一.π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链接互相交互.与传统的进程代数如CCS相比,π演
【基金项目】
：
国家重点基础研究发展计划(973计划)，国家自然科学基金，国家高技术研究发展计划(863计划)，江苏省自然科学基金
论文部分内容阅读
并发计算模型是计算机科学研究的重要问题之一.π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链接互相交互.与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力.正如λ演算能够描述所有的可计算函数,π演算也有同样的能力.本文提出了一个方法,据此可以把自然数和函数描述为进程,从而证明了π演算有足够的能力描述所有的可计算函数,同时还说明了与λ演算相比,π演算有着更高的计算效率.
其他文献
铟元素主要来源于闪锌矿等锌石中,铟测定的不确定度具有非常重要的意义。ICP-MS法测定锌矿石中铟具有快速、准确的优点。对ICP-MS法测定锌矿石中铟的各个不确定度各分量的评
对中深孔孔底起爆法的机理进行了阐述,介绍了图拉尔根铜镍矿试验推广中深孔孔底起爆法的情况。
基于关键词集的中文文本特征表示方法难以准确表示文本语义信息,从而导致聚类质量较差.为了解决这个问题,本文将本体论和词共现模型的思想引入到中文文本的特征表示中,并在此
采用泡塑吸附法测试土壤、矿石中微量金含量时，在前处理条件相同下通常采用灰化法或者硫脲解脱法进行分离富集。本文对分离富集步骤中常用的这两种方法进行比较，针对不同的条件
研究了一类具有非线性传染率且潜伏期和染病期均传染的SEIS传染病模型．得到了决定疾病绝灭和持续的阈值，证明了在无因病死亡的情形下，极限系统的地方病平衡点只要存在就一定是全
提出了一种新的M^＋-tree构造策略一通过批量装载数据静态构造M^＋-tree．这种建树方法能够极大地降低索引的构建代价并加快建树速度：又能保证高雏数据良好的聚类特性．同时又提出了一
在铅酸蓄电池铸板过程中,板栅模具表面需要喷涂一层喷模剂来达到控制板栅重量和厚度的目的,本技术配制溶液a和溶液b,在喷涂板栅模具的过程中配合使用,达到了很好的保温作用,
祁连县托勒热水沟铁矿床位于托勒山-大坂山复向斜（Ⅰ12）的西端北翼。热水沟铁矿床矿体赋存于早奥陶世阴沟群之中,该套地层为裂陷沉降环境中的半深海-深海复理式浊积环境的典型