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

English version

Дисертація на здобуття ступеня

Державний реєстраційний номер

0597U000167

Здобувач

Спеціальність

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

10-04-1997

Спеціалізована вчена рада

Д 01.01.23

Анотація

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

Схожі дисертації