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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Уперше запропоновано критерії якості ідентифікації, за якими можна порівнювати автоматизовані системи ідентифікації автотранспортних засобів і розроблено методику їх розрахунку. Уперше для програмного забезпечення даної системи наведено алгоритми бінаризації зображень за умов апріорної невизначеності та фільтрації зображень з використанням методу простежування злитих груп. Уперше для автоматизованої системи контролю та керування автотранспортним потоком з метою виділення на зображеннях текстової інформації запропоновано застосування двовимірного хвильового перетворення Хаара. Доведено, що значення якості ідентифікації автотранспортних засобів для зазначених систем може досягти 95 - 98 %.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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