{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,12]，“日期-时间”：“2024-09-12T07:08:03Z”，“时间戳”：1726124883730}，“参考-计数”：1，“出版商”：“通信科学指导中心（CCSD）”，“许可证”：[{“开始”：}“日期-零件”：[[2015,3,31]]，“日期时间”：“2015-03-31T00:00:00Z”，“timestamp”：1427760000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[]”，“abstract”（摘要）：“我们提出了一种基于线性排序模板的线性循环程序终止条件的约束综合新方法。线性银行模板是参数化的、基础良好的关系，因此对参数的指定会产生排名函数。我们的方法通用了现有的方法，并使我们能够使用模板实现许多具有仿射线性组件的不同银行功能。我们讨论了多阶段、嵌套、分段、并行和字典排序函数的模板。\n这些排名模板可以组合成更强大的模板。\n因为这些排名模板需要严格和非严格等式，所以我们使用Motzkin的转置定理而不是Farkas的引理来将生成的$exists for all$-约束转换为$exists$-约束<\/jats:p>“，”DOI“：”10.2168\/lmcs-11（1:16）2015“，”type“：”journal-article“，”created“：{”date-parts“：[[2015,5,18]]，”date-time“：”2015-05-18T07:33:27Z“，”timestamp“：1431934407000}，”source“：“Crossref”，“is-referenced-by-count”：22，”title“：[”Linear Loops的排名模板“]，”前缀“：”10.46298“，”卷“：”第11卷，第1期“，”作者“：[{“given”：“Jan”，“family”：“Leike”，“sequence”：“first”，“affiliation”：[]｝，｛“ORCID”：“http:\/\/ORCID.org/0000-0003-4252-3558”，“authenticated ORCID”：false，“given”：“Matthias”，“family”：“Heizmann”，“sequence”：“additional”，“affiliation”：[]｝，“member”：“25203”，“published online”：｛“date parts”：[[2015,3,31]｝，“reference”：[｛“key”：“1093:not found”｝]，“container title”：[”计算机科学中的逻辑方法“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/lmcs.epiciences.org\/797\/pdf“，”content-type“：”application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\//lmcs.epicience.org\/797\/pdf”，“内容类型”：“unspecified”，“content-version“：”vor“，”intended-application“：”相似性检查“}]，”存放“：{“date-parts”：[[2023,4,11]]，”日期时间“：”2023-04-11T19:56:19Z“，”时间戳“：1681242979000}，”分数“：1，”资源“：{“primary”：{”URL“：”https:\/\/lmcs.eposciences.org\/797“}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-ports”：[2015,3,31]]}，references-count“：1，”URL“：”http:\/\/dx.doi.org\/10.2168\/lmcs-11（1:16）2015“，”关系“：{”is-same-as“：[{”id-type“：”arxiv“，”id“：”1503.00193“，”asserted-by“：”subject“}，{”ids-type”：“doi”，“id”：“10.48550\/arxiv.153.00193”，“asserted-by“：“id”：“10.1007\/978-3-030-32409-4_27”，“断言者”：“主题”}]}，“ISSN”：[“1860-5974”]，“issn-type“：[{”value“：“1860-5974”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2015,3,31]]}}}