formal semantics 中文意思是什麼

formal semantics 解釋
形式語意學
  • formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
  • semantics : n. 1. 【語言學】語義學。2. 【哲學】語義哲學；語義學派。
  1. 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在形式語義方面的理論應用到該語言，分析該語言的形式語義，定義每種語句的最弱前置條件。
  2. Abstract : in this paper, the formal definition of composite objects was presented. semantics of composite object was specified and related to object - oriented concepts. then the semantics, creation and deletion of composite object were illustrated in terms of schema definition, which shows the integration of composite objects. meanwhile, the approach of implementing composite objects, including enforcement of the semantics of composite objects and its physical clustering, was also indicated

    文摘:把復合對象和面向對象的概念聯系起來，在復合對象的形式定義后，指定復合對象的語義，然後根據模式定義來說明復合對象的語義，以及復合對象的創建和刪除.展示了復合對象數據整體性.同時還指出了實現復合對象的方法，包括復合對象語義的強制和物理聚集
  3. 11 luo x, zhang c, jennings n r. a hybrid model for sharing information between fuzzy, uncertain and default reasoning models in multi - agent systems. international journal of uncertainty, fuzziness and knowledge - based systems, 2002, 10 : 401 - 450. 12 hindriks k v, de boer f s, der hoek w van, meyer j j c. formal semantics of an abstract agent programming language

    Agent行動選擇和目標更新不僅依賴于agent的不確定信念，而且依賴于agent在實施這些行動的時候的得失效應值在此，把點概率的效應理論擴展到了區間概率的情況，並借用模糊數學中區間數的方法，給出了比較區間最大期望效應的方法再次，關于實用推理的不確定性的繁殖，使用了基於預設決策理論的預設邏輯方法。
  4. In the filtering sub - system using ontology - based profile, we introduce an approach to construct the user ’ s profile based on ontology. ontology provides a formal way to describe the semantics relations between the concepts by using the means of concept - properties model. two algorithms have been designed to calculate the semantic similarity between feature vector and the profile, which have been impoved according to the evaluated results

    在基於本體模板的信息過濾子系統中，本文以本體的形式來描述用戶的需求模板，利用本體中的概念關系模型來體現概念間的語義關聯關系，並設計了兩種計算文本特徵向量與本體模板語義相似度的演算法，並根據實驗結果對這兩種演算法進行了改進。
  5. In the uml specification, the editors describe the static semantics in formal language ocl ( object constraint language ) and natural language, while the dynamic semantics is almost described in natural language. uml lacks in a strict definition of dynamic semantics

    在uml規范中，編制者是用較為形式化的語言ocl （ objectconstraintlanguage ）和自然語言兩種手段描述靜態語義，而動態語義卻基本上完全是用自然語言來描述的， uml缺乏一個嚴格的動態語義定義。
  6. Because the formal language in supplemental approach do n ' t have the object - oriented feature, using supplemental approach makes it difficult to integrate with the present practice. while the way of oo - extended formal language approach ca n ' t directly formalize the semantics of uml model, which affects the readers " understanding of uml model rbrmalization

    在補充法中所使用的形式化語言不具有面向對象的特徵，不能很好地和當前實踐相結合，而具有面向對象擴展的形式語言方法又不能直接對uml模型的語義進行形式化，影響了讀者對uml模型形式化的理解。
  7. Developerworks, october 2005 : learn about skos the simple knowledge organization system, a recent semantic web standard for managing subject matter, and how you can use skos to integrate formal semantics with document content

    」 （ developerworks ， 2005年10月） ：學習skos （簡單知識組織系統） ，管理主題問題的最新語義web標準，以及如何用skos把正式的語義與文檔內容集成。
  8. The formal semantics of sql is the theoritical foundation of query rewriting, but there is no satisfying method to translate sql into a canonical form. in this paper, we propose a better formalizing method for sql which is more succinct

    Sql的形式語義是查詢重寫研究的理論基礎，本文在前人工作的基礎上，提出了一種更加完善的形式化方法，不但消除了以往形式化方法的部分不足，而且從形式上也更為簡潔、直觀。
  9. The discussion exploits rules to ascribe main uml elements with formal semantics in terms of functionally equivalent petri nets

    本文提出的pbmum方法的基本思想是採用與uml具有同等功能的petri網的形式化語義規則去描述uml的主要元素。
  10. Key to learning effectiveness are participants collaborative problem solving and semantic - based information retrivel. these require semantics to be expressed in a formal and unambiguous way

    而學習參與者圍繞某個問題的合作交流以及基於語義的學習資源查詢是決定學習效率的關鍵因素。
  11. This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic. it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development

    本文通過將面向對象的可視化建模語言與基於時序邏輯的形式化方法結合起來描述軟體體系結構，對軟體體系結構描述研究、 uml形式語義研究和形式化方法在軟體開發中的應用等方面都有一定的推動作用。
  12. The formal semantics of rt - z, based on the denotation semantics of z and timed csp, is a prerequisite for preciseness and mathematical rigour

    Rt - z的語義基於z和timedcsp ，這是它具有正確性和數學嚴格性的基礎。
  13. Owl facilitates greater machine interpretability of web content than that supported by xml, rdf, and rdf schema by providing additional vocabulary along with formal semantics

    Owl既提供了正式的語義，又提供了附加的詞匯，所以比起xml 、 rdf和rdf schema ，對web內容實現了更好的機器互操作性。
  14. Based on these, this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining uml 2. 0 and xyz / adl. in this paper, the disadvantage of several main methods of software architectural description is analysed, the advantage of uml 2. 0 compared with uml 1. x in the software architecture description is analysed, the corresponding relationship between uml 2. 0 and xyz / adl in the architectural description is given and uml 2. 0 model elements which used to describe the according architectural conception are determined, then a new way to describe software architecture which combine uml 2. 0 and xyz / adl through defining the semantics of xyz / e for uml 2. 0 is composed. in order to realize this method, the formal semantics of uml 2. 0 sequence diagram and state diagram based on xyz / e are defined. in final, the arcitectural description of a simple dask manager system which uses our method is given

    本文分析和比較了當前國內外常用的軟體體系結構描述方法，指出了它們各自存在的問題;分析了uml2 . 0與uml1 . x相比在軟體體系結構描述方面的優勢，確定了用uml2 . 0描述軟體體系結構概念元素所使用的相關模型元素，給出了uml2 . 0與xyz / adl在體系結構描述中的元素對應關系;提出了一種通過定義uml2 . 0相關視圖的xyz / e語義，把uml2 . 0與xyz / adl結合起來描述軟體體系結構的新方法，並分別定義了uml2 . 0的順序圖和狀態圖的xyz / e時序邏輯語義;最後通過對一個簡單的任務管理系統的體系結構進行描述，把本文提出的結合思想運用到實例系統的描述當中。
  15. The disadvantage of it is lacking a formal semantics and difficult to apply, directly, mathematical techniques on uml models for system validation

    但uml的缺點是難以直接用數學工具對uml模型進行檢驗，另外uml在語義方面也存在一些不足。
  16. Meanwhile, the semantics of syntactical structure, constraint condition and super activity graph were discussed. this idea defined the formal semantics appropriate for work flow for super activity graph and completed the establishment of the mathematical model of work flow. apart from that, the executive algorithm of the activity graph in the formal semantics of work flow activity graph were put forward

    同時對活動超圖的語法結構、約束條件及活動超圖的語義進行了討論，並為活動超圖定義了適用於工作流模型的形式化語義，從而完成工作流數學模型的建立，提出了工作流活動圖形式化語義中活動圖的執行演算法。
  17. This idea provided the foundation for the justification of the corresponding work flow functional requirement to the formal semantics by means of model examination

    為使用模型檢查方法來驗證與形式化語義對應的工作流功能需求奠定了基礎。
  18. At present, many organizations and individuals are engaged in the study of uml formal semantics. they attempt to influence the future of uml through the study of uml

    目前，很多機構和個人都在從事uml的形式語義研究，他們試圖通過對uml的研究來對uml的未來產生影響。
  19. The final formal semantics are more complicated than originally expected, and in fact took quite a different form than initially envisioned, but the informal semantics are clear and intuitive and will be outlined in part 2 of this article

    最終正式的語義比原來所預料的要復雜得多，實際上它採用了一種與原先預想的完全不同的形式，但非正式的語義是清晰直觀的，將在本文的第2部分概要地說明。
  20. ( 3 ) discusses the formal specifications for hardware formal design and presents the formal model of fcmhd ( formal computational model for hardware design ) and its formal semantics based on itl ( interval temporal logic )

    作者以時段演算（ durationcalculus ， dc ）為工具對vhdl的子集進行了形式語義分析；通過分析vhdl和veriloghdl部分語句的形式語義，為硬體描述語言的分析、設計、編譯提供了一個嚴格的理論基礎和新的途徑。
分享友人
分享到 Line

分享到臉書