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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Уперше побудовано алгортим перекладу опису проектованої системи мовою MSC2000 у мережі Петрі та доведено його коректність за допомогою алгебри процесів, а саме - бісмуляційну еквівалентність вхідних MSC діаграм і синтезованої за цими діаграмами мережі Петрі. За цього визначено формальну семантику базового елемента мови MSC2000-<умова>(condition). Розроблено й обгрунтовано оригінальні алгоритми аналізу та верифікації формальної моделі у вигляді мережі Петрі, що використовують метод TSS розв'язання систем лінійних однорідних і неоднорідних діафантових рівнянь над множиною натуральних чисел, а саме: алгоритм верифікації певних властивостей мереж Петрі, зокрема, (структурної обмеженості), L3-живості, досяжності, наявності дедлоків; алгортим побудови S- і T-варіантів мережі Петрі; алгоритм пошуку пасток і тупиків асиметричної мережі Петрі. Рекомендовано здійснювати аналіз зменшеної складності її динамічних властивостей, який має проводитися за допомогою розв'язання рівняння стану. Уперше запропоновано визначення інваріантності властивостей базової моделі як мережі Петрі, яке використовується для створення оригінальної методики пошуку конфліктів функціональностей проектованої системи.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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