首页成果登记
注册 找回密码
国家科技成果网
  		•
热门搜索：  激光   高分子   石油   并网   纳米   太阳能光伏
扫描二维码关注国科网

登记 排行 政策 对接 转化 专栏
国家科技成果网 › 首页 ›成果 › 查看内容

新型递归函数的高效定义手段和求值技术

2005年 基础理论
  • 成果简介
　　以上下文无关语言上的递归函数理论为基础的多种类递归函数，是为方便直接地表述问题求解而发展的一个新型数学工具，可广泛用于软件设计、算法研究和编程语言等方面。缺乏实用有效的算法目前是制约其走向实际应用的瓶颈。
　　本项目研究的主要内容是，对这种函数的求值算法和实现技术进行深入、系统的专门研究，提出新的算法和优化技术，并在计算机上建立实验系统，使研究结果得到检验。取得的主要进展和结果有：...
相关成果

标签云

相关机构

关于国科网   我们的资源   我们的服务   免责声明   常见问题    软件下载    成果登记   联系我们  
Copyright 2001-2020 All Rights Reserved© 国科网 版权所有
国家科技成果信息服务平台 主管单位：科学技术部火炬高技术产业开发中心
京ICP备09035943号-33 京公网安备110401400097
在线客服系统