Search academic texts

Information × Registration Number 0416U003419, Candidate dissertation Status к.т.н. Date 09-06-2016 popup.evolution o Title Software development tools of production systems with limited resources Author Mazhara Olga Oleksandrivna, popup.head Shapovalova Svetlana Igorevna popup.opponent Кургаєв Олександр Пилипович popup.opponent Поліновський В'ячеслав Васильович Description Дисертація присвячена вирішенню проблеми створення теоретичних та алгоритмічних основ розробки продукційних систем з мінімальними затратами на логічне виведення заключення за критеріями швидкодії та/або ресурсоємності. Розроблено формалiзацiю співставлення зі зразком за Treat способом в термінах логіки першого порядку для створення формальних засад порівняння базових способів співставлення зі зразком. Запропоновано програмне середовище експериментального визначення оптимального способу співставлення в поточній прикладній задачі. Registration Date 2016-06-09 popup.nrat_date 2020-04-03 Close