Developing methods for verifying the discrete-event model elements
| Authors: Gorokhova A.S., Zavadskaya L.A., Novichkova M.A. | Published: 08.10.2024 |
| Published in issue: #4(93)/2024 | |
| DOI: DOI: | |
| Category: Mathematics | Chapter: Computational Mathematics | |
| Keywords: discrete-event system, finite automata, robot group, Petri nets, reachability tree, behavior specification, logical string sequence structure, verification | |
Constructing a position domain of the fourth order polynomials with the active coefficient roots
| Authors: Sorokvashin A.V., Kedrovskih G.A., Tatarinova A.S. | Published: 14.02.2025 |
| Published in issue: #1(96)/2025 | |
| DOI: DOI: | |
| Category: Mathematics | Chapter: Computational Mathematics | |
| Keywords: characteristic equation, polynomial, complex roots, discriminant, stability theory, Hurwitz criterion, Vyshnegradsky diagram, aperiodic process | |
Introducing the stochastic Galerkin method in functions approximation depending on the random parameters
| Authors: Khapisov M.Kh. | Published: 03.07.2025 |
| Published in issue: #3(98)/2025 | |
| DOI: DOI: | |
| Category: Mathematics | Chapter: Computational Mathematics | |
| Keywords: Hermite polynomials, polynomial chaos decomposition, stochastic Galerkin method, Simpson method, Cauchy problem, C++, Python | |