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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дисертація присвячена створенню автоматизованої системи розв'язання прямих задач гравіметрії для тривимірних неоднорідних шаруватих середовищ. Система складається з блоків: 1) автоматичного введення до комп'ютеру зображень геофізичних карт за допомогою сканера і побудови їх цифрових моделей; 2) розв'язання прямої задачі гравіметрії для тривимірних неоднорідних шарів, апроксимованих сукупністю вертикальних призм з довільно розташованими верхньою і нижньою основами і неоднорідною густиною, яка в вершинах призми приймає задані значення, змінюється за лінійним законом уздовж горизонтальних координат на верхній та нижній основах і лінійно або експоненціально уздовж будь-якої вертикальної лінії; 3) подання результатів обчислень у вигляді карт. Система орієнтована на використання в розвідувальній та регіональній геофізиці, тобто на розв'язання прямих задач гравіметрії, які подані в прямокутній і сферичній системах координат. Система розроблена на алгоритмічній мові С і працює в операційному середовищі MS Windows. Вона має сучасний користувацький інтерфейс, легка і зручна для використання. Система знайшла широке застосування під час розв'язання практичних задач, пов'язаних з вивченням побудови різноманітних геологічних структур за гравіметричними даними.

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

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

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

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

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