本文關(guān)鍵詞：一種基于詞典的搜索引擎系統(tǒng)動態(tài)更新模型，由筆耕文化傳播整理發(fā)布。

 在分類學(xué)科中查詢

所有學(xué)科

計算機(jī)軟件及計算機(jī)應(yīng)用

礦業(yè)工程

互聯(lián)網(wǎng)技術(shù)

新聞與傳媒

水利水電工程

工業(yè)經(jīng)濟(jì)

生物醫(yī)學(xué)工程

公路與水路運輸

地質(zhì)學(xué)

dynamic information

    Implementation of CGI for Dynamic Information Exchange between WEB and Data Base

    WEB與數(shù)據(jù)庫動態(tài)信息交換的CGI實現(xiàn)

短句來源

    Adapt Design of MIS for Graduate Assignment in Dynamic Information Environment

    動態(tài)信息環(huán)境中研究生分配信息系統(tǒng)的適應(yīng)設(shè)計

短句來源

    Dynamic Information System of Real-time Traffic Data on Beijing Road Network

    北京市道路交通流實時動態(tài)信息系統(tǒng)的研究

短句來源

    Dynamic Information Obtaining of Martial Vehicles and Managing Model

    軍用車輛動態(tài)信息的獲取與運用評價模型

短句來源

    Technology of Dynamic Information Awareness in CSCW

    CSCW環(huán)境中動態(tài)信息感知技術(shù)

短句來源

更多       

    The Design of a Dynamic Information System for Equipment Trouble Management

    一種動態(tài)設(shè)備故障管理信息系統(tǒng)的設(shè)計

短句來源

    A MODEL FOR DYNAMIC INFORMATION UPDATING IN LEXICON BASED SEARCH ENGINE

    一種基于詞典的搜索引擎系統(tǒng)動態(tài)更新模型

短句來源

    Study on Product Lifecycle Dynamic Information Modeling and Its Application

    產(chǎn)品全壽命信息建模及其應(yīng)用研究

短句來源

    Research and DSP System Design about 3D Dynamic Information Pick-up of the Ultrasound B-Mode Detector

    B超探頭三維運動信息提取技術(shù)研究及其DSP系統(tǒng)設(shè)計

短句來源

    Geographic Information System is a computer system, which collects, manages, analyzes and shows spatial data, it adopts geographical method to provide spatial and dynamic information and help humanity do research and make decision.

    地理信息系統(tǒng)(Geographic Information System，簡稱GIS)是以空間數(shù)據(jù)為基礎(chǔ)，在計算機(jī)硬件的支持下，對空間相關(guān)數(shù)據(jù)進(jìn)行采集、管理、操作、分析、模擬和顯示，采用地理模型分析方法，適時提供多種空間和動態(tài)地理信息，為研究和決策服務(wù)而建立起來的計算機(jī)系統(tǒng)。

短句來源

更多       

查詢“dynamic information”譯詞為用戶自定義的雙語例句
    我想查看譯文中含有：的雙語例句

為了更好的幫助您理解掌握查詢詞或其譯詞在地道英語中的實際用法，我們?yōu)槟鷾?zhǔn)備了出自英文原文的大量英語例句，，供您參考。

  dynamic information

We concluded that, among these various experimental methods, high- temperature reaction calorimetry should be the most useful approach in any attempt to gain systematic thermo-dynamic information on alloy systems.

Application of these techniques, along with developments in other fields, soon provided detailed thermodynamic and dynamic information about microscopic point defect processes.

The remarkable characteristic of the new system is providing dynamic information services for travelers by grid technology.

Methods for studying homogeneously-catalyzed systems under high gas pressure are described along with approaches for obtaining mechanistic and dynamic information.

Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables

更多          

A natural deduction system of first-order temporal logic (FOTL logic) is presented, and mechanized in standard ML programming language into an interactive computer-aided therem proving system (INCAPS system). INCAPS system is quite similar to Edinburgh LCF but different from it in logics they support. The difference between FOTL and PPλ lies in that the terms of higher-order types are not allowed in FOLT as in PPλ and the temporal logic connectives are not included in PPX as in FOTL. INCAPS system can be used...

