Показано, що введення до атома азоту піролу таких об'ємних груп, як трет-бутильна та триалкілсилільні, спрямовує фосфорилювання галогенофосфінами винятково в положення 3 пірольного циклу. Встановлено, що фосфорилювання N-триметилсилілпіролу супроводжується розривом N - Si зв'язку з одержанням N-незаміщених 3-фосфорильованих піролів. Вперше одержано ряд 3-фосфорильованих піролів з вільною NH-функцією. Синтезовано піроловмісний фероцендифосфіновий ліганд та його паладієвий комплекс на основі трет-бутил(1-трет-бутил-1Н-пірол-3-іл)фосфінхлориду.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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