formal semantic model 中文意思是什麼
formal semantic model
解釋
形式語義模型-
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
在基於本體模板的信息過濾子系統中，本文以本體的形式來描述用戶的需求模板，利用本體中的概念關系模型來體現概念間的語義關聯關系，並設計了兩種計算文本特徵向量與本體模板語義相似度的演算法，並根據實驗結果對這兩種演算法進行了改進。 -
Therefore, the formal semantic study of uml is helpful for the improvement of the clarification, equivalence, consistency, and extendibility of the language, thus offers a powerful theoretical tool for the validity proof, transition of the model and the consistency check of the modeling tools supporting uml
因此，對uml進行形式語義研究，對增進該語言的清晰性、等價性和一致性、可擴展性是十分有幫助的，為模型的正確性證明、轉換以及支持uml建模工具的一致性檢查提供了有力的理論工具。 -
Using attributed graph transformation productions defined on wscg model, the consistency between wscg execution instance and wscg model is guaranteed with a sound formal semantic basis
Wscg模型的執行語義有兩種描述方式，一種是定義在wscg元模型之上的基本的執行語義，這是wscg模型進行解釋執行的基礎。 -
In autoore, a novel approach to extract java semantic relational model is presented. to get precise object relational result, the java code polymorphism invoke location is formal defined and a program analysis method based on extended class hierarchy graph ( echg ) is proposed
代碼抽取是oore的起點，從起點開始支持理解是逆向工程的重要目標， autoore在java抽取中，抽取模型採用文中提出的java詞法和語義兩個模型，利用一個基於java擴展類層次圖（ echg ）的多態調用點分析演算法，得到更精確的靜態對象關系。 -
Abstract : the paper makes a thorough analysis of the argument of the school which holds that english model verbs have no tense form at all. by means of formal analysis, semantic analysis and synthetic analysis, the author rejects the argument of “ the negative school ", verifies that there is a grammatical category of tense for model verbs
文摘:剖析了認為情態助動詞沒有時態形式的流派的基本觀點及論據，從形式、語義和綜合分析三個方面，否定了「無派」的觀點，論證了情態助動詞有一個包括現在時態和過去時態的時態語法范疇。 -
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訪問環境時的能力差異、執行動作時的權力差異和系統發生沖突時的協商過程。 -
Finaly, we provide a proposal of constructing foundation class libration of c + + according to semantic of capsule and protocol, as well as the method to construct the domain class derived from the foundation class. it enable us to construct a formal model for real - time system concurrency which is the foundation of generation of code and also to validate system by formal analyse method
從而使得我們能夠利用這些元素在模型層建立關於一個具體的實時系統的並發性的形式化的uml模型，並可以利用形式化的方法來分析和驗證系統的正確性，同時也對系統運行代碼的自動生產奠定了基礎。
分享友人