戴晓君
- 作品数：3 被引量：0H指数：0
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 上下文无关语言句子的反向自然枚举
- 2008年
- 在测试基于复杂数据结构的程序时,需要用到上下文无关语言句子的枚举。基于上下文无关语言按推导树高度的分层构造,提出了句子的反向自然枚举算法。通过堆、层、簇和长方体将句子划分为有穷集合序列,该算法的时间效率为,是被枚举句子的长度。实验数据表明,该算法是高效的,且应用更加便利。
- 戴晓君
- 关键词：上下文无关语言
- 静态类型化XML处理语言的子类型判定问题研究
- XML的广泛流行很大程度得益于可以使用模式限制XML文档的结构.静态类型化XML处理语言利用模式增加基于XML信息系统的鲁棒性和运行效率.
在编译时刻类型检查时，静态类型化XML处理语言把模式作为常规类型对待.子类...
- 戴晓君
- 采用了剪枝优化的子类型关系判定算法
- 2010年
- 静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效.
- 戴晓君陈海明
- 关键词：XML
