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

Information × Registration Number 0597U000167, Doctoral dissertation Status д.ф.-м.н. Date 10-04-1997 popup.evolution . Title Author Гудак Ш., popup.head Редько В.Н. popup.opponent Червак Ю.Ю. popup.opponent Цейтлин Г.О. popup.opponent Асельдеров З.М. Description Объект исследования: Проблема достижимости в дискретных системах. Цель исследования: Создание основ новой методологии анализа дискретных систем на достижимость предварительно определенных макро-состояний. Методы исследования и аппаратура: Опирается на методы и результаты теории вычислений, теории автоматизированного и формального языка, трудности вычислений и теории линейного программирования. Теоретические результаты и новизна: Решена проблема исследования эффектов локального поля в электродинамике молекулярных сред. Практические результаты и новизна: Алгоритм для решения RP, и результаты из области де/композиции каналов Петри можно использовать для решения целиком конкретных практических заданий. Предмет и степень внедрения: Создание основ методологии анализа дискретных систем с точки зрения проблем достижимости. Эффективность внедрения: Для изучения проблем должности в дискретных системах. Сфера (область) использования: В научных разработках. Registration Date 1997-12-25 popup.nrat_date 2020-05-18 / 2026-06-30 Close