| 
Разработка методов верификации элементов дискретно-событийной модели
| Авторы: Горохова А.С., Завадская Л.А., Новичкова М.А. | Опубликовано: 08.10.2024 |
| Опубликовано в выпуске: #4(93)/2024 | |
| DOI: | |
| Раздел: Математика | Рубрика: Вычислительная математика | |
| Ключевые слова: дискретно-событийная система, конечные автоматы, группа роботов, сети Петри, дерево достижимости, спецификация поведения, логическая структура последовательности строк, верификация | |
Построение областей расположения корней многочленов четвертого порядка с действительными коэффициентами
| Авторы: Сороквашин А.В., Кедровских Г.А., Татаринова А.С. | Опубликовано: 14.02.2025 |
| Опубликовано в выпуске: #1(96)/2025 | |
| DOI: | |
| Раздел: Математика | Рубрика: Вычислительная математика | |
| Ключевые слова: характеристическое уравнение, многочлен, полином, комплексные корни, дискриминант, теория устойчивости, критерий Гурвица, диаграмма Вышнеградского, апериодический процесс | |
Реализация стохастического метода Галеркина к аппроксимированию функций, зависящих от случайных параметров
| Авторы: Хаписов М.Х. | Опубликовано: 03.07.2025 |
| Опубликовано в выпуске: #3(98)/2025 | |
| DOI: | |
| Раздел: Математика | Рубрика: Вычислительная математика | |
| Ключевые слова: полиномы Эрмита, разложение полиномиального хаоса, стохастический метод Галеркина, метод Симпсона, задача Коши, C++, Python | |