布尔网络的语义与监管值约束相一致
1Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles, Gif-sur-Yvette, 91190, France.
Journal of theoretical biology
|January 26, 2026
概括
我们为布尔网络 (BNs) 引入值语义,通过排除虚假行为来准确地建模生物系统. 这种新方法完善了基因和信号网络的动态分析,提供了更严格,更现实的抽象.
科学领域:
- 计算生物学 计算生物学
- 系统生物学 系统生物学
- 网络动态 网络动态
背景情况:
- 布尔网络 (BNs) 用于生物系统的定性建模,如基因和信号网络.
- 现有的BN语义 (同步,异步,最宽容) 在捕捉真实生物动态或引入虚假行为方面存在局限性.
- 定量模型提供了更高的准确性,但在计算上是复杂的.
研究的目的:
- 为布尔网络定义和运行一个新的语义,即"值语义".
- 排除虚假的行为,同时保持对生物过程的现实抽象.
- 澄清现有和新BN语义之间的关系,并分析计算复杂性.
主要方法:
- 基于值网络的定义值语义,这是多值网络的一个子类.
- 澄清了值语义,线性语义和最宽容语义的受约束版本之间的关系.
- 运算化值语义使用符号约束,可由满足性解决器验证,定义轨迹级运算语义.
主要成果:
- 门语义排除了虚假的行为,并提供比线性语义和受约束的最宽容的语义更严格的抽象.
- 操作化的值语义被证明与定义的值语义相当.
- 新语义的计算复杂性被证明是PSPACE,与经典的BN语义相匹配.
结论:
- 与现有的BN语义相比,值语义为建模生物系统动态提供了更准确,更高效的计算方法.
- 这种语义提供了由未知的单一值调节的生物过程的强有力的定性抽象.
- 进一步的研究方向包括探索值语义的未来工作的猜测.
更多相关视频
08:17A Semantic Priming Event-related Potential ERP Task to Study Lexico-semantic and Visuo-semantic Processing in Autism Spectrum Disorder
Published on: April 12, 2018
11.1K
05:38Interaction between Phonological and Semantic Processes in Visual Word Recognition using Electrophysiology
Published on: June 29, 2021
2.8K
相关概念视频
02:02Cis-regulatory Sequences
11.7K
Cis-regulatory sequences are short fragments of non-coding DNA that are present on the same chromosomes as the genes that they regulate. These fragments serve as binding sites for transcriptional regulators, proteins that are responsible for controlling gene transcription and differential gene expression across cell types in eukaryotes. Cis-regulatory sequences can be close to the gene of interest or thousands of bases away in the DNA sequence; however, those sequences that are further away are...
11.7K
02:02Cis-regulatory Sequences
4.1K
4.1K
01:26Constraints and Statical Determinacy
996
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
996
02:26Protein Networks
4.5K
An organism can have thousands of different proteins, and these proteins must cooperate to ensure the health of an organism. Proteins bind to other proteins and form complexes to carry out their functions. Many proteins interact with multiple other proteins creating a complex network of protein interactions.
These interactions can be represented through maps depicting protein-protein interaction networks, represented as nodes and edges. Nodes are circles that are representative of a protein,...
These interactions can be represented through maps depicting protein-protein interaction networks, represented as nodes and edges. Nodes are circles that are representative of a protein,...
4.5K
02:26Protein Networks
2.8K
2.8K
02:18Network Covalent Solids
16.1K
Network covalent solids contain a three-dimensional network of covalently bonded atoms as found in the crystal structures of nonmetals like diamond, graphite, silicon, and some covalent compounds, such as silicon dioxide (sand) and silicon carbide (carborundum, the abrasive on sandpaper). Many minerals have networks of covalent bonds.
To break or to melt a covalent network solid, covalent bonds must be broken. Because covalent bonds are relatively strong, covalent network solids are typically...
To break or to melt a covalent network solid, covalent bonds must be broken. Because covalent bonds are relatively strong, covalent network solids are typically...
16.1K