咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 3 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 4 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 4 篇 计算机科学与技术...
    • 3 篇 软件工程

主题

  • 4 篇 时序有限自动机
  • 3 篇 数据融合
  • 3 篇 数据关联
  • 2 篇 有限自动机
  • 1 篇 性能分析
  • 1 篇 建模方法
  • 1 篇 建模
  • 1 篇 模型检测

机构

  • 4 篇 哈尔滨工程大学

作者

  • 4 篇 梁冰
  • 3 篇 刘群

语言

  • 4 篇 中文
检索条件"主题词=时序有限自动机"
共 4 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
数据关联的时序有限自动机模型的建模方法
收藏
分享
引用
计算机工程 2006年 第24期32卷 170-171,218页
作者： 刘群 梁冰 哈尔滨工程大学计算机科学技术学院 哈尔滨150001
介绍了一种用时序自动机为数据关联问题建模的方法,对数据关联问题的研究方法做了新的尝试。目前有多种数据关联算法,对这些方法的分析和评价成为急于解决的问题。鉴于观测信息的时序性,该文以有限自动机(FA)为基础,将时间序列引入到有... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
数据融合系统的时序有限自动机模型及性能分析方法
收藏
分享
引用
小型微型计算机系统 2008年 第2期29卷 373-376页
作者： 梁冰 刘群 哈尔滨工程大学计算机科学技术学院 黑龙江哈尔滨150001
数据融合系统的各种算法是当前研究的热点问题,但缺乏有效数学工具对数据融合系统进行描述和分析.本文提出了时序有限自动机,用它建立数据融合系统的形式化模型,并且给出了时序有限自动机模型的可达性分析方法,用于分析数据融合系统的... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于UPPAAL的数据关联时序有限自动机模型验证
收藏
分享
引用
计算机工程 2007年 第22期33卷 6-8,11页
作者： 梁冰 刘群 哈尔滨工程大学计算机科学技术学院 哈尔滨150001
对数据关联过程建立了时序有限自动机模型,时序有限自动机时钟变量只取整数值,从而减小数据关联过程生成的状态空间。在一定的时间约束下,使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
数据关联的时序有限自动机模型的建模方法研究
数据关联的时序有限自动机模型的建模方法研究
收藏
分享
引用
作者： 梁冰 哈尔滨工程大学
学位级别：硕士
随着科学技术，特别是传感器技术、计算机技术、信息技术等的飞速发展，现代跟踪环境变得越来越复杂，现代跟踪理论也在不断发展和完善。数据关联是目标跟踪尤其是多目标跟踪的关键技术，也一直是一个研究热点。 多传感器信息融合是对... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件