Реєстраційний номер
0597U000167, Докторська дисертація
На здобуття
д.ф.-м.н.
Дата захисту
10-04-1997
Статус
Захищена
Назва роботи
Новый подход к решению проблемы достижимости: на пути к методологии анализа временно-критических систем
Здобувач
Гудак Ш.,
Керівник Редько В.Н.
Опонент Червак Ю.Ю.
Опонент Цейтлин Г.О.
Опонент Асельдеров З.М.
Установа, організація, у вченій раді якої відбудеться/відбувся захист
Харьковский государственный университет
Опис
Объект исследования: Проблема достижимости в дискретных системах. Цель исследования: Создание основ новой методологии анализа дискретных систем на достижимость предварительно определенных макро-состояний. Методы исследования и аппаратура: Опирается на методы и результаты теории вычислений, теории автоматизированного и формального языка, трудности вычислений и теории линейного программирования. Теоретические результаты и новизна: Решена проблема исследования эффектов локального поля в электродинамике молекулярных сред. Практические результаты и новизна: Алгоритм для решения RP, и результаты из области де/композиции каналов Петри можно использовать для решения целиком конкретных практических заданий. Предмет и степень внедрения: Создание основ методологии анализа дискретных систем с точки зрения проблем достижимости. Эффективность внедрения: Для изучения проблем должности в дискретных системах. Сфера (область) использования: В научных разработках.
Дата реєстрації
1997-12-25
Додано/оновлено в НРАТ
2020-05-18 / 2026-06-30
