語義檢驗 的英文怎麼說
中文拼音 [yǔyìjiǎnyàn]
語義檢驗
英文
semantic check- 語 : 語動詞[書面語] (告訴) tell; inform
- 義 : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
- 檢 : Ⅰ動詞1 (查) check up; inspect; examine 2 (約束; 檢點) restrain oneself; be careful in one s c...
- 驗 : 動詞1. (察看; 查考) examine; check; test 2. (產生預期的效果) prove effective; produce the expected result
- 語義 : semanteme; semantics
- 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque(指檢查船舶...
-
A concept - based approach is expected to resolve the word sense ambiguities in information retrieval and apply the semantic importance of the concepts, instead of the term frequency, to representing the contents of a document. consequently, a formalized document framework is proposed. the document framework is used to express the meaning of a document with the concepts which are expressed by high semantic importance. the framework consists of two parts : the " domain " information and the " situation background " information of a document. a document - extracting algorithm and a two - stage smoothing method are also proposed. the quantification of the similarity between the query and the document framework depends on the smoothing method. the experiments on the trec6 collection demonstrate the feasibility and effectiveness of the proposed approach in information retrieval tasks. the average recall level precision of the model using the proposed approach is about 10 ? higher than that of traditional ones
為了獲取詞語在文章中的語義權重,解決詞語的同義、多義模糊問題,提升信息檢索的效率,提出了一種基於概念的檢索模型,模型中設計了一種形式化的文本內容表示框架,框架由2部分構成:文章的"領域"以及"情景與背景"信息,並由概念(形式化語義)加以表示.同時,提出了提取該概念框架的方法,給出了用於框架與檢索要求間匹配的兩階段平滑演算法.實驗表明,在trec6提供的小規模語料集下,採用所提出方法的信息檢索模型與傳統模型相比,平均召回準確率提升了約10 ? ,效果顯著,充分說明了基於本文描述方法構建的、以概念作為處理中介的信息檢索系統的有效性和可行性The result of experimentation proves that this retrieval framework makes semantic of resources sufficiently emerged and the good feasibility of search strategy
實驗結果證明了該框架下信息資源的語義信息得到充分的體現以及語義檢索策略的可行性。Testing of sandwiches ; definitions of terms
夾層結構檢驗.術語定義Semantic validation checking is performed during compilation
語義驗證檢查在編譯期間執行。In the end, the semantic maintenance model and inconsistency detection and mediation method proposed in the paper is experimented on some fore mentioned typical instances so as to validate their effectiveness
最後,運用論文中的信息語義維護模型和語義不一致檢測、調解方法對所提到的語義一致性問題的典型示例進行了實驗,檢驗了模型的有效性。The experimental system extract the low - level features of images such as hsv histogram, the texture got from coexistence matrix, color correlogram, and according to the characteristic of our image database, design the evaluation function such as the average rank ratio to evaluate and compare the performance of different integration of different features including semantic, and validate the active effect of feedback using experiment results
該原型系統提取了hsv直方圖、共生矩陣紋理、顏色相關圖等底層特徵,同時根據圖像數據庫的特點,設計了平均位置比值等評價函數對語義特徵與底層特徵的各種結合的檢索性能進行了比較分析,並對反饋效果進行了實驗驗證。Experimental results show that the sc - vsm is superior to the vsm, the combinative approach can not only reserve the advantages of keywords retrieval and concept retrieval, but also compensate for their shortcomings
實驗結果表明,語義概念檢索的向量空間模型的性能優于關鍵詞檢索的向量空間模型;結合檢索方法既能保留關鍵詞檢索和概念檢索的優點,也能彌補各自的不足。Although the software specification described using natural language is easy to write and understand, its validity, integrality, non - ambiguity, consistency are hard to guarantee. the process of verification can only be done by manpower which is not normative and not rigorous. and the complexity of a lot of software has made it impossible to check the specifications artificially
需求規格說明是需求分析階段的產品,我們通常採用的是未使用任何限制非形式化的自然語言進行描述,這種自然語言書寫的需求說明,雖然易於理解和使用,但難以保證其正確性、完整性、無二義性、一致性,驗證過程只能採用不太規范、不太嚴格的人工走查的方法進行檢查,稍微復雜一些軟體的需求規格說明的檢查,實際上已經超出了人工檢查的能力。It is proved that semantic computation is promising innovelty detection
實驗表明,語義計算在新穎性檢測中很有潛力。Rooted in western literary criticism of feminism, chinese literary criticism of feminism has been endowed with distinctive national flavor by critics who have done substantial painstaking work to apply it to chinese cultural context
摘要中國的女性主義文學批評藉助了西方女性主義文論的滋潤,在將西方女性主義批評置於中國的文化語境加以檢驗的過程中,批評家們又做了大量艱苦細致的工作,促使女性主義批評帶上鮮明的本民族的色彩。Color image segmentation using density - based clustering. in international conference on acoustic, speech and signal processing, icassp2003, hong kong, apr. 6 - 10, 2003, pp. iii 345 - 348
本文給出了本體中包含的語義的自動提取方法以及基於本體的圖像檢索方案,並給出了一系列的實驗結果。Comparing word sense based language model to other language models, the experiments based on the corpus of trec shows that wslm method has a better performance than the traditional td - idf method. if a more powerful word sense disambiguation tool is used, the result could be improved. in the retrieval results re - ranking part, we use a combination method which combines the retrieval results of different system by linear interpolation
在基於詞義語言模型的信息檢索研究中,介紹了同義詞詞典的詞義表示方法,在實驗中使用trec語料把基於詞義的語言模型並與其他語言模型進行了比較,實驗表明,基於詞義的語言模型方法要好於傳統的td - idf方法,如果有更加精準的詞義消歧工具,實驗結果還會有進一步提高。[ size = 4 ] [ font = andale mono ] the use of well - chosen nonsense words makes possible the testing of many basic hypotheses in the field of language learning
使用精心挑選的無意義詞匯,可以檢驗語言學科里許多基本的假定。During the retrieval process, the user ' s perception subjectivity is captured so as to realize retrieving imagf by semantic feature
實驗表明採用本文方法的檢索結果更加符合人的視覺主觀性,並能達到語義級圖像檢索。After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method
在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后,用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。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在語義方面也存在一些不足。Non - destructive testing - thermografic testing - part 3 : terms and definitions
無損檢驗.溫度記錄試驗.第3部分:術語和定義. terms and definitions in the field of radiological technics - part 16 : quality inspection including safety ; general aspects
放射技術術語定義.第16部分:質量檢驗This idea provided the foundation for the justification of the corresponding work flow functional requirement to the formal semantics by means of model examination
為使用模型檢查方法來驗證與形式化語義對應的工作流功能需求奠定了基礎。分享友人