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

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

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

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

Розроблено систему автоматичного управління (САУ) процесом флотації, що забезпечує підвищення точності управління і якості кінцевих продуктів збагачення. Зазначено, що управління процесом флотації по зольності концентрату (ЗК) здійснюється комбінованою системою управління, в якій контур управління (КУ) по збуренню здійснює компенсацію основних збурювальних дій (ЗД), що спостерігаються (витрата і щільність початкової пульпи), КУ по відхиленню - компенсацію ЗД, що не спостерігаються. Показано, що відносна погрішність моделі, що компенсує основні ЗД складає 3,6 і 2,2 % по ЗК для флотомашин ФМУ2-6,3 і ФМУ-12 на основі порівняння розрахункових даних з експериментальними. Визначено завдання синтезу САУ по ЗК, яке формулюється як завдання синтезу лінійної імпульсної САУ під час стохастичних ЗД по інтегральному квадратичному критерію якості, що характеризує дисперсію вихідного сигналу ЗК, пропорційну втратам горючої маси, з використанням принципу роздільності, що передбачає синтез оптимального дискретного фільтру та вибір дискретного детермінованого регулятора, в якому як фазовий вектор використовується його оцінка, одержана за допомогою фільтру. Доведено, що реалізована система управління технологічним процесом фільтрації повністю відповідає вимогам, що пред'являються до якості управління і кінцевого продукту на основі числового експерименту аналізу перехідних характеристик функціонування системи управління. Розроблено промислову САУ процесом пінної флотації вугілля, що забезпечує зниження питомої ваги реагентів на 12 %, збільшення виходу концентрату на величину до 1,1 %.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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