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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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