bisimulation 中文意思是什麼
bisimulation
解釋
雙仿-
We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features
基於這些準則,對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充;給出了計算數據圖中正規表達式的演算法;對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬( bisimulation )等問題進行了研究,提出了一種判定數據圖的bisimulation演算法;在xml數據查詢語言研究的基礎上,設計並實現了一種具有數據庫查詢特性的web查詢系統原型。 -
It is shown that the proposed refinement approaches have the commonly expected properties : the behaviour of the refined process can be inferred compositionally from the behaviour of the original process and from the behaviour of the processes substituted for actions ; the timed extensions of pomset partially ordered multiset trace equivalence and history preserving bisimulation equivalence are both congruences under the refinement ; the syntactic and semantic refinements coincide up to the aforementioned equivalence relations with respect to a cpo - based denotational semantics
然而,對于並發系統來說,時間指標是一個至關重要的因素,很多現實生活中的並發系統都跟時間密切相關,另外,緊急事件在實時並發系統中也是常見的現象,在已研究的動作精化理論當中緊急事件都僅僅只限於用來模擬超時事件,並且是不能被精化的,這對于很多現實系統來說是一個很大的限制。 -
Uniformity of bisimulation equivalences of chi processes
進程互模擬等價的一致性 -
Bisimulation equivalence is considered as one of the fundamental notions of behavioural equivalence, and one of the important properties of bisimulation is its modal logic characterization
互模擬是進程代數中刻畫行為等價的核心概念,而模態邏輯特徵是它的一個重要性質。 -
However, because - bisimulation is not always an equivalence relation, such characterization in the usual style of hml does not always exist for - bisimulation associated with an arbitrary metric
但由於不為超度量時-互模擬一般不為等價關系,所以無法得到一個具有hml經典形式的邏輯特徵。 -
The contributions of this paper include the following : ( 1 ) we establish a new form of the modal logical characterization satisfying - bisimulation in nomal case. ( 2 ) we introduce a new modal operator
( 2 )引入一個新模態詞,並在此基礎上使用新的模態邏輯語言給出一個更具一般性的-互模擬的模態邏輯特徵。 -
For describing the similarity of two processes, - bisimulation is introduced, its properties are associated with a metric and the modal logic characterization of - bisimulation when is an ultra - metric is given
為了描述進程間的近似等價,最近文獻中提出了-互模擬的概念,並將其性質與度量聯系在一起,給出了為超度量時-互模擬的模態邏輯特徵。 -
Variant of safe ambient calculus and its contextual bisimulation
一種改進的安全環境演算及其行為等價關系研究 -
Quantales and process semantics of bisimulation
與互模擬的進程語義 -
Pim bases on the proof systems for the late and early bisimulation congruences and the open bisim - ulation congruences. we implemented our version of the unique fixpoint induction to deal with recursions
然後,以lin的關于遲早互模擬的證明系統和li的關于開互模擬的證明系統為理論基礎,我們實現了-演算的第一個互動式驗證工具- pim 。 -
Based on it a new and more nature result about the modal logical characterization of - bisimulation is given. ( 3 ) we study the properties of the system distributed by ccs _, introduce a permissible error function, establish ccs ~ and give some properties of ccs ~
( 3 )討論ccs _所描述的系統的特徵,引入允許差異程度的概念,給出新的進程代數ccs ~ ,並初步討論ccs ~的一些性質。 -
Since composition does not satisfy substitutivity with respect to - bisimulation, ccs is established and some properties of - bisimulation in ccs _ are introduced. this paper pays attention to ccs _ and an open problem appeared in literature concerning the modal logical characterization of - bisimulation in nomal case
由於在復合下-互模擬不能保持同余性,文獻中引入了ccs _ ,並初步討論了-互模擬在ccs _中一些有用的性質。
分享友人