semantic check 中文意思是什麼
semantic check
解釋
語義檢驗-
Type checking is an example of a semantic - level check on the integrity of a program
。類型檢查是程序完整性上的語義級別檢查的一個示例。 -
Firstly, for the errors of text ’ character and word, utilizing neighborship of character or word, check character and word errors by character string co - occurrence probability. secondly, for the errors of syntax of text, according to statistic and analysis of a large - scale contemporary chinese corpus, recognize the predicate focus word and the others sentence ingredient, check the syntax errors. thirdly, for the errors of text ’ semanteme, establishing semantic dependency relationship tree based on hownet knowledge, presents a method that based on semantic dependency relationship analysis to compute sentence similarity, check the semantic errors
對于文本字詞錯誤的檢查,本文主要利用了字詞二元接續關系,根據同現概率檢查文本字詞錯誤;對于文本語法錯誤的檢查,本文利用教研室已有的一個大規模語料庫,通過對語料庫進行統計分析,獲得語法查錯所需要的語言規律和知識,利用謂語中心詞識別和其他句子成分識別的方法,檢查文本語法結構上的錯誤;對于文本語義錯誤的檢查,本文主要利用知網知識得到語義依存樹,通過對句子的有效搭配對的相似度計算檢查語義錯誤。 -
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建模工具的一致性檢查提供了有力的理論工具。 -
Used to check the syntactic and semantic structure of the programmatically built som
用於檢查以編程方式生成的som的語法和語義結構。 -
First, the paper researches the format and semantic features of iso apt in detail, next, applies regular expression to describe the definition of apt ’ s tokens and uses context - free grammar to describe apt ’ s syntax rules, last, designs the intermediate code format which keeps on the source code semantic and designs a complete module to check lexical and syntax errors of nc code by using modern compiling techniques
在代碼預處理技術方面,詳細研究了標準數控代碼語言的格式和語義並採用現代編譯技術中的正則表達式和上下文無關文法分別描述了標準數控代碼語言的記號定義和語法結構定義;設計了保持源代碼語義的中間標準數控代碼格式,在此基礎上,設計並構建了數控代碼的詞法和語法檢查模塊。 -
In this paper, i try to put forward a theory about work mechanism of metaphors and its appropriate conditions, enlightened by davidson and based on the wittgenstein ' s analysis of " see … as … ", and check my theory against harre ' s semantic - ontology method
摘要該文受戴維森的啟發,並基於唯特根斯坦對「把…看作… 」的分析,嘗試提出隱喻創造相似性的工作機制以及這一機制運作如何可能的恰當件條件,並將筆者的這一理論與哈雷等提出的語義學本體論分析進行了比較。 -
A machine can use equivalence of the urls to check semantic equivalence - and wordnet allows you to go even further, using its thesaurus - like facilities for richer semantics
機器可使用url的等價物來檢查語義是否等價wordnet允許您在此基礎上更進一步,使用它的同義詞設置更豐富的語義。
分享友人