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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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