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

Інформація × Реєстраційний номер 0402U003550, Кандидатська дисертація На здобуття к.т.н. Дата захисту 05-11-2002 Статус Запланована Назва роботи Інтерактивна модель перекладу технічних завдань у систему булевих формул Здобувач Гуца Олег Миколайович, Керівник Матейченко В.В. Опонент Шабанов-Кушнаренко Ю.П. Опонент Борисенко О.А. Опис Робота присвячена розв'язанню задачі перетворення словесних описань алгоритмів управління технологічними процесами до системи булевих формул. Вперше здійснено вибір моделі для досягнення мети з використанням раніше відомої моделі "смисл " текст" (що використовувалася для розв'язання задач перекладу з однієї природної мови на іншу). Вперше реалізовано та описано у природно-мовній та програмній формах алгоритм переходу від мови-посередника (умовних секвенцій) до системи булевих формул. Вперше розв'язано задачу переходу від мови-посередника до системи булевих формул для автоматів управління із зосередженою пам'яттю. Вперше розв'язано задачу оптимізації системи умовних секвенцій при обмеженнях з використанням принципу еквівалентування. Вперше розроблено метод верифікації системи умовних секвенцій. Дата реєстрації 2002-11-05 Додано в НРАТ 2020-04-04 Закрити