Booleovská síť - Boolean network
![]() | Tento článek může vyžadovat vyčištění setkat se s Wikipedií standardy kvality.Srpna 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
Síťová věda | ||||
---|---|---|---|---|
Typy sítí | ||||
Grafy | ||||
| ||||
Modely | ||||
| ||||
| ||||
| ||||

A Booleovská síť se skládá z diskrétní sady booleovské proměnné každý z nich má Booleovská funkce (případně odlišný pro každou proměnnou), který je jí přiřazen, který bere vstupy z podmnožiny těchto proměnných a výstup, který určuje stav proměnné, které je přiřazena. Tato sada funkcí ve skutečnosti určuje topologii (konektivitu) na sadě proměnných, které se poté stanou uzly v a síť. Dynamika systému je obvykle brána jako diskrétní časové řady kde je stav celé sítě v čase t+1 je určeno vyhodnocením funkce každé proměnné na stavu sítě v čase t. To může být provedeno synchronně nebo asynchronně.[1]
Logické sítě se v biologii používají k modelování regulačních sítí. Ačkoli booleovské sítě představují hrubé zjednodušení genetické reality, kde geny nejsou jednoduché binární přepínače, existuje několik případů, kdy správně zachycují správný vzorec exprimovaných a potlačovaných genů.[2][3] Zdánlivě matematický snadný (synchronní) model byl plně pochopen až v polovině roku 2000.[4]
Klasický model
Booleovská síť je zvláštní druh sekvenční dynamický systém, kde čas a stavy jsou diskrétní, tj. jak sada proměnných, tak sada stavů v časové řadě mají každý a bijekce na celočíselnou řadu. Takové systémy jsou jako mobilní automaty v sítích, s výjimkou skutečnosti, že když jsou nastaveny, každý uzel má pravidlo, které je náhodně vybráno ze všech 22K. možné s K. vstupy. S K = 2 chování třídy 2 má tendenci dominovat. Ale pro K> 2, chování, které člověk vidí, se rychle blíží tomu, co je typické pro náhodné mapování, ve kterém síť představující vývoj 2N státy N podkladové uzly je sám připojen v podstatě náhodně.[5]
A náhodná logická síť (RBN) je ten, který je náhodně vybrán ze sady všech možných booleovských sítí určité velikosti, N. Poté lze statisticky studovat, jak očekávané vlastnosti těchto sítí závisí na různých statistických vlastnostech souboru všech možných sítí. Například lze studovat, jak se chování RBN mění, jak se mění průměrná konektivita.
První booleovské sítě navrhl Stuart A. Kauffman v roce 1969, as náhodný modely genetické regulační sítě[6] ale jejich matematické porozumění začalo až v roce 2000.[7][8]
Atrakce
Protože booleovská síť má pouze 2N možných stavů, trajektorie dříve či později dosáhne dříve navštíveného stavu, a proto, protože dynamika je deterministická, trajektorie spadne do ustáleného stavu nebo cyklu zvaného atraktor (i když v širším poli dynamických systémů je cyklus pouze přitahovatelem, pokud k němu odchylky vedou zpět). Pokud má atraktor pouze jediný stav, nazývá se a bodový atraktor, a pokud se atraktor skládá z více než jednoho stavu, nazývá se a přitahovač cyklu. Soubor stavů, které vedou k atraktoru, se nazývá Umyvadlo atraktoru. Stavy, které se vyskytují pouze na začátku trajektorií (žádné trajektorie nevedou na je) Rajská zahrada státy[9] a dynamika toku sítě z těchto států směrem k atraktorům. Nazývá se čas potřebný k dosažení atraktoru přechodný čas.[4]
S rostoucím výkonem počítače a rostoucím porozuměním zdánlivě jednoduchého modelu poskytli různí autoři různé odhady průměrného počtu a délky atraktorů, zde je stručné shrnutí klíčových publikací.[10]
Autor | Rok | Střední délka atraktoru | Průměrné číslo atraktoru | komentář |
---|---|---|---|---|
Kauffmann [6] | 1969 | |||
Bastolla / Parisi[11] | 1998 | rychlejší než zákon o moci, | rychlejší než zákon o moci, | první číselné důkazy |
Bilke / Sjunnesson[12] | 2002 | lineární s velikostí systému, | ||
Socolar / Kauffman[13] | 2003 | rychlejší než lineární, s | ||
Samuelsson / Troein[14] | 2003 | superpolynomiální růst, | matematický důkaz | |
Mihaljev / Drossel[15] | 2005 | rychlejší než zákon o moci, | rychlejší než zákon o moci, |
Stabilita
V teorii dynamických systémů odpovídá struktura a délka atraktorů sítě dynamické fázi sítě. The stabilita booleovských sítí záleží na jejich spojení uzly. Booleovská síť může vykazovat stabilní, kritické nebo chaotické chování. Tento jev je řízen kritickou hodnotou průměrného počtu připojení uzlů () a lze jej charakterizovat pomocí Hammingova vzdálenost jako míra vzdálenosti. V nestabilním režimu vzdálenost mezi dvěma původně blízkými stavy v průměru v čase exponenciálně roste, zatímco ve stabilním režimu exponenciálně klesá. V tomto případě znamená „původně zavřené stavy“, že Hammingova vzdálenost je malá ve srovnání s počtem uzlů () v síti.
Pro N-K model[16] síť je stabilní, pokud , kritické, pokud a nestabilní, pokud .
Stav daného uzlu je aktualizován podle jeho pravdivostní tabulka, jehož výstupy jsou náhodně vyplněny. označuje pravděpodobnost přiřazení vypnutého výstupu k dané řadě vstupních signálů.
Li u každého uzlu závisí přechod mezi stabilním a chaotickým rozsahem . Podle Bernard Derrida a Yves Pomeau[17], kritická hodnota průměrného počtu připojení je .
Li není konstantní a neexistuje korelace mezi in-stupně a out-stupně, podmínky stability jsou určeny [18][19][20] Síť je stabilní, pokud , kritické, pokud a nestabilní, pokud .
Podmínky stability jsou stejné v případě sítí s bez měřítka topologie kde je distribuce dovnitř a ven stupeň distribuce podle zákona o moci: , a , protože každý out-link z uzlu je in-link do jiného.[21]
Citlivost ukazuje pravděpodobnost, že se změní výstup booleovské funkce daného uzlu, pokud se změní jeho vstup. Pro náhodné booleovské sítě. Obecně platí, že stabilita sítě se řídí největší vlastní číslo matice , kde , a je matice sousedství sítě.[22] Síť je stabilní, pokud , kritické, pokud , nestabilní, pokud .
Variace modelu
Další topologie
Jedním z témat je studium různé podkladové topologie grafů.
- Homogenní případ jednoduše odkazuje na mřížku, která je jednoduše redukcí na slavnou Isingův model.
- Bez vodního kamene pro booleovské sítě lze zvolit topologie.[23] Lze rozlišit případ, kdy se distribuuje pouze in-stupeň distribuce v power-law,[24] nebo pouze out-stupeň distribuce nebo obojí.
Další schémata aktualizace
Klasické booleovské sítě (někdy nazývané CRBN, tj. Classic Random Boolean Network) jsou synchronně aktualizovány. Motivováno skutečností, že geny obvykle nemění svůj stav současně,[25] byly zavedeny různé alternativy. Běžná klasifikace[26] je následující:
- Deterministické asynchronní aktualizované booleovské sítě (DRBNs) nejsou synchronně aktualizovány, ale deterministické řešení stále existuje. Uzel i bude aktualizováno, když t ≡ Qi (mod Pi) kde t je časový krok.[27]
- Nejobecnějším případem je úplná stochastická aktualizace (GARBN, obecné asynchronní náhodné booleovské sítě). Zde je v každém výpočetním kroku vybrán jeden (nebo více) uzlů, které mají být aktualizovány.
- The Částečně pozorovaný booleovský dynamický systém (POBDS)[28][29][30][31] signální model se liší od všech předchozích deterministických a stochastických modelů booleovské sítě odstraněním předpokladu přímé pozorovatelnosti booleovského stavového vektoru a umožněním nejistoty v procesu pozorování při řešení scénáře, se kterým se setkáváme v praxi.
Aplikace booleovských sítí
Klasifikace
- The Škálovatelná optimální Bayesiánská klasifikace[32] vyvinuli optimální klasifikaci trajektorií zohledňujících nejistotu potenciálního modelu a také navrhli klasifikaci trajektorie na základě částic, která je vysoce škálovatelná pro velké sítě s mnohem nižší složitostí než optimální řešení.
Viz také
Reference
- ^ Naldi, A .; Monteiro, P. T .; Mussel, C .; Kestler, H. A .; Thieffry, D .; Xenarios, I .; Saez-Rodriguez, J .; Helikar, T .; Chaouiya, C. (25. ledna 2015). „Kooperativní vývoj standardů a nástrojů logického modelování pomocí CoLoMoTo“. Bioinformatika. 31 (7): 1154–1159. doi:10.1093 / bioinformatika / btv013. PMID 25619997.
- ^ Albert, Réka; Othmer, Hans G (červenec 2003). „Topologie regulačních interakcí předpovídá expresní vzorec genů polarity segmentů v Drosophila melanogaster“. Journal of Theoretical Biology. 223 (1): 1–18. CiteSeerX 10.1.1.13.3370. doi:10.1016 / S0022-5193 (03) 00035-3. PMC 6388622. PMID 12782112.
- ^ Li, J .; Bench, A. J .; Vassiliou, G. S .; Fourouclas, N .; Ferguson-Smith, A. C .; Green, A. R. (30. dubna 2004). „Otisk lidského genu L3MBTL, člena rodiny polycombů lokalizovaného v oblasti chromozomu 20 odstraněného v lidských myeloidních malignancích“. Sborník Národní akademie věd. 101 (19): 7341–7346. Bibcode:2004PNAS..101.7341L. doi:10.1073 / pnas.0308195101. PMC 409920. PMID 15123827.
- ^ A b Drossel, Barbara (prosinec 2009). Msgstr "Náhodné booleovské sítě". V Schuster, Heinz Georg (ed.). Kapitola 3. Náhodné booleovské sítě. Recenze nelineární dynamiky a složitosti. Wiley. 69–110. arXiv:0706.3351. doi:10.1002 / 9783527626359.ch3. ISBN 9783527626359. S2CID 119300231.
- ^ Wolfram, Stephen (2002). Nový druh vědy. Champaign, Illinois: Wolfram Media, Inc. str.936. ISBN 978-1579550080. Citováno 15. března 2018.
- ^ A b Kauffman, Stuart (11. října 1969). "Homeostáza a diferenciace v sítích náhodných genetických kontrol". Příroda. 224 (5215): 177–178. Bibcode:1969Natur.224..177K. doi:10.1038 / 224177a0. PMID 5343519. S2CID 4179318.
- ^ Aldana, Maximo; Coppersmith, Susan; Kadanoff, Leo P. (2003). Booleovská dynamika s náhodnými spojkami. Perspektivy a problémy v nelineárních vědách. 23–89. arXiv:nlin / 0204062. doi:10.1007/978-0-387-21789-5_2. ISBN 978-1-4684-9566-9. S2CID 15024306.
- ^ Gershenson, Carlos (2004). "Úvod do náhodných booleovských sítí". V Bedau, M., P. Husbands, T. Hutton, S. Kumar a H. Suzuki (Eds.) Workshop and Tutorial Proceedings, devátá mezinárodní konference o simulaci a syntéze živých systémů (ALife IX). Str. 2004: 160–173. arXiv:nlin.AO/0408006. Bibcode:2004nlin ...... 8006G.
- ^ Wuensche, Andrew (2011). Zkoumání diskrétní dynamiky: [příručka DDLab: nástroje pro výzkum celulárních automatů, náhodných booleovských a vícehodnotových neworků [sic] a dále]. Frome, Anglie: Luniver Press. str. 16. ISBN 9781905986316. Citováno 12. ledna 2016.
- ^ Greil, Florian (2012). „Boolean Networks as Modeling Framework“. Hranice ve vědě o rostlinách. 3: 178. doi:10.3389 / fpls.2012.00178. PMC 3419389. PMID 22912642.
- ^ Bastolla, U .; Parisi, G. (květen 1998). "Modulární struktura Kauffmanových sítí". Physica D: Nelineární jevy. 115 (3–4): 219–233. arXiv:cond-mat / 9708214. Bibcode:1998PhyD..115..219B. doi:10.1016 / S0167-2789 (97) 00242-X. S2CID 1585753.
- ^ Bilke, Sven; Sjunnesson, Fredrik (prosinec 2001). "Stabilita modelu Kauffman". Fyzický přehled E. 65 (1): 016129. arXiv:cond-mat / 0107035. Bibcode:2002PhRvE..65a6129B. doi:10.1103 / PhysRevE.65.016129. PMID 11800758. S2CID 2470586.
- ^ Socolar, J .; Kauffman, S. (únor 2003). "Škálování v uspořádaných a kritických náhodných booleovských sítích". Dopisy o fyzické kontrole. 90 (6): 068702. arXiv:cond-mat / 0212306. Bibcode:2003PhRvL..90f8702S. doi:10.1103 / PhysRevLett.90.068702. PMID 12633339. S2CID 14392074.
- ^ Samuelsson, Björn; Troein, Carl (březen 2003). „Superpolynomiální růst počtu atraktorů v Kauffman Networks“. Dopisy o fyzické kontrole. 90 (9): 098701. Bibcode:2003PhRvL..90i8701S. doi:10.1103 / PhysRevLett.90.098701. PMID 12689263.
- ^ Mihaljev, Tamara; Drossel, Barbara (říjen 2006). "Škálování v obecné třídě kritických náhodných logických sítí". Fyzický přehled E. 74 (4): 046101. arXiv:cond-mat / 0606612. Bibcode:2006PhRvE..74d6101M. doi:10.1103 / PhysRevE.74.046101. PMID 17155127. S2CID 17739744.
- ^ Kauffman, S.A. (1969). "Metabolická stabilita a epigeneze v náhodně konstruovaných genetických sítích". Journal of Theoretical Biology. 22 (3): 437–467. doi:10.1016/0022-5193(69)90015-0. PMID 5803332.
- ^ Derrida, B; Pomeau, Y (1986-01-15). „Náhodné sítě automatů: Jednoduchá žíhaná aproximace“. Europhysics Letters (EPL). 1 (2): 45–49. Bibcode:1986EL ...... 1 ... 45D. doi:10.1209/0295-5075/1/2/001.
- ^ Solé, Ricard V .; Luque, Bartolo (01.01.1995). "Fázové přechody a antichaos v zobecněných Kauffmanových sítích". Fyzikální písmena A. 196 (5–6): 331–334. Bibcode:1995PhLA..196..331S. doi:10.1016 / 0375-9601 (94) 00876-Q.
- ^ Luque, Bartolo; Solé, Ricard V. (01.01.1997). "Fázové přechody v náhodných sítích: Jednoduché analytické stanovení kritických bodů". Fyzický přehled E. 55 (1): 257–260. Bibcode:1997PhRvE..55..257L. doi:10.1103 / PhysRevE.55.257.
- ^ Fox, Jeffrey J .; Hill, Colin C. (2001-12-01). "Od topologie k dynamice v biochemických sítích". Chaos: Interdisciplinární žurnál nelineárních věd. 11 (4): 809–815. Bibcode:2001Chaos..11..809F. doi:10.1063/1.1414882. ISSN 1054-1500. PMID 12779520.
- ^ Aldana, Maximino; Cluzel, Philippe (2003-07-22). „Přirozená třída robustních sítí“. Sborník Národní akademie věd. 100 (15): 8710–8714. Bibcode:2003PNAS..100.8710A. doi:10.1073 / pnas.1536783100. ISSN 0027-8424. PMC 166377. PMID 12853565.
- ^ Pomerance, Andrew; Ott, Edward; Girvan, Michelle; Losert, Wolfgang (2009-05-19). „Vliv topologie sítě na stabilitu diskrétních stavových modelů genetické kontroly“. Sborník Národní akademie věd. 106 (20): 8209–8214. arXiv:0901.4362. Bibcode:2009PNAS..106.8209P. doi:10.1073 / pnas.0900142106. ISSN 0027-8424. PMC 2688895. PMID 19416903.
- ^ Aldana, Maximino (říjen 2003). "Booleovská dynamika sítí s bezškálovou topologií". Physica D: Nelineární jevy. 185 (1): 45–66. arXiv:cond-mat / 0209571. Bibcode:2003PhyD..185 ... 45A. doi:10.1016 / s0167-2789 (03) 00174-x.
- ^ Drossel, Barbara; Greil, Florian (4. srpna 2009). "Kritické booleovské sítě s bezškálovou distribucí v míře". Fyzický přehled E. 80 (2): 026102. arXiv:0901.0387. Bibcode:2009PhRvE..80b6102D. doi:10.1103 / PhysRevE.80.026102. PMID 19792195. S2CID 2487442.
- ^ Harvey, Imman; Bossomaier, Terry (1997). Manželé, Phil; Harvey, Imman (eds.). Time out of joint: Attractors in asynchronous random Boolean networks. Sborník ze čtvrté evropské konference o umělém životě (ECAL97). MIT Stiskněte. str. 67–75. ISBN 9780262581578.
- ^ Gershenson, Carlos (2002). Standish, Russell K; Bedau, Mark A (eds.). Klasifikace náhodných booleovských sítí. Sborník příspěvků z osmé mezinárodní konference o umělém životě. Umělý život. 8. Cambridge, Massachusetts, USA. s. 1–8. arXiv:cs / 0208001. Bibcode:2002cs ........ 8001G. ISBN 9780262692816. Citováno 12. ledna 2016.
- ^ Gershenson, Carlos; Broekaert, Jan; Aerts, Diederik (14 září 2003). Kontextové náhodné booleovské sítě [7. evropská konference, ECAL 2003]. Pokroky v umělém životě. Přednášky z informatiky. 2801. Dortmund, Německo. str. 615–624. arXiv:nlin / 0303021. doi:10.1007/978-3-540-39432-7_66. ISBN 978-3-540-39432-7. S2CID 4309400.
- ^ Imani, M .; Braga-Neto, U. M. (01.01.2017). „Adaptivní filtr maximální pravděpodobnosti pro částečně pozorované booleovské dynamické systémy“. Transakce IEEE při zpracování signálu. 65 (2): 359–371. arXiv:1702.07269. Bibcode:2017ITSP ... 65..359I. doi:10.1109 / TSP.2016.2614798. ISSN 1053-587X. S2CID 178376.
- ^ Imani, M .; Braga-Neto, U. M. (2015). "Optimální odhad stavu pro booleovské dynamické systémy s použitím logického Kalmanova hladšího". 2015 IEEE Global Conference on Signal and Information Processing (GlobalSIP). 972–976. doi:10.1109 / GlobalSIP.2015.7418342. ISBN 978-1-4799-7591-4. S2CID 8672734.
- ^ Imani, M .; Braga-Neto, U. M. (2016). Americká kontrolní konference 2016 (ACC). 227–232. doi:10.1109 / ACC.2016.7524920. ISBN 978-1-4673-8682-1. S2CID 7210088.
- ^ Imani, M .; Braga-Neto, U. (2016-12-01). Bodová iterace hodnot pro částečně pozorované booleovské dynamické systémy s konečným pozorovacím prostorem. 2016 IEEE 55th Conference on Decision and Control (CDC). str. 4208–4213. doi:10.1109 / CDC.2016.7798908. ISBN 978-1-5090-1837-6. S2CID 11341805.
- ^ Hajiramezanali, E. & Imani, M. & Braga-Neto, U. & Qian, X. & Dougherty, E .. Škálovatelná optimální Bayesiánská klasifikace jednobuněčných trajektorií podle nejistoty regulačního modelu. ACMBCB'18. https://dl.acm.org/citation.cfm?id=3233689
- Dubrova, E., Teslenko, M., Martinelli, A., (2005). *Kauffman Networks: Analýza a aplikace, v „Sborník mezinárodní konference o počítačově podporovaném designu“, strany 479-484.
externí odkazy
- DDLab
- Analýza dynamických algebraických modelů (ADAM) v1.1
- RBNLab
- NetBuilder Boolean Networks Simulator
- Open Source Boolean Network Simulator
- Síť JavaScript Kauffman
- Pravděpodobnostní booleovské sítě (PBN)
- Nástroj založený na SAT pro výpočet atraktorů v Boolean Networks
- CoLoMoTo (Konsorcium pro logické modely a nástroje)