Кафедра інформатики
Permanent URI for this collection
Browse
Browsing Кафедра інформатики by Issue Date
Now showing 1 - 20 of 143
Results Per Page
Sort Options
Item Порівняльний аналіз деяких різницевих схем для рівняння конвективної дифузії(1999) Тригуб, ОлександрРозглядаються два варіанти чисельного методу характеристик для розв'язання рівняння конвективної дифузії - лінійна та квадратична різницеві схеми. За допомогою методу диференціальних наближень побудовані перші диференціальні наближення для обох схем, проведено їх порівняльний аналіз. Теоретичні дослідження перевірені на чисельному розв'язанні модельної тестової задачі. Результати розрахунків подано у вигляді зручних для аналізу графіків та таблиць.Item Інформаційна система Національного університету "Києво-Могилянська академія"(Стилос, 1999) Гороховський, Семен; Кислоокий, Володимир; Колесніченко, Д.; Середа, Л.; Синявський, Олександр; Глибовець, Микола; Ярошенко, ТетянаУ статті викладена концепція створення та розвитку інформаційної системи університету, інтегрованої у світовий інформаційний простір. Аналізуються технологічна, інформаційна та інтелектуальна інфраструктури системи. Розглядаються завдання, пов'язані з приєднанням інформаційної системи НаУКМА до глобальної комп'ютерної мережі Інтернет, сполученнями по Україні та по місту Києву. Подані архітектурні рішення та принципи Web-дизайну, розроблені у зв'язку зі створенням Інтернет-вузла НаУКМА, комп'ютерної мережі університетського містечка, комп'ютеризацією наукової бібліотеки, інформатизацією Магістеріуму НаУКМА, розвитком студентського Інтернет-центру, підтримкою мережі робочих станцій навчальних та адміністративних підрозділів, створенням комп'ютерних класів та комп'ютеризованих лекційних аудиторій, автоматизацією управління навчальним процесом.Item Формальні специфікації оператора переходу в мовах програмування(2000) Проценко, В.Задаючи мову програмування, необхідно описати 'u синтаксис і семантику. Головне завдання синтаксису - описати всі конструкції, котрі розглядаються як елементи мови. З цією метою використовується конкретний синтаксис, що виділяє послідовності символів алфавіту, які вважаються синтаксично правильними. Найчастіше конкретний синтаксис - це скінченний набір правил, котрі дозволяють породити нескінченну множину всіх конструкцій мови.Item Агентні технології : спроба критичного огляду(2000) Гороховський, СеменРозглядаються проблеми, пов'язані з інтелектуальними агентами—новою інформаційною технологією. Аналізуються перспективи і труднощі використання.Item Про один підхід до організації роботи WAP-шлюзу в багатопроцесорних обчислювальних системах(2002) Гулаєва, НаталіяПропонується паралельний варіант процесу обробки WAP-шлюзом WML-сторінки. Як моделюючий засіб використовується розширена мережа Петрі.Item Алгоритми для проведення взаємозаліків(2002) Ляшко, В.; Шило, Володимир; Огар, В.Описуються змістовна та математична постановки задачі про проведення взаємних заліків, можливі алгоритми розв'язку цієї задачі. Наводяться результати тестових розрахунків.Item Запити з множинними порівняннями у мові SQL (СУБД MySQL)(2003) Гороховський, Семен; Кулябко, Олена; Франчук, Олег; Кулябко, ПетроУ статті досліджуються схеми реалізації складних запитів з множинними порівняннями засобами мови SQL без вкладених підзапитів, що характерно для деяких систем баз даних, зокрема СУБД MySQL.Item Локальні алгоритми: зв'язок зі штучними нейронними мережами та генетичними алгоритмами(2003) Гулаєва, НаталіяУ статті показано, що кожному локальному за Анісімовим алгоритму можна поставити у відповідність штучну нейронну мережу, яка реалізує цей алгоритм, і навпаки. Наведено приклади побудови таких алгоритмів та нейронних мереж. Показано також, що генетичні алгоритми на основі індивідів є локальними за Анісімовим алгоритмами.Item Аналіз застосування методу сіток до чисельного розв'язання параболічних рівнянь(2003) Тригуб, ОлександрУ статті розглядається сукупність різницевих схем для апроксимації параболічних рівнянь. Теоретичне дослідження схем грунтується на побудові їх перших диференціальних наближень. Апріорні висновки щодо точності схем, що досліджувалися, підтверджено чисельними розрахун¬ками на модельному одновимірному рівнянні параболічного типу. Проведено порівняльний аналіз різницевих схем. Результати розрахунків подано у вигляді зручних для аналізу графіків і таблиць.Item Генетические алгоритмы и их использование для решения задачи составления расписания(2003) Медвідь, С.; Глибовець, НиколайВ роботі основна увага зосереджена на принципі роботи генетичних алгоритмів та задачі складання розкладу занять.Item Про один алгоритм мінімізації булевих функцій(2004) Гломозда, ДмитроДана стаття описує дослідження та вдосконалення одного з алгоритмів для розв’язання задачі мінімізації булевих функцій. Описано та проаналізовано два підходи до підвищення коректності роботи алгоритму.Item Технологія Сітки (Grid) і використання агентних платформ для задач планування.(2005) Гороховський, Семен; Римарчук, ВеронікаПрацю присвячено поєднанню двох супертехнологій — Grid, яка пропонує створення нової інфраструктури розподілених обчислень шляхом координованого доступу до різноманітних ресурсів, об'єднаних мережею, і агентної технології, що забезпечує інтелектуальні, автономні й соціальні здатності. Основне завдання Сітки — це координування колекцій ресурсів. Застосування агентних систем для планування задач у Grid дасть змогу розв 'язати дві основні проблеми — масштабованості та адаптивності. Методи й прийоми, що використовуються сьогодні, не забезпечують розв'язання цих складних проблем.Item Проблема організації навчальних ресурсів: побудова репозитарію(2005) Глибовець, Микола; Яцевський, ВолодимирРозглядається підхід до вирішення проблеми повторного використання навчальних матеріалів з метою їх простого та прозорого поширення. Було проведено аналіз існуючих специфікацій та рекомендацій до реалізації навчальних об'єктів у вигляді компонентів багаторазового використання, серед них: ADL SCORM, IEEE LTSC LOM, IMS Content Packaging. Також на сьогоднішній день існує досить значна кількість репозитаріїв навчальних ресурсів з частковою автоматизацією того чи іншого типу навчання. Зокрема заслуговують на увагу такі продукти як Lotus LearningSpace та WebCT. Проте дані реалізації є платними. Остання ж тенденція розвитку навчальних репозитаріїв полягає у реалізації специфікації IMS DRI (Digital Repositories Interoperability). Власне взаємодія між навчальними репозитаріями перш за все означає можливість обміну навчальними пакетами без втручань з боку експертів чи розробників.Item Формальна модель функціювання колаборативного середовища(2006) Гломозда, Дмитро; Глибовець, МиколаЗа останні роки відбулося значне поширення Інтернет-послуг. Але розвиток технологій спільної роботи, яка ґрунтується на спеціальному програмному забезпеченні та середовищі взаємодії для спільного розв'язання конкретних задач, сповільнений через те, що навіть на неформальному рівні досить складно описати дистанційне співробітництво, яке дає змогу людям спільно використовувати і маніпулювати мультимедійною інформацією в реальному часі і на різних рівнях модальності. Проектування системи дистанційного співробітництва достатньо складне, оскільки охоплює користувачів, мережу та проблеми з головними комп'ютерами (хостами), наприклад, різнорідні платформи для "застосувань". Користувачі прагнуть отримати середовище дистанційного співробітництва, яке має забезпечити якість взаємодії, близької до "зустрічі віч-на-віч". В цьому випадку стають необхідними координаційні механізми досягнення консенсусу для спільного й ефективного використання ресурсів.Item Розробка системи управління навчального закладу на прикладі НаУКМА(2006) Глибовець, Микола; Іващенко, С. А.; Крусь, О.В роботі описано прототип типової автоматизованої системи управління навчальним закладом, що забезпечує виконання стандартних функцій керування навчальним процесом та допоміжними структурними підрозділами. Однією з задач досліджень була розробка архітектурного рішення і реалізація платформи, які б забезпечили можливість ефективного виконання довільної функціональності згідно з вимогами, що будуть розроблятися під час поетапної автоматизації навчального закладу.Item EMERECU – темпусівський грант створення електронного мультимедійного ресурсного центру навчальних матеріалів для України(2006) Глибовець, Микола; Бублик, ВолодимирЩо собою представляє EMERECU? Це відкрита система для збереження навчальних матеріалів у найбільш розповсюджених форматах. Вона може бути використана і як єдина система організації навчання та управління в традиційній очній системі навчання. Система містить онлайнову навчальну платформу та ресурсний депозитарій, який використовує стандарти LTSC, IMS, SCORM. Використані найновіші технології для запису і трансляції лекцій дозволяють синхронізацію з матеріалами презентації та дуже невибагливі до апаратного забезпечення.Item Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання(2006) Глибовець, Микола; Гломозда, ДмитроThe problem of building a formal model of coordination system for a collaboration environment is considered in the article. The automata model described with Petri nets is presented. The study of system’s boundedness, preservation and liveness is conducted on the basis of the net model.Item Архітектура колаборативного навчального простору(2007) Глибовець, Микола; Гороховський, СеменАвтори пропонуємо концепцію та архітектуру колаборативного навчального середовища, в якому будуть не так відчутні традиційні недоліки електронного навчання, але з'являться нові атракції, такі як швидка інтеграція нових користувачів істворення відчуття причетності користувачів до спільноти, яка вчить і вчиться, ефективне повторне використання знань, поліпшення асинхронного спілкування між різними користувачами, поліпшення доступу до контенту відповідно до преференцій користувачів і бажаних форматів доставки навчального матеріалу з перетвореннями текст-мова, мова-текст, аудіо і відео перехвати тощо.Item Складність задачі верифікації координаційного механізму системи програмної підтримки мережної співпраці(2007) Глибовець, Микола; Гломозда, ДмитроМетою даної роботи буде вирішення питань, пов'язаних із розв'язанням задачі верифікації координаційного механізму для колаборативної системи програмної підтримки мережної співпраці. Запропонована в попередніх роботах мережна модель колаборативної системи базується на структурі колаборативного середовища, складовими елементами якої є сеанси, користувачі, спільні ресурси та рівні, за допомогою яких реалізується рівневий протокол доступу до ресурсів. До складу колаборативної системи входять N користувачів, М сеансів, L ресурсів та координаційний механізм — сукупність позицій та переходів мережі Петрі, що зв'язує користувачів, сеанси та ресурси. В нашій моделі це блок, що включає в себе контролери рівнів (кожному рівню відповідає один ресурс) та механізм забезпечення взаємовиключення при створенні сеансу.Item Web Portal for Support of Joint European Projects(2007) Glybovets, Mykola; Boublik, Volodymyr; Shabinskiy, Anton; Apostol, Andriy; Buniak, Roman; Lutsenko, IgorOur task was primary design and development of web-portal for Joint European Projects under aegis of European Commission. The portal should provide a friendly and clear access to any dedicated information and concrete JEP portals themselves. In other words, the task was to create a modern web-resource with all necessary information about Projects, Commission, consortia and partners; ability to add new Joint European Projects and their pages; eFolio for members; storage of materials(articles, files) and ability to add/modify them; news, calendar of events and so on.