搜索筛选:
搜索耗时4.5392秒,为你在为你在102,285,761篇论文里面共找到 26 篇相符的论文内容
发布年度:
[期刊论文] 作者:董韫美,
来源:中国科学:F辑英文版 年份:2002
In this paper we proved that the function class CFRF and its proper subclass CFPRF are respectively the partial recursive functions and primitive recursive func...
[期刊论文] 作者:董韫美,
来源:计算机学报 年份:1996
本文提出一种交互式的上下文无关语言的学习算法,该算法是专门为SAQ系统设计的,所得到的文法能够自然地反映句子的内部结构,从而很容易刻划句子的含义(语义)。...
[期刊论文] 作者:董韫美,
来源:中国科学E辑 年份:2004
证明了函数类CFRF及其真子类CFPRF分别就是上下文无关语言(CFL)上的偏递归函数和原始递归函数. 讨论了它们与其他论域上定义的递归函数的关系,指出自然数上的函数和字上函数...
[期刊论文] 作者:董韫美,
来源:中国科学E辑 年份:2004
建立上下文无关语言(CFL)上的递归函数理论. 在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法. 事实上它们分别就是上下文无关语言上的偏...
[期刊论文] 作者:董韫美,
来源:中国科学F辑 年份:2004
It is intended to establish the recursive function theory on context free languages (CFLs). In this paper, the function class CFRF and its proper subclass CFPRF...
[期刊论文] 作者:董韫美,
来源:中国科学E辑 年份:2004
通过按推导树高度对句子分层,建立了句子集合中的分层词典序.进而发展出一种基于文法的,依分层词典序的,CFL句子计数和枚举方法,获得句子枚举的多个高效算法.对于无二义CFG,...
[会议论文] 作者:董韫美,
来源:中国计算机学会第九次全国学术会议 年份:1996
...
[会议论文] 作者:董韫美,
来源:第四次全国计算机安全技术交流会 年份:1989
...
[期刊论文] 作者:董韫美,,
来源:模式识别与人工智能 年份:1995
1985年2月末至3月初,为执行中国科学院(CAS)和美国国家科学院(NAS)之间的交流协议,来自中国科学院各个研究所的学者一行8人,赴美国旧金山湾区和洛杉矶交流访问。此行最主要...
[期刊论文] 作者:董韫美,
来源:计算机学报 年份:1980
本文介绍了产生高质量汉字的一种方法和有关的软件系统,可用来设计和印出各种字体的汉字及符号。...
[期刊论文] 作者:董韫美,,
来源:中国科学:数学 年份:2015
本文旨在建立多类型递归函数(MTRF),目的是,为在计算机上实现的函数式语言提供理论原型.MTRF函数是可计算函数,其定义域和值域的数据类型包括:自然数、逻辑值、有穷字母表上的字、上下文无关语言(CFL)句子、CFL句子的分析树.本文指出MTRF函数与自然数递归函数是......
[期刊论文] 作者:张荣华,董韫美,
来源:软件学报 年份:2000
在运行时刻,由于某些函数参数的取值会造成一些函数被重复调用,这在编译时刻是无法被传统的优化器发现的。针对这种情况,提出一种运行时刻的优化方法。它通过调用依赖图来消除重......
[期刊论文] 作者:卫平,董韫美,
来源:计算机学报 年份:1989
本文提出一种求黑白图象连续表示的方法,针对质量要求最高的一种图象——汉字字形来讨论.所述方法可直接从汉字点阵数据得到描述汉字字形轮廓线的一组Bezier曲线,并可由此复原出原有点阵,从而表明了该方法对一般黑白图象的有效性.文章还讨论了实现字形数据连续......
[期刊论文] 作者:林惠民,董韫美,,
来源:中国基础科学 年份:2003
一、概况rn计算机科学实验室依托于中科院软件所,始建于1993年,1994年12月经中科院批准对外开放.实验室有多位我国计算机软件科学事业的开拓者,曾获得国家自然科学奖一、二、...
[期刊论文] 作者:林惠民,董韫美,
来源:中国基础科学 年份:2004
一、概 况 计算机科学实验室依托于中科院软件所 ,始建于 1993年 ,1994年 12月经中科院批准对外开放。实验室有多位我国计算机软件科学事业的开拓者 ,曾获得国家自然科学...
[期刊论文] 作者:董韫美,李开德,
来源:微型计算机 年份:1991
...
[期刊论文] 作者:陈海明,董韫美,
来源:计算机研究与发展 年份:2000
介绍了上下文无关语言(CFL)的句子的一种分析树表示,它适用用于一类与以往不同的CFL的应用,即对分析树空间效率要求较高且不需标记分析树的应用,典型的就是把CFL的句子用作算法加工对象,这种......
[期刊论文] 作者:张瑞岭,董韫美,
来源:计算机研究与发展 年份:2000
文法推断研究如何从语言的有限实例,通过归纳推断获取语言的文法定义. 文中提出一个基于逐步求精的上下文无关文法推断方法,以尝试将文法推断用于替代或帮助传统手工的文法构造工作. 文中的推断方法以Angluin 的交互式学习模型为框架,以逐步求精和复用为主要策略,具有增量式......
[期刊论文] 作者:董韫美,陈海明,
来源:软件学报 年份:1996
本文介绍一个基于三阶Bezier曲线的字形转换系统SOCS(stroketooutlineconvertionsystem).该系统作为汉字字形设计系统CCDS(Chinesecharacterdesignsystem)的后端,把CCDS产生的多笔划曲线轮廓字形数据加工成整字曲线轮廓字形数据.其结果适于多种高精度输出,如Postscript印字机.SOCS系......
[期刊论文] 作者:董韫美,李开德,
来源:软件学报 年份:1990
本文介绍一种支持软件理解和复用的程序设计方法,以及实现该方法的实验性系统URS—1。...
相关搜索: