arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1204.1995q-bio.MNcs.CEcs.LOmath.LO
收藏

基因调控过程的属性探索

Attribute Exploration of Gene Regulatory Processes

Johannes Wollbold

摘要:

本论文旨在对离散过程进行逻辑分析,特别是对由基因调控网络产生的离散过程进行逻辑分析。时态逻辑中的状态、变迁和算子都用形式概念分析的语言来表示。通过属性探索算法,专家或计算机程序能够验证最小且完整的含义集合,例如通过将从文献导出的预测与观察到的数据进行比较。在这里,这些规则表示基因调控网络内的时间依赖性,包括基因的共表达、状态的可达性、不变量或可能的因果关系。这种新方法被嵌入到泛余代数理论中,特别是自动机,Kripke结构和标记转换系统。与描述逻辑的时间表达性进行了比较。主要的理论成果关注的背景知识集成到连续的探索所定义的数据结构(正式的上下文)。应用该方法的布尔网络从文献建模芽孢杆菌的枯草芽孢杆菌进行检查。最后,我们开发了一个异步布尔网络的细胞外基质的形成和破坏的背景下,类风湿性关节炎。

英文摘要:

This thesis aims at the logical analysis of discrete processes, in particular of such generated by gene regulatory networks. States, transitions and operators from temporal logics are expressed in the language of Formal Concept Analysis. By the attribute exploration algorithm, an expert or a computer program is enabled to validate a minimal and complete set of implications, e.g. by comparison of predictions derived from literature with observed data. Here, these rules represent temporal dependencies within gene regulatory networks including coexpression of genes, reachability of states, invariants or possible causal relationships. This new approach is embedded into the theory of universal coalgebras, particularly automata, Kripke structures and Labelled Transition Systems. A comparison with the temporal expressivity of Description Logics is made. The main theoretical results concern the integration of background knowledge into the successive exploration of the defined data structures (formal contexts). Applying the method a Boolean network from literature modelling sporulation of Bacillus subtilis is examined. Finally, we developed an asynchronous Boolean network for extracellular matrix formation and destruction in the context of rheumatoid arthritis.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