董韫美
- 作品数：18 被引量：49H指数：4
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金“九五”国家科技攻关计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 一个高质量汉字笔划字形到轮廓字形的转换系统被引量：3
- 1996年
- 本文介绍一个基于三阶Ｂｅｚｉｅｒ曲线的字形转换系统ＳＯＣＳ（ｓｔｒｏｋｅｔｏｏｕｔｌｉｎｅｃｏｎｖｅｒｔｉｏｎｓｙｓｔｅｍ）．该系统作为汉字字形设计系统ＣＣＤＳ（Ｃｈｉｎｅｓｅｃｈａｒａｃｔｅｒｄｅｓｉｇｎｓｙｓｔｅｍ）的后端，把ＣＣＤＳ产生的多笔划曲线轮廓字形数据加工成整字曲线轮廓字形数据．其结果适于多种高精度输出，如Ｐｏｓｔｓｃｒｉｐｔ印字机．ＳＯＣＳ系统具有一定的通用性，它不只限于接受ＣＣＤＳ的加工结果，还可以作为独立的系统使用．
- 董韫美陈海明
- 关键词：计算机图形学
- 上下文无关语言上的递归函数——Ⅱ.CFPRF及CFRF定义的合宜性被引量：2
- 2002年
- 证明了函数类CFRF及其真子类CFPRF分别就是上下文无关语言（CFL）上的偏递归函数和原始递归函数.讨论了它们与其他论域上定义的递归函数的关系,指出自然数上的函数和字上函数都是CFL上的函数.给出了若干常用的字上原始递归函数,包括逻辑连接词和条件式,还给出构造原始递归函数用的强有力算子:受囿极大和受囿极小算子.构造了两个非平凡的有重要用途的算法.即任意CFL的特征函数,以及CFL句子的语法分解函数.基于它们,叙述了扩展和限制函数论域的方法.
- 董韫美
- 关键词：合宜性上下文无关语言递归函数特征函数
- 一个将黑白图象数据由离散化为连续的方法被引量：4
- 1989年
- 本文提出一种求黑白图象连续表示的方法,针对质量要求最高的一种图象——汉字字形来讨论.所述方法可直接从汉字点阵数据得到描述汉字字形轮廓线的一组Bezier曲线,并可由此复原出原有点阵,从而表明了该方法对一般黑白图象的有效性.文章还讨论了实现字形数据连续化中遇到的若干计算机图形学方面的问题.
- 卫平董韫美
- 关键词：计算机图形学汉字
- 参量图形学方法与字形设计(详细摘要)
- 一引言印刷行业历来有不断设计新字体的需要,在现代又有用计算机来进行行业技术改造的需要。于是提出用计算机进行字形设计的问题。对于拉丁文字,用计算机设计字形的问题已被成功地解决。用Knuth的metafant可以产生的字模,...
- 董韫美李开德
- 文献传递
- 参量图形学方法与字形设计
- 董韫美李开德
- 关键词：汉字识别图形语言信息处理字形设计
- 安全软件技术－－软件跟踪的识破
- 本文提出一项安全软件技术,即利用计算机内的实时时钟,来辨识软件是否在跟踪状态下执行,以便对破译该软件的企图,采取对抗措施。
- 董韫美
- 关键词：程序系统安全措施计算机安全
- 多类型递归函数
- 2015年
- 本文旨在建立多类型递归函数(MTRF),目的是,为在计算机上实现的函数式语言提供理论原型.MTRF函数是可计算函数,其定义域和值域的数据类型包括:自然数、逻辑值、有穷字母表上的字、上下文无关语言(CFL)句子、CFL句子的分析树.本文指出MTRF函数与自然数递归函数是等价的,构造了可在计算机上实现的MTRF函数eval,可用来对任意MTRF函数求值.
- 董韫美
- 获取上下文无关文法的一种交互式算法被引量：4
- 1996年
- 本文提出一种交互式的上下文无关语言的学习算法．该算法是专门为ＳＡＱ系统设计的，所得到的文法能够自然地反映句子的内部结构，从而很容易刻划句子的含义（语义）．
- 董韫美
- 关键词：上下文无关语言
- 上下文无关语言分析树的一种表示形式被引量：8
- 2000年
- 介绍了上下文无关语言 (CFL)的句子的一种分析树表示 ,它适合用于一类与以往不同的 CFL 的应用 ,即对分析树空间效率要求较高且不需标记分析树的应用 ,典型的就是把 CFL的句子用作算法加工对象 .这种表示比传统分析树不仅空间较小 ,而且进行结构匹配的速度快 .还介绍了这种分析树表示的实现技术 .
- 陈海明董韫美
- 关键词：上下文无关语言数据结构
- 基于MLIRF方法的软件原型速成技术研究
- 董韫美李开德陈海明张瑞岭万战勇陈自明张荣华王泓皓张强黄文集
- 该项目提出了一种新的软件原型速成技术，即基于MLIRF方法的原型速成技术。该技术区别于其它原型速成技术的特色，是以项目负责人提出的MLIRF方法为基础，使用特殊的可执行规约语言来刻画系统原型，软件规约的语法方面和语义方面...
- 关键词：
- 关键词：形式规约
