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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

На системних засадах проаналізовано найбільш актуальні проблеми методології дослідження адаптації зовнішньоекономічної діяльності АПК до умов світового ринку, на теоретичному та практичному рівнях визначено закономірності даної адаптації з точки зору розвитку сільського господарства та харчової промисловості. Висвітлено питання розбудови системи адаптації зовнішньоекономічної діяльності АПК до норм і правил світового ринку в межах ГАТТ/СОТ, організаційно-економічного механізму інтеграції АПК з ринками країн-членів ЄС та виходу з конкурентоспроможною продукцією на Європейський ринок, а також захисту внутрішнього ринку від дискримінаційного імпорту.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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