016: Комп'ютерні науки
Permanent URI for this collection
Browse
Recent Submissions
Item Програмний пакет коригування системних дат щодо проблеми 2000 року(1999) Алішов, Н.; Бойко, О. Я.; Перевозчикова, ОльгаРозглянуто функціональні можливості та принцип дії пакета утиліт "IK-Y2K", призначеного для коригування дати і системного таймера після 2000 року у комп'ютерах Intel-архітектури. Наведено порівняння з двома вітчизняними контролерами аналогічного призначення.Item Порівняльний аналіз деяких різницевих схем для рівняння конвективної дифузії(1999) Тригуб, ОлександрРозглядаються два варіанти чисельного методу характеристик для розв'язання рівняння конвективної дифузії - лінійна та квадратична різницеві схеми. За допомогою методу диференціальних наближень побудовані перші диференціальні наближення для обох схем, проведено їх порівняльний аналіз. Теоретичні дослідження перевірені на чисельному розв'язанні модельної тестової задачі. Результати розрахунків подано у вигляді зручних для аналізу графіків та таблиць.Item Спосіб формулювання задач класифікації як задач розподілу графа(1999) Шило, Володимир; Ляшко, ВолодимирПропонується спосіб формулювання задачі класифікації як задачі розподілу графа. Він базується на аналізі спеціально побудованого марковського ланцюга. Наводяться результати розв'язання тестової задачі методом глобального рівноважного пошуку.Item Алгоритм синтезу системи по оптимізації її керованості(1999) Матвієнко, ВолодимирРозглядається задача термінального керування для дискретних динамічних систем. У випадку, коли система не повністю керована, заданий фінальний стан точно досягти неможливо. Тому ставиться задача оптимального синтезу структури розподілу керуючих сигналів по переводу системи з початкового стану в найменший окіл фінальної точки або в задану множину кінцевих точок. Пропонується конструктивний алгоритм розв'язання поставленої задачі. Розв'язок наведеної задачі дозволяє підвищити керованість системи.Item Про структури даних і знань інтелектуального розв'язувача прямих та обернених задач моделювання на основі інтегральних рівнянь(1999) Олецький, ОлексійРозглядаються проблеми, пов'язані з побудовою інформаційного забезпечення для інтелектуалізованих систем моделювання, які дозволяють вибирати оптимальні методи розв'язання інтегральних рівнянь та оптимальні параметри цих методів.Item Засоби доступу до баз даних у об'єктних мовах програмування(1999) Спасітєлєва, СвітланаСтаття присвячена процесу сумісного використання об'єктно-орієнтованих мов програмування та реляційних баз даних. Досліджуються різноманітні технології доступу до баз даних, які використовуються мовами C++ та Java при розробці прикладних систем. Проаналізовані можливості технологій доступу до різних джерел даних, їх недоліки та переваги.Item Виведення за аналогією на основі пірамідальних мереж для розв'язання задач діагностики та прогнозування(1999) Ващенко, Наталя; Москалькова, НадіяУ статті розглянуто виведення за аналогією в семантичних мережах пірамідальної структури. Необхідна умова існування подібності між двома об'єктами визначається через наявність спільних ознак. Для оцінки відношення подібності між моделлю та прототипом введено міру, що обчислюється на основі ступеня подібності моделі і прототипу та впевненості у встановленні такої подібності. Якщо міра подібності моделі перевищує деякий поріг, то для неї може бути здійснено формування висновку. Запропонований метод виведення за аналогією реалізовано в системі аналізу та виявлення закономірностей CONFOR.Item Застосування структурного системного аналізу при розробці інформаційних систем(1999) Бойко, Б. І.; Кузенко, В.Стаття присвячена проблемі розробки інформаційних систем. Наводяться основні структурні та функціональні особливості автоматизованої інформаційної системи ЕКОС.Item Експлікативне моделювання в середовищі інтергації(1999) Редько, ІгорДосліджуються проблеми ефективної редукції параметричних логіко-математичних специфікацій класів задач у експлікативні моделі з оракулами. Стосовно основних класів таких специфікацій розробляються параметричні методи редукцій. Останні ілюструються на репрезентативних класах прикладів.Item Координаційні абстракції програмування для ефективного розпаралелювання за даними(1999) Дорошенко, Анатолій; Кононенко, І.; Коротун, ОльгаДля найбільш поширеної в системах паралельного програмування парадигми розпаралелювання за даними характерна дуже проста організація керування обчисленнями за допомогою засобів бар'єрного типу. Однак навіть у випадках паралельних застосувань з регулярним характером обчислень ефективність паралельних програм, де використовуються ці засоби, є невисокою. Головною причиною такого недовикористання потенційної продуктивності паралелізму є надто обмежувальний характер зазначених бар'єрних засобів. У цій статті для класу паралельних за даними програм з розподіленою та спільною пам'яттю і статичною дисципліною доступу до спільної пам'яті з боку паралельних компонент нами запропоновано координаційні абстракції паралельного програмування у вигляді формальних регулярних виразів, що мають на меті підвищення ефективності синхронізації та обміну даними між цими компонентами. Показано застосування запропонованих засобів програмування для вирішення проблем автоматизації розробки ефективних паралельних програм.Item Про деякі загальні питання інформатики(1999) Зубенко, ВіталійСтаття присвячена уточненню предмета інформатики та одного з центральних її понять - програмування.Item Інформаційна система Національного університету "Києво-Могилянська академія"(1999) Глибовець, Микола; Гороховський, Семен; Кислоокий, Володимир; Колестченко, Д.; Середа, Л.; Синявський, Олександр; Ярошенко, ТетянаУ статті викладена концепція створення та розвитку інформаційної системи університету, інтегрованої у світовий інформаційний простір. Аналізуються технологічна, інформаційна та інтелектуальна інфраструктури системи. Розглядаються завдання, пов'язані з приєднанням інформаційної системи НаУКМА до глобальної комп'ютерної мережі Інтернет, сполученнями по Україні та по місту Києву. Подані архітектурні рішення та принципи Web-дизайну, розроблені у зв'язку зі створенням Інтернет-вузла НаУКМА, комп'ютерної мережі університетського містечка, комп'ютеризацією наукової бібліотеки, інформатизацією Магістеріуму НаУКМА, розвитком студентського Інтернет-центру, підтримкою мережі робочих станцій навчальних та адміністративних підрозділів, створенням комп'ютерних класів та комп'ютеризованих лекційних аудиторій, автоматизацією управління навчальним процесом.