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

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

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

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

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

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

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

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

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

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

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

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

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

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

Висвітлено розробку математичного, інформаційного та лінгвістичного забезпечення для систем автоматизованого проектування мікроелектромеханічних давачів кутової швидкості (МЕМС гіроскопів). Розроблено математичну модель коливань робочого органа давача кутової швидкості компонентного рівня проектування, що дало змогу дослідити вплив окремих параметрів робочого органа на технічні характеристики давача. Представлено математичну модель системи пружного підвісу давача для компонентного рівня проектування, що дала змогу дослідити вплив геометричних парметрів на його чутливість і зменшити масу та габарити системи загалом. Викладено математичну модель впливу температури на динамічні характеристики давача для компонентного рівня проектування, що дало змогу змоделювати її вплив на робочі резонансні частоти давача для різних напівпровідникових матеріалів. Запропоновано математичну модель впливу паразитних крутильних коливань робочого органа на роботоздатність давача для компонентного рівня проектування, що дозволило їх врахувати під час оцінювання значень відповідних конструктивних параметрів давача. Розроблено VHDL-AMS моделі мікроелектромеханічного давача кутової швидкості камертонної та карданної конструкцій для схемотехнічного рівня автоматизованого проектування, що дало змогу підвищити ефективність проектування. Вдосконалено електричну схему спряження МЕМС давача для схемотехнічного рівня проектування, що дало змогу зменшити рівень шумів і мінімізувати зарядовий ефект. Визначено інформаційне та лінгвістичне забезпечення наскрізного паралельного проектування МЕМС давачів кутової швидкості, що дало змогу вдосконалити бібліотеку математичних моделей та розширити функціональні можливості БД САПР за допомогою використання XML-формату.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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