刘科
- 作品数：9 被引量：21H指数：2
- 供职机构：北京工业大学更多>>
- 发文基金：北京市自然科学基金北京市教育委员会科技发展计划面上项目更多>>
- 相关领域：自动化与计算机技术艺术建筑科学历史地理更多>>
- Twig模式优化动作生成方法研究
- XML是W3C组织提出的一种标记语言，被广泛应用于跨平台之间的数据交互。而Twig模式查询作为XML查询的一种自然的表达方式，由于其在XML查询过程中的核心地位受到了广泛的关注。 为了提高查询效率，人们对Twig模式优...
- 刘科
- 关键词：查询重写
- 基于模型检查的XML树模式优化动作生成被引量：2
- 2017年
- 针对XML数据查询的核心操作-树模式查询,提出基于XML Schema约束来优化树模式查询的方法。该方法提出了统一的优化规则描述语言ORS的语法与语义。ORS描述的优化规则中包括对树模式条件的描述、对XML Schema条件的描述以及在满足前两个条件下应该输出的动作。根据ORS语言描述的优化规则以及待处理的树模式,系统会自动输出该树模式的优化动作。该方法一方面简化了树模式优化的过程,另一方面把模型检查技术运用到XML树模式查询优化上,利用时态逻辑公式描述优化规则中的约束条件,利用模型检查的方法提取XML Schema的约束,对ORS语法和语义的严格定义确保了生成的优化动作的正确性。
- 赵瑞芳刘科杨红丽廖湖声
- 关键词：ORSXML
- 城市污泥焚烧特性研究
- 法处理城市污泥,高效快捷、减容显著、能源利用率高。本文以X射线衍射(XRD) 、X荧光分析( XRF)和电镜分析（SEM）分析方法，对城市污泥在不同温度和时间的焚烧特性进行研究。研究结果表明：随着焚烧温度升高和时间延长，...
- 崔素萍刘红田巍王亚丽吴霞刘科
- 关键词：城市污泥焚烧特性X射线衍射电镜分析
- 污泥特性研究及处置方法探讨
- 城市污泥和电镀污泥，研究其成分、组成、热特性以及不同重金属在焚烧产物中的迁移规律。研究表明：城市污泥成分较接近粘土，热值也较高，可替代黏土或燃料入水泥窑；低温时污泥失重较大，高温时失重趋于平缓；在焚烧灰渣中Zn和Ni属于...
- 刘红崔素萍田巍王亚丽吴霞刘科
- 关键词：城市污泥电镀污泥热分析重金属焚烧产物
- 中国虚拟博物馆的实现模式及发展前景
- 虚拟博物馆是现在世界各大高校都在进行的研究课题之一,本文通过六章内容对时下国内国际虚拟博物馆技术基础、市场发展和应用状况进行了调查研究,以探讨国内虚拟博物馆实现模式和应用前景。
第一章绪论部分,阐述了博物馆对于人类...
- 刘科
- 文献传递
- 基于模型检查的XML Schema特征提取
- XQuery用于查询XML文档，对XQuery查询优化有助于提高查询效率，有重要的研究意义。树模式把XQuery表示成树结构的查询，如何基于XML Schema对树模式进行优化是当前的研究热点，需要利用XML Schem...
- 刘科杨红丽廖湖声吕关锋高雁飞
- 关键词：XMLSCHEMA
- 基于模型检查的XML Schema特征提取被引量：5
- 2012年
- XQuery用于查询XML文档,对XQuery查询优化有助于提高查询效率,有重要的研究意义。树模式把XQuery表示成树结构的查询,如何基于XML Schema对树模式进行优化是当前的研究热点,需要利用XML Schema的一些特征进行树模式优化,因此如何自动提取XML Schema的特征是需要解决的问题。提出基于模型检查的XML Schema特征提取方法。首先把XML Schema转换成Schema图,进而转换成模型检查器NuSMV的输入模型,从而可以对时态逻辑公式表示的XML Schema特征进行检查,提取的孩子关系以及子孙关系特征可以用于树模式优化。
- 刘科杨红丽廖湖声吕关锋高雁飞
- 关键词：XMLSCHEMA
- XML Schema特征提取算法被引量：1
- 2015年
- Twig模式最小化作为XML查询优化的一个重要方面,由于在进行最小化的过程中通常要利用XML Schema中的约束信息,因此被称为Schema特征。为了简化运用传统方法提取Schema特征的过程,以及确保提取过程的正确性,提出了一种自动提取Schema特征的模型检查算法。在Schema的形式模型的基础上,利用扩展的CTL公式表示Schema特征,提出算法以检查Schema模型是否满足要求的特征。由于扩展了CTL公式,所提算法不但可以检查孩子、子孙等前向的Schema特征,而且可以检查双亲、祖先等后向特征。最后,实现了支持该算法的模型检查器。
- 刘科杨红丽赵瑞芳廖湖声陈瑶秦胜潮
- 关键词：XML时态逻辑
- 基于古建筑保护修缮需求的三维激光几何信息采集应用研究
- 中国文化悠久的历史给我们留下了丰富的历史建筑资源:截止至2016年，国务院公布的全国重点文物保护单位总计4296处，省级文物保护单位上万处，市、县级保护单位及未列入各级文物保护单位的不可移动文物数十万处。同时，中国文物建...
- 刘科
- 关键词：古建筑信息采集三维激光扫描
- 文献传递
