述詞計算 的英文怎麼說

中文拼音 [shùsuàn]
述詞計算 英文
predicate calculus
  • : Ⅰ動詞(陳說; 敘述) state; relate; narrate Ⅱ名詞(姓氏) a surname
  • : 名詞1 (說話或詩歌、文章、戲劇中的語句) speech; statement; lines of play 2 (一種韻文形式 起於唐...
  • : Ⅰ動詞1 (計算) count; compute; calculate; number 2 (設想; 打算) plan; plot Ⅱ名詞1 (測量或計算...
  • : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
  • 計算 : 1 (求得未知數) count; compute; calculate; reckon; enumerate 2 (考慮; 籌劃) consideration; pla...
  1. Because computer interfaces are in english, the words used for computer - related work are also in english, introducing many ` ' anglicisms ` ' that could have been easily avoided if the software had been translated

    因為機使用英文界面,描機有關的工作的也都使用英語,帶來了許多通過翻譯軟體可以避免的「英語腔」 。
  2. The research of this paper is spread out mainly around 5 aspects : ( 1 ) the description of xmarc information theory system based on xml under network environment ; ( 2 ) the advanced design of field xmarc metadata ; ( 3 ) the foundation of k - s - c special knowledge relation by the identification " keyword + subject + category " ; ( 4 ) the establishment of xmarc theme knowledge automatic indexing and its algorithms ; ( 5 ) the research on knowledge processing method of concept retrieval and the theme classification based on xmarc

    本文主要的工作是圍繞五個方面展開的:建立網路環境下基於xml的xmarc信息描理論體系,比較設領域的xmarc元數據,構建以「關鍵+主題+范疇號」標識的知識關系k - s - c ( keyword - subject - category ) ,建立xmarc主題知識的標引方摘要法及其演法,提出xmarc主題知識的分類與句概念檢索方法。
  3. 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 ? ,效果顯著,充分說明了基於本文描方法構建的、以概念作為處理中介的信息檢索系統的有效性和可行性
  4. On the foundation of pretreatment of language c subject, analyzing three existing similarity model and designing the similarity model of language c subject ; through the introduction of hownet ’ s structure and administrative levels and primitive ’ s similarity method, achieving semantic similarity method of words based on hownet, than advancing semantic similar as hownet to solve the similarity of domain words which are not embodied in hownet ; ulteriorly, through researching existing sentence similarity model and combining it with idiographic subjects, achieving the senntence similarity model towards language c subject library ; finally telling of the similarity model arithmetic ’ s application in language c subject library, then analyzing and estimating the effect of it in order to advance the shortage and expanding direction

    在對c語言試題進行預處理的基礎上,分析了現有的三種相似度模型,並設了c語言試題相似度模型;通過對知網的結構、層次關系以及知網中義原的相似度模型的介紹,實現了基於知網的的語義相似度模型,並提出用類似知網的語義典來解決知網中沒有收錄的領域匯的相似度;進一步地,通過研究現有的語句相似度模型,結合具體題目,實現了面向c語言試題庫的語句相似度模型演法,最後具體講了相似度演法在c語言題庫中的應用,並對該方法的效果進行了客觀的分析和評價,以提出不足和發展方向。
  5. The first part of the paper is designing the testing project for grounding resistance and insulation resistance in a new way. using 16bits ad converter with programmable control amplifier replaced the way which used changing resistance to change measure range. lt is not only improved testing precision and develop the system expediently, but also reduced the area of the circuit boardwith the new way. in order to make the electric implement safety testing system have upstanding expansibility, the software and hardware of the system adopted the modularization design. adopted mcu atmegal28 as a master mcu which control mmi, realtime clock and communication with slaver mcu. atemga8 as the slaver mcu to realize testing function. so it is easy to add or reduce the testing project. the testing implement system has been developed successfully, and the comments for the system is that it has high precision, high expansibility and easy maintain. but considering the electric implement system should have intelligence and humanity abi lity. so this paper bring forward a scheme of electric equipment safety testing embedded system with speech control. after introduce the basic theory of speech recognition, the paper expatiate the characters of this system. the system is a noise conditon, not special people, small glossary, insulation word system. with these characters design the speech recognition as fellow. utilizing cross zero ratio and short energy to ensure jumping - off point and end point ; adopting mfcc as the character parameters of speech recognition ; the character parameters than be recognized by dtw. in order to ensure the credibility of this project, first realized by matlab in computer

    在介紹了語音識別的基本原理后,闡了本系統的特點:本系統是一個噪聲環境下非特定人、小匯量、孤立的語音識別系統。根據本系統的這些特點設了如下語音識別方案:利用過零率和短時能量相結合的方式確定語音端點;採用mel頻率倒譜系數( mfcc )作為語音識別的特徵參數;得到的特徵參數最後通過動態時間規整( dtw )的模式識別方法進行識別。為了確保本系統實現方案的可靠性,首先通過機利用matlab軟體來模擬,在演法模擬實現后又進一步增加環境的復雜性:加上較大的環境噪聲、突發性的噪聲等,再通過修改參數、修改參考模板、兩級識別等各種提高語音識別精度的方法來提廣東工業大學工學碩士學位論文高識別率。
  6. Then it presents the design of information push service based on agent by using artificial intelligence technique. a brief introduction of each function module in this system and their internal transaction sequence are followed. the detail design and implement of key parts in each module is also given, which includes setting up user interest model with vector space model, searching information by using word segmenting and searching engine, filtering information using sorting algorithm, ordering information using pagerank algorithm

    本文首先分析了傳統的信息「拉取」方式存在的主要問題以及推送技術的產生;然後結合人工智慧領域的agent技術,提出了基於agent的信息推送服務的總體設,並簡要闡了各功能模塊的內部處理流程和思想;接著給出了各模塊的詳細設與實現,主要包括:利用向量空間模型( vectorspacemodel )建立用戶興趣模型,通過分並與搜索引擎協作實現信息檢索,採用分類演法對已檢索的信息進行過濾,用pagerank演法對信息排序。
  7. Chen keh - jiann and chen chao - jan discussed a computational approach in identifying unknown words. they tried to discover morphological rules for chinese by a corpus - based learning method. emphasis was put on the learning of rules that cannot be represented by regular expressions

    陳克健和陳超然討論了識別未登錄方法,他們試圖使用基於語料庫的機器學習方法獲取漢語的構規律,並將學習的重點放在很難用「規則語法」來描的構方法。
  8. Knowledge purification is the key procedure of knowledge acquisition, and machine learning is a effective method to gain wisdom for computers, among which artificial neural network with tutor coached can learn more accurate knowledge by faint structure, and then is a perfect way to deal with misty knowledge by describing and computing intangibly. lt is hard to describe or compute the misty relation of terms and document sort with accurate way. and we can figure out misty knowledge with misty way, so the paper introduces ann into vcm to form a conjoint method vcm ann

    。其中,有導師指導的人工神經網路能夠以模糊的結構學習較為精確的內容,是將模糊的知識進行模糊和模糊描的理想方法。條項與文檔類別之間的模糊關系難以用精確的方法進行精確地描,模糊的知識用模糊的方法能得到較好的解決,因此本文將神經網路應用到信息檢索模型中,將之與向量空間模型相結合,形成了一種改進的向量空間模型vcmann 。
  9. Typically, the name of a creator should be used to indicate the entity. " for computing purposes, the term " name " may have a pretty broad interpretation, and the definition above is only really effective for human consumption of the metadata

    通常creator的名稱應該用於標識該實體」 。從的角度看, 「名稱」一可能有非常寬泛的解釋,上定義實際上只對元資料的人類消費者有效。
  10. The main work is as follows : 1. introduce the main thoughts in overall designs of the chinese intelligent input method based on grammar and semantics, present its overall structures and make clear the functions of its function models. meanwhile, briefly introduce the collocation repository 、 grammatical repository and semantic repository used in this input method ' s core algorithms, provide the definitions needed for algorithm descriptions

    主要工作如下: 1 .介紹漢字語法語義智能輸入法總體設思想,給出該輸入法的整體結構,確定其各個模塊要實現的功能;簡單介紹漢字語法語義智能輸入法中採用的中文信息處理領域基本理論的研究成果- - - -語搭配知識庫、語法和語義搭配知識庫;並給出各演法描過程中所需的定義。
  11. To provide the intellectual nature of input method, a chinese intelligent input method based on grammar and semantics is designed, based on the overall designs of this method, this paper describes the design and implementation techniques of its core algorithm in detail through introducing the collocation repository, grammatical repository and semantic repository

    本文在漢字語法語義智能輸入法總體設基礎上,引入中文信息處理領域基本理論的研究成果- - - -語搭配知識庫、語法和語義搭配知識庫,對漢字語法語義智能輸入法中各個核心演法的設與實現技術進行了詳細描
  12. In the electronic - device example, that transistor is a component - of operational amplifier or that the latter is a type - of electronic device is just as much a fact about its domain as a cyc fact about some aspect of space, time or numbers

    在工程設中,或許會討論到電子設備領域的本體,它包含一些描基本概念的匯,比如晶體管,運放大器,電壓等;也包含這些基本元素間的關系,運放大器是電子設備的一種,而晶體管是運放大器的組件。
分享友人