位置：立项数据库 > 立项详情页
多种类递归函数的求值算法和优化技术研究
  • 项目名称：多种类递归函数的求值算法和优化技术研究
  • 项目类别：青年科学基金项目
  • 批准号：60103008
  • 申请代码：F020104
  • 项目来源：国家自然科学基金
  • 研究期限：2002-01-01-2004-12-01
  • 项目负责人：陈海明
  • 负责人职称：研究员
  • 依托单位：中国科学院软件研究所
  • 批准年度：2001
中文摘要：

以上下文无关语言上的递归函数理论为基础的多种类递归函数，能够方便地表述实际应用中的问题求解，可广泛用于软件设计、算法研究和编程语言等方面。缺乏实用有效的算法目笆侵圃计渥呦蚴导视τ玫钠烤薄１鞠钅垦芯空庵趾那笾邓惴ê拖喙赜呕迪旨际酰顾惴ǖ氖笨招誓芄宦闶导视τ玫男枰杂谄溆τ镁哂兄匾囊庖濉

中文主题词： 多种类递归函数；上下文无关语言；算法；求值；优化
结论摘要：

英文主题词Many-sorted recursive function; context-free language; algorithm; evaluation; optimization

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 9
  • 6
  • 0
  • 0
  • 0
期刊论文
Yet another meta-language for programming language processing
一个支持规约获取的形式规约语言
一种新型递归函数的求值算法研究
一类递归函数的多态类型
基于最小序句子的上下文无关语言句子枚举
Practical type checking of functions defined on context-free languages
An encoding-based method for pattern-matching
基于上下文依赖规则覆盖的句子生成
会议论文
Facilitating formal specification acquisition by using recursive functions on context-free languages
An encoding-based method for pattern-matching
Incorporating static type-checking into functions defined on context-free languages
Modeling distributed system: architecture and process
Modeling and prototyping of software systems
Statically typed XML processing by the LFC language
相关项目
多元有理插值与逼近的理论、方法及其在图形图象中的应用研究
期刊论文 94 会议论文 11 著作 2
大规模组播聚合模型及算法研究
期刊论文 26 会议论文 6
时间竞争环境下选址－库存－路径问题优化模型与算法研究
期刊论文 17 会议论文 5
蜂窝夹层结构的夹芯形状和拓扑构型的抗撞性优化设计
期刊论文 5 会议论文 5
具有恶化效应的在线调度策略研究
期刊论文 24 会议论文 3
层析成像法测量仓储粮食水分分布的研究
期刊论文 5 会议论文 3
基于协同理论的停车诱导信息系统规划方法及诱导策略研究
期刊论文 10 会议论文 7 专利 5
基于图论的智能电网最优电力孤岛形成模型和算法
期刊论文 12 专利 1
关于神经网络结构复杂性与本质逼近阶研究
期刊论文 37 会议论文 4 获奖 2
陈海明的项目
无秩树结构数据和语义多态类型系统的研究
期刊论文 6 会议论文 7
确定性表达式及其子类的理论问题与工具研究
期刊论文 1
第30届软件讨论会
基于文法的系统的模型和检验问题研究
期刊论文 9 会议论文 9
一种函数式类型语言的SUPERCOMPILATION方法研究