.png){kind=icon}
返回
Extended Timed Regular Expressions
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-05435-7_14.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
复杂有机体或系统的行为通常以时间序列数据的形式存储。时间序列数据因其包含以时序模式形式呈现的有价值信息而具有价值。然而，这些模式难以形式化表达和检测。我们提出扩展时序正则表达式（ETRE）来表达复杂的时序模式，这些模式可以在大规模时间序列数据集中被系统地、高效地匹配。我们将ETRE转换为时序自动机（TA），其中模式匹配通过TA中的可达性分析进行计算。我们使用C++在新的工具TimeRex中实现了这一理论。我们的工具可用于在线（运行时）或离线（后处理）模式匹配。我们在真实数据上进行了大量实验。我们能够高效地匹配多种相关模式。
Keyword:
Extended Timed Regular Expressions
Time Series Data
Timed Automata
Pattern Matching
Reachability Analysis
期刊
R
IF:
0
论文数:
27
被引数:
0
.png){kind=icon}
查看更多内容