您的位置: 专家智库 > >

马海涛

作品数:7 被引量:1H指数:1
供职机构:哈尔滨工业大学更多>>
发文基金:黑龙江省自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇期刊文章
  • 2篇学位论文
  • 2篇会议论文

领域

  • 7篇自动化与计算...

主题

  • 6篇ACTIVE...
  • 5篇树自动机
  • 5篇自动机
  • 5篇ML
  • 2篇重写算法
  • 2篇模式查询
  • 2篇可满足性
  • 2篇ACTIVE
  • 2篇AXML
  • 2篇查询
  • 1篇硬件
  • 1篇硬件加速
  • 1篇神经网
  • 1篇神经网络
  • 1篇数据管理
  • 1篇数据交换
  • 1篇特征提取
  • 1篇网络
  • 1篇文档
  • 1篇卷积

机构

  • 7篇哈尔滨工业大...
  • 3篇哈尔滨理工大...
  • 2篇燕山大学

作者

  • 7篇马海涛
  • 5篇郝忠孝
  • 2篇朱燕

传媒

  • 1篇计算机研究与...
  • 1篇计算机工程
  • 1篇计算机科学
  • 1篇第二十五届中...

年份

  • 1篇2019
  • 3篇2009
  • 3篇2008
7 条 记 录,以下是 1-7
排序方式:
基于卷积神经网络的海上舰船检测及其硬件加速研究
中国是一个有着漫长海岸线的海洋大国。近年来,南海某些域内外国家在中国邻近海域不断制造事端,严重侵犯了中国主权,破坏了地区来之不易的和平和稳定局面。与此同时,漫长的海岸线给打击海上违法行为,展开海上安全搜救工作等提出了不小...
马海涛
关键词:卷积神经网络特征提取硬件加速
文献传递
一种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服务树自动机
共1页<1>
聚类工具0