梁冰
- 作品数：4 被引量：2H指数：1
- 供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 数据融合系统的时序有限自动机模型及性能分析方法
- 2008年
- 数据融合系统的各种算法是当前研究的热点问题,但缺乏有效数学工具对数据融合系统进行描述和分析.本文提出了时序有限自动机,用它建立数据融合系统的形式化模型,并且给出了时序有限自动机模型的可达性分析方法,用于分析数据融合系统的性能和行为.同时,给出了建立时序有限自动机模型和数据融合系统的正确性和实时性分析算法.
- 梁冰刘群
- 关键词：数据融合建模方法性能分析
- 基于UPPAAL的数据关联时序有限自动机模型验证
- 2007年
- 对数据关联过程建立了时序有限自动机模型,时序有限自动机时钟变量只取整数值,从而减小数据关联过程生成的状态空间。在一定的时间约束下,使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。
- 梁冰刘群
- 关键词：数据关联
- 数据关联的时序有限自动机模型的建模方法被引量：1
- 2006年
- 介绍了一种用时序自动机为数据关联问题建模的方法,对数据关联问题的研究方法做了新的尝试。目前有多种数据关联算法,对这些方法的分析和评价成为急于解决的问题。鉴于观测信息的时序性,该文以有限自动机(FA)为基础,将时间序列引入到有限自动机中,定义了时序有限自动机(TFA),建立了数据关联(DA)的时序有限自动机模型,用于判断关联算法得到的航迹准确性。
- 刘群梁冰
- 关键词：数据融合数据关联有限自动机
- 基于时间自动机网的C^3I系统建模和实时性验证被引量：1
- 2008年
- 针对目前缺乏描述和分析C3I系统的理论基础,提出了基于时间自动机理论的C3I系统的数学模型.建立了C3I系统中各个子系统的时间自动机模型,子系统之间通过通道进行通讯,通过时间自动机网把C3I系统构建为多个并行的时间自动机的网络模型.提出基于计算树逻辑CTL的C3I系统的实时性表达方法,详细描述使用模型检测工具Uppaal对C3I系统建模和所建模型的实时性验证的方法.实验结果证明,基于时间自动机的C3I系统的建模与模型检测方法是有效的,为C3I系统行为的分析、验证提供理论基础.与经典算法相比,该方法提高了对C3I系统建模和分析的效率.
- 梁冰刘群
- 关键词：C^3I系统
