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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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