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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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