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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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