Computer Science ›› 2018, Vol. 45 ›› Issue (10): 313-319.doi: 10.11896/j.issn.1002-137X.2018.10.058
• Interdiscipline & Frontier • Previous Articles
LIU Shuang, WEI Ou, GUO Zong-hao
CLC Number:
[1]ARENDT D.The regulatory genome-gene regulatory networks in development and evolution[J].Science,2006,443(7111):508-509. [2]SHMULEVICH I,DOUGHERTY E R,ZHANG W.From Boolean to probabilistic Boolean networks as models of genetic regulatory networks[J].Proceedings of the IEEE,2002,90(11):1778-1792. [3]SHMULEVICH I,DOUGHERTY E R,KIM S,et al.Probabilistic Boolean Networks: a rule-based uncertainty model for gene regulatory networks[J].Bioinformatics,2002,18(2):261-274. [4]LI P,ZHANG C,PERKINS E J,et al.Comparison of probabilistic Boolean network and dynamic Bayesian network approaches for inferring gene regulatory networks[J].Bmc Bioinformatics,2007,8(Suppl 7):1-8. [5]FARYABI B,VAHEDI G,CHAMBERLAND J F,et al.Intervention in Context-Sensitive Probabilistic Boolean Networks Revisited[J].Eurasip Journal on Bioinformatics & Systems Biology,2009,2009(1):1-13. [6]PAL R,DATTA A,DOUGHERTY E R.Optimal infinite-horizon control for probabilistic Boolean networks[J].IEEE Tran-sactions on Signal Processing,2006,54(6):2375-2387. [7]ABUL O,ALHAJJ R,POLAT F.Markov Decision Processes Based Optimal Control Policies for Probabilistic Boolean Networks[C]∥IEEE Symposium on Bioinformatics and Bioengineering.IEEE Computer Society,2004:337. [8]FOREJT V,KWIATKOWSKA M,NORMAN G,et al.Auto- mated Verification Techniques for Probabilistic Systems[OL].http://www.veriware.org/papers/sfm11.pdf. [9]KUMAR M,HUSIAN M,UPRETI N,et al.Genetic algorithm: Review and application[J].International Journal of Information Technology and Knowledge Management,2010,2(2):451-454. [10]DATTA A,CHOUDHARY A,BITTNER M L,et al.External Control in Markovian Genetic Regulatory Networks[J].Machine Learning,2003,52(1/2):169-191 . [11]KWIATKOWSKA M,NORMAN G,PARKER D.Stochastic Model Checking[C]∥International Conference on Formal Methods for Performance Evaluation.Springer-Verlag,2007:220-270. [12] KWIATKOWSKA M,NORMAN G,PARKER D.PRISM: Probabilistic Symbolic Model Checker[C]∥International Conference on Computer PERFORMANCE Evaluation,Modelling Techniques and TOOLS.Springer-Verlag,2002:200-204. [13]BITTNER M,MELTZER P,CHEN Y,et al.Molecular classification of cutaneous malignant melanoma by gene expression profiling[J].Nature,2000,406(6795):536-540. [14]KOBAYASHI K,HIRAISHI K.Verification and optimal con- trol of context-sensitive probabilistic Boolean networks using model checking and polynomialoptimization[J].Scientific World Journal,2013,2014(3):968341. [15]PARKER D A.Implementation of symbolic model checking for probabilistic systems[D].Birmingham: University of Birmingham,2003. [16]SHMULEVICH I,DOUGHERTY E R,ZHANG W.Gene perturbation and intervention in probabilistic Boolean networks[J].Bioinformatics,2002,18(10):1319-1331. [17]YANG C,WAIKI C,NAMKIU T,et al.On finite-horizon control of genetic regulatory networks with multiple hard-constraints[J].Bmc Systems Biology,2010,4(S2):1-7. [18]CHING W K,LEUNG H Y,ZHANG S,et al.A genetic algorithm for optimal control of probabilistic Boolean networks[C]∥Optimization and Systems Biology-The Second International Symposium.2008:29-35. [19]GUO Z H,WEI O.Optimal Control of Probabilistic Boolean Networks Using Model Checking[J].Computer Science,2017,44(5):193-198.(in Chinese). 郭宗豪,魏欧.使用模型检测解决概率布尔网络优化控制[J].计算机科学,2017,44(5):193-198. |
[1] | YANG Hao-xiong, GAO Jing, SHAO En-lu. Vehicle Routing Problem with Time Window of Takeaway Food ConsideringOne-order-multi-product Order Delivery [J]. Computer Science, 2022, 49(6A): 191-198. |
[2] | SHEN Biao, SHEN Li-wei, LI Yi. Dynamic Task Scheduling Method for Space Crowdsourcing [J]. Computer Science, 2022, 49(2): 231-240. |
[3] | WU Shan-jie, WANG Xin. Prediction of Tectonic Coal Thickness Based on AGA-DBSCAN Optimized RBF Neural Networks [J]. Computer Science, 2021, 48(7): 308-315. |
[4] | WANG Jin-heng, SHAN Zhi-long, TAN Han-song, WANG Yu-lin. Network Security Situation Assessment Based on Genetic Optimized PNN Neural Network [J]. Computer Science, 2021, 48(6): 338-342. |
[5] | ZHENG Zeng-qian, WANG Kun, ZHAO Tao, JIANG Wei, MENG Li-min. Load Balancing Mechanism for Bandwidth and Time-delay Constrained Streaming Media Server Cluster [J]. Computer Science, 2021, 48(6): 261-267. |
[6] | ZUO Jian-kai, WU Jie-hong, CHEN Jia-tong, LIU Ze-yuan, LI Zhong-zhi. Study on Heterogeneous UAV Formation Defense and Evaluation Strategy [J]. Computer Science, 2021, 48(2): 55-63. |
[7] | YAO Ze-wei, LIU Jia-wen, HU Jun-qin, CHEN Xing. PSO-GA Based Approach to Multi-edge Load Balancing [J]. Computer Science, 2021, 48(11A): 456-463. |
[8] | GAO Shuai, XIA Liang-bin, SHENG Liang, DU Hong-liang, YUAN Yuan, HAN He-tong. Spatial Cylinder Fitting Based on Projection Roundness and Genetic Algorithm [J]. Computer Science, 2021, 48(11A): 166-169. |
[9] | GAO Ji-xu, WANG Jun. Multi-edge Collaborative Computing Unloading Scheme Based on Genetic Algorithm [J]. Computer Science, 2021, 48(1): 72-80. |
[10] | JI Shun-hui, ZHANG Peng-cheng. Test Case Generation Approach for Data Flow Based on Dominance Relations [J]. Computer Science, 2020, 47(9): 40-46. |
[11] | DONG Ming-gang, HUANG Yu-yang, JING Chao. K-Nearest Neighbor Classification Training Set Optimization Method Based on Genetic Instance and Feature Selection [J]. Computer Science, 2020, 47(8): 178-184. |
[12] | LIANG Zheng-you, HE Jing-lin, SUN Yu. Three-dimensional Convolutional Neural Network Evolution Method for Facial Micro-expression Auto-recognition [J]. Computer Science, 2020, 47(8): 227-232. |
[13] | YANG De-cheng, LI Feng-qi, WANG Yi, WANG Sheng-fa, YIN Hui-shu. Intelligent 3D Printing Path Planning Algorithm [J]. Computer Science, 2020, 47(8): 267-271. |
[14] | FENG Bing-chao and WU Jing-li. Partheno-genetic Algorithm for Solving Static Rebalance Problem of Bicycle Sharing System [J]. Computer Science, 2020, 47(6A): 114-118. |
[15] | YAO Min. Multi-population Genetic Algorithm for Multi-skill Resource-constrained ProJect Scheduling Problem [J]. Computer Science, 2020, 47(6A): 124-129. |
|