Самофалов П. Л. Методи застосування таблиць рішень у системах формального виводу і програмних комплексах

English version

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

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

0401U001986

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

0401U001986.pdf

Здобувач

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

  • 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем

30-05-2001

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

Д 64.052.01

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

Анотація

Дисертація присвячена методиці використання таблиць рішень (ТР) для уявлення знань і керування виводом у формальних системах. Розглянуто застосування ТР в експертних системах, в описі мови, керуванні виводом. Розроблено мовні засоби для формування і реалізації ТР, які м. б. використані для уявлення знань, керування виводом, специфікації програм. Реалізовано систему синтезу програм за ТР, застосований в автоматизованій банківській системі "Б2".

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

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

0421U104038

Петренко Максим Віталійович

Методи інтеграції гетерогенних бібліографічних даних

0421U104040

Артабаєв Юрій Зуберович

Методика підвищення точності комплексованих навігаційних систем на основі прогнозуючих моделей з використанням генетичних алгоритмів.

0421U103593

Зубко Роман Анатолійович

Удосконалення методів підвищення часової ефективності фрактального стиснення зображень

0421U103401

Чистякова Інна Сергіївна

Метод відображення між дескриптивною логікою та реляційною моделлю даних.

0421U103320

Бєлозьорова Яна Андріївна

Метод застосування вейвлет аналізу в задачах ідентифікації мовної інформації