您的位置： 专家智库 > >

赵鑫

作品数：1 被引量：1H指数：1
供职机构：大连理工大学管理与经济学部更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇时间自动机
  • 1篇自动机
  • 1篇UPPAAL
  • 1篇ECA规则

机构

  • 1篇大连理工大学

作者

  • 1篇卢涛
  • 1篇赵鑫

传媒

  • 1篇计算机应用与...

年份

  • 1篇2017
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于时间自动机的ECA规则交互问题研究被引量：1
2017年
Event-Condition-Action(ECA)规则的评估和执行独立于其他规则,但规则行为间交互作用可能导致系统行为不可预测或不安全。典型的问题有规则的不一致性和终止性。针对上述问题,提出将ECA规则转换为时间自动机,对规则之间的交互进行分析。采用时间自动机验证工具UPPAAL验证规则集合是否存在交互问题。以痴呆老人智能辅助系统为例,实验结果证明了该方法的可行性和有效性。
赵鑫卢涛
关键词：ECA规则时间自动机UPPAAL
全选 清除 导出
共1页<1>
聚类工具0