dynamic information 在 计算机软件及计算机应用 分类中 的翻译结果

  本文关键词：一种基于词典的搜索引擎系统动态更新模型，由笔耕文化传播整理发布。

 在分类学科中查询

所有学科

计算机软件及计算机应用

矿业工程

互联网技术

新闻与传媒

水利水电工程

工业经济

生物医学工程

公路与水路运输

地质学

dynamic information

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

    WEB与数据库动态信息交换的CGI实现

短句来源

    Adapt Design of MIS for Graduate Assignment in Dynamic Information Environment

    动态信息环境中研究生分配信息系统的适应设计

短句来源

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

    北京市道路交通流实时动态信息系统的研究

短句来源

    Dynamic Information Obtaining of Martial Vehicles and Managing Model

    军用车辆动态信息的获取与运用评价模型

短句来源

    Technology of Dynamic Information Awareness in CSCW

    CSCW环境中动态信息感知技术

短句来源

更多       

    The Design of a Dynamic Information System for Equipment Trouble Management

    一种动态设备故障管理信息系统的设计

短句来源

    A MODEL FOR DYNAMIC INFORMATION UPDATING IN LEXICON BASED SEARCH ENGINE

    一种基于词典的搜索引擎系统动态更新模型

短句来源

    Study on Product Lifecycle Dynamic Information Modeling and Its Application

    产品全寿命信息建模及其应用研究

短句来源

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

    B超探头三维运动信息提取技术研究及其DSP系统设计

短句来源

    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.

    地理信息系统(Geographic Information System，简称GIS)是以空间数据为基础，在计算机硬件的支持下，对空间相关数据进行采集、管理、操作、分析、模拟和显示，采用地理模型分析方法，适时提供多种空间和动态地理信息，为研究和决策服务而建立起来的计算机系统。

短句来源

更多       

查询“dynamic information”译词为用户自定义的双语例句
    我想查看译文中含有：的双语例句

为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法，我们为您准备了出自英文原文的大量英语例句，，供您参考。

  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.

本文提出了一个具有自然演绎特色的一阶时序逻辑系统——FOTL系统,并且已用ML语言表示出F0TL系统,从而得到了一个在证明风格和实现技术上类似于Edinburgh LCF的计算机辅助定理证明系统——INCAPS系统.INCAPS系统与Edinbursh LCF的区别主要在于它们所支持的逻辑不同:FOTL系统不含有高阶类型的项,而PPλ中没有时序连接词。INCAPS系统主要可用于程序及动态信息系统的描述与验证。

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.

本文介绍■个为企业所■工资管理系统■该系统由静态信息管理、动态信息管理、工资计算、表格打印及查询等五个■要程序模块构成。本文重点说明其设计方法和技巧。

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.

随着正文数据应用的迅速增长,对正文数据检索方法的研究已成为数据库领域中令人感兴趣的课题之一。本文结合我国办公环境的特点,提出一种新的按附加码方法组织字标 识文件的正文数据库检索方法。这种方法不仅没有一般标识文件方法特有的“误选”现象,不必对查找标识文件后得出的文献进行全文扫描,而且处理查询时只需对标识文件进行范围查找,因此,其查询效率在较大范围内可以与正文检索方法中效率最高的倒排文件方法相近,并同时保持其它正文检索方法不具有的适应动态信息检索环境的优点。

<< 更多相关文摘    

 相关查询

CNKI小工具

在英文学术搜索中查有关dynamic information的内容

在知识搜索中查有关dynamic information的内容

在数字搜索中查有关dynamic information的内容

在概念知识元中查有关dynamic information的内容

在学术趋势中查有关dynamic information的内容

  本文关键词：一种基于词典的搜索引擎系统动态更新模型，由笔耕文化传播整理发布。