Надано результати дослідження кремнієвих автоемісійних мікрокатодів з елементами керування на структурах "кремній-на-ізоляторі" для застосування у цифровій електронній літографії. Доповнено рівняння Фаулера-Нордгейма з метою розрахунку автоемісії напівпровідників. Удосконалено методи розрахунку електронної оптики мікрокатода, спосіб і схему керування мікрокатодом. Обгрунтовано умови застосування компактних моделей МОН-транзисторів. Розроблено спосіб виготовлення локальних тривимірних КНІ-структур і показано приклади їх застосування. Розроблено та верифіковано топологію схеми керування, інтегрованої з мікрокатодом, наведено приклад її тиражування в матрицю. Показано розрахункові й експериментальні характеристики тестових структур.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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