Search academic texts

Information × Registration Number 0402U003550, Candidate dissertation Status к.т.н. Date 05-11-2002 popup.evolution o Title Interactive model of technical duties translation into system of Bull formulas Author Gutsa Oleg Nikolaevich, popup.head Matejchenko V.V. popup.opponent Шабанов-Кушнаренко Ю.П. popup.opponent Борисенко О.А. Description Робота присвячена розв'язанню задачі перетворення словесних описань алгоритмів управління технологічними процесами до системи булевих формул. Вперше здійснено вибір моделі для досягнення мети з використанням раніше відомої моделі "смисл " текст" (що використовувалася для розв'язання задач перекладу з однієї природної мови на іншу). Вперше реалізовано та описано у природно-мовній та програмній формах алгоритм переходу від мови-посередника (умовних секвенцій) до системи булевих формул. Вперше розв'язано задачу переходу від мови-посередника до системи булевих формул для автоматів управління із зосередженою пам'яттю. Вперше розв'язано задачу оптимізації системи умовних секвенцій при обмеженнях з використанням принципу еквівалентування. Вперше розроблено метод верифікації системи умовних секвенцій. Registration Date 2002-11-05 popup.nrat_date 2020-04-04 Close