×
尤金尼奥·罗内斯·洛扎诺；何塞·安东尼奥·阿隆索；安东尼奥·埃尔南多

铁路联锁系统中从答案集规划到决策的一种方法。 （英语） Zbl 1304.90063号

Rev.R.学术版。中国。精确到Fís。Nat.，Ser。一个垫子，RACSAM 108，第2期，973-987（2014）.
小结：铁路联锁系统是通过轨道布置防止列车冲突移动的设备。铁路联锁系统考虑了道岔（道岔）的位置，仅当列车使用的路线脱节时，才允许列车发出明确的信号。在铁路联锁系统中，有许多不同的方法可以实现决策自动化（即，自动化监督所提出的情况是安全的）。同时，经典方法是离线的：只允许某些路由，并且它们的兼容性是预先决定的，我们的方法是实时决定的，因此性能是关键。我们之前开发了枫树基于矩阵、代数（Gröbner基）、逻辑和逻辑代数方法的模型实现。它们独立于布局的拓扑，可以应用于中小型布局。本文提出了另一个全新的模型（也独立于布局拓扑），它将决策问题直接转化为逻辑规划。这种新方法通过定义关系和派生关系，从中可以使用ASP固有的逻辑技术解决问题。主程序分析拟议情况的安全性，辅助程序返回可能发生碰撞的路段（如果存在）。事实证明，这种声明式方法比这些作者以前的方法要快得多，效率也高，因此可以应用于更大的布局。

MSC公司：

90B20型 运筹学中的交通问题
68N17号 逻辑编程
03B70号 计算机科学中的逻辑
93A30型 系统数学建模（MSC2010）

关键词：

铁路联锁系统；逻辑程序设计；计算机科学中的逻辑；数学建模

软件：

PolyBoRi公司；枫树；斯莫德尔斯
PDF格式BibTeX公司 XML格式引用
\textit｛E.Roanes Lozano｝等人，R.Acad牧师。中国。精确到Fís。Nat.，Ser。A Mat.，RACSAM 108，No.2，973--987（2014；Zbl 1304.90063）
全文： 内政部

参考文献：

