助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   归纳程序 的翻译结果: 查询用时:1.916秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
数学
自动化技术
更多类别查询


图标索引 历史查询
灾难
时间色散
前后处理
中国金融市场
前列腺增生
表面热膜
国外
回波特性
 

      归纳程序
相关语句
  inductive program
    ON THE DESIGN OF AN INDUCTIVE PROGRAM SYNTHESIZER NDIPS
    归纳程序综合系统NDIPS的设计
短句来源
    Inductive Program Synthesis by Concept Learning
    基于概念学习的归纳程序综合
短句来源
    Inductive Program Synthesis Through Problem Solving
    基于问题求解的归纳程序综合
短句来源
    THE APPLICATION OF MODE INFERENCE IN INDUCTIVE PROGRAM SYNTHESIS
    模式推理在归纳程序综合中的应用
短句来源
    A Top-Down Method for Inductive Program Synthesis
    自顶向下的归纳程序综合方法
短句来源
更多       
  inductive procedure
    On the Role of Inductive Procedure in Mathematical Discovery
    归纳程序在数学发现中的作用
短句来源
    From the information-processed angle,the meaning of induction,processes of mathematical discovery,and the role of inductive procedure in mathematical discovery are analysed.
    从信息加工角度分析了归纳的意义、数学发现的过程及归纳程序在数学发现中的作用 .
短句来源
  “归纳程序”译为未确定词的双语例句
    Its important feature is that the system has a function of automatic induction of forecast factors, simulating the mechanism of men's experience collection.
    系统的重要特点是,根据预报指标经验知识的产生过程的机理性知识所设计成功的系统主程序之一的“预报指标自动归纳程序”,能够通过对多因子历史资料的分析归纳,自动生成含有较全面知识规则的规则库。
短句来源
    This paper presents the inductive method for synthesizing programs from traces in NDIPS system.
    本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。
短句来源
    Mathematics is a dialectical unity of logic and inductive procedures.
    数学是逻辑程序与归纳程序的辩证统一 .
短句来源
查询“归纳程序”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  inductive program
It is the similarities among various data items that allow an inductive program to learn concepts.
例句来源      



         Induction is one of fundamental principles in programming methodology. Based on a general form of induction, the inductive reasoning in programming is discussed with several examples.
            归纳程序设计方法论的基本原则之一。本文从最一般的归纳形式出发,介绍了归纳原理在程序设计和推导中的应用。
文摘来源
         This paper discusses the approaches and problems of inductive program synthesis in software automation. The design background and implementation methods of an inductive program synthesizer NDIPS are proposed and the key techniques of automatic program induction adopted in the system are emphasized.
            本文讨论了软件自动化归纳途径的现状、症结和解决方法,介绍了归纳程序综合系统NDIPS的设计思想和实现技术,强调了系统中自动归纳程序的关键技术。
文摘来源
         Inductive program synthesis is one of the important approaches to software autormation.
            归纳程序综合是软件自动化的一种重要途径。本文把程序综合看作一种问题求解过程,通过归纳推理综合出能覆盖所给实例的一般程序。文章从方法、理论和实现上对这种途径作了探讨。
文摘来源
 
<< 更多相关文摘    
图标索引    相关查询:

 对查询结果不满意

 


 

 
CNKI小工具
在Springer中查有关的英文论文
在知识搜索中查有关归纳程序的内容
在数字搜索中查有关归纳程序的内容
在概念知识元中查有关归纳程序的内容
在学术趋势中查有关归纳程序 的内容
 
 


CNKI主页 设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务
版权  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社