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

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

Розкрито феномен австрійської малої прози, специфіку їі рецептивної та генологічної парадигм у контексті німецькомовного літературного процесу. Уперше в українському літературознавстві на контекстуальному фоні розглянуто особливості поетики австрійської малої прози XX ст. у типологічних зрізах і зіставленнях з німецькою малою прозою аналізованого періоду, а звідси - і такі складники дослідження, як рецептивна естетика та генологічна парадигма. Аналіз історико-літературного матеріалу увібрав широке коло праць австрійських, німецьких, швейцарських, українських, польських, російських, словацьких, чеських, болгарських, угорських літературознавців. На основі детального розгляду дослідницького масиву, що містить розгалужений комплекс актуальних питань для словесної науки на новітньому етапі її розвитку, розроблено авторську концепцію інтерпретації художніх зразків малої епічної форми австрійських письменників (К. Е. Францоз, А. Шніцлер, Г. Гофманнсталь, Р. М. Рільке, Ф. Кафка, Р. Музіль, Й. Рот, І. Айхінгер, І. Бахманн, Т. Бернгард, А. Зєлінскі, П. Гандке, Е. Фітцбауер, М. Ган, Г. Кунер).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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