| RUS ENG |
| Полная версия |
|
|
|
| ЖУРНАЛЫ // Моделирование и анализ информационных систем // Архив |
|
2024, том 31, номер 1
|
| Theory of software | |||
|
Шаблоны требований в дедуктивной верификации poST-программ И. М. Черненко, И. С. Ануреев, Н. О. Гаранина |
6 | |
|
|
Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 Н. О. Гаранина, С. М. Старолетов, В. Е. Зюбин, И. С. Ануреев |
32 | |
| Theory of computing | |||
|
|
О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем А. В. Давыдов, А. А. Ларионов, Н. В. Нагул |
54 | |
| Theory of data | |||
|
|
Минимальное покрытие обобщенных типизированных зависимостей включения в базах данных С. В. Зыкин |
78 | |
| Artificial intelligence | |||
|
|
Применение глубоких нейронных сетей для автоматического определения иронии в русскоязычных текстах М. А. Костерин, И. В. Парамонов |
90 | |
| Discrete mathematics in relation to computer science | |||
|
|
NP-полнота задачи об эйлеровом маршруте в кратном графе А. В. Смирнов |
102 | |