马海涛
- 作品数：7 被引量：1H指数：1
- 供职机构：哈尔滨工业大学更多>>
- 发文基金：黑龙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于卷积神经网络的海上舰船检测及其硬件加速研究
- 中国是一个有着漫长海岸线的海洋大国。近年来，南海某些域内外国家在中国邻近海域不断制造事端，严重侵犯了中国主权，破坏了地区来之不易的和平和稳定局面。与此同时，漫长的海岸线给打击海上违法行为，展开海上安全搜救工作等提出了不小...
- 马海涛
- 关键词：卷积神经网络特征提取硬件加速
- 文献传递
- 一种Active XML模式重写算法被引量：1
- 2009年
- 基于树自动机理论,研究了Active XML(简记为AXML)模式重写问题,提出了一种多项式时间的AXML模式重写判定算法,并对算法进行了实现。实验结果证明了所提算法用于判定AXML模式重写的优越性。
- 马海涛朱燕郝忠孝
- 关键词：ACTIVEACTIVEXML模式树自动机
- 一种检验Active XML文档树模式查询可满足性算法
- 检验查询可满足性是XML文档查询的一个重要问题.Active XML(AXML)文档在XML文档中引入嵌入式Web服务,增强了文档的动态性和灵活性,同时也为现有文档查询可满足性问题的解决方法提出了新的要求和挑战.研究了模...
- 马海涛郝忠孝
- 关键词：AXML树自动机可满足性
- 文献传递
- 基于形式语言理论的Active XML重写算法
- 2009年
- 主动XML(AXML)是指一部分数据直接给出,另一部分数据以WebServices调用方式隐含给出XML文档。研究AXML重写问题,给出AXML重写系统的形式化定义,提出一个基于树自动机理论的AXML文档重写算法,并证明该算法的正确性及有效性。实验数据表明,基于树自动机的AXML文档交换方法具有良好的执行效率。
- 马海涛郝忠孝
- 关键词：数据交换树自动机
- Active XML数据管理基础问题研究
- Active XML(Active eXtensible Markup Language)的提出，能够有效的解决当前分布式数据管理中存在的数据源异构性、交互性及自主性问题，为分布式Web数据管理提供了新的发展方向。AXM...
- 马海涛
- 文献传递
- 一种检验Active XML文档树模式查询可满足性算法
- 检验查询可满足性是XML文档查询的一个重要问题。Active XML(AXML)文档在XML文档中引入嵌入式Web服务,增强了文档的动态性和灵活性,同时也为现有文档查询可满足性问题的解决方法提出了新的要求和挑战。研究了模...
- 马海涛郝忠孝
- 关键词：AXML树自动机可满足性XML文档
- 文献传递
- Active XML文档有效性检验
- 2008年
- 文档有效性检验是XML领域的一个基本问题.Active XML(AXML)文档在XML文档中引入Web服务,传统用于解决XML文档有效性的检验方法并不适用于AXML文档,为文档有效性检验提出了新的挑战.研究了AXML文档有效性检验问题,在原始树自动机的基础上,定义了AXML模式树自动机—ASTA机,该树自动机能够有效地描述满足AXML模式约束的文档集合.基于ASTA机,提出了一种多项式时间的AXML文档有效性检验算法.实验数据表明,基于提出的算法能够有效的完成对AXML文档的有效性检验.
- 马海涛郝忠孝朱燕
- 关键词：ACTIVEXMLWEB服务树自动机
