163: Комп'ютерні наукиNo Descriptionhttps://ekmair.ukma.edu.ua/handle/123456789/94032024-03-28T19:34:01Z2024-03-28T19:34:01Z181Металогічні предикати в пролозіВовк, Наталіяhttps://ekmair.ukma.edu.ua/handle/123456789/34162024-02-12T09:20:00Z2014-01-01T00:00:00Zdc.title: Металогічні предикати в пролозі
dc.contributor.author: Вовк, Наталія
dc.description.abstract: У статті розглянуто деякі можливості розширення мови логічного програмування Пролог, а саме металогічні предикати (метапредикати).
dc.description: This paper examines some possibilities of expanding logical programming language Prolog, namely metalogical predicates (metapredicates).
2014-01-01T00:00:00ZВисока доступність мережевих сервісів: визначення та основні фатори впливуЧеркасов, Дмитроhttps://ekmair.ukma.edu.ua/handle/123456789/34152024-02-12T09:35:21Z2014-01-01T00:00:00Zdc.title: Висока доступність мережевих сервісів: визначення та основні фатори впливу
dc.contributor.author: Черкасов, Дмитро
dc.description.abstract: У статті розглянуто особливості реалізації мережевих сервісів. Визначено поняття високої доступності мережевого сервісу. Вказано на основні фактори, що впливають на доступність мережевого сервісу, та проаналізовано особливості впливу кожного з факторів.
dc.description: Overview of network service implementation specifics. Defining high availability of network service. Specifying main factors influencing network service availability, analysing particular influence of each factor.
2014-01-01T00:00:00ZВикористання технології хмарних обчислень в електронній освітіКирієнко, Оксанаhttps://ekmair.ukma.edu.ua/handle/123456789/34142024-02-12T09:49:00Z2014-01-01T00:00:00Zdc.title: Використання технології хмарних обчислень в електронній освіті
dc.contributor.author: Кирієнко, Оксана
dc.description.abstract: У статті описано інтеграцію віртуального навчального середовища з хмарною платформою і створення синхронізованої системи зберігання документів між EyeOS та Moodle.
dc.description: This paper describe the integration of the VLE cloud platform and creation of synchronized storage of documents between EyeOS and Moodle.
2014-01-01T00:00:00ZПро методики інформаційного керування процесом e-learning на основі моделей послідовного прийняття рішеньОлецький, Олексійhttps://ekmair.ukma.edu.ua/handle/123456789/34132024-02-12T09:55:20Z2014-01-01T00:00:00Zdc.title: Про методики інформаційного керування процесом e-learning на основі моделей послідовного прийняття рішень
dc.contributor.author: Олецький, Олексій
dc.description.abstract: Обговорюються математичні моделі, які можна буде використати в системах e-learning для автоматичного добору найефективніших навчальних матеріалів. Основну увагу приділено методам добору навчальних матеріалів на основі марковських процесів прийняття рішень – як у просторі основних станів, так і в просторі пов’язаних з ними гіперстанів. Пропонуються інтегральні моделі, які дозволяють враховувати часовий фактор.
dc.description: Mathematical models that can be applied for selecting the most appropriate materials in e-learning systems are regarded. The main attention is paid to Markov decision making processes in spaces of main states and hyper-states. In orded to taking into account time factor, integral models are proposed.
2014-01-01T00:00:00ZLearning management system at schools – are they really needed there?Qashi, R.Hänßgen, K. https://ekmair.ukma.edu.ua/handle/123456789/34122024-02-12T11:36:48Z2014-01-01T00:00:00Zdc.title: Learning management system at schools – are they really needed there?
dc.contributor.author: Qashi, R.; Hänßgen, K.
dc.description.abstract: In this article, several findings of various studies are shown on the use of LMS in schools. Meanwhile, Learning Management Systems (LMS) have been introduced in a number of schools around the world. A LMS is a software application for delivery of learning content and management of learning processes for students. LMS support students, teachers and administrators resulting in personalized, productive learning experiences. Students and teachers are able to communicate easily with each other through LMS. Because of LMS implementations in some schools, it is important to recognize reactions of students and teachers as LMS users.
dc.description: У цій статті наведено кілька результатів різних досліджень використання LMS у школах. Системи управління навчанням (LMS) було введено в окремих школах по всьому світу. LMS – це програмний додаток для доставки навчальних матеріалів та управління процесами навчання для студентів. LMS персоналізовано підтримує студентів, викладачів та адміністраторів, в результаті чого підвищується продуктивність навчання. Студенти та викладачі можуть легко спілкуватися один з одним через LMS. Завдяки впровадженню LMS у деяких школах, можливо визначити реакції студентів і викладачів як користувачів LMS.
2014-01-01T00:00:00ZМоделювання роботи колаборативного середовища за допомогою кольорових мереж ПетріГломозда, Дмитроhttps://ekmair.ukma.edu.ua/handle/123456789/34112024-02-12T11:53:47Z2014-01-01T00:00:00Zdc.title: Моделювання роботи колаборативного середовища за допомогою кольорових мереж Петрі
dc.contributor.author: Гломозда, Дмитро
dc.description.abstract: У статті описано модель координаційного механізму програмної системи підтримки асинхронної дистанційної взаємодії в мережі Інтернет, створену за допомогою кольорових мереж Петрі.
dc.description: A model of coordination mechanism of a program system to support asynchronous distant collaboration in Internet scope, created with a help of coloured Petri nets is described. The results of studying the model in terms of safety, liveness and correctness are presented.
2014-01-01T00:00:00ZВикористання діяльності віртуальних спільнот для покращення інформаційного пошукуГлибовець, МиколаКонюшенко, Олексійhttps://ekmair.ukma.edu.ua/handle/123456789/34102017-11-01T00:14:10Z2014-01-01T00:00:00Zdc.title: Використання діяльності віртуальних спільнот для покращення інформаційного пошуку
dc.contributor.author: Глибовець, Микола; Конюшенко, Олексій
dc.description.abstract: The article substantiates the task of development of personalized search that would be search for documents of thematic portal based on the results of the cooperative activity of an virtual community portal for the evaluation of documents.; У статті обґрунтовано задачу розробки системи персоналізованого пошуку, яка здійснювала б пошук документів тематичного порталу з урахуванням результатів кооперативної діяльності віртуального співтовариства порталу за оцінкою документів.
2014-01-01T00:00:00ZКоординація розподілених команд розробників програмного забезпеченняАфонін, АндрійГлибовець, АндрійБобко, Олександрhttps://ekmair.ukma.edu.ua/handle/123456789/34092017-11-01T18:57:14Z2014-01-01T00:00:00Zdc.title: Координація розподілених команд розробників програмного забезпечення
dc.contributor.author: Афонін, Андрій; Глибовець, Андрій; Бобко, Олександр
dc.description.abstract: У статті описано ґрунтовне дослідження проблем та особливостей розподіленої розробки програмного забезпечення систем керування проектами, визначено рівні співпраці між учасника ми розподілених команд, вивчено роль організаційної пам’яті.; This article describes a deep research of problems and characteristics of distributed software development
project management systems, the levels of cooperation between members of distributed teams investigated the role of organizational memory.
2014-01-01T00:00:00ZDomain analysis method as a service of cloud-enabeled service oriented platformSydorov, I.https://ekmair.ukma.edu.ua/handle/123456789/34082024-02-12T12:34:33Z2014-01-01T00:00:00Zdc.title: Domain analysis method as a service of cloud-enabeled service oriented platform
dc.contributor.author: Sydorov, I.
dc.description.abstract: The problems of building PaaS and SaaS applications are covered. Reference architecture is offered for building cloud-enabled platform to host a number of SaaS applications and support general characteristics of a cloud such as rapid elasticity, on-demand self-service, multi-tenancy, resource pooling and measured service. General directions of adopting cloud computing in aviation industry are mentioned. Domain analysis as a service of cloud-enabled service oriented platform is presented. The method is realized with the help of two controllers. The task - to create software patten for object communication device of the legacy aircraft simulator is decided. Formalization of processes description is carried out by means of Real Time Process Algebra (RTPA). Description of processes in RTPA is input for the mean that creates the service (domain analysis controller) for cloud-enable service oriented platform. Domain analysis service can be use not only for reengineering aviation simulator software.
dc.description: У статті розглянуто розв’язання завдання побудови PaaS and SaaS застосувань. Наведено архітектуру для побудови хмарно-орієнтованої платформи SaaS застосувань, яка забезпечує основні характеристики сервісів. Архітектуру продемонстровано в контексті застосування хмарних обчислень. Доменний аналіз заявлено як сервіс хмарно-орієнтованої платформи. Метод доменного аналізу реалізовано за допомогою двох контролерів платформ. Розв’язується завдання – створити програмний шаблон для пристрою комунікації успадкованого авіаційного транспорту. Формалізація опису процесів виконання із застосуванням алгебри процесів реального часу (RTPA). Опис процесів у
RTPA є входом для засобу, який створює service (контролер доменного аналізу) хмарно-орієнтованої платформи. Сервіс доменного аналізу може бути застосовано не тільки для реінженерії програмного забезпечення авіаційних тренажерів.
2014-01-01T00:00:00ZЗадача планування технічного обслуговування складних системГорборуков, В.Франчук, Олегhttps://ekmair.ukma.edu.ua/handle/123456789/34072024-02-12T12:44:29Z2014-01-01T00:00:00Zdc.title: Задача планування технічного обслуговування складних систем
dc.contributor.author: Горборуков, В.; Франчук, Олег
dc.description.abstract: У статті розглянуто задачу планування технічного обслуговування складних систем, яка формалізується в класі моделей дискретного програмування з обмеженнями комбінаторного типу.
dc.description: The problem of scheduling maintenance of complex systems, which is formalized in the class of discrete programming models with constraints combinatorial type, has been considered. The algorithm for solution this problem, based on the ideology of the method of dynamic programming, has been proposed.
2014-01-01T00:00:00Z