×

兹马思-数学第一资源

任务关键型无线网络中中继节点最佳容错配置的MILP、伪布尔和OMT求解器。(英语) Zbl 07285109
摘要:在关键基础设施像机场一样,在保护无线电通信网络不受外部电磁干扰方面也要格外小心。
保护关键任务无线电通信网络通常通过利用辐射计来解决:至少有三个适当部署的辐射计,以及一个从中收集信息的网关,允许监测和定位不应出现在被监测区域的电磁辐射源。通常情况下,辐射计通过中继节点. 因此,为了提供可靠的监测,中继节点网络必须具有一定程度的容错能力。另一方面,中继节点的部署通常相当昂贵。因此,我们有两个相互冲突的要求:在保证给定的容错性的同时最小化成本。
在这篇论文中,我们解决的问题是计算一个中继节点的部署,它使总体成本最小化,同时在保证网络正常工作的同时,即使某些中继节点(达到给定的最大数目)出现故障(容错).
我们表明,通过在高性能计算机基础设施上进行计算密集型预处理,上述优化问题可以编码为0/1线性程序,适合于使用标准人工智能推理机(如MILP、PB-SAT和SMT/OMT解算器)进行处理。我们的问题公式使我们能够在意大利罗马莱昂纳多·达芬奇机场区域中继节点网络部署的实际案例研究中展示比较这三种解决技术性能的实验结果。
理学硕士:
68-XX号 计算机科学
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Mancini T,Tronci E,Scialanca A,Lanciotti F,Finzi A,Guarneri R,Di Pompeo S.关键任务无线网络中中继节点的最佳容错配置。在:第25届RCRA国际研讨会论文集,关于解决组合爆炸问题的算法的实验评估(RCRA 2018),欧洲研讨会论文集第2271卷。CEUR-WS.org,2018年。doi:10.29007/grw9。
[2] Alcaraz C,Zeadally S.《关键基础设施保护:21世纪的要求和挑战》,《关键基础设施保护国际期刊》,2015.8:53-66。doi:10.1016/j.ijcip.2014。12.002。
[3] 斯克里普尼克。机场和航空公司的无线电导航系统。斯普林格,2019年。Q、 M.Chen等。/中继节点最佳容错配置的MILP、PB和OMT解算器255
[4] Kim Y,Kolesnikov V,Thottan M.大规模网络物理系统通信的弹性端到端消息保护。在:第三届IEEE智能电网通信国际会议论文集(SmartGridComm 2012)。IEEE,2012年,第193-198页。doi:10.1109/SmartGridComm。2012.6485982。
[5] 航空无线电通信系统与网络。约翰威利父子公司,2008年。ISBN 9780470018590。doi:10.1002/9780470035108。
[6] Krozel J,Andrisani D,Ayoubi M,Hoshizaki T,Schwalm C.飞机ADS-B数据完整性检查。参加:AIAA第四届航空技术、集成与运营(ATIO)论坛。2004页。6263
[7] Sampigethaya K,P R.绿色ATM中ADS-B安全性的可视化与评估。在:第29届数字航空电子系统会议(DASC 2010)。IEEE,2010年。
[8] 麦卡利D,Butts J,Mills R.下一代航空运输系统中ADS-B实施的安全性分析.关键基础设施保护国际期刊,2011.4(2):78-87。
[9] Sch¨afer M,Lenders V,Martinovic I.下一代空中交通通信攻击的实验分析。In:2013国际应用密码学和网络安全会议论文集(ACNS 2013)。斯普林格,2013年,第253-271页。
[10] Conforti M,Cornu'ejols G,Zambelli G.整数规划。斯普林格,2014年。国际标准书号978-3-319-11007-3。doi:10.1007/978-3-319-11008-0。
[11] Biere A、Heule M、van Maaren H(编辑)。可满足性手册,第185卷。IOS出版社,2009年·Zbl 1183.68568
[12] Barrett C,Tinelli C.可满足模理论。In:《模型检查手册》,第305-343页。斯普林格,2018年。内政部:10.1007/978-3-319-10575-8 11·Zbl 1392.68379
[13] Mancini T.《现在或永远不会:与未知或不可信的对手进行有效谈判》。信息基础,2016.149(1-2):61-100。doi:10.3233/FI-2016-1443·Zbl 1373.68412
[14] Mancini T,Mari F,Massini A,Melatti I,Tronci E.SyLVaaS:系统级正式验证即服务。In:第23届欧洲微型计算机并行、分布式和基于网络的处理国际会议论文集(PDP 2015)。IEEE,2015年,第476-483页·Zbl 1374.68294
[15] 曼奇尼T,Mari F,Massini A,Melati I,Merli F,Tronci E.系统级正式验证,通过模型检查驱动仿真。在:第25届计算机辅助验证国际会议论文集(CAV 2013),《计算机科学体系结构说明》第8044卷。斯普林格,2013年,第296-312页。doi:10.1007/978-3-642-39799-821。
[16] Mari F,Melatti I,Salvo I,Tronci E.离散时间线性混合系统量化反馈控制软件的综合。在:第22届计算机辅助验证国际会议论文集(CAV 2010),《计算机科学体系结构说明》第6174卷。斯普林格,2010年,第180-195页。doi:10.1007/978-3-642-14295-6 20·Zbl 1362.68151号
[17] 基于MARITRONE软件的正式技术规范,基于MARITRONE第1.2版软件模型和技术规范。doi:10.1145/2559934。
[18] Mancini T,Mari F,Massini A,Melatti I,Tronci E.通过随机详尽的硬件在环仿真随时进行系统级验证。In:第17届欧洲微型数字系统设计会议论文集(DSD 2014)。IEEE,2014年,第236-245页。
[19] Mancini T,Mari F,Massini A,Melatti I,Tronci E.通过并行随机穷举硬件在环仿真的任何时间系统级验证.微处理器与微系统,2016.41:12-28。doi:10.1016/j.micpro.2015.10.010。
[20] Mancini T,Mari F,Massini A,Melatti I,Tronci E.通过分布式多核硬件在环仿真进行系统级形式化验证。In:第22届欧洲微计算机并行、分布式和基于网络的处理国际会议记录(PDP 2014)。IEEE,2014年,第734-742页。doi:10.1109/PDP.2014.32。
[21] 条件约束满足:逻辑基础与复杂性。第20届人工智能国际联席会议论文集(IJCAI 2007)。2007年第88-93页。
[22] Mancini T、Mari F、Melatti I、Salvo I、Tronci E、Gruber J、Hayes B、Prodanovic M、Elmegaard L.DemandAware智能电网价格政策综合与验证服务。2014年IEEE智能电网通信国际会议论文集(SmartGridComm 2014)。IEEE,2014年,第794-799页。doi:10.1109/SmartGridComm.2014.7007745。
[23] Mancini T,Mari F,Melatti I,Salvo I,Tronci E,Gruber J,Hayes B,Prodanovic M,Elmegaard L.智能电网用户灵活性感知价格政策综合。在:第18届欧洲微型数字系统设计会议论文集(DSD 2015)。IEEE,2015年,第478-485页。doi:10.1109/DSD.2015.35。
[24] Hayes B,Melatti I,Mancini T,Prodanovic M,Tronci E.使用个性化需求感知价格政策的住宅需求管理。IEEE智能电网交易,2017.8(3)。doi:10.1109/TSG.2016.2596790。
[25] Mancini T,Mari F,Massini A,Melatti I,Tronci E.SyLVaaS:系统级正式验证即服务.Fundamenta Informatice,2016.1-2:101-132。doi:10.3233/FI-2016-1444·Zbl 1374.68294
[26] Mancini T,Cadoli M.在声明性问题规范中利用函数依赖性.人工智能,2007.171(16-17):985-1010·Zbl 1168.68552
[27] Mancini T,Cadoli M,Michaetto D,Patrizi F.在CSPLib上评估ASP和商业解决方案。限制,2008.13(4):407-436。doi:10.1007/s10601-007-9028-6·Zbl 1179.90287号
[28] Mancini T,Mari F,Melatti I,Salvo I,Tronci E.恶意攻击下网络脆弱性分析的有效算法。第24届智能系统方法学国际研讨会(ISMIS 2018)会议记录。斯普林格,2018年doi:10.1007/978-3-030-01851-1 29。
[29] IBM ILOG CPLEX Optimization Studio V12.8.0,2018年。网址http://www-01.ibm.com/support/docview。wss?uid=swg27050618。
[30] GLPK(GNU线性规划工具包),2012年。网址http://www.gnu.org/software/glpk。
[31] Gurobi Optimizer,2018年。网址http://www.gurobi.com。
[32] 吴恩恩,张国荣.伪布尔约束转换为SAT.可满足性、布尔建模与计算学报,2006.2:1-26。doi:10.1.1.109.4509。
[33] 一个可扩展的SAT求解器。在:第六届可满足性测试理论和应用国际会议论文集(SAT 2003),计算机科学体系结构注释第2919卷。斯普林格,2004年,第502-518页。
[34] 伪布尔竞争2005,2005。网址http://www.cril.univ-artois.fr/PB05。Q、 M.Chen等。/中继节点最佳容错配置的MILP、PB和OMT解算器257
[35] Sakai M,Nabeshima H.《PB-solvers频带形式中PB约束的ROBDD构造及相关技术》,IEICE信息与系统交易,2015.E98-D,第6:1121-1127号。
[36] 伪布尔竞争2016年,2016年。网址http://www.cril.univ-artois.fr/PB16。
[37] Le Berre D,Parrain A.Sat4j库,2.2版,可满足性期刊,布尔建模与计算,2010.7:59-64。
[38] de Moura L,Bjørner N.Z3:一个有效的SMT求解器。在:第14届国际系统构造与分析工具与算法会议论文集(TACAS 2008),计算机科学讲义第4963卷。斯普林格,2008年,第337-340页。doi:10.1007/978-3-540-78800-3 24。
[39] Bjørner N,Phan A,Fleckenstein L.νZ-优化SMT解算器。在:第21届系统构造与分析工具与算法国际会议论文集(TACAS 2015),计算机科学体系结构注释第9035卷。斯普林格,2015年,第194-199页。
[40] Sebastiani R,Trentin P.OptiMathSAT:优化模理论的工具.可满足性,布尔建模与计算杂志,2018。doi:10.1007/s10817-018-09508-6·Zbl 1468.68206
[41] 尤尼斯M,阿卡亚K。无线传感器网络中节点布置的策略和技术:调查。自组织网络,2008.6(4):621-655。doi:10.1016/j.adhoc.2007.05.003。
[42] Hashim A,Ayinde B,Abido M.利用人工蜂群算法对无线传感器网络中中继节点的优化配置.网络与计算机应用杂志,2016.64:239-248。doi:10.1016/j.jnca.2015.09.013。
[43] Cardei M,Du D.通过功率感知组织提高无线传感器网络寿命。无线网络,2005.11(3):333-340。doi:10.1007/s11276-005-6615-6。
[44] Ganesan D,Cristescu R,Beferull Lozano B.失真约束下数据采集的高效传感器布局和传输结构.传感器网络ACM交易,2006。(第155-181页)。doi:10.1145/1149283.1149284。
[45] Amis A,Prakash R,Huynh D,Vuong T.无线自组网中的最大最小D-簇形成。在:IEEE计算机与通信协会第19届年会论文集(INFOCOM 2000)。IEEE,2000年,第32-41页。doi:10.1109/INFCOM.2000.832171。
[46] 吴海华。无线网络中的网关部署优化。网络杂志,2006.1(3):31-39。doi:10.4304/jnw.1.3.31-39。
[47] Biagoni E,Sasaki G.无线传感器布置,用于可靠和高效的数据收集。第36届夏威夷系统科学国际会议论文集。IEEE,2003年p。127doi:10.1109/HICSS.2003.1174290。
[48] Meguerdichian S,Koushanfar F,Potkonjak M,Srivastava M.无线自组织传感器网络中的覆盖问题。在:IEEE计算机与通信协会第20届年度联席会议论文集(INFOCOM 2001)。IEEE,2001年,第1380-1387页。doi:10.1109/INFCOM.2001.916633。
[49] Li J,Blake C,De Couto D,Lee H,Morris R.adhoc无线网络容量。第七届移动计算与网络国际年会论文集(MOBICOM 2001)。ACM公司。ISBN 1-58113-422-32001年第61-69页。
[50] Krause A,Guestrin C,Gupta A,Kleinberg J.,《接近最佳传感器布置:最大化信息的同时最小化通信成本》。第五届传感器网络信息处理国际会议论文集(IPSN 2006)。ACM,2006年,第2-10页。doi:10.1145/1127777.1127782。
[51] 李云,金克,崔奕。无线局域网中AP布局和信道分配的优化。在:第27届IEEE本地计算机网络年会论文集(LCN 2002)。IEEE,2002年,第831-836页。doi:10.1109/LCN.2002.1181869。
[52] 邱L,钱德拉R,贾恩K,马赫迪安M。多跳无线网络中集成点的优化配置。第12届IEEE网络协议国际会议论文集(ICNP 2004),第4卷。IEEE,2004年。
[53] 约束编程原理。剑桥大学出版社,2003年·Zbl 1187.68132
[54] Rossi F、Van Beek P、Walsh T(编辑)。约束编程手册。爱思唯尔,2006年·Zbl 1175.90011
[55] 梅拉科德V,盖尔方德M,张勇。集成答案集编程与约束逻辑程序设计。数学与人工智能年鉴,2008.53(1-4):251-287·Zbl 1165.68504
[56] 李磊.关联约束-答案集编程语言与算法.人工智能,2014.207:1-22。doi:10.1016/j.artint.2013.10.004·Zbl 1334.68041
[57] Arias J,Carro M,Salazar E,Marple K,Gupta G.无基础约束答案集编程。逻辑程序设计理论与实践,2018.18(3-4):337-354·Zbl 1451.68063
[58] 随机局部搜索:基础与应用。爱思唯尔,2004年。
[59] Glover F,Kochenberger G(编辑)。元启发式手册,第57卷。斯普林格,2006年。
[60] Van Hentenryck P,Michel L.基于约束的局部搜索。麻省理工学院出版社,2009年·Zbl 1179.68141
[61] Mancini T,Flener P,Pearson J.关系数据库上的组合问题求解:通过基于约束的局部搜索进行视图综合。In:ACM应用计算研讨会论文集(SAC 2012)。ACM,2012年,第80-87页。doi:10.1145/2245276.2245295。
[62] Tronci E、Mancini T、Salvo I、Sinisi S、Mari F、Melatti I、Massini A、Davi'F、Dierkes T、Ehrig R、R¨oblitz S、Leeners B、Kr¨uger T、Egli M、Ille F。患者间生物学模型和临床记录中的患者特定模型。在:第14届计算机辅助设计正式方法国际会议论文集(FMCAD 2014)。IEEE,2014年,第207-214页。doi:10.1109/FMCAD.2014.6987615。
[63] Mancini T,Tronci E,Salvo I,Mari F,Massini A,Melatti I.通过并行统计模型检验计算生物模型参数。在:第三届国际生物信息学和生物医学工程会议论文集(IWBIO 2015),计算机科学体系结构注释第9044卷。斯普林格,2015年,第542-554页。doi:10.1007/978-3-319-16480-9 52。
[64] Mancini T,Mari F,Massini A,Melatti I,Salvo I,Tronci E.关于最小化最大预期验证时间的讨论.信息处理信函,2017.122:8-16。doi:10.1016/j.ipl.2017.02.001·Zbl 1422.68164
〔65〕 Maggioli F,Mancini T,Tronci E.SBML2Modelica:在开放标准模拟生态系统中整合生化模型。生物信息学,2019年。doi:10.1093/bioinformatics/btz860。
[66] Mancini T、Mari F、Massini A、Melatti I、Salvo I、Sinisi S、Tronci E、Ehrig R、R¨oblitz S、Leeners B.通过电子临床试验计算个性化治疗。辅助生殖下调的个案研究。在:第25届RCRA国际研讨会论文集,关于解决组合爆炸问题的算法的实验评估(RCRA 2018),CEUR研讨会论文集第2271卷。CEUR.org,2018年。doi:10.29007/g864。
[67] Sinisi S、Alimguzhin V、Mancini T、Tronci E、Mari F、Leeners B。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。