×
尼古拉斯·贝尔迪塞努;Carlsson，马茨;雷米·杜伦斯;赫尔穆特·西蒙尼斯

使用有限传感器描述和合成结构时间序列约束。 （英语） Zbl 1397.68161号

约束条件 21，第1期，22-40（2016）.
摘要：我们用函数合成的方法描述了结构时间序列的一大类约束。这些约束是对时间序列中出现的模式特征的聚合，例如其峰值的数量或其最陡上升的范围。模式和特征通常与时间序列生成器的物理属性相关联，这对于在系统的约束模型中捕获这些属性很重要，即生成类似时间序列的约束的连接。我们使用有限变换器对模式进行形式化，其输出字母表对应于精确描述识别模式出现步骤的语义值。基于这种描述，我们自动合成带有累加器和约束检查器的自动机。该描述方案不仅统一了全球约束目录中现有的30个时间序列约束的结构，还产生了600多个新约束，合成代码超过100000行。

引用于三文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
62M10个 统计学中的时间序列、自相关、回归等（GARCH）

关键词：

全局约束;时间序列;全局约束目录;约束综合;有限传感器

软件：

SICStus公司
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，《约束21》，第1期，第22--40页（2016年；Zbl 1397.68161）
全文： DOI程序 哈尔

参考文献：

