Search academic texts

Registration Number

0597U000167, Doctoral dissertation

Title

Author

Гудак Ш.,

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

Status

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

Date

10-04-1997

Description

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