检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:岳园[1]
机构地区:[1]西北民族大学数学与计算机科学学院,甘肃兰州730030
出 处:《陇东学院学报》2015年第3期8-12,共5页Journal of Longdong University
基 金:2013年西北民族大学中央高校基本科研业务费专项资金项目(31920130008);西北民族大学科研创新团队计划
摘 要:Kauffman网络是基因调控网络的抽象模型,其统计特性与生物细胞的演化特征相匹配,所以用来模拟和分析生物系统的演化过程以及特定行为机制。由于Kauffman网络状态空间中吸引子对应于不同类型的细胞,其吸引子特性在一定程度上能够反映相应的生物系统功能,所以本文通过研究Kauffman网络的拓扑结构,结合SAT方法,从而确定了网络中吸引子的数量和长度,提高了在Kauffman网络中寻找吸引子算法的时空效率。A Kauffman network is an abstract model of generic regulatory networks and the statistical characteristics of the model match the evolution of biological cells. So, a Kauffman network is used to simulate and analyze the evolution of biological systems as well as specific behavioral mechanisms. As attractors corresponding to different types of cells in the state space of a Kauffman network, characteristics of attractors reflect the corresponding function of biological systems to some extent. In this paper, the number and length of attractors is determined by studying the topology of the network with SAT methods and time and space efficiency of finding attractors is improved in Kauffman networks.
关 键 词:Kauffman网络 基因调控网络 布尔网络 吸引子 SAT CNF
分 类 号:TP391[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.4