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

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