Гуца О. М. Інтерактивна модель перекладу технічних завдань у систему булевих формул

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0402U003550

Облікова картка дисертації

0402U003550.pdf

Здобувач

Спеціальність

  • 01.05.02 - Математичне моделювання та обчислювальні методи

05-11-2002

Спеціалізована вчена рада

Д 64.052.02

Харківський національний університет радіоелектроніки

Анотація

Робота присвячена розв'язанню задачі перетворення словесних описань алгоритмів управління технологічними процесами до системи булевих формул. Вперше здійснено вибір моделі для досягнення мети з використанням раніше відомої моделі "смисл " текст" (що використовувалася для розв'язання задач перекладу з однієї природної мови на іншу). Вперше реалізовано та описано у природно-мовній та програмній формах алгоритм переходу від мови-посередника (умовних секвенцій) до системи булевих формул. Вперше розв'язано задачу переходу від мови-посередника до системи булевих формул для автоматів управління із зосередженою пам'яттю. Вперше розв'язано задачу оптимізації системи умовних секвенцій при обмеженнях з використанням принципу еквівалентування. Вперше розроблено метод верифікації системи умовних секвенцій.

Читати повністю

Файли

aref.doc

Введение.doc

Приложение А.doc

Приложение Б.doc

Приложение В.doc

Приложение Г.doc

Список_сокр.doc

выводы.doc

раздел_1.doc

раздел_2.doc

раздел_3.doc

раздел_4_подр_2.doc

раздел_4_подр_3.doc

раздел_5.doc

раздел_6.doc

содержание.doc

спискок_исп_источ.doc

титульный_лист.doc

Схожі дисертації

0423U100159

Сеник Юлія Андріївна

Моделювання та дослідження розмірних ефектів у електропровідних тілах

0523U100127

Кашпур Олена Федорівна

Iнтерполяцiя операторiв в гiльбертових та евклiдових просторах

0423U100110

Кураш Сергій Юрійович

Математичне моделювання реакції будівель та споруд на вибухові впливи

0523U100103

Шевченко Сергій Станіславович

Математичні моделі процесів в системах герметизації відцентрових машин

0523U100042

Мельник Андрій Миколайович

Знання-орієнтовані програмні системи для інтервального аналізу та моделювання складних об’єктів