Розглянуто питання розробки інформаційної технології контекстного обміну даними. Вперше використано логіку предикатів вищого порядку як модель знань системи контекстного обміну даними. Введено поняття "предикат - властивість", "предикат альтернатив", що дозволило сформувати багаторівневу контекстну модель бази даних засобами логіки предикатів вищих порядків. Розроблено метод оцінювання якості даних, який базується на теорії множин. Даний метод дозволяє мінімізувати кількість показників якості даних, що спрощує розрахунок інтегрального показника якості даних. Запропоновано методи та алгоритми концептуалізації бази даних та пошуку послідовностей перетворень контекстів, які базуються на моделюванні контекстних знань засобами логіки предикатів вищих порядків. Апробовано нову інформаційну технологію, яка базується на методах та алгоритмах контекстного обміну даними. Створено підсистему контекстного обміну даними програмного комплексу інформаційної підтримки хроматографічного експерименту, впровадженого в Фармакопійному комітеті Коммедбіопрому України.

  Скачати повний текст

Проведено алгоритмізацію та розроблено обчислювальні процедури ідентифікації сумішей та сплайн-розподілів у класах експоненційному, нормальному, Вейбулла. Вперше запропоновано обчислювальні схеми відтворення сумішей та сплайн-розподілів за цензурованими даними на підставі модифікованих методів моментів та максимальної правдоподібності. З метою визначення інтервалів переважаючих механізмів відмов або навантажень та визначення гарантійного строку розроблено алгоритми апроксимації сумішей сплайн-експоненційним розподілом з параболічним аргументом

  Скачати повний текст

Побудовано часову реляційну модель даних. Сформульовано нове математичне визначення часового відношення. Введено нові типи функціональних залежностей та ключів. Викладено теорію нормалізації для оптимізації інформаційних схем часових відношень. Визначено часову реляційну алгебру. Узагальнено поняття часового відношення для довільної кількості часових параметрів. Розроблено методи реалізації часової моделі даних засобами реляційної моделі. Досліджено принципи застосування основ структурного моделювання в процесі побудови інформаційних систем на базі часової реляційної моделі. Висвітлено інформаційну систему історичного напрямку "Електронний музей", яка відображає результати теоретичних дисертаційних досліджень.

  Скачати повний текст

Висвітлено питання розробки математичних моделей, методів та інструментальних засобів для формалізації опису та моделювання багатомодульних систем інформаційного обслуговування з розподіленим управлінням за допомогою алгебр предикатних операцій, сіток Петрі та технологій штучного інтелекту. Запропоновано використовувати апарат фундаментальної алгебри предикатних операцій для опису структури і функціонування ординарної сітки Петрі та розфарбованої сітки Петрі. Розроблено метод визначення множини тупикових розміток для розфарбованої сітки Петрі за допомогою апарату фундаментальної алгебри предикатних операцій. Висвітлено систему інтерактивної імітації розфарбованої сітки Петрі та аналізу її властивостей з використанням інтелектуальної компоненти.

  Скачати повний текст

Удосконалено метод структурного аналізу предметної області, а саме, на підставі структурного підходу реалізовано елементи, властиві об'єктній методології, а також розглянуто суміжні області методів та напрямки їх можливого розвитку, що дає змогу використовувати переваги об'єктної методології у межах структурного підходу. Удосконалено методи та моделі формалізації предметної області та одержання раціональної за даними критеріями логічної структури бази даних інформаційних систем у межах математичного забезпечення інтелектуальних СППР, а саме: адаптовано математичну модель предметної області та процедури інформаційного наповнення й аналізу даних для подальшого ефективного використання знань про предметну область, що містяться в одержаних математичних моделях, а також обгрунтовано їх використання, що дало змогу оптимізувати процес розробки баз даних та скоротити час розробки. Удосконалено існуючі методи цільового програмування щодо проектування раціональних за заданими критеріями структур баз даних інформаційних систем, за допомогою елементів теорії нечітких множин модифіковано метод інтерактивного послідовного цільового програмування. Установлено, що використання теорії нечітких множин у межах модифікованого методу спрощує процес нормалізації критеріїв, прискорює процедуру пошуку розв'язків.

  Скачати повний текст

