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

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

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

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

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

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

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

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

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

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

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

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

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

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

Удосконалено багатоканальні комп'ютерні засоби перетворення та криптографічного захисту форматів стиснених мовних сигналів (МС). Запропоновано класифікацію алгоритмів стиснення та мікшування МС, що враховує особливості їх побудови та можливості використання у процесі перетворення стиснених МС. Запропоновано методи перетворення між форматами GSM 06.20, G.729, G.723.1, які дозволяють проводити пряме перетворення параметрів кадру одного формату в інший. Запропоновані методи покращують якість мови, зменшують часову затримку й апаратну складність у порівнянні з класичним методом перетворення, що підтверджено на підставі результатів їх експериментальної реалізації. Запропоновано метод багатоступінчастого мікшування мовних сигналів на основі пам'яті з довільним доступом, що дозволяє ефективно опрацьовувати значення відліків з блоків даних, одержаних шляхом декомпресії стиснених мовних сигналів різних форматів. Процес мікшування розпочинається у разі надходження хоча б двох блоків даних у цільову комірку пам'яті з довільним доступом, що дозволяє уникати черг у буфері блоку мікшування та зменшити затримки, взаємопов'язані з часом очікування блоків даних. Удосконалено структури операційних пристроїв криптографічних модулів апаратно-орієнтованих процесів підтримки протоколу IPSec для різних сервісів обробки даних за різних технологічних характеристик компонентного базису, що забезпечило зменшення затрат обладнання на їх реалізацію.

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

Визначено критерії ефективності балонної вальвутомії критичного аортального свтенозу (БВ КАС), удосконалено методику проведення балонної вальвулотомії у новонароджених. Розроблено алгоритм надання допомоги новонародженим з КАС, протоколи передопераційного та післяопераційного ведення новонароджених з КАС і рекомендації з тактики ведення хворих у віддаленому післяопераційному періоді. Обгрунтованість і достовірність наукових результатів базується на достатньому клінічному матеріалі (70 послідовних пацієнтів за період з вересня 1996 р. по липень 2009 р.), використанні сучасних інформативних методів діагностики та лікування, адекватних поставленим завданням, високому методичному рівні, правильній інтерпретації даних і використанні сучасних методів статистичної обробки.

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

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

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

Проведено системний аналіз методів і протоколів керування мережею LTE (Long-Term Evolution), зроблено вибір на пріоритетне використання систем OFDM (Orthogonal Frequency-Division Multiplexing) з ортогональними сигналами, які забезпечують властивості інваріантності до випадкових збурень, що особливо важливо й актуально для традиційних каналів місцевих мереж і каналів цільового призначення. Досліджено алгоритми оптимального когерентного та некогерентного прийомів, визначено рекомендації до їх використання. Доведено, що в системах OFDM доцільно використовувати алгоритми оптимального прийому багаточастотних ортогональних сигналів, орієнтованих на цифрову реалізацію та придатних до довільних сигналів багатопозиційної амплітудно-фазової модуляції (АФМ). Визначено, що для забезпечення швидкості, близької до пропускної спроможності каналу, доцільно використовувати багатопозиційні сигнали з АФМ, для яких еквівалентна енергія максимальна. Вперше розроблено синтез універсального алгоритму оптимального когерентного прийому багатопозиційних АФМ сигналів у демодуляторі системи OFDM. Вперше розроблено алгоритм оптимального прийому багатопозиційних сигналів за невідомих апріорних даних.

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

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

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

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

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

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

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

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

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

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

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

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

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

Доведено, що застосування методу локального фібринолізу показано хворим з епідуральними крововиливами (ЕК) у компенсованому та субкомпенсованому стані. Розроблено показання та протипоказання до використання даної методики, протокол її застосування, алгоритм визначення показань до локального фібринолізу.

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

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

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

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

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