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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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