检索结果-内蒙古大学图书馆

电子学报 2016年第2期44卷 461-471页

作者：郑黎晓王成华侨大学计算机科学与技术学院福建厦门361021 中国科学院软件研究所计算机科学国家重点实验室北京100190

本文对XML(Extensible Markup Language)数据的模式推断问题研究现状与进展进行了阐述.首先,从正规树文法的角度介绍了不同模式语言的理论模型.进而从模式推断方法、目标模式语言、支持的表达能力、内容模型对应的正则表达式类型等多个... 详细信息

本文对XML(Extensible Markup Language)数据的模式推断问题研究现状与进展进行了阐述.首先,从正规树文法的角度介绍了不同模式语言的理论模型.进而从模式推断方法、目标模式语言、支持的表达能力、内容模型对应的正则表达式类型等多个方面对当前研究工作进行了细致的分类归纳和对比.此外,还介绍了模式语言中支持的基本语义完整性约束推断的研究进展.最后指出了当前研究中的不足,并对未来需要深入研究的方向进行了展望.重在对XML模式推断的主流方法和前沿进展进行概括、比较和分析,以期对后续研究有所助益.

关键词：可扩展标记语言模式推断正规树文法正则表达式

来源：评论

学校读者我要写书评

暂无评论

信息无损数据转换的模型、测试和判定问题研究

信息无损数据转换的模型、测试和判定问题研究

引用

作者：郑黎晓中国科学院研究生院

学位级别：博士

信息系统中往往存在各种各样的数据形式，例如以关系型数据格式在数据库中进行存储、以XML格式在Web上进行发布和交换等。不同格式之间的数据转换是实现信息交换、信息迁移和信息共享等的一个必要手段。数据转换过程中一个基本要求是要... 详细信息

