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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Досліджено питання підвищення точності прогнозування в системах управління завдяки використанню цифрових адаптивних динамічних прогнозуючих фільтрів (ЦАДПФ). Розроблено структуру лінійного ЦАДБФ на базі апроксимації невідомої вагової функції об'єкта багаточленами (Чебишева, Ерміта, Лагера) та подальшого визначення параметрів за методом найменших квадратів. Запропоновано методики використання запропонованої структури цифрового динамічного лінійного фільтра (ЦДЛФ) для багатовимірних об'єктів і надання фільтру адаптивних властивостей. Оцінено вплив на точність роботи фільтра кількості спостережень за об'єктом, вибору апроксимуючих багаточленів, їх кількості, правильності оцінювання інтервалу інерційності. Кількісні оцінки дозволяють скоротити час на синтезування ЦДЛФ та підвищити точність прогнозування поведінки інерційних об'єктів.

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