本文關(guān)鍵詞： 高階進(jìn)程演算 編碼 表達(dá)能力 互模擬　出處：《上海交通大學(xué)》2012年碩士論文　論文類型：學(xué)位論文

【摘要】：進(jìn)程演算研究領(lǐng)域近年的熱點方向之一是演算模型表達(dá)能力的研究,其目的是為了回答一個模型的必要性、及與其它模型的相對關(guān)系這樣的本質(zhì)問題。歷史上表達(dá)能力研究往往沒有從進(jìn)程演算的共性出發(fā),缺少一套合理的和獨立的標(biāo)準(zhǔn),其結(jié)論往往不具有可比較性并且可借鑒性差。為了解決上述問題,Fu根據(jù)交互理論的共性提出了一套模型獨立的比較兩個模型表達(dá)能力的框架,它的核心概念是:模型內(nèi)部的絕對等價關(guān)系,以及模型之間具有一般性的子互模擬關(guān)系。 本文基于Fu提出的模型獨立框架,對高階π演算的表達(dá)能力進(jìn)行研究,具體包括以下三方面: 我們證明了在高階π演算中,絕對等價關(guān)系與經(jīng)典的環(huán)境互模擬關(guān)系是一致的。這樣的一致性結(jié)論保證了環(huán)境互模擬在模型獨立框架中的正確性。 我們通過建立從高階π演算到一階π演算之間的子互模擬關(guān)系,重新證明了這兩者之間的相對表達(dá)能力:前者能夠在一種很強(qiáng)的意義下被編碼到后者。 為了證明上述的子互模擬關(guān)系,我們使用了一種基于擴(kuò)張的橋接(up to)技術(shù),這是這類技術(shù)首次應(yīng)用在模型獨立的框架的研究中。
[Abstract]:One of the hot topics in the field of process calculus research in recent years is the study of computational model expression ability, which aims to answer the necessity of a model. In history, the study of expression ability often does not start from the generality of process calculus, and lacks a set of reasonable and independent standards. In order to solve the above problem, we put forward a set of independent framework to compare the expression ability of two models according to the commonness of interaction theory. Its core concept is the absolute equivalence relation within the model and the general sub-simulation relationship between the models. Based on the model independent framework proposed by Fu, this paper studies the expression ability of higher order 蟺 calculus, including the following three aspects: We prove that the absolute equivalence relation is consistent with the classical environmental mutual simulation relation in higher order 蟺 calculus, and this consistent conclusion ensures the correctness of environmental mutual simulation in the framework of model independence. By establishing the sub-mutual simulation relationship between high-order 蟺 calculus and first-order 蟺 calculus, we reprove the relative expression ability between the two. The former can be encoded to the latter in a very strong sense. In order to prove the above sub-mutual simulation relationship, we use an extended bridging up to technique, which is the first time that this technique has been applied in the study of model-independent frameworks.
【學(xué)位授予單位】：上海交通大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2012
【分類號】：TP338.6

【參考文獻(xiàn)】

相關(guān)博士學(xué)位論文 前2條

1 龍環(huán);灰箱演算的操作語義及表達(dá)能力研究[D];上海交通大學(xué);2009年

2 朱涵;模型獨立的移動演算理論[D];上海交通大學(xué);2009年

，

本文編號：1445685