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

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

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

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

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

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

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

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

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

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

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

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

Індекс рубрикатора НБУВ: Е60*732.241-636-601.2

Рубрики:

Загальна зоологія

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

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

Індекс рубрикатора НБУВ: Е60*732.241*716-636-601.2

Рубрики:

Загальна зоологія

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

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

Досліджено вплив представників різних класів амфіфільних сполук на гіпертонічний кріогемоліз (ГК) еритроцитів різних видів ссавців. У порівняльному аспекті вивчено чутливість еритроцитів людини, коня, бика і кролика до охолодження у гіпертонічних середовищах. Показано, що для еритроцитів людини і коня залежності ГК характеризуються немонотонністю, що проявляється в наявності певного максимуму (для людини - 1,2; коня - 1,4 - 1,6 моль/л NaCl) з подальшим зниженням рівня пошкодження. Для еритроцитів бика і кролика рівень ушкодження збільшується зі зростанням концентрації солі в середовищі у всьому концентраційному діапазоні, що досліджувався (до 2,2 моль/л NaCl). Використання амфіфільних сполук надало змогу встановити їх ефективність за умов ГК еритроцитів ссавців. Показано, що катіонний трифторперазин, аніонний децилсульфат натрію і неіонний додецил-beta,D-мальтозид підвищують стійкість еритроцитів ссавців до ГК в середовищах, що містять 1,2 - 2,1 моль/л NaCl. Однак в останньому випадку ефективність усіх досліджуваних амфіфільних сполук зменшується, що проявляється в зниженні величин антигемолітичної активності та значень ефективних концентрацій. Це надає змогу говорити про приховані пошкодження, які накопичуються в мембрані у разі збільшення сили стресового чинника. Отже, зниження рівня ГК еритроцитів людини та коня в 2,1 моль/л NaCl, яке реєструється за відсутності амфіфільних речовин, не є відображенням покращання стану мембрани. При цьому збільшення внутрішньоклітинного вмісту катіонів натрію в еритроцитах людини в висококонцентрованих сольових середовищах свідчить про порушення бар'єрних властивостей еритроцитарних мембран.

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

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

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