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

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

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

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

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

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

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

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