全局约束目录，卷II，时间序列约束
Global Constraint Catalog, Volume II, Time-Series Constraints
IMT Atlantique（大西洋国立高等矿业电信学院）；RISE SICS（瑞典计算机科学研究院（RISE旗下））；Uppsala University（乌普萨拉大学）；National University of Singapore（新加坡国立大学）；University College Cork（科克大学）
摘要：
首先，这份报告提出了一个有限的传感器用于合成结构的时间序列的约束，通过一个多层的功能组合计划。其次，它提供了相应的合成目录的结构时间序列的约束，每个约束明确地描述了自动机与寄存器。
英文摘要：
First this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition scheme. Second it provides the corresponding synthesised catalogue of structural time-series constraints where each constraint is explicitly described in terms of automata with registers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
