Вісник ХНУ. Технічні науки - 2018 рік
Постійне посилання зібрання
Переглянути
Перегляд Вісник ХНУ. Технічні науки - 2018 рік за Ключові слова "004.9"
Зараз показуємо 1 - 6 з 6
Результатів на сторінці
Налаштування сортування
Документ Використання мови Go у розробці програмного забезпечення(Хмельницький національний університет, 2018) Яшина, О.М.; Кравчук, О.А.; Yashyna, О.М.; Kravchuk, О.А.У даній статті розглядаються теоретичні аспекти мови програмування Go, її переваги та недоліки перед іншими мовами, порівняння. Також обґрунтовується доцільність та протиріччя використання мови Go в розробці програмного забезпечення.Документ Розробка множини тегів для формального опису елементів моделей автоматизованого формування тестових завдань(Хмельницький національний університет, 2018) Мазурець, О.В.; Mazurets, O.В статті визначено необхідність розробки набору тегів для формального опису елементів моделей формування тестових завдань. Теги призначені для кодування маски ідентифікації елементів контенту та маски формування тестів у моделях формування тестових завдань. Моделі формування тестових завдань складаються з маски ідентифікації елементів контенту, алгоритму перетворення контенту та маски формування тестів у моделях формування тестових завдань; й призначені для визначення механізмів автоматизованого формування тестових завдань за введеним контентом. Відповідно до складових моделей формування тестових завдань розроблено теги двох видів: теги для ідентифікації елементів контенту та теги для формування тестів. Теги для ідентифікації елементів контенту використовуються в масках ідентифікації. З використанням розроблених тегів для ідентифікації елементів контенту було розроблено наступні види масок ідентифікації елементів контенту: базова, другорядна, реверсивна, комплексна. Теги для формування тестів використовуються в масках формування тестових завдань. За умови достатньої відповідності семантичним та структурним вимогам і коректного співвідношення між обсягом контенту навчального матеріалу та параметрів генерації набору тестових завдань, одержується репрезентативний тест, що може бути використаний як безпосередньо для тестування, так і як сировина для подальшої роботи розробника тестів. Розроблений набір тегів дозволяє проводити зручне й ефективне створення нових чи редагування існуючих моделей формування тестових завдань. Також розроблений набір тегів дозволяє компактне зберігання розроблених моделей для подальшого використання. Створювані за допомогою розробленого набору тегів моделі призначені для використання в рамках інформаційної технології автоматизованого формування тестових завдань, яка забезпечує максимально рівномірне і широке охоплення набором тестових завдань семантики навчального матеріалу під час реалізації відповідних прикладних програмних систем.Документ Інформаційна модель семантичної структури навчального курсу(Хмельницький національний університет, 2018) Бармак, О.В.; Мазурець, О.В.; Barmak, O.; Mazurets, O.В статті розглянуто інформаційну модель семантичної структури навчального курсу. Інформаційна модель семантичної структури навчального курсу є формальним поданням інформаційного та тестового навчальних матеріалів навчального курсу дисципліни. Формалізація моделі проводиться шляхом подання частини елементів навчального курсу як множини сутностей. До таких елементів навчального курсу належать заголовки, слова, ключові терміни, тестові завдання та зв’язки. Формальне подання семантичної структури курсу навчальної дисципліни у запропонованому вигляді дозволяє використовувати її як модель для відображення семантичної структури прикладних інформаційних навчальних матеріалів та тестових навчальних матеріалів. До складу формального подання семантичної структури таких інформаційних навчальних матеріалів входять множина заголовків, множина термінів, множина слів та множина зв’язків. До множини зв’язків входять такі елементи семантичної структури інформаційних навчальних матеріалів та тестових навчальних матеріалів, які визначають наявність та характер зв’язку між іншими елементами семантичної структури навчального курсу. Зокрема, множині зв’язків належать зв’язки між заголовками, зв’язки між заголовками й ключовими термінами, зв’язки між ключовими термінами та словами, зв’язки між ключовими термінами та тестовими завданнями. Наповнення множин, які входять до складу моделі, надає можливість використання її для розв’язання прикладних задач. З метою наповнення множин моделі семантичної структури курсу навчальної дисципліни пропонується використання ряду відповідних методів. Подання семантичної структури курсу навчальної дисципліни у запропонованому вигляді визначає область прикладних задач, що можуть бути розв’язані з її використанням. Інформаційна модель семантичної структури навчального курсу може бути використана в ході реалізації відповідних прикладних програмних систем. Використання розробленої моделі дозволяє проводити автоматизоване створення наборів тестових завдань. При цьому забезпечується максимально рівномірне і широке охоплення набором тестових завдань семантики навчального матеріалу.Документ Інформаційна технологія автоматизації діяльності релігійної установи(Хмельницький національний університет, 2018) Ройзнер, К.І.; Мазурець, О.В.; Royzner, K.I.; Mazurets, O.V.В статті визначено можливість уніфікації програмного забезпечення для автоматизації внутрішньої діяльності відповідних релігійних установ. Викладено узагальнену математичну модель локалізації системи автоматизації діяльності релігійної установи. Розглянуто інформаційну технологію автоматизації діяльності релігійної установи. Визначено особливості розглянутої інформаційної технології автоматизації діяльності релігійної установи, до яких належать можливість, простота та остаточність локалізації. Можливість локалізації визначає можливість модифікації програмної системи під вимоги конкретної релігійної установи незалежно від конфесії та використовуваної мови. Простота локалізації полягає в можливості проведення всіх кроків локалізації кінцевим користувачем перед початком роботи з системою. Остаточність локалізації визначає, що виконані в процесі локалізації модифікації використовуються в подальшому для виконання функцій системи й не можуть бути перевизначені. Локалізація програмного забезпечення є його підготовкою до використання в конкретних умовах. Локалізація часто використовується для поширення програмного забезпечення загального призначення в нових географічних чи культурних умовах. Вона включає операції з визначення ряду параметрів інформаційної системи. Відповідно до такого підходу, повний цикл переведення системи до експлуатації розбивається на ряд етапів, частина яких може бути виконана для загальних категорій релігійних установ. Зменшення кількості можливих варіантів локалізації на кожному етапі дозволяє реалізувати їх на рівні, який доступний для використання кінцевим користувачем. Тому кінцевий користувач одержує можливість самостійного впровадження системи для подальшого використання. Запропонована інформаційна технологія автоматизації діяльності релігійної установи дозволяє розробляти кросконфесійні інформаційні системи автоматизації діяльності релігійної установи, які можуть бути легко модифіковані для автоматизації внутрішньої діяльності конкретних релігійних установ різних конфесій та на різних мовах інтерфейсу.Документ Інформаційна технологія автоматизованого визначення семантичних термінів в елементах навчальних матеріалів(Хмельницький національний університет, 2018) Мазурець, О.В.; Mazurets, O.У статті досліджено проблему автоматизації побудови семантичної моделі навчального курсу у вигляді онтології. Встановлено, що ключовим аспектом побудови онтології навчального курсу є визначення множини ключових семантичних термінів у контенті елементів навчальних матеріалів. Запропоновано інформаційну технологію автоматизованого визначення множини ключових семантичних термінів у контенті елементів навчальних матеріалів, що ґрунтується на пошуку використаних фраз у тексті та дисперсійній оцінці важливості слів. Відповідно до даної інформаційної технології, на основі введених даних у вигляді файлу навчального матеріалу автоматизовано формується структура електронного документу для вибору елементу для аналізу, після чого проводиться сегментація за фразами і термінами, терміни лематизуються та їх множина компактифікується. На основі автоматично лематизованого фрагменту тексту проводиться пошук та дисперсійне оцінювання важливості слів у обраному фрагменті, після чого оцінюється важливість термінів, а їх кількість обмежується відповідно до коефіцієнту щільності ключових слів. Вхідними даними інформаційної технології є електронний документ навчального матеріалу та обраний елемент для аналізу, вихідними даними є відповідна множина ключових семантичних термінів навчального матеріалу. Розглянуто тестовий програмний продукт, що дозволяє автоматизовано визначати множину ключових семантичних термінів за даною інформаційною технологією. Проведені дослідження підтвердили можливість ефективно формувати множини ключових семантичних термінів елементів навчальних матеріалів з середніми показниками точності пошуку до 73,2% та повноти пошуку до 69,7%. Аналіз отриманих результатів виявив, що відсутність програмно визначених термінів у множині автора не завжди характеризує недолік розглядуваної технології. Деякі семантично важливі терміни автори суб’єктивно ігнорують, в той час як іншу категорію складають поняття, на яких автори акцентують надмірну увагу попри їх другорядність в рамках матеріалу, що викладається. Встановлена ефективність запропонованої інформаційної технології сприяє її використанню для вирішення ряду актуальних задач, таких як семантична допомога при створенні тестів, автоматизація формування рефератів та анотацій до елементів навчальних матеріалів, оцінка відповідності навчальних матеріалів змістовим вимогам, оцінка відповідності наборів тестових завдань навчальним матеріалам тощо.Документ Інформаційна технологія підтримки планування роботи викладача та кафедри закладу вищої освіти(Хмельницький національний університет, 2018) Говорущенко, Т.О.; Стецюк, В.М.; Лопатто, І.Ю.; Hovorushchenko, T.O.; Stecyuk, V.M.; Lopatto, I.Y.Метою даного дослідження є розроблення інформаційної технології підтримки планування роботи викладача та кафедри закладу вищої освіти. У статті проведено моделювання руху інформаційних потоків при плануванні роботи викладача закладу вищої освіти, моделювання інформаційних потоків в процесі планування роботи кафедри закладу вищої освіти, а також запропоновано структуру інформаційної технології підтримки планування роботи викладача та кафедри закладу вищої освіти.