A natural deduction system of first-order temporal logic (FOTL logic) is presented, and mechanized in standard ML programming language into an interactive computer-aided therem proving system (INCAPS system). INCAPS system is quite similar to Edinburgh LCF but different from it in logics they support. The difference between FOTL and PPλ lies in that the terms of higher-order types are not allowed in FOLT as in PPλ and the temporal logic connectives are not included in PPX as in FOTL. INCAPS system can be used for specification and verfication of programs and dynamic information systems.

本文提出了一個具有自然演繹特色的一階時序邏輯系統(tǒng)——FOTL系統(tǒng),并且已用ML語言表示出F0TL系統(tǒng),從而得到了一個在證明風(fēng)格和實現(xiàn)技術(shù)上類似于Edinburgh LCF的計算機(jī)輔助定理證明系統(tǒng)——INCAPS系統(tǒng).INCAPS系統(tǒng)與Edinbursh LCF的區(qū)別主要在于它們所支持的邏輯不同:FOTL系統(tǒng)不含有高階類型的項,而PPλ中沒有時序連接詞。INCAPS系統(tǒng)主要可用于程序及動態(tài)信息系統(tǒng)的描述與驗證。

This articre introducls a salary management system used by factories briefly, It is made of five basic program moduloes, they are the static information management, the dynamic information management, the salaries calculation, the tables print and the information investigation modulo This article presents design method and technique about this system mainly.

本文介紹■個為企業(yè)所■工資管理系統(tǒng)■該系統(tǒng)由靜態(tài)信息管理、動態(tài)信息管理、工資計算、表格打印及查詢等五個■要程序模塊構(gòu)成。本文重點說明其設(shè)計方法和技巧。

With the rapid growth of text database applications, the research of text access methods has become one of the most interesting topics in database area. According to the characters of Chinese office environment, this paper proposes a new text data base retrieval method which organizes the word signature file in the light of their superimposed coding signature. The method has no false drop that is unavoidable in other signature file methods. So it does not need to scan the full text obtained by searching the...

With the rapid growth of text database applications, the research of text access methods has become one of the most interesting topics in database area. According to the characters of Chinese office environment, this paper proposes a new text data base retrieval method which organizes the word signature file in the light of their superimposed coding signature. The method has no false drop that is unavoidable in other signature file methods. So it does not need to scan the full text obtained by searching the signature index. When a query is processed, only range scan to the signature file is required. Therefore, within a rather wide scope, the performance of our method is approximate to the inversion which is the fastest one among all the text access methods. In the meantime, it also maintains the merit of fitting dynamic information retrieval environment, that can not be found in other kinds of text access method.

隨著正文數(shù)據(jù)應(yīng)用的迅速增長,對正文數(shù)據(jù)檢索方法的研究已成為數(shù)據(jù)庫領(lǐng)域中令人感興趣的課題之一。本文結(jié)合我國辦公環(huán)境的特點,提出一種新的按附加碼方法組織字標(biāo) 識文件的正文數(shù)據(jù)庫檢索方法。這種方法不僅沒有一般標(biāo)識文件方法特有的“誤選”現(xiàn)象,不必對查找標(biāo)識文件后得出的文獻(xiàn)進(jìn)行全文掃描,而且處理查詢時只需對標(biāo)識文件進(jìn)行范圍查找,因此,其查詢效率在較大范圍內(nèi)可以與正文檢索方法中效率最高的倒排文件方法相近,并同時保持其它正文檢索方法不具有的適應(yīng)動態(tài)信息檢索環(huán)境的優(yōu)點。

<< 更多相關(guān)文摘    

 相關(guān)查詢

CNKI小工具

在英文學(xué)術(shù)搜索中查有關(guān)dynamic information的內(nèi)容

在知識搜索中查有關(guān)dynamic information的內(nèi)容

在數(shù)字搜索中查有關(guān)dynamic information的內(nèi)容

在概念知識元中查有關(guān)dynamic information的內(nèi)容

在學(xué)術(shù)趨勢中查有關(guān)dynamic information的內(nèi)容

  本文關(guān)鍵詞：一種基于詞典的搜索引擎系統(tǒng)動態(tài)更新模型，由筆耕文化傳播整理發(fā)布。