Browsing by Author "Вовк, Р."
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Item Визначення координат пунктів у системі УСК-2000 із GPS-спостережень(Видавництво Львівської політехніки, 2012) Савчук, С.; Задемленюк, А.; Вовк, Р.Показано можливість реконструкції геодезичної мережі за допомогою сучасних супутникових технологій без використання пунктів Державної геодезичної мережі як вихідних. Показана возможность реконструкции геодезической сети с помощью современных спутниковых технологий, без использования существующих пунктов Государственной геодезической сети в качестве исходных. The possibility of reconstruction of the geodetic network with the help of modern satellite technology, not using the existing points of the State geodetic network as the source.Item Формальний опис процесу контролю задоволення та порушення обмежень в інтелектуальних системах(Видавництво Львівської політехніки, 2011) Вовк, Р.; Процюк, В.; Шекета, В.Досліджено процес функціонування інтелектуальної навчальної системи засобами формальних методів теорії інформаційно-пошукових задач на основі обмежень. Побудовано множини, системи та ієрархії обмежень для статичних та динамічних навчальних проблем з виділеними станами, для яких описано можливі помилки рішень як результат порушення накладених обмежень з повідомленнями зворотного зв’язку. The exploration of the functioning process for intelligible tutoring system by the means of constraints satisfaction problem formal methods is done. The sets, systems and hierarchies of constraints for static and dynamic learning problems with selected states is introduced with descriptions of possible solution errors, that are arising by violation of imposed constraints complemented with relevant feedback messages is proposed.