general semantics 中文意思是什麼
general semantics
解釋
【語言學】普通語義學。-
In this dissertation we present a general, extensible methodology that examines cryptographic protocols. our approach is specify a protocol in cpal ( cryptographic protocol analysis language ), apply hoare and dijkstra ? theory of formal semantics to it, analysis it ? forma ] semantics, define weakest precondition of each kind of language statement
我們的方法就是用cpal （ cryptographicprotocolanalysislanguage ）語言來表示協議，將hoare和dijkstra在形式語義方面的理論應用到該語言，分析該語言的形式語義，定義每種語句的最弱前置條件。 -
The next great challenge will be to standardize the service template into the xml document in order to build a new generation of web services in the general domain with self - describable data and service semantics
下一個重大挑戰是將服務模板規范化為xml文檔，在通用領域以自我描述的數據和服務語義來構建新一代的web服務。 -
On general semantics and the theoretical foundations
論普通語義學及其理論基礎 -
Looks at the general semantics of relax ng, and touches on datatyping february 2003
考察了relax ng的一般語法，並涉及到數據類型化（ 2003年3月） 。 -
This installment will look at the general semantics of relax ng, and touch on datatyping
這篇專欄文章將討論relax ng的常規語義，並簡要闡述數據類型。 -
And don t get so preoccupied with data typing that you forget to consider how to clarify the more general semantics related to your xml vocabulary
不要被數據類型化先入為主，以致於忘記考慮如何澄清與xml詞匯表有關的更一般的語義。 -
Chapter two puts forward the general idea about the lexical selection model and then gives a brief introduce to the interlingua and hownet, which will be used in succedent discussions. chapter three introduces the construction of example base and semantics pattern base, which are the main data resources of the lection selection model
第二章是系統結構和基礎知識，提出了選詞模型的總體思路，簡要介紹其系統結構；並對中間語言表示方法及基於知網的語義計算模型等有關基礎知識進行了介紹。 -
The semantics of this logic are given in terms of a general model of multi - agent system, closely related to the interpreted systems of epistemic logic
該邏輯的語義是以一般的多agent系統模型給出的，並且與認知邏輯的解釋系統密切相關。 -
In general, comparisons on string columns without blank padding comparison semantics need to be evaluated locally, unless the query compiler is able to find functions to enforce similar logic remotely
通常，不具備空白填充比較語義的字元串列上的比較需要在本地計算，除非查詢編譯器能夠發現在遠程強制類似邏輯的函數。 -
The main work involves : 1, designing the general frame of the chinese intelligent input method based on grammar and semantics which can heighten its intelligence by intelligence processing techniques
主要工作有: 1 、設計漢字語法語義智能輸入法的總體框架。本文設計的輸入法通過引入智能處理技術，提高輸入法的智能特性。
分享友人