Розроблено концептуальну модель, яка пов'язує організаційну структуру та правові її засади, інформаційні та управлінські потоки у системі органів регулювання сфери інтелектуальної власності в Україні. Запропоновано моделі та алгоритми керування розподіленим інформаційно-аналітичним середовищем опису, аналізу та експертного оцінювання об'єктів даної власності. Наведено та проаналізовано комплексну модель інвестиційно-інноваційної та податкової політики, яка висвітлює регуляторні фактори взаємодії даних сфер за умов розвитку сучасного ринку інтелектуальної власності. У межах даної моделі розв'язано задачу пошуку такого оптимального значення ставки оподаткування, що дозволяє за умов ринкової економіки максимізувати інвестиції для регіону або галузі виробництва на засадах інноваційної діяльності. Запроваджено методологічні засади розробки та впровадження у практичну діяльність банку даних об'єктів інтелектуальної власності у межах інформаційно-аналітичних систем обліку та контролю її використання, який є невід'ємною складовою частиною інфраструктури сучасного ринку інтелектуальної власності в Україні.

  Скачати повний текст

Сформульовано концептуальне та математичне визначення інтелектуальної інформаційної системи з індуктивною компонентою, побудовано її структуруну та функціональну модель. Визначено основні підходи до підвищення ефективності функціонування інтелектуальних інформаційних систем з індуктивною компонентою. Застосовано математичний апарат теорії координації та фільтрування інформації до розв'язання задач підвищення ефективності функціонування інтелектуальних інформаційних систем з індуктивною компонентою, що дає змогу покращувати об'єктивні характеристики таких систем. Побудовано двоетапний метод пошуку розв'язку з використанням побудованих моделей. Запропоновано основні підходи до підвищення ефективності та керованості процесу проектування та розроблення інтелектуальних інформаційних систем з індуктивною компонентою шляхом використання об'єктно-орієнтованих методологій. Розроблено інформаційну систему автоматизації керування навчальним процесом "Школа", в якій практично відображено результати наукових досліджень.

  Скачати повний текст

Розглянуто питання розробки нових моделей та елементів структурно-об'єктної технології (СОТ) та інтерфейсного комплексу (ІК) корпоративно інформаційної системи (КІС) з урахуванням недоліків існуючих варіантів реалізації структурних і об'єктних моделей і технологій. Розроблено математичні метамоделі СОТ розробки ІК КІС, які описують процеси, стани та динаміку поведінки СОТ під час виконання проектних робіт. Створено математичні моделі операцій агентів управління розробкою та тестування локальних проектних рішень ІК КІС. Основні результати наукового дослідження програмно апробовано та рекомендовано для автоматизації процесів розробки КІС різного призначення.

  Скачати повний текст

Удосконалено теорію лексикографічних систем, орієнтованих на застосування інтернет-технологій. Із використанням лексикографічної моделі даних (як бази для побудови лексикографічних систем) і її узагальнень (лексикографічних середовищ й інтегрованих лексикографічних систем) розроблено концептуальні моделі лінгвістичного корпусу, цифрової (електронної) бібліотеки з розширеними лінгвістичними функціями, а також інтегрованої лексикографічної системи "Словники України". Наведено характеристику досліджуваних структур як відкритих систем. Обгрунтовано доцільність вибору сервіс-орієнтованої архітектури для онлайнових систем. Вперше розроблено принципи взаємодії архітектури OSI-7 і лексикографічних систем в ANSI/X3/SPARK інтерпретації. Розроблено зразки онлайнових Л-систем, зокрема, "Український лінгвістичний портал", інтегровану лексикографічну систему "Словники України онлайн", "Словник російської словозміни", "Цифровий архів документів Президії НАН України", мережевий варіант "Українського національного лінгвістичного корпусу".

  Скачати повний текст

Розроблено сучасні методи класифікації, які можна застосовувати під час обробки великих масивів текстової документації в системі документообігу Єдиної автоматизованої інформаційної системи (ЄАІС) митної служби України. Показано, що актуальним для даної служби є питання класифікації документів, які надходять до бази даних автоматизованої інформаційно-пошукової системи (АІПС), за допомогою поштового сервера внутрішньої митної мережі INTERNEN. Запропоновано методи автоматизованої класифікації документів, які враховують відносну частоту появи певних термінів зі словника даних (глосарія) у документах, що належать до різних тематичних розділів, а також взаємну залежність появи різних термінів у документах первного класу.

  Скачати повний текст

Розроблено модель знань про інформаційні програмні системи та їх компоненти за домопогою використання системологічного класифікаційного аналізу, що зумовило повторне використання компонент за подальших розробок. Створено семантичну модель програмних компонент, побудовану на основі базової ієрархії класів, для відображення (збереження, опису та подальшого використання) компонентних одиниць інформаційної системи, зображених у вигляді вузол/функція/об'єкт-елементів, що дозволило поліпшити ефективність повторного використання компонент у розробці інформаційних програмних систем. Запропоновано імітаційну модель інформаційної програмної системи з використанням семантичної моделі програмних компонентів, системно-об'єктного методу, теорії патернів агрегативних схем для відображення динаміки функціонування її компонент, що дало змогу використовувати інформаційні системи на початкових етапах розробки. Удосконалено математичний апарат агрегативних схем формального зображення процесів функціонування систем шляхом зміни природи та принципів інтерпретації значення сигналів, утворюваних в агрегатних схемах, яких було уніфіковано за допомогою розроблених класифікацій інформаційних об'єктів і функцій, завдяки використанню теорії патернів, семантичної моделі та системно-об'єктного методу. Це дало змогу використовувати єдину імітаційно-статичну модель під час моделювання інформаційних програмних систем.

  Скачати повний текст

