Algoritmus Brooks – Iyengar - Brooks–Iyengar algorithm
The Algoritmus Brooks – Iyengar nebo Hybridní algoritmus Brooks – Iyengar [1] je distribuovaný algoritmus který zlepšuje přesnost i přesnost intervalová měření přijato a distribuovaná síť senzorů, a to i za přítomnosti vadných senzorů.[2] Síť senzorů to provádí výměnou naměřené hodnoty a hodnoty přesnosti v každém uzlu se všemi ostatními uzly a ze všech shromážděných hodnot vypočítá rozsah přesnosti a naměřenou hodnotu pro celou síť. I když jsou některá data z některých senzorů vadná, síť senzorů nebude fungovat správně. Algoritmus je odolný vůči chybám a distribuovaný. Mohlo by to být také použito jako metoda fúze senzorů. Přesnost a přesnost vázaná na tento algoritmus byla prokázána v roce 2016.[3]
Pozadí
Brooks – Iyengar hybridní algoritmus pro distribuované řízení za přítomnosti hlučných datových kombajnů Byzantská dohoda s fúze senzorů. Překlenuje propast mezi fúzí senzorů a byzantskou odolností proti chybám.[4] Tento klíčový algoritmus poprvé sjednotil tato různorodá pole. V podstatě kombinuje Dolevovy[5] algoritmus pro přibližnou shodu s Mahaneyovým a Schneiderovým algoritmem rychlé konvergence (FCA). Algoritmus předpokládá N zpracovatelské prvky (PE), t z nichž jsou vadné a mohou se chovat zlomyslně. Bere jako vstup buď skutečné hodnoty s inherentní nepřesností nebo šumem (které mohou být neznámé), nebo skutečnou hodnotu s apriori definovanou nejistotou nebo interval. Výstupem algoritmu je skutečná hodnota s výslovně stanovenou přesností. Algoritmus běží Ó(NlogN) kde N je počet PE. Je možné upravit tento algoritmus tak, aby odpovídal Crusader's Convergence Algorithm (CCA),[6] požadavek na šířku pásma se však také zvýší. Algoritmus má aplikace v distribuovaná kontrola, spolehlivost softwaru, Vysoce výkonná výpočetní technika, atd.[7]
Algoritmus
Algoritmus Brooks – Iyengar se provádí v každém procesním prvku (PE) distribuované sítě senzorů. Každý PE si vyměňuje svůj měřený interval se všemi ostatními PE v síti. „Sloučené“ měření je váženým průměrem středů nalezených oblastí.[8] Konkrétní kroky algoritmu Brooks – Iyengar jsou uvedeny v této části. Každý PE provádí algoritmus samostatně:
Vstup:
Měření zaslané PE k do PE i je uzavřený interval ,
Výstup:
Výstup PE i zahrnuje odhad bodu a odhad intervalu
- PE i přijímá měření od všech ostatních PE.
- Rozdělte spojení shromážděných měření do vzájemně se vylučujících intervalů na základě počtu protínajících se měření, který se označuje jako váha intervalu.
- Odstraňte intervaly s hmotností menší než , kde je počet vadných PE
- Pokud existují L intervaly zbývají, nech označit množinu zbývajících intervalů. My máme , kde interval a je váha spojená s intervalem . Také předpokládáme .
- Vypočítejte bodový odhad PE i tak jako a odhad intervalu je
Příklad:
Zvažte příklad 5 PE, ve kterých PE 5 () posílá nesprávné hodnoty ostatním PE a všichni si tyto hodnoty vyměňují.
Hodnoty přijaté uživatelem jsou v následující tabulce.
hodnoty |
Z těchto intervalů nakreslíme diagram vážených oblastí (WRD), který pak můžeme určit pro PE 1 podle Algoritmu:
který se skládá z intervalů, kde alespoň 4 (= = 5−1) měření se protínají. Výstup PE 1 se rovná
a odhad intervalu je
Podobně bychom mohli získat všechny vstupy a výsledky 5 PE:
PE | Vstupní intervaly | Odhad výstupního intervalu | Odhad výstupního bodu |
---|---|---|---|
2.625 | |||
2.4 | |||
2.625 | |||
2.375 | |||
—— | —— |
Související algoritmy
Byzantský problém z roku 1982:[5] Byzantský obecný problém [9] jako rozšíření Problém dvou generálů lze považovat za binární problém.
Přibližný konsenzus 1983:[10] Metoda odstraní některé hodnoty ze sady sestávající ze skalárů na tolerantní vadné vstupy.
Přesný konsenzus z roku 1985:[7] Metoda také používá jako vstup skalární.
Algoritmus Brooks-Iyengar 1996:[1] Metoda je založena na intervalech.
Konsenzus byzantských vektorů z roku 2013:[11] Metoda používá jako vstup vektory.
Multidimenzionální dohoda z roku 2013:[12] Metoda také používá vektory jako vstup, zatímco míra vzdálenosti je jiná.
K řešení vstupů do intervalů jsme mohli použít přibližný konsensus (skalární), Brooks-Iyengarův algoritmus (založený na intervalech) a byzantský vektorový konsensus (založený na vektorech) a papír [3] dokázal, že Brooks – Iyengarův algoritmus je zde nejlepší.
aplikace
Algoritmus Brooks – Iyengar je klíčovým dílem a významným mezníkem v distribuovaném snímání a lze jej použít jako řešení odolné vůči chybám pro mnoho scénářů redundance.[13] Je také snadné jej implementovat a vložit do všech síťových systémů.[14]
V roce 1996 byl algoritmus použit v systému MINIX k zajištění větší přesnosti a přesnosti, což vede k vývoji první verze RT-Linux.
V roce 2000 byl algoritmus také ústředním bodem distribuovaného sledovacího programu programu DARPA SensIT. Akustické, seismické a detekce pohybu z více senzorů jsou kombinovány a přiváděny do distribuovaného sledovacího systému. Kromě toho bylo použito ke kombinování heterogenních vstupů senzorů v aplikaci, kterou využívají BBN Technologies, BAE systems, Penn State Applied Research Lab (ARL) a USC / ISI.
Kromě toho společnost Thales Group, britský výrobce obrany, využila tuto práci ve své globální laboratoři pro operační analýzu. Aplikuje se na programy společnosti Raytheon, kde mnoho systémů potřebuje extrahovat spolehlivá data ze nespolehlivé sítě senzorů, což vylučuje rostoucí investice do zlepšování spolehlivosti senzorů. Výzkum při vývoji tohoto algoritmu také vede k nástrojům, které používá US Nav ve svém softwaru pro zvyšování povědomí o námořní doméně.
Ve výuce byl algoritmus Brooks – Iyengar široce používán ve výuce tříd jako University of Wisconsin, Purdue, Georgia Tech, Clemson University, University of Maryland atd.
Kromě oblasti senzorové sítě by mohly také těžit další oblasti, jako je časem spouštěná architektura, bezpečnost kyberfyzikálních systémů, fúze dat, konvergence robotů, vysoce výkonné výpočty, spolehlivost softwaru / hardwaru, učení souborů v systémech umělé inteligence z algoritmu Brooks – Iyengar.
Charakteristika algoritmu
- Chybné PE tolerovány < N/3
- Maximální počet chybných PE <2N/3
- Složitost = O (N logN)
- Pořadí šířky pásma sítě = O (N)
- Konvergence = 2t/N
- Přesnost = omezena vstupem
- Iteruje pro přesnost = často
- Přesnost přesnost = ne
- Přesnost přesnosti = ne
Viz také
Ocenění a uznání
Vynálezci algoritmu Brooks Iyengar Dr Brooks a Dr. SS Iyengar obdrželi prestižní 25letou cenu Test of Time Award za průkopnický výzkum a vysoký dopad algoritmu Brooks-Iyengar. Výzkum s velkým dopadem a to, jak tato práce ovlivnila řadu vládních programů a komerčních produktů v USA.
- Dr SS Iyengar obdržel ocenění od profesora Steva Yau, IEEE
- Dr. SS Iyengar se svým studentem Dr. Brooksem
Reference
- ^ A b Richard R. Brooks a S. Sithrama Iyengar (červen 1996). „Robustní distribuovaný výpočetní a snímací algoritmus“. Počítač. 29 (6): 53–60. doi:10.1109/2.507632. ISSN 0018-9162. Archivovány od originál dne 04.04.2010. Citováno 2010-03-22.
- ^ Mohammad Ilyas; Imad Mahgoub (28. července 2004). Příručka senzorových sítí: kompaktní bezdrátové a kabelové snímací systémy (PDF). bit.csc.lsu.edu. CRC Press. s. 25–4, 33–2 z 864. ISBN 978-0-8493-1968-6. Archivovány od originál (PDF) 27. června 2010. Citováno 22. března 2010.
- ^ A b Ao, Buke; Wang, Yongcai; Yu, Lu; Brooks, Richard R .; Iyengar, S. S. (2016-05-01). "Přesná hranice distribuovaných algoritmů fúze senzorů odolných vůči poruchám". ACM Comput. Surv. 49 (1): 5:1–5:23. doi:10.1145/2898984. ISSN 0360-0300.
- ^ D. Dolev (leden 1982). „Byzantští generálové znovu zaútočili“ (PDF). J. Algoritmy. 3 (1): 14–30. doi:10.1016/0196-6774(82)90004-9. Citováno 2010-03-22.[trvalý mrtvý odkaz ]
- ^ A b L. Lamport; R. Shostak; M. Pease (červenec 1982). „Problém byzantských generálů“. Transakce ACM v programovacích jazycích a systémech. 4 (3): 382–401. CiteSeerX 10.1.1.64.2312. doi:10.1145/357172.357176.
- ^ D. Dolev; et al. (Červenec 1986). „Dosažení přibližné dohody v případě závad“ (PDF). Deník ACM. 33 (3): 499–516. CiteSeerX 10.1.1.13.3049. doi:10.1145/5925.5931. ISSN 0004-5411. Citováno 2010-03-23.
- ^ A b S. Mahaney a F. Schneider (1985). Nepřesná dohoda: Přesnost, přesnost a ladná degradace. Proc. Čtvrtý ACM Symp. Principy distribuovaného výpočtu. 237–249. CiteSeerX 10.1.1.20.6337. doi:10.1145/323596.323618. ISBN 978-0897911689.
- ^ Sartaj Sahni a Xiaochun Xu (7. září 2004). „Algoritmy pro bezdrátové senzorové sítě“ (PDF). University of Florida, Gainesville. Citováno 2010-03-23.
- ^ Lamport, Leslie; Shostak, Robert; Pease, Marshall (01.07.1982). „Problém byzantských generálů“. ACM Trans. Program. Lang. Syst. 4 (3): 382–401. CiteSeerX 10.1.1.64.2312. doi:10.1145/357172.357176. ISSN 0164-0925.
- ^ Dolev, Danny; Lynch, Nancy A .; Pinter, Shlomit S .; Stark, Eugene W .; Weihl, William E. (01.05.1986). „Dosažení přibližné dohody v případě výskytu chyb“. J. ACM. 33 (3): 499–516. CiteSeerX 10.1.1.13.3049. doi:10.1145/5925.5931. ISSN 0004-5411.
- ^ Vaidya, Nitin H .; Garg, Vijay K. (01.01.2013). Byzantský vektorový konsenzus v kompletních grafech. Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing. PODC '13. New York, NY, USA: ACM. str. 65–73. arXiv:1302.2543. doi:10.1145/2484239.2484256. ISBN 9781450320658.
- ^ Mendes, Hammurabi; Herlihy, Maurice (01.01.2013). Vícerozměrná přibližná shoda v byzantských asynchronních systémech. Sborník ze čtyřicátého pátého výročního symposia ACM o teorii práce s počítačem. STOC '13. New York, NY, USA: ACM. 391–400. doi:10.1145/2488608.2488657. ISBN 9781450320290.
- ^ Kumar, Vijay (2012). „Výpočetní a komprimované optimalizace snímání pro zpracování informací v senzorové síti“. International Journal of Next-Generation Computing.
- ^ Ao, Buke (červenec 2017). „Robustní systémy sledování stavu kolejových dveří odolné proti poruchám: Aplikace algoritmu snímání Brooks-Iyengar na dopravní aplikace“. International Journal of Next-Generation Computing. 8. S2CID 13592515.