syntactic semantics 中文意思是什麼

syntactic semantics 解釋
句法語意學
  • syntactic : adj. 句法的。adv. -tically ,-tactics n. 〈pl. 〉【語言學】句法學;【數學】錯列組合論;【邏輯學】句法學;符號關系學,符號組合學。
  • semantics : n. 1. 【語言學】語義學。2. 【哲學】語義哲學;語義學派。
  1. 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

    然而,對于並發系統來說,時間指標是一個至關重要的因素,很多現實生活中的並發系統都跟時間密切相關,另外,緊急事件在實時並發系統中也是常見的現象,在已研究的動作精化理論當中緊急事件都僅僅只限於用來模擬超時事件,並且是不能被精化的,這對于很多現實系統來說是一個很大的限制。
  2. While there are major syntactic differences among the tools aspect declaration style, the core aop semantics are similar

    雖然工具的方面聲明風格之間存在主要的語法差異,但是核心的aop語義是類似的。
  3. Defining ontology semantics for user querying / inference primitives and enveloping query / inference formula in soap query languages for current web either lack of structural characteristics, or are restricted to queries of syntactic structure level of xml documents, while in the semantic web environment, a mechanism for semantic query is essential

    定義了用戶查詢推理原語ontology語義及soap封裝:現有的查詢語言缺乏結構化特性或只是針對xml文檔實現xml語法結構級查詢,為了實現語義化web的語義級查詢,需要新的查詢語言和機制。
分享友人