Створено модель інтенсивності відмов програмних засобів (ПЗ) інформаційних систем (ІС), викликаних зловмисними діями, яка базується на статистичній оборобці даних щодо атак і враховує параметри дефектів ПЗ і впливів на систему, що дозволяє забезпечити за цих умов необхідний рівень надійності ІС з оновлюваними ПЗ. Удосконалено метод оцінювання надійності ІС, який грунтується на дворівневому представленні їх станів, а також враховує відмови, викликані несправностями апаратно-програмних засобів і зовнішніми впливами, що дозволяє підвищити точність оцінки показника готовності ІС. Набув подальшого розвитку метод підвищення надійності ІС на засадах вибору типів і параметрів процедур щодо оновлення ПЗ.

  Скачати повний текст

Розроблено математичний апарат моделювання інформаційно-логічної структури предметних областей, використання якого дозволяє підвищити ефективність розробки програмного забезпечення у цілому за рахунок зменшення кількості помилок на етапі аналізу предметної області та специфікації вимог. Формальне описання структурно-логічної моделі предметної області дозволяє розв'язати задачу автоматичної генерації схеми реляційної бази даних, що проектується. Розроблений апарат моделювання інформаційно-логічної структури предметних областей дозволяє здійснювати науково обгрунтоване створення сучасного програмного забезпечення. Запропоновані моделі та методи можуть бути використані у задачах первинного аналізу структурно-логічних моделей предметних областей, під час розробки однотипних інформаційних систем, а також за умов проектування інформаційних систем з неточною термінологічною базою. Розроблено прототип програмного комплексу підтримки процесу моделювання інформаційно-логічної структури предметних областей.

  Скачати повний текст

Розроблено нові методи, моделі й інформаційні технології розробки інформаційних систем у разі зміни вимог, яка відбувається внаслідок постійних змін бізнес-процесів і організаційної структури об'єктів автоматизації. Розроблено метамоделі формування інформаційної системи та її компонентів, які дозволяють відобразити зміну функціональних вимог у структурі інформаційної системи. Для деталізованого опису метамоделей запропоновано моделі інформаційного простору систем, моделі операцій над його елементами, моделі операцій синтезу й аналізу метамоделі формування інформаційної системи. Розроблено моделі та методи синтезу варіанта конфігурації функціональної системи, виявлення й усунення невідповідності між елементами метамомоделі формування інформаційної системи. Визначено основні принципи побудови та створено структурно-об'єктну інформаційну технологію розробки даних систем у разі зміни вимог. Розроблені методи, моделі й інформаційна технологія апробовані під час виконання робіт з розробки та реінжинірингу інформаційних систем організаційного управління.

  Скачати повний текст

Розроблено, досліджено та застосовано методи та технологію адміністрування ресурсів розподіленої сервісної інформаційної системи на основі правил. Визначено синтаксис правил доступу до ресурсів, задано спосіб їх визначення. Метод формування правил доступу доресурсів інформаційної системи базується на поділі правил на правила користувачів і ресурсів загального доступу. На підставі заданих правил у разі звернення користувача до ресурсу метод визначення сукупності чинних правил доступу користувачів до ресурсів дозволяє сформувати рішення про допуск користувача або відхилення запиту як чинне правило. Запропоновано метод адміністрування ресурсів розподіленої інформаційної системи в комп'ютерній мережі, який базується на концепції використання правил з ухваленням рішення про зміну стану об'єкта. Метод передбачає використання комплексної оцінки у логічних конструкціях правил підтримки якості сервісу. Команди цих правил можуть міняти правила доступу для підтримки якості.

  Скачати повний текст

