Пошук академічних текстів

Реєстраційний номер

0597U000167, Докторська дисертація

Назва роботи

Новый подход к решению проблемы достижимости: на пути к методологии анализа временно-критических систем

Здобувач

Гудак Ш.,

Керівник Редько В.Н.
Опонент Червак Ю.Ю.
Опонент Цейтлин Г.О.
Опонент Асельдеров З.М.

На здобуття

д.ф.-м.н., 01.05.01, Теоретичні основи інформатики та кібернетики

Дата захисту

10-04-1997

Опис

Объект исследования: Проблема достижимости в дискретных системах. Цель исследования: Создание основ новой методологии анализа дискретных систем на достижимость предварительно определенных макро-состояний. Методы исследования и аппаратура: Опирается на методы и результаты теории вычислений, теории автоматизированного и формального языка, трудности вычислений и теории линейного программирования. Теоретические результаты и новизна: Решена проблема исследования эффектов локального поля в электродинамике молекулярных сред. Практические результаты и новизна: Алгоритм для решения RP, и результаты из области де/композиции каналов Петри можно использовать для решения целиком конкретных практических заданий. Предмет и степень внедрения: Создание основ методологии анализа дискретных систем с точки зрения проблем достижимости. Эффективность внедрения: Для изучения проблем должности в дискретных системах. Сфера (область) использования: В научных разработках.