|
Article information
2023 , Volume 28, ¹ 1, p.48-60
Oparin G.A., Bogdanova V.G., Pashinin A.A.
The Boolean constraint method application for qualitative analysis of the dynamical properties of singular Boolean networks
Qualitative study problems of trajectories behaviour for singular Boolean networks functioning on a finite time interval are solved using the method of Boolean constraints. In the form of Boolean constraints, models are built for local dynamical properties, the periodicity property of trajectories, and the property of the reachability of the target state set from the initial state set. Depending on the property, the verification of Boolean models is reduced to the Boolean satisfiability problem or the problem of verifying the truth of a quantified Boolean formula. Several examples demonstrate the technology of qualitative analysis of dynamic properties in a microservice heterogeneous computing environment. The applied software modules for constructing a Boolean model of the dynamical property of singular Boolean networks and verifying the feasibility of the model are implemented in the form of computational microservices. The use of this approach provides independence, reproducibility, autonomy, and scalability of modules. The developed microservices are integrated into the applied microservices package. This package is intended for the qualitative study of binary dynamic systems. The rights to launch microservices are delegated to the managing agents of this package installed in the nodes of the distributed environment. The developed automation tools allow a specialist in automaton dynamics to formulate the problem statement on a computational model of the subject area in meaningful terms
[link to elibrary.ru]
Keywords: singular Boolean networks, qualitative analysis, Boolean constraints, service-oriented solver
doi: 10.25743/ICT.2023.28.1.006
Author(s):
Oparin Gennady Anatoljevich
Dr. , Professor
Position: Deputy Director on science
Office: Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences
Address: 664033, Russia, Irkutsk, Lermontova st., 134
Phone Office: (3952) 45-30-61
E-mail: prn51@icc.ru
SPIN-code: 4544-2804Bogdanova Vera Gennadevna
PhD. , Associate Professor
Position: Senior Research Scientist
Office: Matrosov Institute for System Dynamics and Control Theory of SB RAS
Address: 664033, Russia, Irkutsk, Lermontova st., 134
Phone Office: (3952) 45-30-93
E-mail: bvg@icc.ru
SPIN-code: 9123-3563Pashinin Anton Alexeevich
Position: Junior Research Scientist
Office: Matrosov Institute for System Dynamics and Control Theory of SB RAS
Address: 664033, Russia, Irkutsk, Lermontova st., 134
Phone Office: (3952) 453017
E-mail: apcrol@gmail.com
SPIN-code: 9325-0914 References:
1. Boyarintsev Yu. Image processing and pattern recognition: fundamentals and techniques. Chichester: Wiley; 1992: 192.
2. Gear C.W., Petzold L.R. ODE methods for the solution of differential/algebraic systems. SIAM Journal on Numerical Analysis. 1984; 21(4):716-728. DOI: 10.1137/0721048
3. Marz R., Tischendorf C. Recent results in solving index-2 differential algebraic equations in circuit simulation. SIAM Journal on Numerical Analysis. 1997; 18(1):139-159. DOI: 10.1137/S1064827595287250
4. Pattison P., Wasserman S., Robins G., Kanfer A. Statistical evaluation of algebraic constraints for social networks. Journal of Mathematical Psychology. 2000; 44(4):536-568. DOI: 10.1006/jmps.1999.1261
5. Feng G., Yao J., Cui P. Singular Boolean networks: semi-tensor product approach. Science China Information Sciences. 2013; 56(11):1-14. DOI: 10.1007/s11432-012-4666-8
6. Meng M., Feng G. Topological structure and the disturbance decoupling problem of singular Boolean networks. IET Control Theory and Applications. 2014; 8(13):1247-1255. DOI: 10.1049/iet-cta.2013.1077
7. Meng M., Feng G. Optimal control problem of singular Boolean control networks.International Journal of Control Automation and Systems. 2015; 13(2):266-273. DOI: 10.1007/s12555-014-0032-5
8. Meng M., Li B., Feng G. Controllability and observability of singular Boolean control networks. Circuits, Systems, and Signal Processing. 2015; (34):1233-1248. DOI: 10.1007/s00034-014-9900-8
9. Liu Y., Li B., Chen H., Cao J. Function perturbations on singular Boolean networks. Automatica. 2017; (84):36-42. DOI: 10.1016/j.automatica.2017.06.035
10. Liu Y., Li D., Lou J. Disturbance decoupling of singular Boolean networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB). 2016; 13(6):1194-1200. DOI: 10.1109/TCBB.2015.2509969
11. Wang S., Feng G., Zhao J., Xia J. Controllability decomposition of dynamic-algebraic Boolean control networks.International Journal of Control. 2018; 93(7):1684-1695. DOI: 10.1080/00207179.2018.1527040
12. Yang X., Chen B., Li Y., Alsaadi F. Stabilization of dynamic-algebraic Boolean control networks via state feedback control. Journal of the Franklin Institute. 2018; 355(13):5520-5533. DOI: 10.1016/j.jfranklin.2018.05.049
13. Qi H., Qiao Y. Dynamics and control of singular Boolean networks. Asian Journal of Control. 2019; 21(6):2604-2613. DOI: 10.1002/asjc.2198
14. Liu X., Zhu J., Yan Y. An algorithm of computing the admissible initial state set of a general singular Boolean network. Proceedings of the 16th International Conference on Control & Automation (ICCA). IEEE; 2020: 809-812. DOI: 10.1109/ICCA51439.2020.9264498
15. Cheng G., Qi H., Li Z. Analysis and control of Boolean networks: a semi-tensor product approach. London: Springer; 2011: 488.
16. Hochma G., Margaliot M., Fornasini E., Valcher M. Symbolic dynamics of Boolean networks. Automatica. 2013; 49(8):2525-2530. DOI: 10.1016/j.automatica.2013.05.004
17. Oparin G., Bogdanova V., Pashinin A. Qualitative analysis of autonomous binary dynamic systems. MESA. 2019; 10(3):407-419.
18. Gong W., Zhou X. A survey of SAT solver. AIP Conference Proceedings. 2017; 1836(1):020059-1-020059-10. DOI: 10.1063/1.4981999
19. Marin P., Narizzano M., Pulina L., Tacchella A., Giunchigilia E. Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows. Fundamenta Informaticae. 2016; (149):407-419.
20. Lonsing F., Biere A. DepQBF: a dependency-aware QBF solver. Journal of Satisfiability, Boolean Modeling and Computation. 2010; (9):71-76.
21. DepQBF. Available at: https://lonsing.github.io/depqbf DepQBF. Available at: (accessed March 25, 2022).
22. Bogdanova V., Gorsky S. Multiagent technology for parallel implementation of Boolean constraint method for qualitative analysis of binary dynamic systems. Proceedings of the 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO). Opatija; 2019: 1043-1048. DOI: 10.23919/MIPRO.2019.8757154
23. Oparin G., Bogdanova V., Pashinin A., Gorsky S. Microservice-oriented approach to automation of distributed scientific computations. Proceedings of the 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO). Opatija; 2019: 236-241. DOI: 10.23919/MIPRO.2019.8757053
24. Oparin G., Bogdanova V., Pashinin A. Microservice approach to the qualitative study of attractors of binary dynamic systems based on the Boolean constraint method. Proceedings of the 43rd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO). Opatija; 2020: 1904-1909. DOI: 10.23919/MIPRO48935.2020.9245300
25. Pashinin A., Bogdanova V. Application of user dew agent in hybrid-computing environments. Proceedings of the 1st International Workshop on Advanced Information and Computation Technologies and Systems. CEUR-WS Proceedings; 2020: 135-145. DOI: 10.47350/AICTS.2020.16
26. Oparin G., Bogdanova V., Pashinin A. Automation of distributed data management in applied microservices package for scientific computations. Proceedings of the 2nd International Workshop on Information, Computation, and Control Systems for Distributed Environments. CEUR-WS Proceedings; 2020: 214-224. DOI: 10.47350/ICCS-DE.2020.20
27. Irudayaraj J., Saravanan P. Adoption Advantages of micro-service architecture in software industries.International Journal of Scientific & Technology Research. 2019; (8):183-186.
28. Francesco P., Lago P., Malavolta I. Architecting with microservices: a systematic mapping study. The Journal of Systems and Software. 2019; (150):77-97. DOI: 10.1016/j.jss.2019.01.001
29. Rodr'ıguez G., Soria A'., Campo M. AI-based web service composition: a review. IETE Technical Review. 2016; 33(4):378-385. DOI: 10.1080/02564602.2015.1110061
Bibliography link:
Oparin G.A., Bogdanova V.G., Pashinin A.A. The Boolean constraint method application for qualitative analysis of the dynamical properties of singular Boolean networks // Computational technologies. 2023. V. 28. ¹ 1. P. 48-60
|
