predicate language 中文意思是什麼
predicate language
解釋
謂詞語言-
This method combines the rich output of function and the powerful semantic express ability of predicate and can be used to build precise and detailed ' information needs descriptions for workflow activities. this method can also be used as the request expression language for user query
該方法吸收了函數的豐富輸出和謂詞的強大語義表達能力，用於為工作流活動建立準確、詳細的信息需求描述，同時也可以作為人工推動的信息檢索的需求表達語言。 -
This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus
這種情況下的斷言似乎就需要實現特定的語言擴展，於是一些人建議引入一階謂詞演算。 -
So anything that you may want to express on a complex object that would seem to require first - order predicate calculus can be expressed actually quite nicely within the confines of the programming language
所以對於一個復雜對象，任何看起來需要一階謂詞演算才能描述的東西，實際都可以在編程語言范疇內實現十分精細地表述。 -
Among them language preface of complicated and the most familiar, include the subject postpose, the object places before, the main guest changes, settle the language before moving, settle the language after moving, settle the inside change a language moves the front, form language after moving, connect move type parts of the ian guage of predicate before moving and concurrently language type parts of the language of predicate is before moving
其中語序的錯綜最為常見，包括主語後置、賓語前置、主賓換位、定語挪前、定語挪后、定中換位、狀語挪前、狀語挪后、連動式部分謂語挪前、兼語式部分謂語挪前。 -
This has led some people who design the specification mechanisms for programming languages, or in the case of uml, for modeling languages, to include facilities from first - order predicate calculus as a language extension
這就促使一些人在編程語言的描述機制和建模語言（如統一建模語言， uml ）的處理機制中加進了部分一階謂詞演算的東西，作為一種功能擴展。 -
This thesis gives a model language and a moderately complete formal description which can be used to prove the properties of static and dynamic data dependencies, and defines the notions in the iterative relaxation method formally. the program theories about the iterative relaxation method and its improvement are investigated, whose results include : the generalization of the predicate slices proposed by neelam gupta et al to path - wise static slices, and the proofs of the soundness of the construction algorithm of path - wise static slices and the soundness of the improvement
本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於證明與靜態、動態數據依賴關系有關的程序性質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片，證明路徑靜態切片構造演算法的正確性，證明改進后的方法與原方法所生成的線性約束系統相同。
分享友人