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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Розроблено нову систему АСКОЕ дистанцій електропостачання залізниць з новими функціями, що підвищують енергетичну ефективність електричної тяги, серед яких - раціональне переведення тягових підстанцій та диференційовані тарифи оплати за активну та реактивну електроенергію, контроль за раціональним електрообігрівом приміщень дистанцій електропостачання, прогнозування місячних витрат електроенергії тягових підстанцій, непрямий контроль за спрацьовуванням ресурсу тягових трансформаторів. Для реалізації цих функцій розроблено моделі раціонального переводу тягових підстанцій на диференційовані тарифи оплати за активну і реактивну електроенергію, а також раціонального електрообігріву приміщень. Теоретично обгрунтовано доцільність застосування методу "Гусениця" для прогнозування місячних витрат електроенергії дистанцій електропостачання.

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

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

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

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

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

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

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

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

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

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

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