Знайдено документів: 1
Інформація × Реєстраційний номер 0515U000890, Докторська дисертація На здобуття д.ф.-м.н. Дата захисту 13-11-2015 Статус Запланована Назва роботи Методи реалізації систем інсерційного моделювання Здобувач Песчаненко Володимир Сергійович, Керівник Летичевський Олександр Адольфович Опонент Клименко Віталій Петрович Опонент Нікітченко Микола Степанович Опонент Дорошенко Анатолій Юхимович Опис Описано алгоритм розділення формули на спеціалізації, абстрактний предикатний перетворювач. Створено алгоритм усунення інтерлівінгу у символьних інсерційних моделях. Узагальнено алгоритм для перевірки досяжності деяких станів середовища. Представлено алгоритм конкретизації символьних трас. Висвітлено алгоритми змішаних обчислень для інсерційних моделей. Доведено існування оберненої поведінки. Удосконалено мову REM. Одержано ефективний алгоритм трансляції висхідного коду. Стисло описано застосування запропонованих алгоритмів. Дата реєстрації 2015-11-13 Додано в НРАТ 2020-04-03 Закрити
Дисертація докторська
Методи реалізації систем інсерційного моделювання
2
Песчаненко Володимир Сергійович. Методи реалізації систем інсерційного моделювання : д.ф.-м.н. : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : дата захисту 2015-11-13; Статус: Захищена; Херсонський державний університет. – , 0515U000890.
Знайдено документів: 1

Оновлено: 2026-03-28


Роздрукувати цю сторінку