陈海明
- 作品数：22 被引量：31H指数：4
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金“九五”国家科技攻关计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 一类受限正则表达式的推断算法被引量：1
- 2014年
- XML模式推断问题的主要任务可以归约为从一个句子集合中推断出对应的确定型正则表达式。提出了一类在XML模式中大量出现的受限正则表达式,给出了该类正则表达式的推断算法。该算法首先根据给定的句子集合构造自动机,然后根据自动机和句子集合推断出对应的正则表达式。该算法的时间复杂度为max(O(|V|+|E|),O(L)),其中V和E分别表示自动机的节点集合和边集合,L表示句子集合中所有句子的长度之和。对算法的终止性和正确性进行了证明。
- 冯晓强郑黎晓陈海明
- 关键词：XML模式正则表达式自动机
- 笔划汉字到轮廓汉字的转换系统SOCS
- 陈海明
- 改进的流不敏感的类型限定词推断
- 2014年
- 类型限定词可以精化标准类型,提高类型系统的表达能力。流不敏感的类型限定词推断已被用于CQual架构,以提高C程序的质量。然而,类型转化会影响类型限定词推断的有效性。首先,展示了一种允许类型转化的程序语言和流不敏感的限定词推断系统;其次,提出了变量参与的限定词推断系统,引入了联合类型并给出约束求解算法;最后,证明了推断的正确性并展示了一些实例运行结果。
- 李慧松许智武陈海明
- 关键词：限定词
- 基于上下文依赖规则覆盖的句子生成被引量：4
- 2005年
- 基于规则覆盖的句子生成,是上下文无关文法句子生成的主要方法,但是它也具有局限性。最近提出的上下文依赖规则覆盖,能根据文法的内部结构不同而具有不同的分支集合,比规则覆盖的精度更高。目前,尚未见这种上下文依赖规则覆盖的句子生成算法。该文在规则覆盖的句子生成算法的基础上,实现一个基于上下文依赖规则覆盖的句子生成算法。该算法已在机器上实现并经过实验检验。
- 沈扬陈海明
- 关键词：句子生成上下文无关文法
- 正规树文法的产生式相交判定被引量：2
- 2012年
- 在针对产生式不相交的正规树文法的XML类型检查中,需要对正规树文法的产生式进行相交判定。基于正规树文法的产生式的构成特点,提出了基于自动机的相交判定算法。根据产生式的内容模型即正则表达式,构建相应自动机,判定两个自动机的交是否为空,该算法的时间复杂度为O(‖E1‖.‖E2‖.|∑E1∪∑E2|)。实验结果表明,该算法运行正确且高效,可以应用到针对产生式不相交的正规树文法的XML类型检查中。
- 倪晓勇陈海明
- 关键词：产生式正则表达式自动机
- 一个高质量汉字笔划字形到轮廓字形的转换系统被引量：3
- 1996年
- 本文介绍一个基于三阶Ｂｅｚｉｅｒ曲线的字形转换系统ＳＯＣＳ（ｓｔｒｏｋｅｔｏｏｕｔｌｉｎｅｃｏｎｖｅｒｔｉｏｎｓｙｓｔｅｍ）．该系统作为汉字字形设计系统ＣＣＤＳ（Ｃｈｉｎｅｓｅｃｈａｒａｃｔｅｒｄｅｓｉｇｎｓｙｓｔｅｍ）的后端，把ＣＣＤＳ产生的多笔划曲线轮廓字形数据加工成整字曲线轮廓字形数据．其结果适于多种高精度输出，如Ｐｏｓｔｓｃｒｉｐｔ印字机．ＳＯＣＳ系统具有一定的通用性，它不只限于接受ＣＣＤＳ的加工结果，还可以作为独立的系统使用．
- 董韫美陈海明
- 关键词：计算机图形学
- 简单模式的一种匹配方法被引量：1
- 2001年
- 模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上，结合常用的模式匹配树的构造思想，设计了一种模式匹配方法。这种模式匹配方法通过计算给定模式集合的扩展集合来构造模式匹配树。虽然在最坏情况下，该方法与LFC现有实现的空间复杂度一样，但当函数定义是部分构造式，而定义中的非项模式覆盖了较多项时，这种模式匹配方法可以避免LFC语言现有实现中较大的编码空间。这个方法略作修改即可用于复杂的嵌套模式，是一种通用的模式匹配方法。
- 张强陈海明
- 关键词：函数式语言形式规约语言
- 确定型语言的相关研究综述
- 2013年
- 随着互联网应用的不断普及,XML(可扩展标记语言)在数据库、数据传输等方面的作用也越来越大。一般而言,XML文档的结构都是由XML模式语言来定义,比如DTD和XML Schema。文章主要对DTD和XML Schema的内容模式约束,即确定型正则表达式进行研究,分别详细介绍确定型表达式、确定型语言、及相关问题的研究现状。文章首先给出确定型表达式的定义及相关概念。接着,介绍几种确定型表达式的判定算法。然后,分析确定型语言的判定、对应确定型表达式的生成、及近似确定型表达式的生成等问题。文章最后还列举一些其他相关问题的研究。
- 陈海明陆平
- 关键词：正则表达式复杂度
- 运算构造和检验系统FC的设计和实现被引量：2
- 1998年
- 运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义．详细介绍ＦＣ的功能、结构和实现技术，并讨论了下一步的改进方向．
- 陈海明
- 关键词：递归函数函数计算形式规约FC软件工程
- 新型递归函数的高效定义手段和求值技术
- 陈海明金蓓弘黄文集沈扬吴端仪
- 以上下文无关语言上的递归函数理论为基础的多种类递归函数，是为方便直接地表述问题求解而发展的一个新型数学工具，可广泛用于软件设计、算法研究和编程语言等方面。缺乏实用有效的算法目前是制约其走向实际应用的瓶颈。该项目研究的主要...
- 关键词：
- 关键词：递归函数
