1,568
个编辑
更改
跳到导航
跳到搜索
Moved page from wikipedia:en:Boolean network (history)
此词条暂由彩云小译翻译，未经人工整理和审校，带来阅读不便，请见谅。
{{Cleanup|date=August 2011}}
{{Network Science}}
[[File:Hou710 BooleanNetwork.svg|thumb|State space of a Boolean Network with ''N=4'' [[Vertex (graph theory)|nodes]] and ''K=1'' [[Glossary of graph theory#Basics|links]] per node. Nodes can be either switched on (red) or off (blue). Thin (black) arrows symbolise the inputs of the [[Boolean function]] which is a simple "copy"-function for each node. The thick (grey) arrows show what a synchronous update does. Altogether there are 6 (orange) [[attractor]]s, 4 of them are [[Fixed point (mathematics)|fixed points]].]]
nodes and K=1 links per node. Nodes can be either switched on (red) or off (blue). Thin (black) arrows symbolise the inputs of the Boolean function which is a simple "copy"-function for each node. The thick (grey) arrows show what a synchronous update does. Altogether there are 6 (orange) attractors, 4 of them are fixed points.]]
节点和 k = 每个节点1个链接。节点可以打开(红色)或关闭(蓝色)。细(黑色)箭头表示布尔函数的输入，这是一个简单的“复制”函数，用于每个节点。粗(灰色)箭头显示同步更新的作用。共有6个(橙色)吸引子，其中4个是不动点。]
A '''Boolean network''' consists of a discrete set of [[boolean variable]]s each of which has a [[Boolean function]] (possibly different for each variable) assigned to it which takes inputs from a subset of those variables and output that determines the state of the variable it is assigned to. This set of functions in effect determines a topology (connectivity) on the set of variables, which then become nodes in a [[network (mathematics)|network]]. Usually, the dynamics of the system is taken as a discrete [[time series]] where the state of the entire network at time ''t''+1 is determined by evaluating each variable's function on the state of the network at time ''t''. This may be done [[synchronous]]ly or [[wikt:asynchronous|asynchronous]]ly.<ref>{{cite journal|last1=Naldi|first1=A.|last2=Monteiro|first2=P. T.|last3=Mussel|first3=C.|last4=Kestler|first4=H. A.|last5=Thieffry|first5=D.|last6=Xenarios|first6=I.|last7=Saez-Rodriguez|first7=J.|last8=Helikar|first8=T.|last9=Chaouiya|first9=C.|title=Cooperative development of logical modelling standards and tools with CoLoMoTo|journal=Bioinformatics|date=25 January 2015|volume=31|issue=7|pages=1154–1159|doi=10.1093/bioinformatics/btv013|pmid=25619997|doi-access=free}}</ref>
A Boolean network consists of a discrete set of boolean variables each of which has a Boolean function (possibly different for each variable) assigned to it which takes inputs from a subset of those variables and output that determines the state of the variable it is assigned to. This set of functions in effect determines a topology (connectivity) on the set of variables, which then become nodes in a network. Usually, the dynamics of the system is taken as a discrete time series where the state of the entire network at time t+1 is determined by evaluating each variable's function on the state of the network at time t. This may be done synchronously or asynchronously.
一个布尔网络由一组离散的布尔变量组成，每个布尔变量都有一个布尔函数值(每个变量可能不同) ，这个值从这些变量的一个子集中获取输入，然后输出决定它被分配给的变量的状态。这组函数实际上决定了变量集上的拓扑结构(连通性) ，这些变量随后成为网络中的节点。通常，系统的动力学被看作是一个离散的时间序列，其中整个网络在时间 t + 1时的状态是通过计算每个变量在时间 t 时的状态上的函数来确定的。这可以同步或异步地完成。
Boolean networks have been used in biology to model regulatory networks. Although Boolean networks are a crude simplification of genetic reality where genes are not simple binary switches, there are several cases where they correctly capture the correct pattern of expressed and suppressed genes.<ref>{{cite journal|last1=Albert|first1=Réka|last2=Othmer|first2=Hans G|title=The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster|journal=Journal of Theoretical Biology|date=July 2003|volume=223|issue=1|pages=1–18|doi=10.1016/S0022-5193(03)00035-3|pmid=12782112|pmc=6388622|citeseerx=10.1.1.13.3370}}<!--|accessdate=25 November 2014--></ref><ref>{{cite journal|last1=Li|first1=J.|last2=Bench|first2=A. J.|last3=Vassiliou|first3=G. S.|last4=Fourouclas|first4=N.|last5=Ferguson-Smith|first5=A. C.|last6=Green|first6=A. R.|title=Imprinting of the human L3MBTL gene, a polycomb family member located in a region of chromosome 20 deleted in human myeloid malignancies |journal=Proceedings of the National Academy of Sciences|date=30 April 2004 |volume=101|issue=19 |pages=7341–7346 |doi=10.1073/pnas.0308195101|pmid=15123827 |pmc=409920|bibcode = 2004PNAS..101.7341L }}</ref>
Boolean networks have been used in biology to model regulatory networks. Although Boolean networks are a crude simplification of genetic reality where genes are not simple binary switches, there are several cases where they correctly capture the correct pattern of expressed and suppressed genes.
布尔网络已经在生物学中被用来为调控网络建模。虽然布尔网络是基因现实的粗略简化，其中基因不是简单的二进制开关，但在一些情况下，它们正确地捕获了表达和抑制基因的正确模式。
The seemingly mathematical easy (synchronous) model was only fully understood in the mid 2000s.<ref name=DrosselRbn>{{cite book|last1=Drossel|first1=Barbara|editor1-last=Schuster|editor1-first=Heinz Georg|title=Chapter 3. Random Boolean Networks|date=December 2009|doi=10.1002/9783527626359.ch3|arxiv=0706.3351|series=Reviews of Nonlinear Dynamics and Complexity|publisher=Wiley|pages=69–110|isbn=9783527626359|chapter=Random Boolean Networks}}</ref>
The seemingly mathematical easy (synchronous) model was only fully understood in the mid 2000s.
看似简单(同步)的数学模型直到2000年代中期才被完全理解。
== Classical model ==
A Boolean network is a particular kind of [[sequential dynamical system]], where time and states are discrete, i.e. both the set of variables and the set of states in the time series each have a [[bijection]] onto an integer series. Such systems are like [[cellular automata]] on networks, except for the fact that when they are set up each node has a rule that is randomly chosen from all ''2{{sup|2{{sup|K}}}}'' possible ones with ''K'' inputs. With ''K=2'' class 2 behavior tends to dominate. But for ''K>2'', the behavior one sees quickly approaches what is typical for a random mapping in which the network representing the evolution of the ''2{{sup|N}}'' states of the ''N'' underlying nodes is itself connected essentially randomly.<ref>{{cite book|last1=Wolfram|first1=Stephen|title=A New Kind of Science|date=2002|publisher=Wolfram Media, Inc.|location=Champaign, Illinois|isbn=978-1579550080|page=[https://archive.org/details/newkindofscience00wolf/page/936 936]|url=https://archive.org/details/newkindofscience00wolf/page/936|accessdate=15 March 2018|url-access=registration}}</ref>
A Boolean network is a particular kind of sequential dynamical system, where time and states are discrete, i.e. both the set of variables and the set of states in the time series each have a bijection onto an integer series. Such systems are like cellular automata on networks, except for the fact that when they are set up each node has a rule that is randomly chosen from all 2}} possible ones with K inputs. With K=2 class 2 behavior tends to dominate. But for K>2, the behavior one sees quickly approaches what is typical for a random mapping in which the network representing the evolution of the 2 states of the N underlying nodes is itself connected essentially randomly.
布尔网络是一种特殊的顺序动力系统，其中时间和状态是离散的，例如。时间序列中的变量集和状态集都对整数序列有一个双射。这样的系统就像网络上的细胞自动机，只不过当它们被设置好的时候，每个节点都有一个规则，这个规则是从所有2个有 k 输入的可能节点中随机选择的。当 k = 2时，2类行为倾向于占主导地位。但是对于 k > 2，这种行为很快就接近于随机映射的典型行为，在这种映射中，代表 n 个底层节点两种状态演化的网络本身是随机连接的。
A '''random Boolean network''' (RBN) is one that is randomly selected from the set of all possible boolean networks of a particular size, ''N''. One then can study statistically, how the expected properties of such networks depend on various statistical properties of the ensemble of all possible networks. For example, one may study how the RBN behavior changes as the average connectivity is changed.
A random Boolean network (RBN) is one that is randomly selected from the set of all possible boolean networks of a particular size, N. One then can study statistically, how the expected properties of such networks depend on various statistical properties of the ensemble of all possible networks. For example, one may study how the RBN behavior changes as the average connectivity is changed.
一个随机布尔网络(RBN)是从一个特定大小的所有可能的布尔网络(n。然后我们可以从统计学的角度来研究，这些网络的预期特性是如何依赖于所有可能网络集合的各种统计特性的。例如，可以研究随着平均连接性的改变，RBN 行为是如何变化的。
The first Boolean networks were proposed by [[Stuart A. Kauffman]] in 1969, as [[random]] models of [[genetic regulatory network]]s<ref name=KauffmanOriginal>{{cite journal|last1=Kauffman|first1=Stuart|title=Homeostasis and Differentiation in Random Genetic Control Networks|journal=Nature|date=11 October 1969|volume=224|issue=5215|pages=177–178|doi=10.1038/224177a0|pmid=5343519|bibcode = 1969Natur.224..177K }}<!--|accessdate=25 November 2014--></ref> but their mathematical understanding only started in the 2000s.<ref name=AldanaCoppersmithKadanoff>{{cite book|last1=Aldana|first1=Maximo|last2=Coppersmith|first2=Susan|author2-link= Susan Coppersmith |last3=Kadanoff|first3=Leo P.|title=Boolean Dynamics with Random Couplings|journal=Perspectives and Problems in Nonlinear Sciences|date=2003|pages=23–89|doi=10.1007/978-0-387-21789-5_2|arxiv=nlin/0204062|isbn=978-1-4684-9566-9}}</ref><ref>{{Cite journal|arxiv=nlin.AO/0408006|last1=Gershenson|first1=Carlos|title=Introduction to Random Boolean Networks|journal=In Bedau, M., P. Husbands, T. Hutton, S. Kumar, and H. Suzuki (eds.) Workshop and Tutorial Proceedings, Ninth International Conference on the Simulation and Synthesis of Living Systems (ALife IX). Pp|volume=2004|pages=160–173|year=2004|bibcode=2004nlin......8006G}}</ref>
The first Boolean networks were proposed by Stuart A. Kauffman in 1969, as random models of genetic regulatory networks but their mathematical understanding only started in the 2000s.
第一个布尔网络是由 Stuart a. Kauffman 在1969年提出的，作为基因调控网络的随机模型，但是他们的数学理解直到2000年才开始。
=== Attractors ===
Since a Boolean network has only 2<sup>''N''</sup> possible states, a trajectory will sooner or later reach a previously visited state, and thus, since the dynamics are deterministic, the trajectory will fall into a steady state or cycle called an [[attractor]] (though in the broader field of dynamical systems a cycle is only an attractor if perturbations from it lead back to it). If the attractor has only a single state it is called a ''point attractor'', and if the attractor consists of more than one state it is called a ''cycle attractor''. The set of states that lead to an attractor is called the ''basin'' of the attractor. States which occur only at the beginning of trajectories (no trajectories lead ''to'' them), are called ''garden-of-Eden'' states<ref name=WuenscheBook>{{cite book|last1=Wuensche|first1=Andrew|title=Exploring discrete dynamics : [the DDLab manual : tools for researching cellular automata, random Boolean and multivalue neworks [sic] and beyond]|date=2011|publisher=Luniver Press|location=Frome, England|isbn=9781905986316|page=16|url=https://books.google.de/books?id=qsktzY_Vg8QC&pg=PA16|accessdate=12 January 2016}}</ref> and the dynamics of the network flow from these states towards attractors. The time it takes to reach an attractor is called ''transient time''.<ref name=DrosselRbn />
Since a Boolean network has only 2<sup>N</sup> possible states, a trajectory will sooner or later reach a previously visited state, and thus, since the dynamics are deterministic, the trajectory will fall into a steady state or cycle called an attractor (though in the broader field of dynamical systems a cycle is only an attractor if perturbations from it lead back to it). If the attractor has only a single state it is called a point attractor, and if the attractor consists of more than one state it is called a cycle attractor. The set of states that lead to an attractor is called the basin of the attractor. States which occur only at the beginning of trajectories (no trajectories lead to them), are called garden-of-Eden states and the dynamics of the network flow from these states towards attractors. The time it takes to reach an attractor is called transient time.
由于一个布尔网络只有2个可能的状态，一个轨迹迟早会达到一个先前访问过的状态，因此，由于动力学是确定性的，轨迹将陷入一个稳定的状态或周期，称为吸引子(尽管在更广泛的动力系统领域中，一个周期只是一个吸引子，如果从它的扰动导致它)。如果吸引子只有一个状态，称为点吸引子; 如果吸引子由多个状态组成，称为循环吸引子。引出吸引子的一组状态称为吸引子的盆。这种只发生在轨道开始时的状态(没有轨道指向它们)被称为伊甸园状态，网络的动力学从这些状态流向吸引子。到达吸引子所需的时间称为瞬态时间。
With growing computer power and increasing understanding of the seemingly simple model, different authors gave different estimates for the mean number and length of the attractors, here a brief summary of key publications.<ref name=GreilReview>{{cite journal|last1=Greil|first1=Florian|title=Boolean Networks as Modeling Framework|journal=Frontiers in Plant Science|date=2012|volume=3|pages=178|doi=10.3389/fpls.2012.00178|pmid=22912642|pmc=3419389}}<!--|accessdate=26 November 2014--></ref>
With growing computer power and increasing understanding of the seemingly simple model, different authors gave different estimates for the mean number and length of the attractors, here a brief summary of key publications.
随着计算机能力的提高和对这个看似简单的模型的理解，不同的作者对吸引子的平均数和长度给出了不同的估计，这里简要地总结了一些关键的发表。
{| class="wikitable sortable"
{| class="wikitable sortable"
{ | class = “ wikitable sortable”
|-
|-
|-
! Author
! Author
!作者
! Year
! Year
!年份
! Mean attractor length
! Mean attractor length
!平均吸引长度
! Mean attractor number
! Mean attractor number
!平均吸引子数
! comment
! comment
!评论
|-
|-
|-
| Kauffmann <ref name=KauffmanOriginal/>
| Kauffmann
考夫曼
| 1969
| 1969
| 1969
| <math>\langle A\rangle\sim \sqrt{N}</math>
| <math>\langle A\rangle\sim \sqrt{N}</math>
| < math > langle a rangle sim sqrt { n } </math >
| <math>\langle\nu\rangle\sim \sqrt{N}</math>
| <math>\langle\nu\rangle\sim \sqrt{N}</math>
| < math > langle nu rangle sim sqrt { n } </math >
|
|
|
|-
|-
|-
| Bastolla/ Parisi<ref name=BastollaParisi1998>{{cite journal|last1=Bastolla|first1=U.|last2=Parisi|first2=G.|title=The modular structure of Kauffman networks|journal=Physica D: Nonlinear Phenomena|date=May 1998|volume=115|issue=3–4|pages=219–233|doi=10.1016/S0167-2789(97)00242-X|arxiv = cond-mat/9708214 |bibcode = 1998PhyD..115..219B }}<!--|accessdate=26 November 2014--></ref>
| Bastolla/ Parisi
| Bastolla/ Parisi
| 1998
| 1998
| 1998
| faster than a power law, <math>\langle A\rangle > N^x \forall x</math>
| faster than a power law, <math>\langle A\rangle > N^x \forall x</math>
| 比幂定律快，< math > langle a rangle > n ^ x for all x </math >
| faster than a power law, <math>\langle\nu\rangle > N^x \forall x</math>
| faster than a power law, <math>\langle\nu\rangle > N^x \forall x</math>
| 比幂定律快，< math > langle nu rangle > n ^ x for all x </math >
| first numerical evidences
| first numerical evidences
第一个数字证据
|-
|-
|-
| Bilke/ Sjunnesson<ref>{{cite journal|last1=Bilke|first1=Sven|last2=Sjunnesson|first2=Fredrik|title=Stability of the Kauffman model|journal=Physical Review E|date=December 2001|volume=65|issue=1|pages=016129|doi=10.1103/PhysRevE.65.016129|pmid=11800758|arxiv = cond-mat/0107035 |bibcode = 2002PhRvE..65a6129B }}<!--|accessdate=26 November 2014--></ref>
| Bilke/ Sjunnesson
| Bilke/Sjunnesson
| 2002
| 2002
| 2002
|
|
|
| linear with system size, <math>\langle\nu\rangle \sim N</math>
| linear with system size, <math>\langle\nu\rangle \sim N</math>
| 与系统大小成线性关系
|
|
|
|-
|-
|-
| Socolar/Kauffman<ref>{{cite journal|last1=Socolar|first1=J.|last2=Kauffman|first2=S.|title=Scaling in Ordered and Critical Random Boolean Networks|journal=Physical Review Letters|date=February 2003|volume=90|issue=6|pages=068702|doi=10.1103/PhysRevLett.90.068702|pmid=12633339|bibcode=2003PhRvL..90f8702S|arxiv = cond-mat/0212306 }}</ref>
| Socolar/Kauffman
| Socolar/Kauffman
| 2003
| 2003
| 2003
|
|
|
| faster than linear, <math>\langle\nu\rangle > N^x</math> with <math>x > 1</math>
| faster than linear, <math>\langle\nu\rangle > N^x</math> with <math>x > 1</math>
快于线性，< math > langle nu rangle > n ^ x </math > with < math > x > 1 </math >
|
|
|
|-
|-
|-
| Samuelsson/Troein<ref>{{cite journal|last1=Samuelsson|first1=Björn|last2=Troein|first2=Carl|title=Superpolynomial Growth in the Number of Attractors in Kauffman Networks|journal=Physical Review Letters|date=March 2003|volume=90|issue=9|doi=10.1103/PhysRevLett.90.098701|bibcode=2003PhRvL..90i8701S|pmid=12689263|page=098701}}<!--|accessdate=26 November 2014--></ref>
| Samuelsson/Troein
| Samuelsson/Troein
| 2003
| 2003
| 2003
|
|
|
| superpolynomial growth, <math>\langle\nu\rangle > N^x \forall x</math>
| superpolynomial growth, <math>\langle\nu\rangle > N^x \forall x</math>
| 超多项式生长，< math > langle nu rangle > n ^ x for all x </math >
| mathematical proof
| mathematical proof
数学证明
|-
|-
|-
| Mihaljev/Drossel<ref>{{cite journal|last1=Mihaljev|first1=Tamara|last2=Drossel|first2=Barbara|title=Scaling in a general class of critical random Boolean networks|journal=Physical Review E|date=October 2006|volume=74|issue=4|pages=046101|doi=10.1103/PhysRevE.74.046101|pmid=17155127|arxiv = cond-mat/0606612 |bibcode = 2006PhRvE..74d6101M }}<!--|accessdate=26 November 2014--></ref>
| Mihaljev/Drossel
| Mihaljev/Drossel
| 2005
| 2005
| 2005
| faster than a power law, <math>\langle A\rangle > N^x \forall x</math>
| faster than a power law, <math>\langle A\rangle > N^x \forall x</math>
| 比幂定律快，< math > langle a rangle > n ^ x for all x </math >
| faster than a power law, <math>\langle\nu\rangle > N^x \forall x</math>
| faster than a power law, <math>\langle\nu\rangle > N^x \forall x</math>
| 比幂定律快，< math > langle nu rangle > n ^ x for all x </math >
|
|
|
|}
|}
|}
== Stability ==
In dynamical systems theory, the structure and length of the attractors of a network corresponds to the dynamic phase of the network. The '''stability of Boolean networks''' depends on the connections of their [[Node (graph theory)|node]]s. A Boolean network can exhibit stable, critical or [[chaotic behavior]]. This phenomenon is governed by a critical value of the average number of connections of nodes (<math>K_{c}</math>), and can be characterized by the [[Hamming distance]] as distance measure. In the unstable regime, the distance between two initially close states on average grows exponentially in time, while in the stable regime it decreases exponentially. In this, with "initially close states" one means that the Hamming distance is small compared with the number of nodes (<math>N</math>) in the network.
In dynamical systems theory, the structure and length of the attractors of a network corresponds to the dynamic phase of the network. The stability of Boolean networks depends on the connections of their nodes. A Boolean network can exhibit stable, critical or chaotic behavior. This phenomenon is governed by a critical value of the average number of connections of nodes (<math>K_{c}</math>), and can be characterized by the Hamming distance as distance measure. In the unstable regime, the distance between two initially close states on average grows exponentially in time, while in the stable regime it decreases exponentially. In this, with "initially close states" one means that the Hamming distance is small compared with the number of nodes (<math>N</math>) in the network.
在21动态系统理论，网络吸引子的结构和长度对应于网络的动态阶段。布尔网络的稳定性取决于节点之间的连接。布尔网络可以表现出稳定的、临界的或混沌的行为。这种现象是由平均节点连接数的临界值控制的(< math > k { c } </math >) ，可以用拥有属性汉明距离作为距离度量。在不稳定区域，两个初始闭合态之间的距离随时间呈指数增长，而在稳定区域则呈指数减小。在这里，“初始关闭状态”意味着与网络中的节点数相比，汉明距离是小的(< math > n </math >)。
For '''N-K-model'''<ref>{{cite journal |last=Kauffman |first=S. A. |date=1969 |title=Metabolic stability and epigenesis in randomly constructed genetic nets |journal=Journal of Theoretical Biology |volume=22 |issue=3 |pages=437–467 |doi=10.1016/0022-5193(69)90015-0|pmid=5803332 }}</ref> the network is stable if <math>K<K_{c}</math>, critical if <math>K=K_{c}</math>, and unstable if <math>K>K_{c}</math>.
For N-K-model the network is stable if <math>K<K_{c}</math>, critical if <math>K=K_{c}</math>, and unstable if <math>K>K_{c}</math>.
对于 n-k 模型，网络是稳定的，如果 < math > k < k { c } </math > ，临界的，如果 < math > k = k { c } </math > ，网络是不稳定的，如果 < math > k > k { c } </math > 。
The state of a given node <math> n_{i} </math> is updated according to its [[truth table]], whose outputs are randomly populated. <math> p_{i} </math> denotes the probability of assigning an off output to a given series of input signals.
The state of a given node <math> n_{i} </math> is updated according to its truth table, whose outputs are randomly populated. <math> p_{i} </math> denotes the probability of assigning an off output to a given series of input signals.
给定节点的状态 < math > n _ { i } </math > 根据其真值表更新，该真值表的输出是随机填充的。< math > p _ { i } </math > 表示将输出分配给给定系列输入信号的概率。
If <math> p_{i}=p=const. </math> for every node, the transition between the stable and chaotic range depends on <math> p </math>. According to [[Bernard Derrida]] and [[Yves Pomeau]]<ref>{{Cite journal|title = Random Networks of Automata: A Simple Annealed Approximation|url = http://stacks.iop.org/0295-5075/1/i=2/a=001?key=crossref.8cf81041d96c6144f3a397d9cf72cf09|journal = Europhysics Letters (EPL)|date = 1986-01-15|pages = 45–49|volume = 1|issue = 2|doi = 10.1209/0295-5075/1/2/001|first = B|last = Derrida|first2 = Y|last2 = Pomeau|bibcode = 1986EL......1...45D}}</ref>
If <math> p_{i}=p=const. </math> for every node, the transition between the stable and chaotic range depends on <math> p </math>. According to Bernard Derrida and Yves Pomeau
如果 < math > p _ { i } = p = const。对于每一个节点，稳定范围和混沌范围之间的过渡取决于。根据伯纳德 · 德里达和伊夫 · 奥博美的研究
, the critical value of the average number of connections is <math> K_{c}=1/[2p(1-p)] </math>.
, the critical value of the average number of connections is <math> K_{c}=1/[2p(1-p)] </math>.
，平均连接数的临界值是 < math > k _ { c } = 1/[2p (1-p)] </math > 。
If <math> K </math> is not constant, and there is no correlation between the in-degrees and out-degrees, the conditions of stability is determined by <math> \langle K^{in}\rangle </math><ref>{{Cite journal|title = Phase transitions and antichaos in generalized Kauffman networks|journal = Physics Letters A|date = 1995-01-02|pages = 331–334|volume = 196|issue = 5–6|doi = 10.1016/0375-9601(94)00876-Q|first = Ricard V.|last = Solé|first2 = Bartolo|last2 = Luque|bibcode = 1995PhLA..196..331S}}</ref><ref>{{Cite journal|title = Phase transitions in random networks: Simple analytic determination of critical points|journal = Physical Review E|date = 1997-01-01|pages = 257–260|volume = 55|issue = 1|doi = 10.1103/PhysRevE.55.257|first = Bartolo|last = Luque|first2 = Ricard V.|last2 = Solé|bibcode = 1997PhRvE..55..257L}}</ref><ref>{{Cite journal|title = From topology to dynamics in biochemical networks |journal = Chaos: An Interdisciplinary Journal of Nonlinear Science|date = 2001-12-01|issn = 1054-1500|pages = 809–815|volume = 11|issue = 4|doi = 10.1063/1.1414882|pmid = 12779520 |first = Jeffrey J.|last = Fox|first2 = Colin C.|last2 = Hill|bibcode = 2001Chaos..11..809F}}</ref> The network is stable if <math>\langle K^{in}\rangle <K_{c}</math>, critical if <math>\langle K^{in}\rangle =K_{c}</math>, and unstable if <math>\langle K^{in}\rangle >K_{c}</math>.
If <math> K </math> is not constant, and there is no correlation between the in-degrees and out-degrees, the conditions of stability is determined by <math> \langle K^{in}\rangle </math> The network is stable if <math>\langle K^{in}\rangle <K_{c}</math>, critical if <math>\langle K^{in}\rangle =K_{c}</math>, and unstable if <math>\langle K^{in}\rangle >K_{c}</math>.
如果 < math > k </math > 不是常数，并且 in-degrees 和 out-degrees 之间没有相关性，则稳定的条件由 < math > langle k ^ { in } rangle </math > 网络是稳定的，如果 < math > langle k ^ { in } rangle < k { c } </math > ，临界如果 < math > langle k ^ { in rangle = k { c } </math > ，而不稳定如果 math < langle k ^ { in rangle > k { c } </math > 。
The conditions of stability are the same in the case of networks with [[Scale-free network|scale-free]] [[network topology|topology]] where the in-and out-degree distribution is a power-law distribution: <math> P(K) \propto K^{-\gamma} </math>, and <math>\langle K^{in} \rangle=\langle K^{out} \rangle </math>, since every out-link from a node is an in-link to another.<ref>{{Cite journal|title = A natural class of robust networks|journal = Proceedings of the National Academy of Sciences|date = 2003-07-22|issn = 0027-8424|pmc = 166377|pmid = 12853565|pages = 8710–8714|volume = 100|issue = 15|doi = 10.1073/pnas.1536783100|first = Maximino|last = Aldana|first2 = Philippe|last2 = Cluzel|bibcode = 2003PNAS..100.8710A}}</ref>
The conditions of stability are the same in the case of networks with scale-free topology where the in-and out-degree distribution is a power-law distribution: <math> P(K) \propto K^{-\gamma} </math>, and <math>\langle K^{in} \rangle=\langle K^{out} \rangle </math>, since every out-link from a node is an in-link to another.
对于无标度拓扑的网络，稳定性的条件是相同的，其中输入和输出度分布是幂律分布: < math > p (k) propto k ^ {-gamma </math > ，和 < math > langle k ^ { in } rangle = langle k ^ { out } rangle </math > ，因为每个节点的输出链路都是一个输入链路到另一个节点。
Sensitivity shows the probability that the output of the Boolean function of a given node changes if its input changes. For random Boolean networks,
Sensitivity shows the probability that the output of the Boolean function of a given node changes if its input changes. For random Boolean networks,
灵敏度表示给定节点的布尔函数输出在其输入发生变化时发生变化的概率。对于随机布尔网络,
<math> q_{i}=2p_{i}(1-p_{i}) </math>. In the general case, stability of the network is governed by the largest [[Eigenvalues and eigenvectors|eigenvalue]] <math> \lambda_{Q} </math> of matrix <math> Q </math>, where <math> Q_{ij}=q_{i}A_{ij} </math>, and <math> A </math> is the [[adjacency matrix]] of the network.<ref>{{Cite journal|title = The effect of network topology on the stability of discrete state models of genetic control|journal = Proceedings of the National Academy of Sciences|date = 2009-05-19|issn = 0027-8424|pmc = 2688895|pmid = 19416903|pages = 8209–8214|volume = 106|issue = 20|doi = 10.1073/pnas.0900142106|first = Andrew|last = Pomerance|first2 = Edward|last2 = Ott|first3 = Michelle|last3 = Girvan|author3-link= Michelle Girvan |first4 = Wolfgang|last4 = Losert|arxiv = 0901.4362|bibcode = 2009PNAS..106.8209P}}</ref> The network is stable if <math>\lambda_{Q}<1</math>, critical if <math>\lambda_{Q}=1</math>, unstable if <math>\lambda_{Q}>1</math>.
<math> q_{i}=2p_{i}(1-p_{i}) </math>. In the general case, stability of the network is governed by the largest eigenvalue <math> \lambda_{Q} </math> of matrix <math> Q </math>, where <math> Q_{ij}=q_{i}A_{ij} </math>, and <math> A </math> is the adjacency matrix of the network. The network is stable if <math>\lambda_{Q}<1</math>, critical if <math>\lambda_{Q}=1</math>, unstable if <math>\lambda_{Q}>1</math>.
2p { i }(1-p { i }).在一般情况下，网络的稳定性是由矩阵的最大特征值 > lambda { q } </math > 决定的，其中 < math > q { ij } = q { i } a { ij } </math > ，< math > a </math > 是网络的邻接矩阵。如果 < math > lambda { q } < 1 </math > ，网络是稳定的; 如果 < math > lambda > lambda { q } = 1 </math > ，网络是不稳定的; 如果 < math > lambda { q } > 1 </math > 。
== Variations of the model ==
=== Other topologies ===
One theme is to study '''different underlying [[Graph topology|graph topologies]]'''.
One theme is to study different underlying graph topologies.
一个主题是研究不同的底层图拓扑。
* The homogeneous case simply refers to a grid which is simply the reduction to the famous [[Ising model]].
* [[Scale-free network|Scale-free]] topologies may be chosen for Boolean networks.<ref name=AldanaScaleFree>{{cite journal|last1=Aldana|first1=Maximino|title=Boolean dynamics of networks with scale-free topology|journal=Physica D: Nonlinear Phenomena|date=October 2003|volume=185|issue=1|pages=45–66|doi=10.1016/s0167-2789(03)00174-x|arxiv=cond-mat/0209571|bibcode=2003PhyD..185...45A}}</ref> One can distinguish the case where only in-degree distribution in power-law distributed,<ref name=ScaleFreeInDegree>{{cite journal|last1=Drossel|first1=Barbara|last2=Greil|first2=Florian|title=Critical Boolean networks with scale-free in-degree distribution|journal=Physical Review E|date=4 August 2009|volume=80|issue=2|pages=026102|doi=10.1103/PhysRevE.80.026102|pmid=19792195|arxiv=0901.0387|bibcode=2009PhRvE..80b6102D}}</ref> or only the out-degree-distribution or both.
=== Other updating schemes ===
Classical Boolean networks (sometimes called '''CRBN''', i.e. Classic Random Boolean Network) are synchronously updated. Motivated by the fact that genes don't usually change their state simultaneously,<ref name=HarveyBossomaier1997>{{cite book|last1=Harvey|first1=Imman|last2=Bossomaier|first2=Terry|editor1-last=Husbands|editor1-first=Phil|editor2-last=Harvey|editor2-first=Imman|title=Time out of joint: Attractors in asynchronous random Boolean networks|journal=Proceedings of the Fourth European Conference on Artificial Life (ECAL97)|date=1997|pages=67–75|url=https://books.google.de/books?id=ccp8fzlyorAC&pg=PA67|publisher=MIT Press|isbn=9780262581578}}</ref> different alternatives have been introduced. A common classification<ref name=Gershenson2004>{{cite book|last1=Gershenson|first1=Carlos|editor1-last=Standish|editor1-first=Russell K|editor2-last=Bedau|editor2-first=Mark A|title=Classification of Random Boolean Networks|journal=Proceedings of the Eighth International Conference on Artificial Life|date=2002|volume=8|pages=1–8|url=https://books.google.de/books?id=si_KlRbL1XoC&pg=PA1|accessdate=12 January 2016|arxiv=cs/0208001|series=Artificial Life|location=Cambridge, Massachusetts, USA|isbn=9780262692816|bibcode=2002cs........8001G}}</ref> is the following:
Classical Boolean networks (sometimes called CRBN, i.e. Classic Random Boolean Network) are synchronously updated. Motivated by the fact that genes don't usually change their state simultaneously, different alternatives have been introduced. A common classification is the following:
经典布尔网络(有时称为 CRBN，即。经典随机布尔网络)同步更新。由于基因通常不会同时改变它们的状态，因此引入了不同的选择。常见的分类如下:
* '''Deterministic asynchronous updated Boolean networks''' ('''DRBN'''s) are not synchronously updated but a deterministic solution still exists. A node ''i'' will be updated when ''t ≡ Q<sub>i</sub> (''mod'' P<sub>i</sub>)'' where ''t'' is the time step.<ref name=GershensonDrbn>{{cite book|last1=Gershenson|first1=Carlos|last2=Broekaert|first2=Jan|last3=Aerts|first3=Diederik|title=Contextual Random Boolean Networks|journal=Advances in Artificial Life|date=14 September 2003|volume=2801|pages=615–624|doi=10.1007/978-3-540-39432-7_66|arxiv=nlin/0303021|series=Lecture Notes in Computer Science|trans-title=7th European Conference, ECAL 2003|location=Dortmund, Germany|isbn=978-3-540-39432-7}}</ref>
* The most general case is full stochastic updating ('''GARBN''', general asynchronous random boolean networks). Here, one (or more) node(s) are selected at each computational step to be updated.
* The '''Partially-Observed Boolean Dynamical System (POBDS)'''<ref>{{Cite journal|last=Imani|first=M.|last2=Braga-Neto|first2=U. M.|date=2017-01-01|title=Maximum-Likelihood Adaptive Filter for Partially Observed Boolean Dynamical Systems|journal=IEEE Transactions on Signal Processing|volume=65|issue=2|pages=359–371|doi=10.1109/TSP.2016.2614798|issn=1053-587X|arxiv=1702.07269|bibcode=2017ITSP...65..359I}}</ref><ref>{{Cite book|pages=972–976|last=Imani|first=M.|last2=Braga-Neto|first2=U. M.|language=en-US|doi=10.1109/GlobalSIP.2015.7418342|chapter=Optimal state estimation for boolean dynamical systems using a boolean Kalman smoother|year=2015|isbn=978-1-4799-7591-4|title=2015 IEEE Global Conference on Signal and Information Processing (GlobalSIP)}}</ref><ref>{{Cite book|last=Imani|first=M.|last2=Braga-Neto|first2=U. M.|language=en-US|doi=10.1109/ACC.2016.7524920|title=2016 American Control Conference (ACC)|pages=227–232|year=2016|isbn=978-1-4673-8682-1}}</ref><ref>{{Cite book|last=Imani|first=M.|last2=Braga-Neto|first2=U.|date=2016-12-01|title=Point-based value iteration for partially-observed Boolean dynamical systems with finite observation space|journal=2016 IEEE 55th Conference on Decision and Control (CDC)|pages=4208–4213|doi=10.1109/CDC.2016.7798908|isbn=978-1-5090-1837-6}}</ref> signal model differs from all previous deterministic and stochastic Boolean network models by removing the assumption of direct observability of the Boolean state vector and allowing uncertainty in the observation process, addressing the scenario encountered in practice.
== Application of Boolean Networks ==
=== Classification ===
* The '''Scalable Optimal Bayesian Classification'''<ref name=":bmdl">Hajiramezanali, E. & Imani, M. & Braga-Neto, U. & Qian, X. & Dougherty, E.. Scalable Optimal Bayesian Classification of Single-Cell Trajectories under Regulatory Model Uncertainty. ACMBCB'18. https://dl.acm.org/citation.cfm?id=3233689</ref> developed an optimal classification of trajectories accounting for potential model uncertainty and also proposed a particle-based trajectory classification that is highly scalable for large networks with much lower complexity than the optimal solution.
== See also ==
* [[NK model]] <!-- to be merged here -->
== References ==
{{Reflist|30em}}
* Dubrova, E., Teslenko, M., Martinelli, A., (2005). *[http://dl.acm.org/citation.cfm?id=1129670 Kauffman Networks: Analysis and Applications], in "Proceedings of International Conference on Computer-Aided Design", pages 479-484. <!-- to be cited or not -->
== External links ==
*[http://www.ddlab.com/ DDLab]
*[https://web.archive.org/web/20150925155852/http://adam.plantsimlab.org/ Analysis of Dynamic Algebraic Models (ADAM) v1.1]
*[https://sourceforge.net/projects/rbn/ RBNLab]
*[https://web.archive.org/web/20160304053726/http://homepages.stca.herts.ac.uk/~erdqmjs/NetBuilder%20home/NetBuilder/index.html NetBuilder Boolean Networks Simulator]
*[https://web.archive.org/web/20090214202740/http://www.rustyspigot.com/software/BooleanNetwork/?url=%2Fsoftware%2FBooleanNetwork Open Source Boolean Network Simulator]
*[http://www.beteredingen.nl/?e=179&w=neuroscience JavaScript Kauffman Network]
*[https://web.archive.org/web/20110724090835/http://personal.systemsbiology.net/ilya/PBN/PBN.htm Probabilistic Boolean Networks (PBN)]
*[https://web.archive.org/web/20120813214739/http://web.it.kth.se/~dubrova/bns.html A SAT-based tool for computing attractors in Boolean Networks]
*[http://www.colomoto.org/ CoLoMoTo (Consortium for Logical Models and Tools)]
{{Stochastic processes}}
[[Category:Bioinformatics]]
Category:Bioinformatics
类别: 生物信息学
[[Category:Logic]]
Category:Logic
分类: 逻辑
[[Category:Spin models]]
Category:Spin models
分类: 旋转模型
[[Category:Exactly solvable models]]
Category:Exactly solvable models
类别: 完全可解模型
[[Category:Statistical mechanics]]
Category:Statistical mechanics
类别: 统计力学
<noinclude>
<small>This page was moved from [[wikipedia:en:Boolean network]]. Its edit history can be viewed at [[布尔网络/edithistory]]</small></noinclude>
[[Category:待整理页面]]
{{Cleanup|date=August 2011}}
{{Network Science}}
[[File:Hou710 BooleanNetwork.svg|thumb|State space of a Boolean Network with ''N=4'' [[Vertex (graph theory)|nodes]] and ''K=1'' [[Glossary of graph theory#Basics|links]] per node. Nodes can be either switched on (red) or off (blue). Thin (black) arrows symbolise the inputs of the [[Boolean function]] which is a simple "copy"-function for each node. The thick (grey) arrows show what a synchronous update does. Altogether there are 6 (orange) [[attractor]]s, 4 of them are [[Fixed point (mathematics)|fixed points]].]]
nodes and K=1 links per node. Nodes can be either switched on (red) or off (blue). Thin (black) arrows symbolise the inputs of the Boolean function which is a simple "copy"-function for each node. The thick (grey) arrows show what a synchronous update does. Altogether there are 6 (orange) attractors, 4 of them are fixed points.]]
节点和 k = 每个节点1个链接。节点可以打开(红色)或关闭(蓝色)。细(黑色)箭头表示布尔函数的输入，这是一个简单的“复制”函数，用于每个节点。粗(灰色)箭头显示同步更新的作用。共有6个(橙色)吸引子，其中4个是不动点。]
A '''Boolean network''' consists of a discrete set of [[boolean variable]]s each of which has a [[Boolean function]] (possibly different for each variable) assigned to it which takes inputs from a subset of those variables and output that determines the state of the variable it is assigned to. This set of functions in effect determines a topology (connectivity) on the set of variables, which then become nodes in a [[network (mathematics)|network]]. Usually, the dynamics of the system is taken as a discrete [[time series]] where the state of the entire network at time ''t''+1 is determined by evaluating each variable's function on the state of the network at time ''t''. This may be done [[synchronous]]ly or [[wikt:asynchronous|asynchronous]]ly.<ref>{{cite journal|last1=Naldi|first1=A.|last2=Monteiro|first2=P. T.|last3=Mussel|first3=C.|last4=Kestler|first4=H. A.|last5=Thieffry|first5=D.|last6=Xenarios|first6=I.|last7=Saez-Rodriguez|first7=J.|last8=Helikar|first8=T.|last9=Chaouiya|first9=C.|title=Cooperative development of logical modelling standards and tools with CoLoMoTo|journal=Bioinformatics|date=25 January 2015|volume=31|issue=7|pages=1154–1159|doi=10.1093/bioinformatics/btv013|pmid=25619997|doi-access=free}}</ref>
A Boolean network consists of a discrete set of boolean variables each of which has a Boolean function (possibly different for each variable) assigned to it which takes inputs from a subset of those variables and output that determines the state of the variable it is assigned to. This set of functions in effect determines a topology (connectivity) on the set of variables, which then become nodes in a network. Usually, the dynamics of the system is taken as a discrete time series where the state of the entire network at time t+1 is determined by evaluating each variable's function on the state of the network at time t. This may be done synchronously or asynchronously.
一个布尔网络由一组离散的布尔变量组成，每个布尔变量都有一个布尔函数值(每个变量可能不同) ，这个值从这些变量的一个子集中获取输入，然后输出决定它被分配给的变量的状态。这组函数实际上决定了变量集上的拓扑结构(连通性) ，这些变量随后成为网络中的节点。通常，系统的动力学被看作是一个离散的时间序列，其中整个网络在时间 t + 1时的状态是通过计算每个变量在时间 t 时的状态上的函数来确定的。这可以同步或异步地完成。
Boolean networks have been used in biology to model regulatory networks. Although Boolean networks are a crude simplification of genetic reality where genes are not simple binary switches, there are several cases where they correctly capture the correct pattern of expressed and suppressed genes.<ref>{{cite journal|last1=Albert|first1=Réka|last2=Othmer|first2=Hans G|title=The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster|journal=Journal of Theoretical Biology|date=July 2003|volume=223|issue=1|pages=1–18|doi=10.1016/S0022-5193(03)00035-3|pmid=12782112|pmc=6388622|citeseerx=10.1.1.13.3370}}<!--|accessdate=25 November 2014--></ref><ref>{{cite journal|last1=Li|first1=J.|last2=Bench|first2=A. J.|last3=Vassiliou|first3=G. S.|last4=Fourouclas|first4=N.|last5=Ferguson-Smith|first5=A. C.|last6=Green|first6=A. R.|title=Imprinting of the human L3MBTL gene, a polycomb family member located in a region of chromosome 20 deleted in human myeloid malignancies |journal=Proceedings of the National Academy of Sciences|date=30 April 2004 |volume=101|issue=19 |pages=7341–7346 |doi=10.1073/pnas.0308195101|pmid=15123827 |pmc=409920|bibcode = 2004PNAS..101.7341L }}</ref>
Boolean networks have been used in biology to model regulatory networks. Although Boolean networks are a crude simplification of genetic reality where genes are not simple binary switches, there are several cases where they correctly capture the correct pattern of expressed and suppressed genes.
布尔网络已经在生物学中被用来为调控网络建模。虽然布尔网络是基因现实的粗略简化，其中基因不是简单的二进制开关，但在一些情况下，它们正确地捕获了表达和抑制基因的正确模式。
The seemingly mathematical easy (synchronous) model was only fully understood in the mid 2000s.<ref name=DrosselRbn>{{cite book|last1=Drossel|first1=Barbara|editor1-last=Schuster|editor1-first=Heinz Georg|title=Chapter 3. Random Boolean Networks|date=December 2009|doi=10.1002/9783527626359.ch3|arxiv=0706.3351|series=Reviews of Nonlinear Dynamics and Complexity|publisher=Wiley|pages=69–110|isbn=9783527626359|chapter=Random Boolean Networks}}</ref>
The seemingly mathematical easy (synchronous) model was only fully understood in the mid 2000s.
看似简单(同步)的数学模型直到2000年代中期才被完全理解。
== Classical model ==
A Boolean network is a particular kind of [[sequential dynamical system]], where time and states are discrete, i.e. both the set of variables and the set of states in the time series each have a [[bijection]] onto an integer series. Such systems are like [[cellular automata]] on networks, except for the fact that when they are set up each node has a rule that is randomly chosen from all ''2{{sup|2{{sup|K}}}}'' possible ones with ''K'' inputs. With ''K=2'' class 2 behavior tends to dominate. But for ''K>2'', the behavior one sees quickly approaches what is typical for a random mapping in which the network representing the evolution of the ''2{{sup|N}}'' states of the ''N'' underlying nodes is itself connected essentially randomly.<ref>{{cite book|last1=Wolfram|first1=Stephen|title=A New Kind of Science|date=2002|publisher=Wolfram Media, Inc.|location=Champaign, Illinois|isbn=978-1579550080|page=[https://archive.org/details/newkindofscience00wolf/page/936 936]|url=https://archive.org/details/newkindofscience00wolf/page/936|accessdate=15 March 2018|url-access=registration}}</ref>
A Boolean network is a particular kind of sequential dynamical system, where time and states are discrete, i.e. both the set of variables and the set of states in the time series each have a bijection onto an integer series. Such systems are like cellular automata on networks, except for the fact that when they are set up each node has a rule that is randomly chosen from all 2}} possible ones with K inputs. With K=2 class 2 behavior tends to dominate. But for K>2, the behavior one sees quickly approaches what is typical for a random mapping in which the network representing the evolution of the 2 states of the N underlying nodes is itself connected essentially randomly.
布尔网络是一种特殊的顺序动力系统，其中时间和状态是离散的，例如。时间序列中的变量集和状态集都对整数序列有一个双射。这样的系统就像网络上的细胞自动机，只不过当它们被设置好的时候，每个节点都有一个规则，这个规则是从所有2个有 k 输入的可能节点中随机选择的。当 k = 2时，2类行为倾向于占主导地位。但是对于 k > 2，这种行为很快就接近于随机映射的典型行为，在这种映射中，代表 n 个底层节点两种状态演化的网络本身是随机连接的。
A '''random Boolean network''' (RBN) is one that is randomly selected from the set of all possible boolean networks of a particular size, ''N''. One then can study statistically, how the expected properties of such networks depend on various statistical properties of the ensemble of all possible networks. For example, one may study how the RBN behavior changes as the average connectivity is changed.
A random Boolean network (RBN) is one that is randomly selected from the set of all possible boolean networks of a particular size, N. One then can study statistically, how the expected properties of such networks depend on various statistical properties of the ensemble of all possible networks. For example, one may study how the RBN behavior changes as the average connectivity is changed.
一个随机布尔网络(RBN)是从一个特定大小的所有可能的布尔网络(n。然后我们可以从统计学的角度来研究，这些网络的预期特性是如何依赖于所有可能网络集合的各种统计特性的。例如，可以研究随着平均连接性的改变，RBN 行为是如何变化的。
The first Boolean networks were proposed by [[Stuart A. Kauffman]] in 1969, as [[random]] models of [[genetic regulatory network]]s<ref name=KauffmanOriginal>{{cite journal|last1=Kauffman|first1=Stuart|title=Homeostasis and Differentiation in Random Genetic Control Networks|journal=Nature|date=11 October 1969|volume=224|issue=5215|pages=177–178|doi=10.1038/224177a0|pmid=5343519|bibcode = 1969Natur.224..177K }}<!--|accessdate=25 November 2014--></ref> but their mathematical understanding only started in the 2000s.<ref name=AldanaCoppersmithKadanoff>{{cite book|last1=Aldana|first1=Maximo|last2=Coppersmith|first2=Susan|author2-link= Susan Coppersmith |last3=Kadanoff|first3=Leo P.|title=Boolean Dynamics with Random Couplings|journal=Perspectives and Problems in Nonlinear Sciences|date=2003|pages=23–89|doi=10.1007/978-0-387-21789-5_2|arxiv=nlin/0204062|isbn=978-1-4684-9566-9}}</ref><ref>{{Cite journal|arxiv=nlin.AO/0408006|last1=Gershenson|first1=Carlos|title=Introduction to Random Boolean Networks|journal=In Bedau, M., P. Husbands, T. Hutton, S. Kumar, and H. Suzuki (eds.) Workshop and Tutorial Proceedings, Ninth International Conference on the Simulation and Synthesis of Living Systems (ALife IX). Pp|volume=2004|pages=160–173|year=2004|bibcode=2004nlin......8006G}}</ref>
The first Boolean networks were proposed by Stuart A. Kauffman in 1969, as random models of genetic regulatory networks but their mathematical understanding only started in the 2000s.
第一个布尔网络是由 Stuart a. Kauffman 在1969年提出的，作为基因调控网络的随机模型，但是他们的数学理解直到2000年才开始。
=== Attractors ===
Since a Boolean network has only 2<sup>''N''</sup> possible states, a trajectory will sooner or later reach a previously visited state, and thus, since the dynamics are deterministic, the trajectory will fall into a steady state or cycle called an [[attractor]] (though in the broader field of dynamical systems a cycle is only an attractor if perturbations from it lead back to it). If the attractor has only a single state it is called a ''point attractor'', and if the attractor consists of more than one state it is called a ''cycle attractor''. The set of states that lead to an attractor is called the ''basin'' of the attractor. States which occur only at the beginning of trajectories (no trajectories lead ''to'' them), are called ''garden-of-Eden'' states<ref name=WuenscheBook>{{cite book|last1=Wuensche|first1=Andrew|title=Exploring discrete dynamics : [the DDLab manual : tools for researching cellular automata, random Boolean and multivalue neworks [sic] and beyond]|date=2011|publisher=Luniver Press|location=Frome, England|isbn=9781905986316|page=16|url=https://books.google.de/books?id=qsktzY_Vg8QC&pg=PA16|accessdate=12 January 2016}}</ref> and the dynamics of the network flow from these states towards attractors. The time it takes to reach an attractor is called ''transient time''.<ref name=DrosselRbn />
Since a Boolean network has only 2<sup>N</sup> possible states, a trajectory will sooner or later reach a previously visited state, and thus, since the dynamics are deterministic, the trajectory will fall into a steady state or cycle called an attractor (though in the broader field of dynamical systems a cycle is only an attractor if perturbations from it lead back to it). If the attractor has only a single state it is called a point attractor, and if the attractor consists of more than one state it is called a cycle attractor. The set of states that lead to an attractor is called the basin of the attractor. States which occur only at the beginning of trajectories (no trajectories lead to them), are called garden-of-Eden states and the dynamics of the network flow from these states towards attractors. The time it takes to reach an attractor is called transient time.
由于一个布尔网络只有2个可能的状态，一个轨迹迟早会达到一个先前访问过的状态，因此，由于动力学是确定性的，轨迹将陷入一个稳定的状态或周期，称为吸引子(尽管在更广泛的动力系统领域中，一个周期只是一个吸引子，如果从它的扰动导致它)。如果吸引子只有一个状态，称为点吸引子; 如果吸引子由多个状态组成，称为循环吸引子。引出吸引子的一组状态称为吸引子的盆。这种只发生在轨道开始时的状态(没有轨道指向它们)被称为伊甸园状态，网络的动力学从这些状态流向吸引子。到达吸引子所需的时间称为瞬态时间。
With growing computer power and increasing understanding of the seemingly simple model, different authors gave different estimates for the mean number and length of the attractors, here a brief summary of key publications.<ref name=GreilReview>{{cite journal|last1=Greil|first1=Florian|title=Boolean Networks as Modeling Framework|journal=Frontiers in Plant Science|date=2012|volume=3|pages=178|doi=10.3389/fpls.2012.00178|pmid=22912642|pmc=3419389}}<!--|accessdate=26 November 2014--></ref>
With growing computer power and increasing understanding of the seemingly simple model, different authors gave different estimates for the mean number and length of the attractors, here a brief summary of key publications.
随着计算机能力的提高和对这个看似简单的模型的理解，不同的作者对吸引子的平均数和长度给出了不同的估计，这里简要地总结了一些关键的发表。
{| class="wikitable sortable"
{| class="wikitable sortable"
{ | class = “ wikitable sortable”
|-
|-
|-
! Author
! Author
!作者
! Year
! Year
!年份
! Mean attractor length
! Mean attractor length
!平均吸引长度
! Mean attractor number
! Mean attractor number
!平均吸引子数
! comment
! comment
!评论
|-
|-
|-
| Kauffmann <ref name=KauffmanOriginal/>
| Kauffmann
考夫曼
| 1969
| 1969
| 1969
| <math>\langle A\rangle\sim \sqrt{N}</math>
| <math>\langle A\rangle\sim \sqrt{N}</math>
| < math > langle a rangle sim sqrt { n } </math >
| <math>\langle\nu\rangle\sim \sqrt{N}</math>
| <math>\langle\nu\rangle\sim \sqrt{N}</math>
| < math > langle nu rangle sim sqrt { n } </math >
|
|
|
|-
|-
|-
| Bastolla/ Parisi<ref name=BastollaParisi1998>{{cite journal|last1=Bastolla|first1=U.|last2=Parisi|first2=G.|title=The modular structure of Kauffman networks|journal=Physica D: Nonlinear Phenomena|date=May 1998|volume=115|issue=3–4|pages=219–233|doi=10.1016/S0167-2789(97)00242-X|arxiv = cond-mat/9708214 |bibcode = 1998PhyD..115..219B }}<!--|accessdate=26 November 2014--></ref>
| Bastolla/ Parisi
| Bastolla/ Parisi
| 1998
| 1998
| 1998
| faster than a power law, <math>\langle A\rangle > N^x \forall x</math>
| faster than a power law, <math>\langle A\rangle > N^x \forall x</math>
| 比幂定律快，< math > langle a rangle > n ^ x for all x </math >
| faster than a power law, <math>\langle\nu\rangle > N^x \forall x</math>
| faster than a power law, <math>\langle\nu\rangle > N^x \forall x</math>
| 比幂定律快，< math > langle nu rangle > n ^ x for all x </math >
| first numerical evidences
| first numerical evidences
第一个数字证据
|-
|-
|-
| Bilke/ Sjunnesson<ref>{{cite journal|last1=Bilke|first1=Sven|last2=Sjunnesson|first2=Fredrik|title=Stability of the Kauffman model|journal=Physical Review E|date=December 2001|volume=65|issue=1|pages=016129|doi=10.1103/PhysRevE.65.016129|pmid=11800758|arxiv = cond-mat/0107035 |bibcode = 2002PhRvE..65a6129B }}<!--|accessdate=26 November 2014--></ref>
| Bilke/ Sjunnesson
| Bilke/Sjunnesson
| 2002
| 2002
| 2002
|
|
|
| linear with system size, <math>\langle\nu\rangle \sim N</math>
| linear with system size, <math>\langle\nu\rangle \sim N</math>
| 与系统大小成线性关系
|
|
|
|-
|-
|-
| Socolar/Kauffman<ref>{{cite journal|last1=Socolar|first1=J.|last2=Kauffman|first2=S.|title=Scaling in Ordered and Critical Random Boolean Networks|journal=Physical Review Letters|date=February 2003|volume=90|issue=6|pages=068702|doi=10.1103/PhysRevLett.90.068702|pmid=12633339|bibcode=2003PhRvL..90f8702S|arxiv = cond-mat/0212306 }}</ref>
| Socolar/Kauffman
| Socolar/Kauffman
| 2003
| 2003
| 2003
|
|
|
| faster than linear, <math>\langle\nu\rangle > N^x</math> with <math>x > 1</math>
| faster than linear, <math>\langle\nu\rangle > N^x</math> with <math>x > 1</math>
快于线性，< math > langle nu rangle > n ^ x </math > with < math > x > 1 </math >
|
|
|
|-
|-
|-
| Samuelsson/Troein<ref>{{cite journal|last1=Samuelsson|first1=Björn|last2=Troein|first2=Carl|title=Superpolynomial Growth in the Number of Attractors in Kauffman Networks|journal=Physical Review Letters|date=March 2003|volume=90|issue=9|doi=10.1103/PhysRevLett.90.098701|bibcode=2003PhRvL..90i8701S|pmid=12689263|page=098701}}<!--|accessdate=26 November 2014--></ref>
| Samuelsson/Troein
| Samuelsson/Troein
| 2003
| 2003
| 2003
|
|
|
| superpolynomial growth, <math>\langle\nu\rangle > N^x \forall x</math>
| superpolynomial growth, <math>\langle\nu\rangle > N^x \forall x</math>
| 超多项式生长，< math > langle nu rangle > n ^ x for all x </math >
| mathematical proof
| mathematical proof
数学证明
|-
|-
|-
| Mihaljev/Drossel<ref>{{cite journal|last1=Mihaljev|first1=Tamara|last2=Drossel|first2=Barbara|title=Scaling in a general class of critical random Boolean networks|journal=Physical Review E|date=October 2006|volume=74|issue=4|pages=046101|doi=10.1103/PhysRevE.74.046101|pmid=17155127|arxiv = cond-mat/0606612 |bibcode = 2006PhRvE..74d6101M }}<!--|accessdate=26 November 2014--></ref>
| Mihaljev/Drossel
| Mihaljev/Drossel
| 2005
| 2005
| 2005
| faster than a power law, <math>\langle A\rangle > N^x \forall x</math>
| faster than a power law, <math>\langle A\rangle > N^x \forall x</math>
| 比幂定律快，< math > langle a rangle > n ^ x for all x </math >
| faster than a power law, <math>\langle\nu\rangle > N^x \forall x</math>
| faster than a power law, <math>\langle\nu\rangle > N^x \forall x</math>
| 比幂定律快，< math > langle nu rangle > n ^ x for all x </math >
|
|
|
|}
|}
|}
== Stability ==
In dynamical systems theory, the structure and length of the attractors of a network corresponds to the dynamic phase of the network. The '''stability of Boolean networks''' depends on the connections of their [[Node (graph theory)|node]]s. A Boolean network can exhibit stable, critical or [[chaotic behavior]]. This phenomenon is governed by a critical value of the average number of connections of nodes (<math>K_{c}</math>), and can be characterized by the [[Hamming distance]] as distance measure. In the unstable regime, the distance between two initially close states on average grows exponentially in time, while in the stable regime it decreases exponentially. In this, with "initially close states" one means that the Hamming distance is small compared with the number of nodes (<math>N</math>) in the network.
In dynamical systems theory, the structure and length of the attractors of a network corresponds to the dynamic phase of the network. The stability of Boolean networks depends on the connections of their nodes. A Boolean network can exhibit stable, critical or chaotic behavior. This phenomenon is governed by a critical value of the average number of connections of nodes (<math>K_{c}</math>), and can be characterized by the Hamming distance as distance measure. In the unstable regime, the distance between two initially close states on average grows exponentially in time, while in the stable regime it decreases exponentially. In this, with "initially close states" one means that the Hamming distance is small compared with the number of nodes (<math>N</math>) in the network.
在21动态系统理论，网络吸引子的结构和长度对应于网络的动态阶段。布尔网络的稳定性取决于节点之间的连接。布尔网络可以表现出稳定的、临界的或混沌的行为。这种现象是由平均节点连接数的临界值控制的(< math > k { c } </math >) ，可以用拥有属性汉明距离作为距离度量。在不稳定区域，两个初始闭合态之间的距离随时间呈指数增长，而在稳定区域则呈指数减小。在这里，“初始关闭状态”意味着与网络中的节点数相比，汉明距离是小的(< math > n </math >)。
For '''N-K-model'''<ref>{{cite journal |last=Kauffman |first=S. A. |date=1969 |title=Metabolic stability and epigenesis in randomly constructed genetic nets |journal=Journal of Theoretical Biology |volume=22 |issue=3 |pages=437–467 |doi=10.1016/0022-5193(69)90015-0|pmid=5803332 }}</ref> the network is stable if <math>K<K_{c}</math>, critical if <math>K=K_{c}</math>, and unstable if <math>K>K_{c}</math>.
For N-K-model the network is stable if <math>K<K_{c}</math>, critical if <math>K=K_{c}</math>, and unstable if <math>K>K_{c}</math>.
对于 n-k 模型，网络是稳定的，如果 < math > k < k { c } </math > ，临界的，如果 < math > k = k { c } </math > ，网络是不稳定的，如果 < math > k > k { c } </math > 。
The state of a given node <math> n_{i} </math> is updated according to its [[truth table]], whose outputs are randomly populated. <math> p_{i} </math> denotes the probability of assigning an off output to a given series of input signals.
The state of a given node <math> n_{i} </math> is updated according to its truth table, whose outputs are randomly populated. <math> p_{i} </math> denotes the probability of assigning an off output to a given series of input signals.
给定节点的状态 < math > n _ { i } </math > 根据其真值表更新，该真值表的输出是随机填充的。< math > p _ { i } </math > 表示将输出分配给给定系列输入信号的概率。
If <math> p_{i}=p=const. </math> for every node, the transition between the stable and chaotic range depends on <math> p </math>. According to [[Bernard Derrida]] and [[Yves Pomeau]]<ref>{{Cite journal|title = Random Networks of Automata: A Simple Annealed Approximation|url = http://stacks.iop.org/0295-5075/1/i=2/a=001?key=crossref.8cf81041d96c6144f3a397d9cf72cf09|journal = Europhysics Letters (EPL)|date = 1986-01-15|pages = 45–49|volume = 1|issue = 2|doi = 10.1209/0295-5075/1/2/001|first = B|last = Derrida|first2 = Y|last2 = Pomeau|bibcode = 1986EL......1...45D}}</ref>
If <math> p_{i}=p=const. </math> for every node, the transition between the stable and chaotic range depends on <math> p </math>. According to Bernard Derrida and Yves Pomeau
如果 < math > p _ { i } = p = const。对于每一个节点，稳定范围和混沌范围之间的过渡取决于。根据伯纳德 · 德里达和伊夫 · 奥博美的研究
, the critical value of the average number of connections is <math> K_{c}=1/[2p(1-p)] </math>.
, the critical value of the average number of connections is <math> K_{c}=1/[2p(1-p)] </math>.
，平均连接数的临界值是 < math > k _ { c } = 1/[2p (1-p)] </math > 。
If <math> K </math> is not constant, and there is no correlation between the in-degrees and out-degrees, the conditions of stability is determined by <math> \langle K^{in}\rangle </math><ref>{{Cite journal|title = Phase transitions and antichaos in generalized Kauffman networks|journal = Physics Letters A|date = 1995-01-02|pages = 331–334|volume = 196|issue = 5–6|doi = 10.1016/0375-9601(94)00876-Q|first = Ricard V.|last = Solé|first2 = Bartolo|last2 = Luque|bibcode = 1995PhLA..196..331S}}</ref><ref>{{Cite journal|title = Phase transitions in random networks: Simple analytic determination of critical points|journal = Physical Review E|date = 1997-01-01|pages = 257–260|volume = 55|issue = 1|doi = 10.1103/PhysRevE.55.257|first = Bartolo|last = Luque|first2 = Ricard V.|last2 = Solé|bibcode = 1997PhRvE..55..257L}}</ref><ref>{{Cite journal|title = From topology to dynamics in biochemical networks |journal = Chaos: An Interdisciplinary Journal of Nonlinear Science|date = 2001-12-01|issn = 1054-1500|pages = 809–815|volume = 11|issue = 4|doi = 10.1063/1.1414882|pmid = 12779520 |first = Jeffrey J.|last = Fox|first2 = Colin C.|last2 = Hill|bibcode = 2001Chaos..11..809F}}</ref> The network is stable if <math>\langle K^{in}\rangle <K_{c}</math>, critical if <math>\langle K^{in}\rangle =K_{c}</math>, and unstable if <math>\langle K^{in}\rangle >K_{c}</math>.
If <math> K </math> is not constant, and there is no correlation between the in-degrees and out-degrees, the conditions of stability is determined by <math> \langle K^{in}\rangle </math> The network is stable if <math>\langle K^{in}\rangle <K_{c}</math>, critical if <math>\langle K^{in}\rangle =K_{c}</math>, and unstable if <math>\langle K^{in}\rangle >K_{c}</math>.
如果 < math > k </math > 不是常数，并且 in-degrees 和 out-degrees 之间没有相关性，则稳定的条件由 < math > langle k ^ { in } rangle </math > 网络是稳定的，如果 < math > langle k ^ { in } rangle < k { c } </math > ，临界如果 < math > langle k ^ { in rangle = k { c } </math > ，而不稳定如果 math < langle k ^ { in rangle > k { c } </math > 。
The conditions of stability are the same in the case of networks with [[Scale-free network|scale-free]] [[network topology|topology]] where the in-and out-degree distribution is a power-law distribution: <math> P(K) \propto K^{-\gamma} </math>, and <math>\langle K^{in} \rangle=\langle K^{out} \rangle </math>, since every out-link from a node is an in-link to another.<ref>{{Cite journal|title = A natural class of robust networks|journal = Proceedings of the National Academy of Sciences|date = 2003-07-22|issn = 0027-8424|pmc = 166377|pmid = 12853565|pages = 8710–8714|volume = 100|issue = 15|doi = 10.1073/pnas.1536783100|first = Maximino|last = Aldana|first2 = Philippe|last2 = Cluzel|bibcode = 2003PNAS..100.8710A}}</ref>
The conditions of stability are the same in the case of networks with scale-free topology where the in-and out-degree distribution is a power-law distribution: <math> P(K) \propto K^{-\gamma} </math>, and <math>\langle K^{in} \rangle=\langle K^{out} \rangle </math>, since every out-link from a node is an in-link to another.
对于无标度拓扑的网络，稳定性的条件是相同的，其中输入和输出度分布是幂律分布: < math > p (k) propto k ^ {-gamma </math > ，和 < math > langle k ^ { in } rangle = langle k ^ { out } rangle </math > ，因为每个节点的输出链路都是一个输入链路到另一个节点。
Sensitivity shows the probability that the output of the Boolean function of a given node changes if its input changes. For random Boolean networks,
Sensitivity shows the probability that the output of the Boolean function of a given node changes if its input changes. For random Boolean networks,
灵敏度表示给定节点的布尔函数输出在其输入发生变化时发生变化的概率。对于随机布尔网络,
<math> q_{i}=2p_{i}(1-p_{i}) </math>. In the general case, stability of the network is governed by the largest [[Eigenvalues and eigenvectors|eigenvalue]] <math> \lambda_{Q} </math> of matrix <math> Q </math>, where <math> Q_{ij}=q_{i}A_{ij} </math>, and <math> A </math> is the [[adjacency matrix]] of the network.<ref>{{Cite journal|title = The effect of network topology on the stability of discrete state models of genetic control|journal = Proceedings of the National Academy of Sciences|date = 2009-05-19|issn = 0027-8424|pmc = 2688895|pmid = 19416903|pages = 8209–8214|volume = 106|issue = 20|doi = 10.1073/pnas.0900142106|first = Andrew|last = Pomerance|first2 = Edward|last2 = Ott|first3 = Michelle|last3 = Girvan|author3-link= Michelle Girvan |first4 = Wolfgang|last4 = Losert|arxiv = 0901.4362|bibcode = 2009PNAS..106.8209P}}</ref> The network is stable if <math>\lambda_{Q}<1</math>, critical if <math>\lambda_{Q}=1</math>, unstable if <math>\lambda_{Q}>1</math>.
<math> q_{i}=2p_{i}(1-p_{i}) </math>. In the general case, stability of the network is governed by the largest eigenvalue <math> \lambda_{Q} </math> of matrix <math> Q </math>, where <math> Q_{ij}=q_{i}A_{ij} </math>, and <math> A </math> is the adjacency matrix of the network. The network is stable if <math>\lambda_{Q}<1</math>, critical if <math>\lambda_{Q}=1</math>, unstable if <math>\lambda_{Q}>1</math>.
2p { i }(1-p { i }).在一般情况下，网络的稳定性是由矩阵的最大特征值 > lambda { q } </math > 决定的，其中 < math > q { ij } = q { i } a { ij } </math > ，< math > a </math > 是网络的邻接矩阵。如果 < math > lambda { q } < 1 </math > ，网络是稳定的; 如果 < math > lambda > lambda { q } = 1 </math > ，网络是不稳定的; 如果 < math > lambda { q } > 1 </math > 。
== Variations of the model ==
=== Other topologies ===
One theme is to study '''different underlying [[Graph topology|graph topologies]]'''.
One theme is to study different underlying graph topologies.
一个主题是研究不同的底层图拓扑。
* The homogeneous case simply refers to a grid which is simply the reduction to the famous [[Ising model]].
* [[Scale-free network|Scale-free]] topologies may be chosen for Boolean networks.<ref name=AldanaScaleFree>{{cite journal|last1=Aldana|first1=Maximino|title=Boolean dynamics of networks with scale-free topology|journal=Physica D: Nonlinear Phenomena|date=October 2003|volume=185|issue=1|pages=45–66|doi=10.1016/s0167-2789(03)00174-x|arxiv=cond-mat/0209571|bibcode=2003PhyD..185...45A}}</ref> One can distinguish the case where only in-degree distribution in power-law distributed,<ref name=ScaleFreeInDegree>{{cite journal|last1=Drossel|first1=Barbara|last2=Greil|first2=Florian|title=Critical Boolean networks with scale-free in-degree distribution|journal=Physical Review E|date=4 August 2009|volume=80|issue=2|pages=026102|doi=10.1103/PhysRevE.80.026102|pmid=19792195|arxiv=0901.0387|bibcode=2009PhRvE..80b6102D}}</ref> or only the out-degree-distribution or both.
=== Other updating schemes ===
Classical Boolean networks (sometimes called '''CRBN''', i.e. Classic Random Boolean Network) are synchronously updated. Motivated by the fact that genes don't usually change their state simultaneously,<ref name=HarveyBossomaier1997>{{cite book|last1=Harvey|first1=Imman|last2=Bossomaier|first2=Terry|editor1-last=Husbands|editor1-first=Phil|editor2-last=Harvey|editor2-first=Imman|title=Time out of joint: Attractors in asynchronous random Boolean networks|journal=Proceedings of the Fourth European Conference on Artificial Life (ECAL97)|date=1997|pages=67–75|url=https://books.google.de/books?id=ccp8fzlyorAC&pg=PA67|publisher=MIT Press|isbn=9780262581578}}</ref> different alternatives have been introduced. A common classification<ref name=Gershenson2004>{{cite book|last1=Gershenson|first1=Carlos|editor1-last=Standish|editor1-first=Russell K|editor2-last=Bedau|editor2-first=Mark A|title=Classification of Random Boolean Networks|journal=Proceedings of the Eighth International Conference on Artificial Life|date=2002|volume=8|pages=1–8|url=https://books.google.de/books?id=si_KlRbL1XoC&pg=PA1|accessdate=12 January 2016|arxiv=cs/0208001|series=Artificial Life|location=Cambridge, Massachusetts, USA|isbn=9780262692816|bibcode=2002cs........8001G}}</ref> is the following:
Classical Boolean networks (sometimes called CRBN, i.e. Classic Random Boolean Network) are synchronously updated. Motivated by the fact that genes don't usually change their state simultaneously, different alternatives have been introduced. A common classification is the following:
经典布尔网络(有时称为 CRBN，即。经典随机布尔网络)同步更新。由于基因通常不会同时改变它们的状态，因此引入了不同的选择。常见的分类如下:
* '''Deterministic asynchronous updated Boolean networks''' ('''DRBN'''s) are not synchronously updated but a deterministic solution still exists. A node ''i'' will be updated when ''t ≡ Q<sub>i</sub> (''mod'' P<sub>i</sub>)'' where ''t'' is the time step.<ref name=GershensonDrbn>{{cite book|last1=Gershenson|first1=Carlos|last2=Broekaert|first2=Jan|last3=Aerts|first3=Diederik|title=Contextual Random Boolean Networks|journal=Advances in Artificial Life|date=14 September 2003|volume=2801|pages=615–624|doi=10.1007/978-3-540-39432-7_66|arxiv=nlin/0303021|series=Lecture Notes in Computer Science|trans-title=7th European Conference, ECAL 2003|location=Dortmund, Germany|isbn=978-3-540-39432-7}}</ref>
* The most general case is full stochastic updating ('''GARBN''', general asynchronous random boolean networks). Here, one (or more) node(s) are selected at each computational step to be updated.
* The '''Partially-Observed Boolean Dynamical System (POBDS)'''<ref>{{Cite journal|last=Imani|first=M.|last2=Braga-Neto|first2=U. M.|date=2017-01-01|title=Maximum-Likelihood Adaptive Filter for Partially Observed Boolean Dynamical Systems|journal=IEEE Transactions on Signal Processing|volume=65|issue=2|pages=359–371|doi=10.1109/TSP.2016.2614798|issn=1053-587X|arxiv=1702.07269|bibcode=2017ITSP...65..359I}}</ref><ref>{{Cite book|pages=972–976|last=Imani|first=M.|last2=Braga-Neto|first2=U. M.|language=en-US|doi=10.1109/GlobalSIP.2015.7418342|chapter=Optimal state estimation for boolean dynamical systems using a boolean Kalman smoother|year=2015|isbn=978-1-4799-7591-4|title=2015 IEEE Global Conference on Signal and Information Processing (GlobalSIP)}}</ref><ref>{{Cite book|last=Imani|first=M.|last2=Braga-Neto|first2=U. M.|language=en-US|doi=10.1109/ACC.2016.7524920|title=2016 American Control Conference (ACC)|pages=227–232|year=2016|isbn=978-1-4673-8682-1}}</ref><ref>{{Cite book|last=Imani|first=M.|last2=Braga-Neto|first2=U.|date=2016-12-01|title=Point-based value iteration for partially-observed Boolean dynamical systems with finite observation space|journal=2016 IEEE 55th Conference on Decision and Control (CDC)|pages=4208–4213|doi=10.1109/CDC.2016.7798908|isbn=978-1-5090-1837-6}}</ref> signal model differs from all previous deterministic and stochastic Boolean network models by removing the assumption of direct observability of the Boolean state vector and allowing uncertainty in the observation process, addressing the scenario encountered in practice.
== Application of Boolean Networks ==
=== Classification ===
* The '''Scalable Optimal Bayesian Classification'''<ref name=":bmdl">Hajiramezanali, E. & Imani, M. & Braga-Neto, U. & Qian, X. & Dougherty, E.. Scalable Optimal Bayesian Classification of Single-Cell Trajectories under Regulatory Model Uncertainty. ACMBCB'18. https://dl.acm.org/citation.cfm?id=3233689</ref> developed an optimal classification of trajectories accounting for potential model uncertainty and also proposed a particle-based trajectory classification that is highly scalable for large networks with much lower complexity than the optimal solution.
== See also ==
* [[NK model]] <!-- to be merged here -->
== References ==
{{Reflist|30em}}
* Dubrova, E., Teslenko, M., Martinelli, A., (2005). *[http://dl.acm.org/citation.cfm?id=1129670 Kauffman Networks: Analysis and Applications], in "Proceedings of International Conference on Computer-Aided Design", pages 479-484. <!-- to be cited or not -->
== External links ==
*[http://www.ddlab.com/ DDLab]
*[https://web.archive.org/web/20150925155852/http://adam.plantsimlab.org/ Analysis of Dynamic Algebraic Models (ADAM) v1.1]
*[https://sourceforge.net/projects/rbn/ RBNLab]
*[https://web.archive.org/web/20160304053726/http://homepages.stca.herts.ac.uk/~erdqmjs/NetBuilder%20home/NetBuilder/index.html NetBuilder Boolean Networks Simulator]
*[https://web.archive.org/web/20090214202740/http://www.rustyspigot.com/software/BooleanNetwork/?url=%2Fsoftware%2FBooleanNetwork Open Source Boolean Network Simulator]
*[http://www.beteredingen.nl/?e=179&w=neuroscience JavaScript Kauffman Network]
*[https://web.archive.org/web/20110724090835/http://personal.systemsbiology.net/ilya/PBN/PBN.htm Probabilistic Boolean Networks (PBN)]
*[https://web.archive.org/web/20120813214739/http://web.it.kth.se/~dubrova/bns.html A SAT-based tool for computing attractors in Boolean Networks]
*[http://www.colomoto.org/ CoLoMoTo (Consortium for Logical Models and Tools)]
{{Stochastic processes}}
[[Category:Bioinformatics]]
Category:Bioinformatics
类别: 生物信息学
[[Category:Logic]]
Category:Logic
分类: 逻辑
[[Category:Spin models]]
Category:Spin models
分类: 旋转模型
[[Category:Exactly solvable models]]
Category:Exactly solvable models
类别: 完全可解模型
[[Category:Statistical mechanics]]
Category:Statistical mechanics
类别: 统计力学
<noinclude>
<small>This page was moved from [[wikipedia:en:Boolean network]]. Its edit history can be viewed at [[布尔网络/edithistory]]</small></noinclude>
[[Category:待整理页面]]