【摘 要】
：
Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基
【机 构】
：
北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系
论文部分内容阅读
Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为
其他文献
男子乳房出现隆起、结块、伴有触痛,称为“男性乳房发育症”,中医称为“男子乳肿”、“乳疬”。由于男女生理特点的不同,男子乳房的发病率低于女性,但是临床上男子乳肿并不少
在原始截面离散数据点的基础上，给出了面向工程实际的中弧线几何造型方法和基于离散数据点的内形曲线参数化方法；深入分析了UG（Unigraphic）系统参数化造型的实质；给出了可行的参数
随着中石化专业化重组的推进,对石油工程施工企业提出了更高的发展要求,如何提高安全施工水平,如何降本增效等方面是目前施工企业面临的难题,作为石油钻井工具——钻杆的投入
哈萨克斯坦卡拉姆卡斯油田是哈国曼格什套州曼格什套区的老油田,具有30多年勘探开发的历史,该区块井都是浅井,井位密集,注水井多,大部分老井采收率低,含水量大,已无开采价值,
在分析了新疆富蕴地区铜矿床成矿特征的基础上,建立区域铜矿找矿模型,提取各类找矿信息,在GIS中构成了与成矿有关的地层、断裂、侵入岩、重力和航磁5个证据层。对每个证据层各要素进行相关程度分析,以达到成矿有利信息的优选。用证据权重模型统计综合成专题证据层生成研究区成矿后验概率图。按照后验概率值的相对大小在预测区内圈定了12个成矿远景区。预测结果表明,86.6%的已知铜矿床(点)位于预测的成矿远景区内,
瓦斯参数井中绳索取芯钻进施工中的新技术的应用,简要介绍了绳索取芯钻进中钻压、转速、泥浆的特点,提出了今后有待完善的改进意见。
利用力学原理，建立了用微分方程描述的带不等式约束优化问题的物理模型，用人工释能和摄动的思想，推广了现行的一些可行方向算法，并对算法的收敛性进行了讨论。
柳沟庄构造作为玉门油田开发的重点区域,开发难度大,主要存在白杨河组水化膨胀引起井壁失稳造成井塌埋钻,严重制约了工程的提速。2001～2010年共完成13口井,复杂和事故损失率高
由于滩海地区所处的特定地理环境，加上潜山油藏埋藏深，井下温度高，在开采的过程中难度较大。针对滩海地区潜山油藏的特点，对潜山油藏完井方式进行了选择，同时配套了相应的安全生产
本文导得了轴对称流的位函数φ与流函数ψ的偏导数之间的一个关系式,此式与平面流的关系式是类似的,它是Molenbroek-Chaplygin变换式的推广。本文还导得了轴对称流中的导数的