Розроблено нові методи персоналізації для систем електронного навчання та побудовано архітектуру інформаційних систем її підтримки. Створено математичну модель персоналізації, обгрунтовано принципи побудови систем надання рекомендацій, визначено їх переваги. Розроблено новий метод надання рекомендацій для застосування у системах електронного навчання, з використанням якого створено алгоритм надання рекомендацій, орієнтований на покращання часу їх побудови. Проведено порівняльне дослідження результатів роботи нового й існуючих алгоритмів персоналізації на підставі реальних великих масивів даних. Продемонстровано підвищення рівня адекватності рекомендацій і скорочення часу їх підрахунку. Розроблено архітектури персоналізації інформаційних систем. Побудовано програмний прототип системи персоналізації (з використанням інструментальних засобів Microsoft Visual C 2005 Express Edition), а також програмні засоби для розповсюдженого середовища системи дистанційного навчання Moodle.

  Скачати повний текст

Розроблено моделі й інформаційну технологію створення пакетів ділової документації, яка базується на методах інтелектуальної обробки даних. Як математичний апарат для моделювання процесів обробки текстових даних у документах використано теорію категорій. Проаналізовано властивості категорій і можливості предикатних категорій для представлення текстової інформації. Введено інтерпретацію категорії у термінах алгебрах предикатів - предикатну категорію. Розглянуто випадки - категорію з об'єктами та безоб'єктну категорію. Показано, що ядро лінійного логічного оператора можна розглядати як знання або правила одержання знань, а лінійний логічний оператор - як механізм здійснення запиту для одержання нових знань. Показано застосування предикатних категорій для формалізації даних, представлених за допомогою логічних моделей. Досліджено властивості добутку морфізмів. Функціонування логічної моделі представлення знань відтворено у вигляді послідовності відображень і категоріальних діаграм. Удосконалено засоби інтелектуальної обробки даних, які грунтуються на застосуванні теорії категорій і логічних мереж. Запропоновано алгебричну модель ідентифікації документів типу "лист-запит". Виділено формальні ознаки документа такого типу, визначено області їх зміни. Розглянуто основні типи документів і побудовано структуру логічної мережі документа за типом товару. Розроблено програмний комплекс розв'язання рівнянь алгебри предикатів для реалізації одержаних логічних мереж.

  Скачати повний текст

Запропоновано аналітичну модель схеми даних, метод визначення коректності схем даних, аналітична модель реляційної бази даних (БД) з багатоверсійною структурою, метод наведення даних реляційного відношення в різних версіях БД, методика модернізації інформаційних систем (ІС), що дозволило вирішити завдання скорочення простоїв ІС, запобігання втраті даних під час модернізації ІС. Побудовано технологію багатоверсійного представлення та керування БД. Розроблено показники відносних змін розміру БД і сумарної продуктивності ІС. Одержано підтвердження ефективності даної технології на практиці.

  Скачати повний текст

Визначенно поняття складених нечітких множин та їх властивості. Розглянуто задачу розподілу ресурсів у дворівневій ієрархічній комп'ютерній системі з виділеним сервером, розроблено алгоритм керування розподілом ресурсів у системі з урахуванням їх обмеженості. На підставі нейронних і функціонально-диференціальних моделей запропоновано підходи для моделювання процесів функціонування розподіленої програмної системи й одержано аналітичні вирази для розв'язків гібридних систем. Розроблено підхід для опису ситуацій у сценарно-прецедентних системах, розглянуто метод оцінювання близькості поточних ситуацій до базових. Запропоновано методику створення й обробки нечітких баз даних. Реалізовано спосіб формування нечітких відношень у реляційних базах даних шляхом створення представлень спеціального вигляду. Запропоновано для задач підтримки прийняття рішень за умов невизначеності алгоритм кластеризації сукупності нечітких даних і прийняття рішень в ситуаціях з складними вихідними даними. Проаналізовано характерні особливості розробки та реалізації інформаційних систем і впроваджено автоматизовану систему для організації та контролю процесів керування, в якій використано розроблені методи й алгоритми обробки нечітких даних.

  Скачати повний текст

Розглянуто питання зменшення часу одержання інформації з автоматизованих інформаційних систем (АІС) і розширення кола користувачів системи. Проаналізовано проблеми, які виникають під час роботи користувачів з АІС. Проведений аналіз дозволив удосконалити об'єктну модель окремої реляційної бази даних (РБД). На базі розробленої моделі створено метод доступу до окремої РБД, що реалізує технологію побудови об'єктного словника даних відповідно до об'єктної моделі. Для вирішення проблеми інтеграції РБД розроблено об'єднану об'єктну модель. На її базі створено метод доступу до інтегрованих АІС, що реалізує технологію побудови центрального об'єктного словника відповідно до об'єднаної об'єктної моделі. Розроблено системи DictManager, TransSQL, C-DictManager. Здійснено практичне випробовування розробленої системи у ВКФ "КРІОПРОМ" ТОВ і стоматологічних клініках "ЛЕОДЕНТ" і ТОВ "ГАЛСІ".

  Скачати повний текст