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

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

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

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

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

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

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

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

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

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

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

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

Розроблено систему автоматичного управління (САУ) процесом флотації, що забезпечує підвищення точності управління і якості кінцевих продуктів збагачення. Зазначено, що управління процесом флотації по зольності концентрату (ЗК) здійснюється комбінованою системою управління, в якій контур управління (КУ) по збуренню здійснює компенсацію основних збурювальних дій (ЗД), що спостерігаються (витрата і щільність початкової пульпи), КУ по відхиленню - компенсацію ЗД, що не спостерігаються. Показано, що відносна погрішність моделі, що компенсує основні ЗД складає 3,6 і 2,2 % по ЗК для флотомашин ФМУ2-6,3 і ФМУ-12 на основі порівняння розрахункових даних з експериментальними. Визначено завдання синтезу САУ по ЗК, яке формулюється як завдання синтезу лінійної імпульсної САУ під час стохастичних ЗД по інтегральному квадратичному критерію якості, що характеризує дисперсію вихідного сигналу ЗК, пропорційну втратам горючої маси, з використанням принципу роздільності, що передбачає синтез оптимального дискретного фільтру та вибір дискретного детермінованого регулятора, в якому як фазовий вектор використовується його оцінка, одержана за допомогою фільтру. Доведено, що реалізована система управління технологічним процесом фільтрації повністю відповідає вимогам, що пред'являються до якості управління і кінцевого продукту на основі числового експерименту аналізу перехідних характеристик функціонування системи управління. Розроблено промислову САУ процесом пінної флотації вугілля, що забезпечує зниження питомої ваги реагентів на 12 %, збільшення виходу концентрату на величину до 1,1 %.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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