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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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