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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Досліджено питання прогнозу обвалення важкокерованої покрівлі у лавах пологих пластів Донбасу. Обгрунтовано параметри обвалення важкокерованої покрівлі у цих лавах. Запропоновано новий підхід до розрахунку кроку первинної посадки покрівлі та критерію характеру обвалення порід. Обгрунтовано та встановлено зміну величини опорного тиску залежно від кількості шарів, що входять до області зрушення над виробленим простором, з урахуванням їх кількості та послідовності зрушення. Встановлено залежність руйнівних напружень на верхній і нижній межі породного шару, від кількості шарів, що прогнулися або обвалилися, які беруть участь в області зрушення. Встановлено залежність межового прогону породних шарів покрівлі в області їх зрушення, яка враховує формування руйнівних напружень на межах шарів і вплив довжини лави. Обгрунтовано критерій характеру обвалення безпосередньої та основної покрівлі на момент первинної посадки залежно від типу руйнівних напружень на межах шарів, міцнісних властивостей, потужності та кількості породних шарів, що входять до області зрушення. Встановлено, що для сланцю глинистого та сланцю піскового залежно від потужності породного шару, покрівля може обвалитися дрібними фракціями та великими блоками. Використання результатів досліджень на гірничих підприємствах дозволяє обгрунтовано застосовувати необхідні заходи щодо управління важкокерованою покрівлею, уникнути аварійних ситуацій і підвищити безпеку ведення очисних робіт. Розроблено рекомендації щодо визначення параметрів обвалення на момент первинної посадки безпосередньої та основної покрівлі, які впроваджено на шахті "Красноармійська - Західна N1", "Родинська" та шахті ім. Стаханова, одержано хорошу збіжність прогнозних і фактичних даних з точністю 15 %. Очікуваний економічний ефект для трьох добувних дільниць від впровадження цих заходів становить 1 192,6 тис. грн./р.

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

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

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

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

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

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

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