Індекс рубрикатора НБУВ: Х809(4УКР)-30 + Х91-30

Рубрики:

Державне право окремих країн

Міжнародне право (міжнародне публічне право)

Шифр НБУВ: Ж27747 Пошук видання у каталогах НБУВ 

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

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

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

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

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

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

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

Розроблено об’єктно-орієнтовану динамічну модель подання знань з розширеними можливостями подання предметних областей для проектування та розроблення інтелектуальних програмних систем на основі знань. Розглянуто та проаналізовано означення поняття знання, формулювання задачі подання знань, а також такі об’єктно-орієнтовані моделі подання знань, як системи фреймів, скрипти та динамічна пам’ять, об’єктно-орієнтоване програмування на основі класів та на основі прототипів. Крім цього, розглянуто та проаналізовано відомі застосування моделей подання знань та основні класи інтелектуальних програмних систем на основі знань. Введено поняття одноядерних та багатоядерних неоднорідних класів об’єктів. Експериментально підтверджено, що використання одноядерних та багатоядерних неоднорідних класів об’єктів для збереження інформації в об’єктно-орієнтованих реляційних базах даних зменшує розміри таких БД і їх експортованих *.sgl-файлів та пришвидшує виконання SQL-запитів порівняно з використанням однорідних класів об’єктів та однорідних класів об’єктів, зв’язаних одиничним успадкуванням. Визначено відношення еквівалентності, агрегації, узагальнення та спеціалізації для однорідних, одноядерних та багатоядерних неоднорідних класів об’єктів. Проаналізовано відомі механізми успадкування та проблеми надлишковості, винятків, неоднозначності та несумісності, що виникають під час проектування та побудови концептуальних (класових) ієрархій з використанням успадкування. Розроблено механізми Р, SgFSt, SgFW,SgРSt, SgРW, MFSt, МРБі, MFW, МРSt, МРW успадкування та розширену і узагальнену класифікацію механізмів успадкування. Визначено універсальні експлуататори об’єднання, однорідного перетину, неоднорідного перетину, мультиоб’єднання, різниці, симетричної різниці та клонування, що дають змогу будувати нові об’єкти, класи, множини та мультимножини об’єктів. Визначено поняття повних, часткових, породжуючих, знищуючих, замінних і комбінованих модифікаторів, що дають змогу певним чином модифікувати структуру об’єктів та класів об’єктів. Визначено відношення модифікації об’єктів і класів об’єктів. Введено поняття множини та мультимножини об’єктів, класів множин та мультимножин об’єктів, а також генераторів (конструкторів) множин та мультимножин об’єктів. Визначено 3 універсальних конструктори множин та 7 універсальних конструкторів мультимножин об’єктів, а також СР, RSL, РS, D2 конструктори мультимножин об’єктів. Сформульовано та доведено теореми про потужність мультимножин об’єктів, побудованих за допомогою СР, RSL, РS, D2 конструкторів, які дають змогу завжди обчислити точну кратність кожного елемента мультимножини об’єктів та її потужність ще до генерації мультимножини. Розроблено нову об’єктно-орієнтовану динамічну модель подання знань “Об’єктно-орієнтовані динамічні мережі” (ООДМ) для проектування та розроблення інтелектуальних програмних систем на основі знань. Для запропонованої моделі подання знань досліджено та доведено ряд корисних властивостей, зокрема: розширення підмножини однорідних класів множини базових класів ООДМ за допомогою експлуататорів однорідного перетину і об’єднання є скінченними; в результаті розширення підмножини однорідних класів множини базових класів ООДМ за допомогою експлуататора об’єднання (однорідного перетину) утворюється верхня (нижня) обмежена класова напівґратка; у результаті розширення підмножини однорідних класів множини базових класів ООДМ за допомогою експлуататорів об’єднання та однорідного перетину утворюється повна обмежена дистрибутивна модулярна класова ґратка з умовами обриву строго зростаючих та строго спадаючих ланцюгів. Побудова обмежених напівґраток шляхом розширення підмножини однорідних класів множини базових класів ООДМ за допомогою універсальних експлуататорів об’єднання та однорідного перетину дає змогу видобувати нові знання з множини базових класів ООДМ у вигляді нових класів об’єктів та відношень часткового порядку між ними. Побудова верхньої обмеженої напівґратки шляхом розширення підмножини однорідних класів множини базових класів ООДМ за допомогою експлуататора об’єднання дає змогу проводити ефективну реструктуризацію баз даних та знань за рахунок збереження одиниці цієї напівґратки, яка є неоднорідним класом, замість множини базових однорідних класів об’єктів (атомів напівґратки). З метою демонстрації практичного застосування усіх можливостей запропонованої моделі подання знань, в термінах моделі був описаний такий розділ геометрії, як опуклі чотирикутники.

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