信息系统中往往存在各种各样的数据形式，例如以关系型数据格式在数据库中进行存储、以XML格式在Web上进行发布和交换等。不同格式之间的数据转换是实现信息交换、信息迁移和信息共享等的一个必要手段。数据转换过程中一个基本要求是要实现信息无丢失，也即信息的无损转换。本文针对信息无损数据转换的模型、测试和判定问题进行研究。\n 模型方面，提出一个描述数据转换的抽象模型，该模型包括源/目标数据类型定义和数据转换函数定义。本文考虑两种信息无损:完全的和部分的。前者要求源数据中的全部信息没有丢失，后者允许用户指定源数据中的部分信息，要求这一部分信息在转换后是无损的。我们使用“数据可逆”和“相对数据可逆”的概念来分别刻画完全的和部分的信息无损。\n 测试问题分为两部分:数据类型定义的测试和转换函数定义的测试。针对通用模型，本文采取一种基于文法的测试方法。具体来讲，将数据类型测试转化为文法测试;相应地，利用文法的句子生成算法生成测试数据用于对转换函数的测试。文法测试方面，提出一个系统的测试框架，引入模块测试和集成测试的概念;从文法的句子识别器角度和句子生成器角度，提出两个测试活动来完成文法测试。测试数据生成方面，提出两个句子生成算法:一个基于文法的规则覆盖准则，一个基于分支覆盖准则。算法的基本思想是在满足文法覆盖准则的前提下，使得生成的句子尽量短小简单，以方便测试人员计算预期输出、执行测试和错误定位等。我们对文法测试框架和句子生成算法进行了实现和实验，验证了其有效性。\n 本文对关系型数据上信息无损判定问题进行了深入研究，考虑当数据转换函数和部分信息选择函数使用不同的关系查询语言表达时，问题的判定性和复杂度。首先证明出部分信息无损问题与视图确定性问题等价，在后者已有结果的基础上，推导出完全信息无损和部分信息无损不可判定的情况。除此之外，证明出下面几种情况下问题的判定性和复杂度:(1)当查询语言是Datalog时;(2)当查询语言是一元模式上的合取查询时;(3)当查询语言是由关系代数{选择，投影，乘积}操作中任意两种操作构成的合取查询子类时。本文同时对XML数据上的判定问题做了初步探索。首先，对于表达能力比较强的XML查询语言，得出不可判定的结论;其次，针对XPath的一个子类XP{/,//,(D),(*)}，证明出在没有DTD限制的情况下，完全信息无损问题属于P类问题，部分信息无损问题是coNP难的，并给出该问题的一些必要条件。

关键词：信息无损文法测试关系数据转换视图确定性

来源：评论

学校读者我要写书评

暂无评论

基于文法分支覆盖的短句子生成算法

引用

软件学报 2011年第11期22卷 2564-2576页

作者：郑黎晓许智武陈海明中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049

提出一种上下文无关文法的句子生成算法.对于给定文法,算法生成一个满足该文法分支覆盖准则的句子集.结合长度控制、冗余消除和句子集规模控制等策略,使得生成的句子较短、无冗余、句子集规模较小.考察了算法在基于文法的软件系统的测... 详细信息

提出一种上下文无关文法的句子生成算法.对于给定文法,算法生成一个满足该文法分支覆盖准则的句子集.结合长度控制、冗余消除和句子集规模控制等策略,使得生成的句子较短、无冗余、句子集规模较小.考察了算法在基于文法的软件系统的测试数据生成方面的应用情况.实验结果表明,该算法生成的测试数据具有较强的程序揭错能力,并且能够帮助测试人员提高测试速度.

关键词：上下文无关文法句子生成分支覆盖长度控制

来源：评论

学校读者我要写书评

暂无评论

一种利用模式信息的XPath测试集约简方法

引用

小型微型计算机系统 2014年第12期35卷 2670-2674页

作者：郑黎晓常青玲华侨大学计算机科学与技术学院福建厦门361021 中国科学院计算机网络信息中心北京100190 中国科学院大学北京100190

软件测试是保证软件质量的一种重要手段,测试数据的数量和质量决定着测试的成本和效率.在基于范畴划分的XPath测试中,存在着测试数据集规模过大、测试开销过高的问题.为此,提出一种利用XM L模式信息有效约简XPath测试集的方法.该方法首... 详细信息

软件测试是保证软件质量的一种重要手段,测试数据的数量和质量决定着测试的成本和效率.在基于范畴划分的XPath测试中,存在着测试数据集规模过大、测试开销过高的问题.为此,提出一种利用XM L模式信息有效约简XPath测试集的方法.该方法首先计算XML模式中的结构约束信息,例如元素允许出现的次数、元素之间的父子关系、兄弟关系等;然后利用这些信息去除范畴划分时产生的无效选择和选择的无效组合,从而减少最终测试集中的无效XML文档.理论分析和实验表明,在揭错能力较强的两种范畴划分覆盖准则下,该方法能有效减小测试集规模,从而降低测试成本、提高测试效率.

关键词： XPath XML模式范畴划分测试集约简

来源：评论

学校读者我要写书评

暂无评论

多尺度加权LBP的人脸识别

引用

光电工程 2014年第4期41卷 82-88页

作者：王成郭飞赖雄鸣郑黎晓华侨大学计算机科学与技术学院福建厦门361021 西安交通大学电子与信息工程学院计算机系软件与理论研究所西安710049 华侨大学机电及自动化学院福建厦门361021

针对传统局部二值模型(LBP)算子容易受到周围噪声点的干扰的缺点,提出了首先对图像进行Gauss滤波预处理,去除图像中的干扰噪声。针对传统LBP算子无法提取出非局部特征信息,提出一种新的基于多尺度加权的改进LBP(MWLBP)算子。MWLBP算子... 详细信息

针对传统局部二值模型(LBP)算子容易受到周围噪声点的干扰的缺点,提出了首先对图像进行Gauss滤波预处理,去除图像中的干扰噪声。针对传统LBP算子无法提取出非局部特征信息,提出一种新的基于多尺度加权的改进LBP(MWLBP)算子。MWLBP算子以不同大小的方型邻域为研究对象,将不同大小区域的LBP直方图进行加权求和。MWLBP比传统LBP算子提取的特征范围更大,在提取了局部特征的同时,保留了一定的非局部特征。相对于Gabor和其它特征提取方法,MWLBP算子在保留了多尺度特征的同时,能控制计算量大小。在ORL和Yale人脸数据库上的实验表明,Gauss滤波预处理确实能去除图像中的干扰噪声,提高识别准确率;MWLBP算子比传统的LBP算子、Gabor和其它特征提取方法减少了计算量,加快了分类器训练和人脸识别的速度,提高了准确率。

关键词：人脸识别局部二值模式 Gauss滤波预处理多尺度加权空间区域直方图 Gabor

来源：评论

学校读者我要写书评

暂无评论

一种基于模式覆盖的XML文档自动生成方法

引用

小型微型计算机系统 2015年第1期36卷 77-82页

作者：郑黎晓王成常青玲华侨大学计算机科学与技术学院厦门361021 中国科学院计算机网络信息中心北京100190 中国科学院大学北京100190

XML文档自动生成在XML模式验证及网络环境下应用程序的测试中有广泛的应用.提出一种基于模式覆盖的XML文档自动生成方法,从给定模式中生成一组有效的且具有一定模式覆盖性的XML文档.采用正规树文法作为XML模式语言的形式模型,通过分析XM... 详细信息

XML文档自动生成在XML模式验证及网络环境下应用程序的测试中有广泛的应用.提出一种基于模式覆盖的XML文档自动生成方法,从给定模式中生成一组有效的且具有一定模式覆盖性的XML文档.采用正规树文法作为XML模式语言的形式模型,通过分析XML文档树与字符串之间的对应关系,将正规树文法转换为上下文无关文法,然后利用基于文法覆盖准则的句子生成算法从上下文无关文法中生成一组满足特定覆盖准则的句子,最后将句子还原为XML文档.实例分析和实验结果表明,生成的XML文档能较好地反映模式定义中的各种结构信息,可有效应用于XML模式验证及相关应用程序的功能测试.

关键词： XML XML模式自动生成正规树文法上下文无关文法

来源：评论

学校读者我要写书评

暂无评论

视图确定性问题及其研究进展

引用

计算机工程与应用 2014年第14期50卷 121-126页

作者：郑黎晓常青玲徐世廷华侨大学计算机科学与技术学院福建厦门361021 中国科学院计算机网络信息中心北京100190 中国科学院大学北京100190

基于视图的查询回答问题在数据管理方面有广泛的应用。为了形式化地描述一组视图V是否含有足够的信息来回答用户提出的一个查询Q,研究人员近期提出了"视图确定性"的概念。介绍了视图确定性相关的研究问题,对比其与查询重写之... 详细信息

基于视图的查询回答问题在数据管理方面有广泛的应用。为了形式化地描述一组视图V是否含有足够的信息来回答用户提出的一个查询Q,研究人员近期提出了"视图确定性"的概念。介绍了视图确定性相关的研究问题,对比其与查询重写之间的关系,分析出问题的主要研究维度,总结已有的研究成果并指出存在的问题。同时,对未来的研究趋势进行了展望。

关键词：视图确定性查询回答复杂度查询语言

来源：评论

学校读者我要写书评

暂无评论

一类受限正则表达式的推断算法

引用

计算机科学 2014年第4期41卷 178-183页

作者：冯晓强郑黎晓陈海明中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院大学北京100049 华侨大学计算机科学与技术学院厦门361021

XML模式推断问题的主要任务可以归约为从一个句子集合中推断出对应的确定型正则表达式。提出了一类在XML模式中大量出现的受限正则表达式,给出了该类正则表达式的推断算法。该算法首先根据给定的句子集合构造自动机,然后根据自动机和句... 详细信息

XML模式推断问题的主要任务可以归约为从一个句子集合中推断出对应的确定型正则表达式。提出了一类在XML模式中大量出现的受限正则表达式,给出了该类正则表达式的推断算法。该算法首先根据给定的句子集合构造自动机,然后根据自动机和句子集合推断出对应的正则表达式。该算法的时间复杂度为max(O(|V|+|E|),O(L)),其中V和E分别表示自动机的节点集合和边集合,L表示句子集合中所有句子的长度之和。对算法的终止性和正确性进行了证明。

关键词： XML模式模式推断正则表达式自动机算法

来源：评论

学校读者我要写书评

暂无评论

改进D-S证据理论的多分类器决策层融合系统

引用

小型微型计算机系统 2015年第5期36卷 1138-1141页

作者：王成郭飞郑黎晓赖雄鸣华侨大学计算机科学与技术学院福建厦门361021 西安交通大学电子与信息工程学院计算机系软件与理论研究所西安710049 华侨大学机电及自动化学院福建厦门361021

针对传统D-S证据理论中基于识别率和误识率构造的基本概率赋值函数(Basic Probability Assignment,BPA)没有考虑训练样本分布的缺点,提出了一种将整体错误率分配给除了正确判别命题以外各个焦元的BPA构造新方法.针对传统D-S证据理论中... 详细信息

针对传统D-S证据理论中基于识别率和误识率构造的基本概率赋值函数(Basic Probability Assignment,BPA)没有考虑训练样本分布的缺点,提出了一种将整体错误率分配给除了正确判别命题以外各个焦元的BPA构造新方法.针对传统D-S证据理论中所采用的基于正交和运算的合成规则不能融合矛盾证据的缺陷,提出一种能融合矛盾证据的大概率赋值法.在此改进D-S证据理论的基础上,给出了两分类器决策层融合流程和多分类器决策层融合系统.在ORL和Yale数据库上的实验结果表明,对几种典型分类器的决策层融合提高了系统人脸识别的正确率,且改进D-S证据理论比传统D-S和投票融合方法的正确率更高.

关键词： D-S证据理论 BPA构造新方法大概率赋值法多分类器决策层融合人脸识别

来源：评论

学校读者我要写书评

暂无评论

基于时态测试器的实时分支时态逻辑模型检测

引用

软件学报 2022年第8期33卷 2930-2946页

作者：骆翔宇黄欣玥古天龙苏开乐陈祖希郑黎晓华侨大学计算机科学与技术学院福建厦门361021 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 暨南大学信息科学技术学院/网络空间安全学院广东广州510632 南京信息工程大学人工智能学院江苏南京210044

基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL... 详细信息

基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL*正时态测试器构造方法以及相关符号化模型检测算法,既证明了所提出的RTCTL*正时态测试器构造方法是完备的,也证明了该算法时间复杂度与被验证系统呈线性关系,与公式长度呈指数关系.基于JavaBDD软件包成功开发了该算法的模型检测工具MCTK2.0.0.完成了MCTK与著名的符号化模型检测工具nu Xmv之间的实验对比分析工作,结果表明:MCTK虽然在内存消耗上要多于nu Xmv,但是MCTK的时间复杂度双指数级小于nuXmv,使得利用MCTK验证大规模系统的实时时态性质成为可能.

关键词：符号化模型检测公平离散系统正时态测试器实时分支时态逻辑二元决策图

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：