Кафедра програмної інженерії (ПІ)
Постійний URI для цієї колекції
Перегляд
Останні подання
Публікація Применение методики создания теста в компьютерных системах дистанционного обучения(УАДО, 2002) Хапров, B. C.; Дударь, З. В.The article is dedicated to the problem of knowledge acquisition quality control in distance education systems. The research is targeted at development of recommendations on test design and interpretation of knowledge testing results. The goal in view is achieved by means of successive solving of a series of procedure-development tasks selecting test assignments; evaluating test reliability; evaluating test validity by independent exterior criterion; evaluating accuracy and reliability of test results. A program system realizing designed procedures has been developed.Публікація Математические методы современной теории тестирования(УАДО, 2002) Ахламов, А. Г.; Белоус, Н. В.; Пархоменко, С. А.; Бекетова, Е. А.The work considers the problem of knowledge estimation for remote education. This article considers the modem mathematical models, which destined for reliable examination of test results and takes reliable level of knowledge for studentsПублікація Стимулирование и нормирование труда преподавателей, участвующих в разработке и внедрении технологий дистанционного обучения(УАДО, 2002) Каутс, В. И.Professional skill and amount of teachers’ work, participating in distant learning technologies development and introduction into the educational process, are estimated. The problem of norm-setting of time taken to perform this type of activity is set and the methods to solve it are offered. The characteristic of possible approaches to stimulate teachers for participation in the promoting the distant learning into the education process is given.Публікація Рекомендации по созданию электронных курсов(2002) Глебов, Ю. А.; Гребенюк, В. А.В последнее время всё большее количество учебных заведений начинают заниматься сферой дистанционного образования и создавать свои электронные курсы и учебники, однако мало кто знает, какими особенностями должен обладать современный курс. В данной статье изложено и обосновано основные требования к электронному курсу.Публікація Разработка технологии создания мультимедийного дистанционного курса на основе HTML-учебника(УАДО, 2002) Пуголовок, К. Н.In this paper we reviewed tools for development of distant learning courses multimedia elements. Different technologies for creating and integrating informational content are analyzed. Main aspects of a new complex technology development for a creation of multimedia distant learning course are considered. Given a stages and tools scheme for described technology process.Публікація Применение психологических теорий обучения при дистанционном образовании(УАДО, 2002) Шубин, И. Ю.; Выродов, А. П.; Мирошникова, О. H.; Сладков, A. B.The paper deals with application of learning theories to distance education. The barest necessity of such application is proved. The basic concepts of several modern learning theories are given. The paper outlines some of the environmental pedagogical dimensions. The recommendations of learning theory application to distance education are made. It is pointed out, that a creation of scenario of computer based learning system must be concerned with learning theories setПублікація Цикл лабораторных работа по математическому моделированию информационных систем(УАДО, 2002) Дударь, З. В.; Науменко, С. А.; Шепелев, В. В.; Рыжов, А. А.We have developed the computer system for execution of laboratory works. These works belong to the course “The mathematical modeling of information systems”. The software gives possibility for distance learning. The teacher can check the level of student’s knowledge of the subject, add and edit training aids, modify the test questions, view the student’s results. During the process of training the students are gaining experience in the area of creation mathematical models in Matlab.Публікація Применение новых компьютерных технологий при создании наглядных пособий(УАДО, 2002) Дударь, З. В.; Черепахин, В. М.; Черепахина, Е. В.Experience of use of various programming and software creation in modem computer systems for algorithms work demonstration and laboratory works and practical training modeling is consideredi. Elaborations are applied both at distant form of training, and permanent establishment and at instruction bi correspondenceПублікація Сетевой университет(УАДО, 2002) Бондарев, В. М.; Науменко, С. А.; Пивоварова, И. В.The main goal of this project is technological support for efficient methodical maintenance for all of the education forms including distance learning. For that we propose the site, on which each lecturer can place teach materials : annotation, program of the course, summary for the lectures, tasks for laboratory works, tasks for practice, materials for students self-instruction, links, various tests for self-examination, at last, the present rating of students. Lecturer can change his web page without special knowledge in area of web-technologyПублікація Создание электронных лекций(УАДО, 2002) Бондарев, В. М.The easy way to produce the computer lectures is proposed. Lecturer can create them without special knowledge in area of computing or web technology. The approach is based on the tag library concept.Публікація Реализация модели учебного курса на основе технологий сети интернет(УАДО, 2002) Шубин, И. Ю.; Алисейко, З. А.; Выродов, А. П.; Дударь, В. В.The paper deals with development of software implementation of a subject matter model that forms pan of the mathematical model complex of computer-based training systems. The approach, offered in the work, is based on the hypertext technology and allows with the least costs to adapt a training system for operation in Internet, and also to increase integration between separate components of the system.Публікація Метод логічних мереж для моделювання систем адаптивного тестування знань(ХНУРЕ, 2023) Ляшик, В. А.; Шубін, І. Ю.Публікація Аналіз сутності та моделі протоколу інкапсуляції ключів у кільці поліномів над скінченим полем(ХНУРЭ, 2018) Горбенко, І. Д.; Качко, О. Г.; Пономар, В. А.; Єсіна, М. В.; Акользіна, О. С.; Кулібаба, В. А.У роботі розглядається аналіз сутності та моделі протоколу інкапсуляції ключів у кільці поліномів над скінченим полем. Наводяться основні положення стосовно протоколів. Наводяться результати порівняння механізмів інкапсуляції ключів. Наводиться криптографічний протокол інкапсуляції та декапсуляції ключа в NTRU Prime Ukraine.Публікація Метод онтологічного опису в побудові сервіс-орієнтованих систем розподіленого навчання(ХНУРЕ, 2024) Дудар, З. В.; Літвін, С. Г.У роботі висвітлено переваги дослідженого рішення, а саме, алгоритми автоматизованої побудови інтерфейсів вебсервісів для SOA-архітектури, що дають змогу ефективно виконувати поставлене завдання. Алгоритми вирізняються більш загальною моделлю та швидкістю роботи й потребують оцінювання складності.Публікація Аналіз і обґрунтування використання наявних блокчейн-рішень для захисту цифрових активів(ХНУРЕ, 2024) Терещенко, Г. Ю.; Кириченко, І. В.Стаття надає узагальнену уяву про те, як ефективно використовувати блокчейн для забезпечення надійності та безпеки цифрових активів у різних сценаріях застосування. У сучасному цифровому світі, де значення цифрових активів зростає експоненційно, їх захист від кіберзагроз стає критичним завданням. Блокчейн-технології, спочатку розроблені для криптовалют, набули визнання як ефективний інструмент у сфері кібербезпеки. Доведено важливість стандартизації та регулювання в галузі блокчейн-технологій з метою їх ефективної інтеграції та відповідності до вимог законодавстваПублікація Метод лінійно-логічних операторів та логічних рівнянь у завданнях видобування інформації(ХНУРЕ, 2024) Шубін, І. Ю.; Козирєв, А. Д.У роботі досліджено формальні методи інтелектуальних систем, зокрема способи подання знань відповідно до особливостей галузі застосування та мови, що дають змогу кодувати ці знання для зберігання в комп’ютерній пам’яті. Запропонований метод можна впроваджувати в розробленні мовних інтерфейсів для систем автоматизованого доступу до інформації, в алгоритмах пошукових систем, для логічного аналізу інформації в базах даних та експертних системах, а також у виконанні завдань, пов’язаних із розпізнаванням та класифікацією об’єктів.Публікація Метод планування завдань оброблення даних у розподілених системах з обмеженою інформацією про доступні ресурси(ХНУРЕ, 2023) Козирєв, А.; Шубін, І. Ю.У сучасному цифровому ландшафті розподілені системи оброблення даних (РСОД) стають усе більш критично важливими для забезпечення ефективного оброблення, аналізу та управління великими обсягами інформації. Ці системи часто використовуються в комерційних, наукових і соціальних доменах для оброблення комплексних даних в реальному часі або пакетному режимі. Одним із ключових складників таких систем є планування завдань, що є надзвичайно складним процесом, зокрема коли інформація про ресурсні потреби не є повною або точною. Предметом дослідження є алгоритми, методи та підходи, які використовуються для планування завдань між вузлами в розподілених системах. Мета роботи – створення оптимізованого методу планування завдань у РСОД з обмеженою інформацією про доступні ресурси. Завдання дослідження: проаналізувати недоліки сучасних методів для планування завдань у розподілених системах оброблення даних; оптимізувати метод планування завдань на основі метаданих між вузлами РСОД, який ґрунтується на методології пошуку найближчих сусідів із використанням методу локалізованого хешування та алгебри скінченних предикатів; розробити архітектуру програмного рішення та його реалізацію на основі оптимізованого методу; протестувати алгоритм на прикладі завдання декодування відео. Застосовано такі методи: статистичні алгоритми та техніки, зокрема класифікація та кластерний аналіз, використані для прогнозування потреб у ресурсах; візуалізаційні методи допомогли в аналізі та інтерпретації результатів. Результати роботи: проаналізовано недоліки сучасних методів для розподілу завдань у розподілених системах оброблення даних; створено оптимізований метод планування завдань на основі метаданих у РСОД, який ґрунтується на методології пошуку найближчих сусідів із використанням методу локалізованого хешування та алгебри скінченних предикатів; деталізовано процеси в модифікованому алгоритмі пошуку найближчих сусідів; розроблено архітектуру програмного рішення, що інтегрує оптимізований метод планування завдань на основі метаданих та алокації ресурсів; за допомогою практичного сценарію здійснено валідацію програмного рішення – використання створеного алгоритму в задачі планування для декодування відеоінформації. Висновки. Запропонований метод, що ґрунтується на методології локалізованого хешування та на застосуванні алгебри скінченних предикатів, є ефективним навіть у разі недостатньої або обмеженої інформації про ресурсні потреби. Це підтверджує можливість використання динамічних стратегій планування для адаптації до мінливих умов навантаження та доступності ресурсів.Публікація Метод повторного використання знань у формі логічних рівнянь(ХНУРЕ, 2023) Каратаєв, О.; Ситніков, Д.Предмет дослідження – процеси побудови та поповнення баз знань, повторного використання знань, і створення програмних систем на основі баз знань, інтерпретація знань як один із підходів до повторного їх застосування, що полягає у виведенні нових знань на основі наявних фактів у базі знань. Мета дослідження – розроблення методу повторного використання знань за допомогою вирішення логічних рівнянь скінченних предикатів для певної предметної галузі. Для досягнення поставленої мети визначено такі завдання: дослідити дескриптивні підходи до логічного моделювання предметної галузі, що дають змогу повторного використання знань, заданих системою логічних рівнянь у межах алгебри скінченних предикатів; розробити метод поповнення бази знань у формі предикатних рівнянь за допомогою вилучення змінних із логічних систем, де рівняння є складними логічними зв’язками між дискретними ознаками об’єктів або процесів. Використано такі методи: алгебра скінченних предикатів, кванторні операції з предикатами для інтерпретації знань. Здобуто такі результати: проаналізовано дескриптивні методи повторного використання знань; запропоновано метод поповнення бази знань у формі логічних рівнянь з метою спрощення подальшого використання неявних зв’язків між дискретними ознаками; розглянуто приклад поповнення бази знань медичної галузі, що дає змогу повторного використання знань, заданих неявно. Висновки. Запропонований метод дає змогу поповнювати базу знань у формі логічних рівнянь способом додавання предикатних рівнянь, що пов’язують окремі набори дискретних змінних, які цікавлять ученого або практика. Метод поповнення бази знань оснований на додаванні нових спрощених рівнянь; спрощені предикатні рівняння моделюють логічні закономірності, що неявно містяться в основній базі знань; проведено експериментальне дослідження.Публікація Методи автоматизації та інтерпретації якості освітніх тестів у системах розподіленого віртуального навчання(ХНУРЕ, 2023) Ляшик, В.; Шубін, І. Ю.Предметом дослідження є розроблення математичного та алгоритмічного забезпечення інтелектуального інструментарію аналізу наборів тестових завдань і моделювання процесу інтерпретації якості наборів тестових завдань, що дає змогу об’єктивно та всебічно проводити безперервний контроль знань студентів (суб’єктів навчання) за умови впровадження концепції віртуального розподіленого навчання. Мета роботи – створення методів автоматизації оцінювання якості освітніх тестів та інтерпретації результатів, подання математичного апарату, що допомагає якнайкраще описувати складні інтелектуальні процеси й методи оцінювання комплектів тестових завдань під час перевірки рівня знань суб’єктів навчання. У статті вирішуються такі завдання: формування моделі тестування в розподіленому віртуальному навчальному середовищі та моделі оцінювання валідності за змістом наборів тестових завдань. Використовуються такі методи: математична статистика й інтелектуальний аналіз інформації, алгебра скінченних предикатів і операцій. Здобуто такі результати: сформульовано принципи інтелектуального аналізу значення коефіцієнтів надійності, коефіцієнтів валідності, коефіцієнта дискримінативності; визначено індекс важкості завдань для оцінювання знань суб’єктів навчання. Висновки. Застосування методів формалізації оцінювання тестів підтверджують необхідність уведення в практику освіти кількісних методів оцінювання знань студентів. Упровадження зазначених методів передбачає правильне визначення цілей контролю, предмета вимірювання та вибір засобів вимірювання. Застосування розробленого методу аналізу наборів тестових завдань сприяє ефективній реалізації всіх функцій контролю, відповідає основним його принципам для вирішення завдань оцінювання якості тестів і лежить в основі моделей розподіленого віртуального навчання та методів аналізу успішності суб’єктів навчання.Публікація Автоматизація кваліфікації кримінальних правопорушень(ХНУРЕ, 2022) Гуца, О. М.; Ігуменцева, Н. В.З кожним роком у демократичних країнах все більше реалізується системна діяльність правоохоронних та судових органів з використанням комп’ютерних технологій.