[1] 匿名：Proyecto y obra del enclavamiento electorónico de la estacionón de Madrid-Atocha。Proyecto Técnico公司。西门子，马德里（1988年）
[2] 匿名：微机联锁Hilversum。西门子，慕尼黑（1988）
[3] 匿名：鹿特丹微机联锁。西门子，慕尼黑（1989）
[4] 匿名：Puesto de enclavamiento con microcomputeroras de la estacionón de Chiasso de los SBB。西门子，慕尼黑（1989）·Zbl 1111.68499号
[5] Bayer，D.：除法算法和Hilbert方案（博士论文）。哈佛大学，剑桥（1982）·Zbl 1250.90050
[6] Björner，D.：FMERail/TRain注释铁路参考文献（2005）。网址：http://www2.imm.dtu.dk/数据库/fmerail/fmerail/。2013年7月9日访问
[7] Borälv，A.：案例研究：计算机化铁路联锁的正式验证。表Asp。计算。10, 338-360 (1998) ·Zbl 1111.68499号 ·doi:10.1007/s001650050021
[8] Brewka，G.，Eiter，T.，Truszczynski，M.：集编程一目了然。Commun公司。ACM 54（12），93-103（2011）·doi:10.1145/2043174.2043195
[9] Buchberger，B.：Bruno Buchberger1965年的博士论文：一种求零维多项式理想剩余类环的基元的算法。J.塞姆。计算。41(3-4), 475-511 (2006) ·Zbl 1158.01307号
[10] Cox，D.，Little，J.，O'Shea，D.：理想、变种和算法。柏林施普林格出版社（1992年）·Zbl 0756.13017号 ·数字对象标识代码：10.1007/978-1-4757-2181-2
[11] 法拉利，A。；Magnani，G。；Grasso博士。；Fantechi，A。；Schnieder，E.（编辑）；Tarnai，G.（编辑），《模型检查联锁控制表》，107-115（2011），柏林
[12] Gelfond，M。；Harmelen，F.（编辑）；Lifschitz，V.（编辑）；Porter，B.（编辑），《答案集》，285-316（2008），阿姆斯特丹·doi:10.1016/S1574-6526（07）03007-6
[13] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。摘自：《第五届逻辑程序设计国际会议记录》，第1070-1080页。ICLP-88。麻省理工学院出版社，剑桥（1988）·Zbl 1017.90515号
[14] Hansen，K.M.：铁路联锁系统正式化。北欧可靠计算系统研讨会，第83-94页。丹麦技术大学计算机科学系，林比（1994）
[15] Haxthausen，A.E.，Peleska，J.，Kinder，S.：铁路控制系统构建和验证的正式方法。表Asp。计算。23, 191-219 (2009) ·Zbl 1216.68076号 ·文件编号：10.1007/s00165-009-0143-6
[16] Haxthausen，A.E.：根据铁路联锁表自动生成安全要求。收录于：Margaria，T.，Steffen，B.（编辑）ISoLA 2012，第二部分，第7610卷，第261-275页。LNCS公司。柏林施普林格出版社（2012）·Zbl 0940.68018号
[17] Hernando，A.，Roanes-Lozano，E.，Maestre-Martínez，R.，Tejedor，J.：铁路联锁系统决策的逻辑代数方法。安。数学。Artif公司。智力。65, 317-328 (2012). doi:10.1007/s10472-012-9321-y·Zbl 1280.68302号 ·doi:10.1007/s10472-012-9321-y
[18] Hidalgo-Doblado，M.J.、Alonso-Jiménez，J.A.、Borrego-Díaz，J.、Martín-Mateos，F.J.、Ruiz-Reina，J.L.：用于描述逻辑的基于表格的正式验证推理器。J.汽车。原因。(2013). doi:10.1007/s10817-013-9291-8·Zbl 1314.68282号
[19] Janota，A.：使用铁路联锁安全Z规范。Periodica Polytechnica Ser.公司。事务处理。工程28（1-2），39-53（2000）
[20] Lifschitz，V.：什么是答案集编程？摘自：《第二十届AAAI人工智能会议论文集》，第1594-1597页。AAAI 2008。AAAI出版社，门罗公园（2008）·Zbl 0940.68018号
[21] Losada，M.：Ferrocarrieles:Explotación Técnica。E.T.S.I.卡米诺，马德里（1991）
[22] Martín-Mateos，F.J.、Alonso-Jiménez，J.A.、Hidalgo，M.J.、Ruiz-Reina，J.L.：合成SAT-provers的通用框架的形式验证。J.汽车。原因。32（4），287-313（2004年）·Zbl 1096.68094号 ·doi:10.1007/BF03177742
[23] Montigel，M.：Eisenbahnischerungsanlagen的Modellierung und Gewährleisting von Abhängigkeiten（博士论文）。苏黎世ETH（1994）·Zbl 1250.90050
[24] Morley，M.J.：英国铁路联锁逻辑建模：地理数据的正确性。技术报告ECS-LFCS-91-186。爱丁堡大学计算机科学系计算机科学基础实验室（1991年）
[25] Nakamatsu，K.，Kiuchi，Y.，Suzuki，A.：基于EVALPSN的铁路联锁模拟器。In:Negoita，M.Gh等人（编辑）基于知识的智能信息和工程系统。LNAI，第3214卷，第961-967页。施普林格，柏林（2004）
[26] Niemelä，I.：作为约束编程范式的具有稳定模型语义的逻辑程序。安。数学。Artif公司。智力。25(3-4), 241-273 (1999) ·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475
[27] Niemelä，I.，Simons，P.：Smodels——正常逻辑程序的稳定模型和良好语义的实现。摘自：《第四届逻辑程序设计和非单调推理国际会议论文集》，第420-429页。LNAI，第1265卷。柏林施普林格（1997）
[28] PolyBoRi网页。http://polybori.sourceforge.net/。2013年7月9日访问·Zbl 1237.90149号
[29] Ricca，F.、Grasso，G.、Alviano，M.、Manna，M.，Lio，V.、Liritano，S.、Leone，N.：在Gioia-Tauro海港利用答案集编程进行团队建设。理论与实践。日志。程序。12(03), 361-381 (2012) ·Zbl 1250.90050 ·文件编号：10.1017/S14710684110007X
[30] Roanes-Lozano，E.，Laita，L.M.：适用于铁路联锁系统的拓扑独立模型。数学。计算。模拟。45(1), 175-184 (1998) ·Zbl 1017.90515号 ·doi:10.1016/S0378-4754（97）00093-1
[31] Roanes-Lozano，E.，Laita，L.M.，Roanes-Macías，E.：使用计算机代数将人工智能方法应用于铁路联锁系统。收录：Pasqual del Pobil，A.、Mira，J.、Ali，M.（编辑）《应用人工智能的任务和方法》，IEA-98-AIE学报，第二卷。LNAI，第1416卷，第687-696页。柏林施普林格（1998）·Zbl 1017.03509号
[32] Roanes-Lozano，E.，Roanes-Macías，E.，Laita，L.M.：铁路联锁系统和Gröbner基地。数学。计算。模拟。51(5), 473-481 (2000) ·doi:10.1016/S0378-4754（99）00137-8
[33] Roanes-Lozano，E.，Muga，R.，Laita，L.M.，Roanes-Macías，E.：A-SMGCS的终端区域拓扑独立的基于GB的冲突检测系统。Rev.R.学术版。中国。精确到Fís。国家，A级材料RACSAM 98（1-2），229-237（2005）·兹比尔1088.68189
[34] Roanes-Lozano，E.，Hernando，A.，Alonso，J.A.，Laita，L.M.：使用Maple在铁路联锁系统中进行决策的逻辑方法。数学。计算。模拟。82(1), 15-28 (2011). doi:10.1016/j.matcom.2010.05.024·Zbl 1237.90149号 ·doi:10.1016/j.matcom.2010.05.024
[35] Roanes-Lozano，E.，Laita，L.M.，Hernando，A.，Roanes-Macías，E.：基于规则的专家系统的代数方法。Rev.R.学术版。中国。精确到Fís。国家队，意甲材料RACSAM 104（1），19-40（2011）。doi:10.5052/RACSAM.2010.04·Zbl 1197.68078号
[36] Simons，P.：扩展和实现稳定模型语义（博士论文）。赫尔辛基理工大学研究报告58（2000）
[37] 平滑网页。http://www.tcs.hut.fi/Software/smodels/。2013年7月9日加入
[38] 维拉曼多斯，L.：Sistema informationático concebido por Renfe para diseñar los enclavamientos。《维亚·利布雷》348，65（1993）
[39] Winter，K.，Robinson，N.J.：大型联锁系统建模和小型联锁系统模型检查。收录：Oudshoorn，M.（编辑）第26届澳大利亚计算机科学会议（ACSC 2003）。澳大利亚计算机科学通信，第16卷（2003年）
[40] 温特，K。；约翰斯顿，W。；罗宾逊，P。；斯特罗珀，P。；Berg，L。；Cant，T.（编辑），《铁路联锁设计检查工具支持》，101-107（2006），悉尼
[41] 向贤，C.，海，H.，玉林，H.：基于状态图的联锁系统继电器逻辑的自动生成。2010年第二届WRI世界软件工程大会WCSE，第2卷，第183-188页。IEEE，洛斯阿拉米托斯（2010）
[42] 向贤，C.，玉林，H.，海，H.：基于状态图的联锁逻辑自动开发方法。企业。信息系统。5(3), 273-286 (2010)
[43] 向县，C.，玉林，H.，海，H.：铁路联锁系统的基于组件的拓扑模型。数学。计算。模拟。81(9), 1892-1900 (2011) ·doi:10.1016/j.matcom.2011.02.007
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。