×
彼得·克劳福德-卡尔;布里·康明斯;汤姆·盖迪恩

单调布尔函数的联合可实现性。 （英语） Zbl 07540223号

西奥。计算。科学。 922, 447-474 (2022)。
单调布尔函数（MBF）的研究历史悠久。我们探索了MBF和基因调控的常微分方程（ODE）模型之间的联系，特别是一个关于实现MBF作为描述ODE状态转移图的函数。我们提出了一个问题联合可实现性通过在一类ODE的参数化动力学和一组MBF之间建立连接，来确定有限的MBF集合。我们提出了一个问题，即哪些MBF集合可以由属于嵌套类的ODE实现，这些嵌套类是通过增加其右侧的代数复杂性来定义的。随着我们逐步限制常微分方程的代数形式，我们通过理论和显式示例的组合表明，联合可实现函数类严格减少。我们的结果影响了监管网络动力学以及MBF经典领域的研究。最后，我们给出了一系列潜在的扩展和猜想。

引用于4文件

MSC公司：

92立方厘米 系统生物学、网络
06E30年 布尔函数
34立方厘米 涉及常微分方程的单调系统

关键词：

单调布尔函数;基因调控网络;交换系统

软件：

DSGRN公司;J工具
PDF格式BibTeX公司 XML格式引用
\textit{P.Crawford-Kahrl}等人，Theor。计算。科学。922、447--474（2022；Zbl 07540223）
全文： 内政部 arXiv公司

参考文献：

[1] Church，R.，《某些自由分配结构的数值分析》，《数学公爵》。J.，6，3，732-734（1940年）
[2] Paull，M.，用单阈值器件可实现的布尔函数，Proc。无线电工程师学会，48，7，1335-1337（1960）
[3] Elgot，C.C.，《单阈值器官可实现的真函数》（第二届开关电路理论与逻辑设计年度研讨会（SWCT 1961）（1961），IEEE），225-245
[4] Muroga，S。；Tsuboi，T。；Baugh，C.R.，《八变量阈值函数的枚举》，IEEE Trans。计算。，100, 9, 818-825 (1970) ·Zbl 0205.17805号
[5] 温德尔，R.O.，阈值逻辑（1962），普林斯顿大学博士论文·Zbl 0207.02101号
[6] Chow，C.，用单阈值器件可实现的布尔函数，Proc。无线电工程学院，49，1，370（1961）
[7] Korshunov，A.，单调布尔函数，Russ.Math。调查。，58, 5, 929-1001 (2003) ·Zbl 1072.06008号
[8] 蒂夫里，D。；Thomas，R.，《生物调控网络的动力学行为-ii》。牛λ噬菌体的免疫控制。数学。生物学，57，2，277-297（1995）·Zbl 0821.92010号
[9] 玻璃，L。；Kauffman，S.，合作成分，空间定位和振荡细胞动力学，J.Theor。生物学，34，2，219-237（1972）
[10] 玻璃，L。；考夫曼，S.，《连续非线性生化控制网络的逻辑分析》，J.Theor。生物学，39，1，103-129（1973）
[11] Faure，A。；Naldi，A。；Chaouiya，C。；Thieffry，D.，控制哺乳动物细胞周期的通用布尔模型的动态分析，生物信息学，22，14，e124-e131（2006）
[12] Edwards，R.，《具有硬开关的神经和基因网络中的混沌》，Differ。埃克。动态。系统。，9, 187-220 (2001) ·兹比尔1231.37051
[13] Bernot，G。；卡塞兹，F。；Comet，J。；Delaplace，F。；穆勒，C。；Roux，O.，《生物调控网络的语义》，电子。注释Theor。计算。科学。，1803-14（2007年）
[14] Snoussi，H.，分段线性微分方程的定性动力学：离散映射方法，Dyn。刺。系统。，4, 3-4, 565-583 (1989)
[15] 康明斯，B。；Gedeon，T。；Harker，S。；Mischaikow，K。；Mok，K.，开关系统参数空间的组合表示，SIAM J.Appl。动态。系统。，15, 4, 2176-2212 (2016) ·Zbl 1360.37180号
[16] 康明斯，B。；Gedeon，T。；Harker，S。；Mischaikow，K.，监管网络生成的动态签名数据库（dsgrn），（Koeppl，J.F.H.，《系统生物学中的计算方法-2017》（2017），施普林格出版社），300-308，第19章
[17] Gedeon，T。；康明斯，B。；Harker，S。；Mischaikow，K.，《识别网络中的鲁棒滞后》，《公共科学图书馆·计算》。生物学，14，4，文章e1006121 pp.（2018）
[18] Gedeon，T.，监管网络动态的多参数探索，生物系统，190，第104113条，pp.（2020）
[19] 阿尔伯特·R。；柯林斯，J。；Glass，L.，《焦点问题导论：遗传网络的定量方法》，混沌，23，2，文章025001，pp.（2013）·Zbl 1331.92049号
[20] Heatha，A。；Kavria，L.，系统生物学中的计算挑战，计算。科学。第3版，第1-17页（2009年）·Zbl 1302.92042号
[21] 马查多·D·。；科斯塔·R。；罗查，M。；费雷拉，E。；潮汐，B。；Rocha，I.，《系统生物学中的建模形式主义》，AMB Express，1，1，45（2011）
[22] 卡尔巴赫，G。；Shamir，R.，基因调控网络的建模与分析，《自然》，9770-780（2008）
[23] Emmert-Streib，F。；Dehmer，M。；Heibe-Kains，B.，《基因调控网络及其应用：从网络角度理解生物和医学问题》，Front。细胞发育生物学。，2, 38, 1-7 (2014)
[24] Crama，Y。；Hammer，P.，《布尔函数：理论、算法和应用》（2011），剑桥大学出版社·Zbl 1237.06001号
[25] Thomas，R.，遗传控制电路的布尔形式化，J.Theor。《生物学》，42，563-585（1973）
[26] 蒂夫里，D。；Romero，D.，《生物调控网络的模块化》，生物系统，50，49-59（1999）
[27] 克劳福德-卡尔，P。；康明斯，B。；Gedeon，T.，全球网络动力学两种组合模型的比较，SIAM J.Appl。动态。系统。，18, 1, 418-457 (2019) ·Zbl 1412.37079号
[28] Xin，Y。；康明斯，B。；Gedeon，T.，上皮-间充质转化网络的多重稳定性，BMC生物信息。，21, 71 (2020)
[29] 美国贝利德。；Simeone，B.，正则集覆盖和阈值合成的多项式时间算法，离散应用。数学。，12, 1, 57-69 (1985) ·Zbl 0619.05020号
[30] Rao，Y。；Zhang，X.，线性可分布尔函数的表征：图形理论视角，IEEE Trans。神经网络。学习。系统。，1542-1549年7月28日（2016年）
[31] Gruzling，N.，N维超立方体顶点的线性可分性（2006），北不列颠哥伦比亚大学博士论文
[32] 潘托维奇，J。；Ghilezan，S.，关于不一定是二进制输入的S阈值函数的数量，（2014年IEEE第44届多值逻辑国际研讨会（2014年），IEEE），13-18
[33] Zunic，J.，《关于编码和枚举阈值函数》，IEEE Trans。神经网络。，15, 2, 261-267 (2004)
[34] 王，C。；Williams，A.，布尔函数的阈值顺序，离散应用程序。数学。，31, 1, 51-69 (1991) ·Zbl 0728.94015号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。