190: Комп'ютерні науки
Permanent URI for this collection
Browse
Recent Submissions
Item Модифікації алгоритму GLoSS для розв'язання FDCSP(2016) Гороховський, Семен; Галковська, ЛюбовУ цій роботі подано розроблені автором модифікації алгоритму GLoSS, що розв’язують розподілену задачу задоволення обмежень із гнучкими обмеженнями. Наведено доведення повноти та коректності алгоритмів, а також оцінки їх часової складності.Item Рівні інтелекту в інтелектуальних системах(2016) Мейтус, ВолодимирРоботу присвячено дослідженню різних рівнів, у рамках яких можна подати поняття інтелекту. Для своєї діяльності система, наділена інтелектом, має моделювати своє навколишнє середовище, а потім використовувати цю модель для вирішення поставлених перед нею задач. При цьому рівень інтелекту визначається можливостями будувати модель, адекватну навколишньому середовищу, і засобами використання цієї моделі для вирішення в ній задач.Item Першопорядкові логіки із квазіарними та n-арними предикатами(2016) Нікітченко, Микола; Шкільняк, СтепанЗапропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Такі формалізми є синтезом класичних першопорядкових логік і композиційно-номінативних логік квазіарних предикатів. Розглянуто семантичні моделі та мови і досліджено семантичні властивості пропонованих логік. Встановлено зв’язок між n-арними та X-арними предикатами, описано нормальні форми. Досліджено відношення логічного наслідку, наведено властивості цих відношень для арних атомарних формул.Item Cеквенційні числення композиційно-номінативних модальних логік немонотонних предикатів(2016) Касьянюк, Веда; Малютенко, Людмила; Шкільняк, ОксанаУ статті розглянуто програмно-орієнтовні логічні формалізми – чисті першопорядкові композиційно-номінативні транзиційні модальні логіки немонотонних часткових предикатів. На основі властивостей відношення логічного наслідку для множин специфікованих станами формул для цих логік побудовано числення секвенційного типу. Описано різновиди таких числень, для них доведено теореми коректності та повноти.Item Підсистема пошуку зображень в Інтернет(2016) Глибовець, Андрій; Збунь, ВікторНа сьогодні проблему індексації та пошуку текстової інформації майже вирішено, залишилися лише певні моменти покращення адаптованості алгоритмів до потреб користувача. Усі сучасні пошукові системи поставили собі за мету в найкоротші терміни розв’язати проблеми ефективного пошуку зображень та відеоматеріалів. Одній із цих проблем, а саме побудові підсистеми пошуку зображень, присв’ячено цю публікацію. У статті розглянуто основні алгоритми та наведено їх реалізацію.Item Visual Evolutionary Search for the Pareto-Optimal Data(2016) Norkin, B.The paper describes an information technology (and software) for interactive visual search for Paretooptimal data in a large data set (data points). Each data element (point) is a vector with a number of components with values in completely ordered, probably different, spaces/sets. These components are treated as optimization criteria and can be maximized or minimized. The basic problem is to identify a non-dominated data subset with respect to the selected criteria/components with specified directions of optimization. The problem is solved interactively by graphical display of the data in different planes (pairs of coordinates). The second related problem is to order data elements with respect to their power of domination. The latter problem is solved by calculation of two numbers, the numbers of elements that dominate and are dominated by a given element, calculation of their difference and different sizes of data points on the displayed planes.Item Колаборативні методи в електронному навчанні програмування(2016) Бублик, Володимир; Давиденко, А.Стаття містить звіт про важливий напрям діяльності авторів, спрямований на створення та впровадження новітніх засобів розроблення програмних систем в університетські курси програмування на основі використання тісної співпраці учасників програмних проектів у рамках систем електронного навчання.Item Маршрутизація в мережі сучасного підприємства(2016) Черкасов, ДмитроУ статті розглянуто оптимальні підходи до організації маршрутизації в мережі сучасного підприємства, до складу якої входить низка територіально розмежованих відділень. Використано поняття транспортної інфраструктури локальної мережі відділення. Підходи базуються на особливостях сучасної компонентної бази. Увагу приділено використанню технології віртуалізації мереж- них функцій (NFV).Item Сервіс автоматизованого запису на вибіркові навчальні дисципліни в НаУКМА та можливі напрями його інтелектуалізації(2016) Горборуков, Вячеслав; Олецький, ОлексійОписано основні функціональні можливості автоматизованої системи запису студентів на вибіркові навчальні курси, що була розроблена в Національному університеті «Києво-Могилянська академія». Розглянуто можливості розвитку цієї системи в напрямі її інтеграції з іншими системами автоматизації бізнес-процесів університету, а також щодо набуття нею рис рекомендаційної системи. Для надання рекомендацій щодо вибору дисциплін запропоновано три підходи: на основі розв’язання оптимізаційних задач, на основі аналізу мір близькості між анотаціями та на основі використання методик Data Mining і Web Usage Mining. Показано, що в найпростішому випадку автоматичне формування рекомендацій зводиться до розв’язання задачі про рюкзак із булевими змінними. Але врахування додаткових факторів призводить до нечітких і багатокритеріальних оптимізаційних задач, а також до необхідності використання методів машинного навчання. Для вироблення рекомендацій на основі мір близькості запропоновано розвивати підхід на основі формалізації нечіткого поняття «середня відстань». Сформульовано основні напрями застосування методів Data Mining і Web Usage Mining.Item The Importance of Computer Training Equipment(2016) Didmanidze, Ibraim; Didmanidze, DidariThe paper deals with such an approach to the development of the computer training equipment which enables a university professor who teaches any subject to act in the role of a constructor and,if necessary, to change the already existing training model according to his/her own view without any specific computer programming knowledge. This work shows that the training model should be able to visualize the work of the manufacturing process or technical equipment in an interactive mode and dynamics; to reflect the changes of the ongoing process physical values on an object; to build appropriate diagrams, etc. During the training, a student (a teacher) should be able to switch the initial conditions and parameters of the process course to observe the changes occurring in the object behavior, and to make a rational decision for analysis and management. First of all, we have to note that the student’s learning quality, his/her constant readiness to work properly with the technical equipment and to effectively manage the technological process can be reached through problem-based learning with the help of dynamic training equipment. The situation in a computer training equipment market does not correspond to the current demands. Basically there is a multitude of testing, electronic networks switches, and such technical training equipment which has nothing to do with the dynamic technological processes and represents the static models. As for computer training equipment studying current technological processes of the technical objects, they appear in an insignificant form.