semantic actions 中文意思是什麼
-
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
然而，對于並發系統來說，時間指標是一個至關重要的因素，很多現實生活中的並發系統都跟時間密切相關，另外，緊急事件在實時並發系統中也是常見的現象，在已研究的動作精化理論當中緊急事件都僅僅只限於用來模擬超時事件，並且是不能被精化的，這對于很多現實系統來說是一個很大的限制。 -
It shows that : ( 1 ) the semantic of ctn model is intuitive, rational and natural ; ( 2 ) the ctn model is a formal description by integrating the ability and thought status of agent, which can describe the difference among agents accessing the environment and performing actions, and the negotiation is also can be described when conflicts exist
本文通過具體示例說明此邏輯的用途后，討論了ctn系統模型的特點： ctn系統模型的語義是直覺的、合理的和自然的； ctn系統模型是將agent的能力和思維狀態相結合，能夠描述agent訪問環境時的能力差異、執行動作時的權力差異和系統發生沖突時的協商過程。 -
Abstract : middle chinese adverb geng was used in a varity of grammatical meanings : expressing a tone of transition or rhetoric question ; the repeated occurrence of actions ; and the reaching of a further degree. the semantic direction of geng is more complicated : it directs subject, predicate and other compositions
文摘:中古漢語副詞「更」語法意義比較復雜，既可表示轉折或反詰語氣，也可表示動作行為、情況反復、輪迭進行或出現，還可表示程度的加深；在語義指向上，副詞「更」既可指向主語、謂語，還可以指向多個成分。 -
Firstly, the semantic frame is presented, including the formal definition of actions, environment, agent, negotiation and multi - agent system, and the global states, class of ctn system, run and reachable states for ctn system are also defined
本文首先給出了該形式化系統的語義框架，包括行為、協商策略、環境、 agent 、協商和多agent系統的形式化定義，並對系統的全局狀態、系統類、系統運行和可達全局狀態做了描述。 -
A analytical theory is established by putting causal elements into partial states and actions, which deepens our understanding of event causation at the level of partial states and actions. ( 3 ) a causal rule representation is mapped into default logic formalism, based on the examination of general properties of causation. the default rule representation provides a concise syntactic and semantic formalism for potential causal relations to be used in causal reasoning models such as predicting, explaining and diagnosing
（ 2 ）通過對因果關系的可能類型的全面分析，給出了因果關系的結構與組成元素，特別是區分了潛在的因果關系內的原因、結果和因果場中的激活條件，並且把它們同半狀態與動作對應起來，建立了關于因果關系的分析理論。
分享友人