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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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