主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
栾尚敏,李未.算法演化的形式归约及其性质.软件学报,2001,12(4):493-498
算法演化的形式归约及其性质
Formal Specification for Evolution of Algorithm and Its Properties
投稿时间:1999-03-29  修订日期:2000-04-24
DOI:
中文关键词:  算法演化  归纳推理  极限
英文关键词:evolution of algorithm  inductive inference  limit
基金项目:This project is supported by the National Natural Science Foundation of China under Grant No.19992895 (国家自然科学基金).
作者单位
栾尚敏 中国科学院软件研究所北京 100080 
李未 北京航空航天大学计算机科学与工程系,北京 100083 
摘要点击次数: 2675
全文下载次数: 2609
中文摘要:
      使用归纳过程说明算法的演化,建立了一阶语言语句集和算法的关系,并提出了启发式的归纳规则.还提出了算法分析的概率式研究方法.这种方法为有效算法的设计和自动算法设计提供了工具.
英文摘要:
      The inductive process is used to specify the evolution of algorithm in this paper. The relationship between a set of sentences of first-order language and an algorithm is established and inductive rules for heuristics are presented. A probabilistic approach to algorithm analysis is also presented. This approach provides a tool for design of efficient algorithm and automatic algorithm design.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利