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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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