[1] Abney，S.（1996）。通过有限状态级联进行部分解析。自然语言工程，2（4），337-344·doi:10.1017/S1351324997001599
[2] Beldiceanu，N.、Carlsson，M.、Debruyne，R.和Petit，T.（2005）。基于约束检查器的全局约束的重新格式化。约束，10（4），339-362·Zbl 1103.68804号 ·doi:10.1007/s10601-005-2809-x
[3] Beldiceanu，N.、Carlsson，M.、Demassey，S.和Petit，T.（2007年）。全球约束目录：过去、现在和未来。约束，12（1），21-62·Zbl 1128.68092号 ·doi:10.1007/s10601-006-9010-8
[4] Beldiceanu，N.、Carlsson，M.、Flener，P.和Pearson，J.（2013）。关于全球约束的具体化。约束，18（1），1-6·兹比尔1328.68192 ·doi:10.1007/s10601-012-9132-0
[5] Beldiceanu，N.、Carlsson，M.、Flener，P.、Rodríguez，M.A.F.和Pearson，J.（2014）。链接使用带累加器的自动机编码的约束的前缀和后缀。B.O'Sullivan（编辑），《约束规划的原理和实践》（CP 2014），LNCS，（第8656卷，第142-157页）：Springer。
[6] Beldiceanu，N.、Carlsson，M.和Rampon，J.X.全球约束目录，第二版（a版）。技术代表T2012-03，瑞典计算机科学研究所（2012），最新版本，http://sofdem.github.io/gccat/。
[7] Beldiceanu，N.、Flener，P.、Monette，J.N.、Pearson，J.和Simonis，H.（2014）。在约束规划中实现可持续发展。约束，19（2），139-149·doi:10.1007/s10601-013-9152-4
[8] Beldiceanu，N.、Ifrim，G.、Lenoir，A.和Simonis，H.（2013年）。使用ModelSeeker描述EDF机组承诺问题并生成解决方案。在C.Schulte（Ed.），约束编程的原理和实践（CP 2013），LNCS，（第8124卷，第733-748页）：Springer。
[9] Beldiceanu，N.和Simonis，H.（2011年）。约束寻求者：从示例中查找和排序全局约束。J.Lee（编辑），《约束编程的原理与实践》（CP 2011），LNCS，（第6876卷，第12-26页）：Springer·Zbl 1353.68233号
[10] Beldiceanu，N.和Simonis，H.（2012年）。模型寻求者：从正面示例中提取全局约束模型。M.Milano（编辑），《约束编程的原理与实践——第18届国际会议》，2012年10月8日至12日，加拿大魁北克省魁北克市，CP 2012。诉讼程序。计算机科学课堂讲稿（第7514卷，第141-157页）：施普林格。doi:10.1007/978-3-642-33558-7_13。
[11] Berstel，J.（1979年）。转喻和无语境语言：图布纳·Zbl 0424.68040号
[12] Carlsson，M.等人，SICStus Prolog用户手册。瑞典计算机科学研究所，4.3.1版。（2014年11月），当前版本可在，https://sicstus.sics.se/sicstus/docs/latest4/pdf/sicstus.pdf。
[13] Fu，T.（2011）。时间序列数据挖掘综述。人工智能的工程应用，24（1），164-181。http://www.sciencedirect.com/science/article/pii/S0952197610001727。 ·doi:10.1016/j.engappai.2010.09.007
[14] Fung，D.S.C.（2006）。时间序列中缺失值的估计方法。硕士论文。珀斯：伊迪丝·考恩大学。
[15] Gent，I.P.、Jefferson，C.、Linton，S.、Miguel，I.和Nightingale，P.（2014）。为任意约束生成自定义传播器。人工智能，211，1-33·Zbl 1405.68326号 ·doi:10.1016/j.artint.2014.03.001
[16] Goldin，D.Q.和Kanellakis，P.C.（1995）。时间序列数据的相似性查询：约束规范和实现。在U.Montanari和F.Rossi（编辑），《约束编程的原理和实践》（CP 1995），LNCS，（第976卷，第137-153页）：Springer·Zbl 1353.68233号
[17] Guns，T.、Nijssen，S.和De Raedt，L.（2011年）。项集挖掘：约束编程视角。人工智能，175（12-13），1951-1983·Zbl 1353.68233号 ·doi:10.1016/j.artint.2011.05.002
[18] Harvey，A.（1991年）。预测、结构时间序列模型和卡尔曼滤波器：剑桥大学出版社·Zbl 1103.68804号
[19] Laurière，J.L.约束传播或自动编程。技术代表19，IBP-Laforia（1996），法语，网址：，https://www.lri.fr/sebag/Slides/Lauriere/Rabbit.pdf。
[20] Liao，T.W.（2005）。时间序列数据的聚类——一项调查。模式识别，38（11），1857-1874。doi:10.1016/j.patcog.2005.01.025·Zbl 1077.68803号 ·doi:10.1016/j.patcog.2005.01.025
[21] Nhon，D.T.和Wilkinson，L.（2013）。TimeExplorer：通过签名搜索时间序列的相似性。G.Bebis、R.Boyle、B.Parvin、D.Koracin、B.Li、F.Porikli、V.B.Zodan、J.T.Klosowski、S.Coquillart、X.Luo、M.Chen和D.Gotz（编辑），第九届视觉计算进展国际研讨会（ISVC 2013），LNCS（第8033卷，第280-289页）：Springer·兹比尔1328.68192
[22] Perng，C.S.、Wang，H.、Zhang，S.R.和Parker，D.S.（2000年）。地标：时间序列数据库中基于相似性的模式查询的新模型。第16届国际数据工程会议（ICDE 2000）（第33-42页）：IEEE·Zbl 1128.68092号
[23] Ratanamahatana，C。；林，J。；Gunopulos，D。；基奥，E。；弗拉科斯，M。；达斯，G。；Maimon，O.（编辑）；Rokach，L.（编辑），《采矿时间序列数据》，1049-1077（2010），美国
[24] Sakarovitch，J.（2009）。语言理论基础：剑桥大学出版社·Zbl 1188.68177号
[25] Smith，D.R.和Westfold，S.J.关于约束求解器的合成。技术代表TR-1311，Kestrel Institute（2013），网址：，http://www.kestrel.edu/home/people/smith/pub/CW-report.pdf。
[26] Veanes，M.、Hooimeijer，P.、Livshits，B.、Molnar，D.和Björner，N.（2012）。符号有限状态传感器：算法和应用。J.Field和M.Hicks（编辑），第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 2012，美国宾夕法尼亚州费城（第137-150页）：ACM·Zbl 1321.68341号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。