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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Висвітлено історичний розвиток регіонів Іспанії, внаслідок якого виник державний устрій, визначений чинною Конституцією, прийнятою в 1978 р. Досліджено особливості започаткування державності на Піренейському півострові, період Реконкісти як передумову формування та правового оформлення автономістських ідей іспанського народу, механізм іспанської станово-представницької монархії та абсолютизму XIII - XVIII ст., процеси законодавчого оформлення ідей національного централізму та регіональних привілеїв за буржуазних трансформацій Іспанської держави у другій половині XVIII - XIX ст. Висвітлено боротьбу народів та історичних областей Іспанії за автономний статус за умов монархічного режиму реставрації Альфонса XIII та диктатури генерала Примо де Ривера (1902 - 1931 рр.), автономістські тенденції та національні настрої за часів Іспанської республіки та тоталітарної держави генерала Ф.Франко (1932 - 1975 рр.), конституційне становлення системи державного устрою Іспанії в останній чверті XX та на початку XXI ст.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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