计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2014年
8期
1719-1731
,共13页
正确性%极限%拓扑%进程代数%三分之二模拟
正確性%極限%拓撲%進程代數%三分之二模擬
정학성%겁한%탁복%진정대수%삼분지이모의
correctness%limit%topology%process algebra%two-thirds simulation
三分之二模拟为验证系统的实现满足其规范提供了抽象描述.为了刻画系统的实现逐渐接近于规范,该文利用网极限的观点,以三分之二模拟为基础,建立系统实现的收敛机制,说明系统规范是其实现的极限形式.首先提出三分之二极限模拟和三分之二模拟极限的定义,建立三分之二模拟的极限理论.其次,建立三分之二极限模拟的拓扑结构,包括子网闭包、尾闭包、自然延拓和复合,证明三分之二模拟极限构成一个收敛类,并诱导一个拓扑,给出三分之二模拟极限的拓扑理论.最后,证明三分之二模拟极限在各种复合算子下的拟同余性(pre-congruence),进而说明各种复合算子关于三分之二模拟极限的连续性.
三分之二模擬為驗證繫統的實現滿足其規範提供瞭抽象描述.為瞭刻畫繫統的實現逐漸接近于規範,該文利用網極限的觀點,以三分之二模擬為基礎,建立繫統實現的收斂機製,說明繫統規範是其實現的極限形式.首先提齣三分之二極限模擬和三分之二模擬極限的定義,建立三分之二模擬的極限理論.其次,建立三分之二極限模擬的拓撲結構,包括子網閉包、尾閉包、自然延拓和複閤,證明三分之二模擬極限構成一箇收斂類,併誘導一箇拓撲,給齣三分之二模擬極限的拓撲理論.最後,證明三分之二模擬極限在各種複閤算子下的擬同餘性(pre-congruence),進而說明各種複閤算子關于三分之二模擬極限的連續性.
삼분지이모의위험증계통적실현만족기규범제공료추상묘술.위료각화계통적실현축점접근우규범,해문이용망겁한적관점,이삼분지이모의위기출,건립계통실현적수렴궤제,설명계통규범시기실현적겁한형식.수선제출삼분지이겁한모의화삼분지이모의겁한적정의,건립삼분지이모의적겁한이론.기차,건립삼분지이겁한모의적탁복결구,포괄자망폐포、미폐포、자연연탁화복합,증명삼분지이모의겁한구성일개수렴류,병유도일개탁복,급출삼분지이모의겁한적탁복이론.최후,증명삼분지이모의겁한재각충복합산자하적의동여성(pre-congruence),진이설명각충복합산자관우삼분지이모의겁한적련속성.
