国家科技基础条件平台建设计划(BSDN2009-18)
- 作品数:6 被引量:25H指数:3
- 相关作者:郑黎晓常青玲阎保平宋卓彦蒋小明更多>>
- 相关机构:中国科学院大学中国科学院华侨大学更多>>
- 发文基金:国家科技基础条件平台建设计划国家自然科学基金更多>>
- 相关领域:自动化与计算机技术生物学环境科学与工程更多>>
- 视图确定性问题及其研究进展
- 2014年
- 基于视图的查询回答问题在数据管理方面有广泛的应用。为了形式化地描述一组视图V是否含有足够的信息来回答用户提出的一个查询Q,研究人员近期提出了"视图确定性"的概念。介绍了视图确定性相关的研究问题,对比其与查询重写之间的关系,分析出问题的主要研究维度,总结已有的研究成果并指出存在的问题。同时,对未来的研究趋势进行了展望。
- 郑黎晓常青玲徐世廷
- 关键词:复杂度查询语言
- 一种利用模式信息的XPath测试集约简方法被引量:1
- 2014年
- 软件测试是保证软件质量的一种重要手段,测试数据的数量和质量决定着测试的成本和效率.在基于范畴划分的XPath测试中,存在着测试数据集规模过大、测试开销过高的问题.为此,提出一种利用XM L模式信息有效约简XPath测试集的方法.该方法首先计算XML模式中的结构约束信息,例如元素允许出现的次数、元素之间的父子关系、兄弟关系等;然后利用这些信息去除范畴划分时产生的无效选择和选择的无效组合,从而减少最终测试集中的无效XML文档.理论分析和实验表明,在揭错能力较强的两种范畴划分覆盖准则下,该方法能有效减小测试集规模,从而降低测试成本、提高测试效率.
- 郑黎晓常青玲
- 关键词:XPATHXML模式测试集
- 一种基于模式覆盖的XML文档自动生成方法
- 2015年
- XML文档自动生成在XML模式验证及网络环境下应用程序的测试中有广泛的应用.提出一种基于模式覆盖的XML文档自动生成方法,从给定模式中生成一组有效的且具有一定模式覆盖性的XML文档.采用正规树文法作为XML模式语言的形式模型,通过分析XML文档树与字符串之间的对应关系,将正规树文法转换为上下文无关文法,然后利用基于文法覆盖准则的句子生成算法从上下文无关文法中生成一组满足特定覆盖准则的句子,最后将句子还原为XML文档.实例分析和实验结果表明,生成的XML文档能较好地反映模式定义中的各种结构信息,可有效应用于XML模式验证及相关应用程序的功能测试.
- 郑黎晓王成常青玲
- 关键词:XMLXML模式自动生成上下文无关文法
- 青海湖区大型底栖动物群落结构与空间分布格局被引量:15
- 2014年
- 为了解青海湖大型底栖动物的群落结构特征、空间分布格局及关键驱动力,于2011—2012年分4次对青海湖区主体湖、3个子湖和5条入湖河流进行了系统调查。共采集到底栖动物28个分类单元,隶属于3门5纲15科,主体湖区、咸水和淡水子湖及入湖河流分布有9、5、9和15种;它们的密度分别为455.8、1562.7、741.3和331.2 ind./m2;生物量为1.18、3.70、2.75和4.53 g/m2。优势度分析显示,喜盐摇蚊为主体湖区绝对优势种(占总密度的83.32%)。Surfer模拟显示,主体湖区东南部沿岸带的密度和生物量最高,湖心区最低;高峰值主要出现在布哈河、菜挤河等大型河流入湖的河口附近。CCA分析表明:青海湖区大型底栖动物的分布主要受水体pH、水深、总氮和盐度等环境因子的驱动。
- 孟星亮何玉邦宋卓彦熬鸿毅张虎蒋小明
- 关键词:大型底栖动物
- 一个生态传感网的Web处理服务平台被引量:5
- 2015年
- 随着近年来Web服务技术的日益成熟,越来越多的地理空间资源和处理功能以在线Web服务的形式发布在网络中,数据的共享和互操作性变得更加重要。WPS(Web Processing Service)便是由OGC(Open Geospatial Consortium)推出的空间信息的共享和互操作的规范,采用Web服务技术来实现空间数据处理的共享和互操作。本文介绍了我们基于OGC WPS标准开发的一个用于生态环境领域的空间数据处理平台,并选取对生态水文研究有重大意义的日均蒸散量计算模型验证了平台的可行性和实用性。
- 宋东泽罗万明阎保平
- 关键词:WPSOGC蒸散发生态环境传感网
- GPS位置历史挖掘和移动轨迹异常检测系统的设计与实现被引量:4
- 2013年
- 为了发现候鸟的公共移动模式和异常迁徙行为,通过对候鸟位置历史数据建模,设计与实现了位置历史挖掘和异常检测系统,分析并可视化展示候鸟迁徙过程中经停地和移动序列的分布状况及其重要性。通过计算候鸟移动序列相符度并可视化展示结果,发现候鸟迁徙的公共模式和异常行为。使用青海湖斑头雁的卫星遥测数据验证了这一系统,结果发现了斑头雁的三个公共移动模式和三个异常迁徙行为,验证了该系统的有效性。
- 熊妍罗泽阎保平
- 关键词:异常检测