基于UPPAAL的数据关联时序有限自动机模型验证

• 作者: 刘群 梁冰
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 数据关联 时序有限自动机 模型检测
• 年，卷（期）: 2007,（22）
• 所属期刊栏目: 博士论文
• 页码范围: 6-8,11
• 页数: 4页
• 分类号: TP311
• 字数: 4815字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.22.003

摘要

对数据关联过程建立了时序有限自动机模型,时序有限自动机时钟变量只取整数值,从而减小数据关联过程生成的状态空间.在一定的时间约束下,使用模型检测工具UPPAAL对所建模型的关键性质--关联准确性进行了分析和验证.检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘群	哈尔滨工程大学计算机科学技术学院	40	188	8.0	11.0
2	梁冰	哈尔滨工程大学计算机科学技术学院	21	173	8.0	12.0