.

Моделювання фізичних полів методами теорії R-функцій та нечіткої логіки: Автореф. дис… канд. фіз.-мат. наук / О.В. Тоніца, НАН України. Ін-т пробл.

Язык: украинский
Формат: реферат
Тип документа: Word Doc
116 2071
Скачать документ

НАЦІОНАЛЬНА АКАДЕМІЯ НАУК УКРАЇНИ
ІНСТИТУТ ПРОБЛЕМ МАШИНОБУДУВАННЯ
ім. А.М. Підгорного

Тоніца Олег Володимирович

УДК 518.5

МОДЕЛЮВАННЯ ФІЗИЧНИХ ПОЛІВ МЕТОДАМИ
ТЕОРІЇ R-ФУНКЦІЙ ТА НЕЧІТКОЇ ЛОГІКИ

01.05.02 – математичне моделювання та обчислювальні методи

АВТОРЕФЕРАТ
дисертації на здобуття наукового ступеня
кандидата фізико-математичних наук

Харків – 1999

Дисертацією є рукопис.

Робота виконана у відділі прикладної математики та обчислювальних
методів Інституту проблем машинобудування ім. А.М. Підгорного НАН України

Науковий керівник: доктор фізико-математичних наук,
професор Шевченко Олександр Миколайович,
Інститут проблем машинобудування
ім. А.М. Підгорного НАН України,
головний науковий співробітник .

Офіційні опоненти: доктор фізико-математичних наук,
професор Яковлєв Сергій Всеволодович,
Університет внутрішніх справ МВС України,
начальник факультету управління та інформатики

доктор технічних наук, професор
Куценко Леонід Миколайович,
Харківський інститут пожежної безпеки МВС України,
професор кафедри пожежної техніки

Провідна організація: Інститут кібернетики ім. В.М. Глушкова НАН України, відділ прикладної математики, м. Київ

Захист відбудеться « 24 » 06 1999 р. о 14 годині в аудиторії
ХІ поверху на засіданні спеціалізованої вченої ради Д 64.180.01 в Інституті проблем машинобудування ім. А.М.Підгорного НАН України (310046, м.Харків, вул.Дм.Пожарського, 2/10).

З дисертацією можна ознайомитися у бібліотеці Інституту проблем машинобудування ім. А.М. Підгорного НАН України за адресою: 310046, м. Харків, вул. Дм. Пожарського, 2/10

Автореферат розісланий « 20 » 05 1999 р.

Вчений секретар
спеціалізованої вченої ради Зайцев Б.П.

Загальна характеристика роботи

Актуальність теми. При створенні систем дослідження задач розрахунку фізичних полів важливо враховувати технічні та технологічні допуски на геометричну та фізичну інформацію, погрішності виміру фізичних величин та похибки округлення. У зв’язку з цим виникає необхідність розвитку систем розрахунку полів з метою отримання допусків на розв’язок та подальшого експертного висновку.
В даний час автоматизація програмування в галузі математичної фізики досягла значного прогресу. Ефективність проблемно-орієнтованих мов та спеціалізованих систем полягає в скороченні часу вирішення багатьох науково-технічних задач, а також створенні бази для переходу до індустріальних методів та нової технології програмування. Такі мови та системи є інструментальною базою для проведення обчислювальних експериментів, що звільняють математиків та інженерів від рутинної роботи по створенню та налагодженню громіздких програм. Для проведення обчислювальних експериментів в галузі математичної фізики в багатьох випадках необхідно серйозне та глибоке вивчення процесу чи явища, що моделюється, пізнання законів природи та їх проявів у складній взаємодії. Окрім того, при вирішенні задач математичної фізики необхідно враховувати питання збіжності, стійкості обчислювального процесу, точності обчислень, ефективності методів, що застосовуються і т. ін. Ці обставини створюють додаткові труднощі при розробці математичного забезпечення для вирішення крайових задач. Вітчизняними та закордонними дослідниками розроблено велику кількість прикладних систем програмування, пакетів прикладних програм, що мають проблемно-орієнтовані мови та використовуються для дослідження задач з різних прикладних областей.
Створення проблемно-орієнтованих мов та спеціалізованих систем можливо в тому випадку, якщо для конкретної прикладної області розроблений універсальний математичний апарат, який дозволяє достатньо ефективно описувати алгоритмічні процеси з урахуванням всієї інформації про задачу, що розв’язується. Таким математичним апаратом для вирішення крайових задач математичної фізики є теорія R-функцій (міжнародна абревіатура RFM – R-functions method), методи та засоби якої розширюють можливості варіаційних та проекційних методів по розв’язку крайових задач в областях складної форми.
Результати, що отримані в галузі додатків цієї теорії, дозволили створити комплекс програмних та мовних засобів для автоматизації наукових досліджень в математичній фізиці. Це спеціалізовані системи серії «Поле», що створені для вирішення крайових задач, які сформульовані для рівнянь з частинними похідними при довільних крайових умовах та складної геометрії області, що досліджується. Системи серії «Поле» є відкритими системами, які постійно доповнюються новими програмними модулями різного призначення. Ці системи знаходяться у постійному розвитку.
Сучасні тенденції розвитку прикладних програмних систем пов’язані з підвищенням рівня їх інтегрованості, інтелектуальності та доступності для користувачів, які є спеціалістами в проблемних областях вирішення тих чи інших класів задач. Проблема створення таких систем є важливою науковою проблемою, а дослідження в цій галузі – актуальними та перспективними.
Вагомий внесок в розвиток цього напрямку досліджень в галузі математичної фізики внесли вітчизняні вчені – В.М. Глушков, В.П. Іл’їн, В.Я. Карпов, В.С. Михалевич, Г.С. Поспєлов, В.Л. Рвачов, А.А. Самарський, И.В. Сергієнко, В.В. Скопецький, Ю.Г. Стоян, К.Л. Ющенко, М.М. Яненко, І.М. Молчанов, Г.П. Манько, Л.В. Курпа, Т.І. Шейко,О.М. Шевченко, М.С. Синєкоп та інші. Одним з важливих аспектів цих досліджень є автоматизація вирішення крайових задач, які пов’язані з розрахунком взаємодіючих фізико-механічних полів різної природи.
Актуальним є створення нових технологій, які можуть маніпулювати складними, багатофакторними та стохастичними об’єктами, підтримувати складні взаємозв’язки між даними, виконувати коректуючі дії в умовах невизначеності та робити висновки при недостачі інформації. Іншими словами, необхідні інформаційні технології з елементами штучного інтелекту. Обчислювання в системах розрахунку полів, як правило, мають детермінований характер, а тим часом реальні процеси у певній мірі є стохастичними, містять в собі деяку нечіткість. Для того, щоб врахувати цю нечіткість, доцільно так перетворити існуючу схему дослідження фізичних полів, щоб в результаті багатоваріантного обчислення отримати більш точний «нечіткий» розв’язок, який буде ближче до реальності. Потрібно ввести в схему вирішення урахування допусків, тобто джерел нечіткості, що найбільш сильно впливають на результуючий розв’язок. Практика свідчить, що таких джерел, як правило, три: допуски моделі (на геометричні та фізичні характеристики), помилки методу (зрізання ряду, помилки лінеарізації) та помилки округлення. Необхідно встановити вплив на рішення варіювання цих величин в межах допусків та дослідити можливості побудови допусків на розв’язок. У зв’язку з цим значний інтерес представляє розробка систем дослідження фізико-механічних полів, що орієнтовані на багатоваріантне вирішення крайових задач з метою врахування варіювання величин, що розглядаються, в межах заданих допусків.
Дослідженню таких проблем методами інтервальної математики в галузі геометричного проектування присвячені теорія інтервальної геометрії Ю.Г. Стояна та наукові розробки його учнів О.О. Ємця, Т.Є. Романової та інших.
В даній дисертаційній роботі пропонуються конструктивні методи та алгоритми моделювання фізичних полів методами теорії R-функцій та нечіткої логіки з врахуванням допусків на геометричну та фізичну інформацію, а також помилок округлення.
Зв’язок роботи з науковими програмами, планами, темами грунтується на тому, що дисертаційні дослідження автор виконував у 1994-1999 рр. у відділі прикладної математики та обчислювальних методів Інституту проблем машинобудування НАН України відповідно до
– держбюджетної теми №185 Г.Р.№0194И0353430 НАН України “Високоінтелектуальні системи програмування, орієнтовані на використання алгебраїзованих структурних формул розв’язання крайових задач” (1994-1997 рр.);
– держбютжетної теми № 1 Г.Р. №0198И0054125 НАН України “Розвиток теорії R-функцій /RFM/, поширення її предметної області, удосконалення конструктивних та програмних засобів” (1998-2001 рр.);
– гранту 1.4/162 Міністерства у справах науки та технологій “Розробка нових методів математичного моделювання задач механіки суцільних середовищ на основі теорії R-функцій та неархімедових числень” (1998-2001 рр.).
Метою роботи є створення на основі фундаментальних результатів теорії R-функцій та нечіткої логіки методів моделювання реальних фізико-механічних полів, що враховують допуски та похибки вимірів, а також ефективних обчислювальних алгоритмів для їх реалізації та дослідження розпаралелювання обчислювального процесу.
Для досягнення мети дисертації було поставлено задачі: дослідити зв’язок теорії R-функцій та нечіткої логіки; розробити методи аналітичного моделювання нечітких геометричних об’єктів у двовимірному просторі; дослідити джерела нечіткості в реальних задачах моделювання полів та їх стохастичні характеристики; створити структурні моделі фізичних полів з урахуванням нечіткості геометричних та фізичних даних та алгоритми реалізації; дослідити та раціонально використати елементи інтервального аналізу для урахування помилок округлення.
Методи дослідження. Методологічною основою є теорія R-функцій, яка орієнтована на розширення можливостей варіаційних та інших методів вирішення крайових задач математичної фізики; нечітка логіка, яка дає можливість перейти від ідеалізованого детермінованого моделювання до більш реального стохастичного моделювання фізичних полів; інтервальний аналіз, що дозволяє враховувати помилки округлення; алгебра диференційних кортежів, яка лежить в основі формалізації обчислювальних процесів розв’язання крайових задач; теорія паралельних систем; сучасні ідеї та технології програмування.
Наукова новизна результатів дисертації, які винесені на захист, полягає в розробці на основі теорії R-функцій та нечіткої логіки методів та алгоритмів моделювання фізико-механічних полів, які враховують технічні допуски, похибки вимірів та помилки округлення, та на основі їх аналізу дозволяє зробити експертний висновок про прийнятність знайденого рішення.
Зокрема, новизною характеризуються такі розробки:
1. Досліджено зв’язок теорії R-функцій та нечіткої логіки. Доведено, що при
необхідному узагальненні законів протиріччя та виключення третього множина функцій нечіткої логіки співпадає з множиною умовних R-функцій. Показано, що функції алгебри логіки є супровідними для умовних R-функцій та множина умовних R-функцій є функціонально замкненою. В замкненій множині умовних R[0,1]-функцій досліджені питання функціональної повноти, побудови виразів та їх тотожних перетворень.
2. На основі результатів досліджень в теорії R-функцій та нечіткій логіці розроблені методи та алгоритми моделювання нечітких областей складної форми.
3. Розроблені нечіткі моделі поля та структури нечітких (інтервальних) розв’язків, запропонована методика їх реалізації. Показано, що реалізація структури нечіткого розв’язку для моделі поля з нечіткими крайовими умовами зводиться до системи лінійних рівнянь з k правими частинами , а для моделі поля з нечіткою областю розпадається на k різних систем лінійних рівнянь.
4. Для підвищення точності та узгодженості накопиченої та методичної погрішності з метою зберігання нормального закону розподілу для нечіткого розв’язку запропоновано використовувати засоби інтервального аналізу. Конструктивно застосована методика оцінки похибок округлення з автоматичним диференціюванням в інтервальних методах. Розроблено інтервальні обчислювачі для операцій алгебри диференційних кортежів.
5. Досліджено задачі розпаралелювання схеми реалізації запропонованої методики моделювання.

Практична цінність та реалізація результатів роботи полягає в розробці та практичному дослідженні методів та алгоритмів моделювання фізичних полів, що конструктивно враховують допуски на фізичну та геометричну інформацію і можуть використовуватись для широкого класу дослідницьких та проектних задач. Результати можуть бути застосовані в експертних системах, системах автоматизації наукових досліджень при розв’язку задач в умовах апріорної невизначеності, автоматизації проектування.
Розробки складають основу для розвитку систем серії “Поле” з предметною
областю, що включає стохастичне моделювання. Результати роботи впроваджені у відділі прикладної математики та обчислювальних методів ІПМаш ім. А.М. Підгорного НАН України при виконанні держбютжетної теми “Високоінтелектуальні системи програмування, орієнтовані на використання алгебраїзованих структурних формул розв’язання крайових задач”.
Публікації. За темою дисертації опубліковані 19 друкованих праць: 6 статей
(з них 3 – у збірниках наукових праць, 3 – депоновані у ВІНІТІ), 5 тез доповідей в працях міжнародних наукових конференцій та 8 інформаційних листків ХОРПНТЕІ при Міністерстві України у справах науки та технологій.
Особистий внесок здобувача в роботи, опубліковані у співавторстві. В усіх зазначених публікаціях автор приймав участь у розробці теоретичних положень, алгоритмів та їх реалізації на ПЕОМ. Крім того, автору належать: в роботах [1,4,9,10,13] – методи та алгоритми моделювання реальних фізичних полів, що враховують стохастичний характер технологічних допусків для геометричної та фізичної інформації, в [2] – методи моделювання геометричних об’єктів із використанням теорії R-функцій та нечіткої логіки; в [7] – розробка інтервальних обчислювачів в середовищі “Поле”; у роботах [3, 6, 17] – дослідження шляхів удосконалення спеціалізованих систем аналізу фізико-механічних полів.
Апробація роботи. Основні результати дисертації доповідались та обговорювались на Всеукраїнській міжнародній конференції «Розробка та застосування математичних методів в науково-практичних дослідженнях», присвяченій 70-річчю від дня народження професора П.С. Казимірського (м. Львів, 1995р.); Міжнародній конференції «Теорія і техніка передачі, приймання та обробки інформації» (м. Туапсе, 1995,1996рр.); Міжнародній конференції «Parallel simulation of complex systems and large-scale application» (м. Делфт, Нідерланди, 1996р.); Міжнародній конференції «Математичні моделі та чисельні методи механіки суцільних середовищ» (м. Новосибірськ, 1996р.) та на XIV Міжнародній конференції з інтервальної математики (м. Новосибірськ, 1998р.).
Структура та обсяг роботи. Дисертація складається з вступу, чотирьох глав, висновків, списку використаних джерел із 121 найменування, 22 малюнків, 4 таблиць, 123 сторінок друкованого тексту. Усього 131 сторінка.

Зміст роботи
У ВСТУПІ обгрунтовано актуальність теми дисертації, сформульовано мету і задачі роботи, її наукову новизну та практичну цінність, і подана її загальна характеристика.
ПЕРША ГЛАВА присвячена обгрунтуванню розробки методів моделювання фізико-механічних полів з врахуванням технологічних допусків, похибок вимірів та помилок округлення. Описані основні напрямки розробки методів та алгоритмів моделювання. В основу розробки покладені ідеї теорії R-функцій, яка дозволяє вирішувати крайові задачі математичної фізики в областях складної конфігурації, нечіткої логіки, що дозволяє моделювати нечіткі розв’язки.
Наведені необхідні для теоретичних розробок відомості з теорії R-функцій та структурних методів, котрі стосуються моделювання геометричних об’єктів та побудування наближених рішень (структур рішень) крайових задач. Розглянуто варіаційні методи, що використовуються. Виконано аналіз сучасних засобів нечіткої логіки відповідно до поставлених задач.
Досліджені основні напрямки реалізації підходів, що досліджуються, за допомогою конструктивних методів інтервального аналізу та паралельних обчислень.
В ДРУГІЙ ГЛАВІ наводиться опис методів врахування допусків при моделюванні фізичних полів, методики моделювання методами теорії R-функцій та нечіткої логіки та алгоритмів обчислювання функції належності. Запропоновані підходи до опису об’єктів в класі функцій нечіткої логіки та R-функцій, побудування нечіткого розв’язку задачі, обчислювання функції належності поточного рішення, та отримання на її основі експертного висновку про прийнятність знайденого рішення.
Для ілюстрації нечіткості реальної задачі моделювання розглянемо задачу Діріхле для диференціального рівняння загального вигляду. Припустимо, задана область D та крайові умови з врахуванням допусків:

Змінюючи допуски на геометрію та крайові умови в заданих межах, отримуємо допуски на розв’язок U, яким повинен задовільняти розв’язок реальної крайової задачі.
Методика моделювання, що запропонована, для задачі аналізу складається з таких етапів:
1) побудування моделі, що враховує розмитість;
2) побудування нечіткого аналітичного опису області D за допомогою методів теорії R-функцій та нечіткої логіки;
3) генерування вибірки поточних об’єктів за допомогою варіації фізичних величин в межах допусків на крайові умови;
4) розв’язок крайової задачі для кожного елемента вибірки;
5) формування інтервалів з можливих розв’язків крайової задачі (формування допусків на розв’язок);
6) побудування моделі поточної крайової задачі;
7) обчислення функції належності для поточної області відносно еталонної;
8) розв’язання поточної задачі та експертний висновок про прийнятність знайденого розв’язку.
В результаті проведених досліджень встановлено зв’язок між теорією R-функцій та нечіткою логікою. В нечіткій логіці виконуються всі закони алгебри логіки, крім законів виключення третього та суперечності , . Доповнимо систему тотожностей нечіткої логіки узагальненими законами виключення третього та суперечності

де константа є центр множини [0,1].
Тоді будуть мати місце твердження.
Твердження 1. Функції нечіткої логіки є умовними R-функціями на відрізку [0,1], що визначаються поділенням:

в трьохзначному та двозначному випадках відповідно.
Тведження 2. Функції алгебри логіки є супровідними для умовних R[0,1] -функцій.
Доведено теореми.
Теорема 1.Множина {R[0,1]} умовних R-функцій є функціонально замкненою.
Теорема 2. Система R-функцій

є достатньо повною в множині умовних R-функцій.
Розглянуто питання алгоритмізації моделювання фізико-механічних полів, котрі містять в собі побудування функції належності поточної геометричної області нечіткій області. Складну нечітку множину можна розглядати як множину, побудовану за допомогою операцій перетину, об’єднання та заперечення з простих нечітких множин, для яких функції належності відомі. Припустимо, побудований теоретико-множинний опис складної нечіткої множини D з початкових нечітких множин . Якщо в описі D виконати заміну множин на відповідні функції , знаків на min, на max, на , то знайдемо функцію належності складної нечіткої множини.
Функції належності частіше всього задаються обчислювальними функціями, тобто алгоритмами обчислень. Дослідження, що були проведені, показали, що для побудування функції належності є раціональними наступні алгоритми: клас характеристик по дискретній множині характерних точок та клас інтегральних характеристик. В першому випадку будуємо опис області розмиття границі та знаходимо відношення кількості характерних точок границі, в яких функція розмиття більше нуля до загальної кількості характерних точок. У другому класі алгоритмів функція належності знаходиться як відношення інтегралів по контуру та площі перетину поточної області з нечіткою областю до відповідних інтегралів поточної області.
Розглянемо модель фізичного поля, наприклад, задачу Діріхле. Чітку модель поля будемо позначати через т:
.
Їі розв’язок структурним методом будується у вигляді:

де – аналитичний опис області D;
– невизначені коефіцієнти;
– функція, що продовжує крайові умови всередину області.
Відповідно до наведених вище джерел нечіткості побудуємо нечітку модель поля:

яку будемо позначати через М. Для вибірки потрібно отримати нечіткий розв’язок:

Через позначимо модель, що враховує варіювання фізичних величин в межах заданих допусків, а через – модель, що враховує варіювання геометричних характеристик.
Модель буде мати вигляд:

Модель

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

Розглянемо питання формування вибірки та інтервального розв’язку. Розмиття описується нормальним законом розподілу, де – деякий довірчий інтервал. Генеруючи в межах довірчого інтервалу випадкові послідовності, формуємо вибірку. Для моделі генеруємо випадкові послідовності для крайових умов, для моделі – послідовності для геометрії. В результаті реалізації вибірки отримуємо розв’язки.
Інтервальний розв’язок доцільно представити в дискретному вигляді, який отримуємо наступним чином. За допомогою сканування нечіткої області D та табулювання у кожному вузлі заданої дискретної сітки, знаходимо математичне сподівання, дисперсію та надійний інтервал. Нечіткість розв’язку визначається за допомогою математичного сподівання та надійного інтервалу: . Інтервальні розв’язки є основою для побудування експертних систем.
В даних методах важливо, щоб для інтервального розв’язку зберігався той же закон розподілу, що і для початкових даних. Згідно з центральною граничною теоремою Ляпунова, цього можна досягнути, якщо накопичена погрішність не буде домінувати над методичною. Тому доцільно розглянути проблему врахування похибок округлення, які виникають в процесі розв’язання крайових задач.
ТРЕТЯ ГЛАВА присвячена питанням реалізації запропонованих підходів моделювання в обчислювальному середовищі «Поле», розробці моделей обчислювального процесу на основі інтервального аналізу та розпаралелювання алгоритмів моделювання фізичних полів.
Досліджені можливості вирішення проблем врахування помилок округлення, що виникають в процесі вирішення крайових задач математичної фізики. Для цього пропонується використовувати конструктивні засоби інтервального аналізу (методику проф. Kubota, Токіо), які дозволяють здійснити оцінку помилок округлення за допомогою методів автоматичного диференціювання. Повна формалізація обчислювального процесу за допомогою кортежної алгебри дозволила автоматизувати процеси вирішення крайових задач в системі «Поле». При розробці функціонального наповнення системи була прийнята стратегія чисельно-аналітичного диференціювання з використанням поняття диференціального кортежу. Суть алгоритму диференціювання полягає в наступному. Обчислення похідних високого порядку від основних функцій (додавання, множення, елементарні функції та ін.) може бути здійснено по точним алгоритмам на ЕОМ.Такі обчислення отримали назву кортежних операцій. В результаті їх виконання обчислюються диференціальні кортежі (значення функції та їх частинних похідних до заданного порядку, які разом з кортежними операціями підлягають законам кортежної алгебри).
При цьому обчислювальний процес можна представити у вигляді r кроків, кожний з яких виконує основні операції та запам’ятовує їх значення у проміжних змінних , j=1,…,r.
Розглянемо послідовність операцій, що виконуються при обчисленні значення функції з урахуванням помилок округлення. Нехай – помилка округлення на j-му обчислювальному кроці. Тоді обчислювальний процес для функції з п змінними можна подати наступним чином:

Тут – проміжні змінні із скінченною точністю;
– основні операції;
формальні параметри для ;
– помилки округлення.
Як показано в роботах японських вчених Koichi Kubota, Masao Iri, Takashi Tsuchia, Mamoru Hoshi та інших, накопичена помилка округлення в обчисленному значенні функції дорівнює різниці між значенням функції з помилкою та функції без помилки ( и ):
.
Дана формула є виразом для верхньої межі абсолютного значення помилки округлення. Для обчислення значення виявилося ефективним застосувати формули для диференціювання арифметичних операцій, що застосовується в алгебрі диференційних кортежів. Досліджено питання використання базових формул автоматичного диференціювання алгебри диференційних кортежів в методиці проф. Kubota.
Таким чином, основу алгебри диференційних кортежів і оцінки помилок округлення складає один і той же базис – формула чисельно-аналітичного диференціювання. Це дозволяє на одних і тих же обчисленнях похідних виконувати роботу по розв’язку крайових задач і одночасно враховувати помилки округлення, що дає можливість оптимізувати обчислювальний процес.

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

Аналогічно отримуємо вирази верхньої границі помилки округлення для інших операцій кортежної алгебри.
Використання інтервальних обчислювачів приводить до збільшення об’єму робіт, тому актуальними є питання паралельних реалізацій. Розглянуто розпаралелювання для алгебри диференційних кортежів та інтервальних обчислювачів, яке засноване на ярусно-паралельних формах. Побудовані паралельні операторні схеми для обчислення диференціального кортежу функції, кортежних операцій та запропонованих інтервальних обчислювачів. Розглянуті питання розпаралелювання загальної схеми вирішення крайових задач. Запропоновані підходи використовуються при проектуванні систем серії «Поле» для обчислювальних комплексів паралельної дії.
В ЧЕТВЕРТІЙ ГЛАВІ наведені результати чисельних експериментів з використанням обчислювального середовища “Поле” по визначенню надійності та ефективності розроблених методів та алгоритмів на прикладі модельних задач. Досліджено задачу Діріхле для рівняння Пуассона та змішану крайову задачу для рівняння Пуассона в двозв’язних областях складної форми. Експериментально досліджено збіжність процесу. Застосована наступна схема чисельного експерименту: відповідно до розділу 2 генеруємо вихідну вибірку потужності п; знаходимо нечіткий розв’язок крайової задачі; для кожного елемента вибірки знаходимо функцію належності нечіткому рішенню ; обдчислюємо оцінку якості розв’язку за формулою
.
При достатній потужності вибірки (п>100) оцінка якості повинна бути близької до 1. Проведені експерименти для різних п і для різних виборок. Аналіз результатів показав високу стійкість та експериментальну збіжність процесу.

Основні результати та висновки
1. На основі теорії R-функцій та нечіткої логіки розроблені
конструктивні методи та алгоритми моделювання фізико-механічних полів, які дозволяють враховувати технічні та технологічні допуски на фізичну та геометричну інформацію, похибки вимірів, помилки округлення, та на основі виявлення їх комплексного впливу на розв’язок робити експертний висновок. Запропоновані моделі фізичних полів, що враховують допуски на фізичні та геометричні дані. Методика дозволяє отримувати допуски на розв’язок за допомогою варіювання цих величин в межах заданих допусків, а потім робити експертний висновок про прийнятність знайденого розв’язку.
2. Досліджено зв’язок теорії R-функцій та нечіткої логіки. Здійснено вибір конструктивних засобів теорії R-функцій для моделювання – множина умовних R[0,1] R-функцій, в якій виконані необхідні функціональні побудови.
3. Розглянуті підходи до застосування методів інтервальної арифметики.
Побудовані інтервальні обчислювачі арифметичних операцій з врахуванням помилок округлення, які підвищують ефективність реалізації алгебри диференційних кортежів, яка лежить в основі обчислювального процесу при вирішенні крайових задач. Обчислювачі, що запропоновані, дозволяють конструювати формули для визначення верхньої межі абсолютного значення помилок, що розглядаються. Наведені приклади обчислення оцінок помилок округлення для операцій множення двох кортежів, зворотнього елементу для множення, квадратного кореня, степеневої та логарифмічної функції, диференціювання суперпозиції функцій.
4. Досліджені можливості розпаралелювання обчислювального процесу на
основі ярусно-паралельних форм. Побудовані паралельні операторні схеми для підвищення швидкодії. Наведені зручні для розпаралелювання обчислювальні графи для інтервальних обчислювачів, що пропонуються. Вивчені також можливості використання методів розпаралелювання при обчислюванні диференційного кортежа функції. Розглянуті різні підходи до розпаралелювання алгоритмів моделювання фізичних полів: розпаралелювання по потокам по потокам інформації, операторне та операційне розпаралелювання. Запропоновано поєднання даних підходів за допомогою використання методу послідовного поглиблення.
5. Проведений ряд чисельних експериментів по дослідженню надійності та
ефективності розроблених алгоритмів та програм.
6. Результати, що отримані, застосовуються для розширення можливостей
системи «Поле» на випадки вирішення крайових задач, в постановці яких суттєву роль грають допуски на фізичну та геометричну інформацію, погрішності вимірів та помилки округлення.
Основні результати дисертації опубліковані в таких роботах:
1. Шевченко А.Н., Тоница О.В. Моделирование физических полей с использованием теории R-функций и нечеткой логики // Методы оптимизации технических и информационных систем : Сб. науч. тр. / НАН Украины. Ин-т кибернетики им. В.М. Глушкова – Киев, 1995. – С. 64-67.
2. Шевченко А.Н., Тоница О.В. Моделирование геометрических объектов в системах анализа физических полей // Проблемы бионики. – 1998. – Вып. 49. – С. 130-134.
3. Шевченко А.Н., Тоница О.В. Развитие интеллектуальных информационных систем анализа физических полей серии «Поле» // Проблемы бионики. – 1998. – Вып. 49. – С. 135-140.
4. Шевченко А.Н., Тоница О.В. Об одной методике моделирования реальных физико-механических полей – НАН Украины. Ин-т пробл. машиностроения – Харьков, 1996. 17 с. – деп. в ВИНИТИ 22.01.96, № 241В-96.
5. Тоница О.В. Применение методов интервального анализа при решении краевых задач математической физики. – НАН Украины. Ин-т пробл. машиностроения. – Харьков, 1997. – 22 с. – деп. в ВИНИТИ 10.08.98, № 2544-В98.
6. Шевченко А.Н., Тоница О.В. Высокоэффективные методы, алгоритмы и средства моделирования физико-механических полей с использованием методов теории R-функций, интервального анализа и нечеткой логики. – НАН Украины. Ин-т пробл. машиностроения. – Харьков, 1997. – 38 с. – деп. в ВИНИТИ 21.08.98, № 2624-В98.
7. Шевченко А.Н., Тоница О.В. Интервальные вычислители в среде «Поле» // тез. докл. международ. конф. «Теория и техника передачи, приема и обработки информации», – Туапсе, 1995, С. 125.
8. Тоница О.В. Параллельная обработка информации в вычислительной среде «Поле» // тез. докл. международ. конф. «Теория и техника передачи, приема и обработки информации», – Харьков – Туапсе, 1996, часть 2. – С. 153 – 154.
9. Shevchenko A.N., Tonitsa O.V. R-functions, fuzzy logic and interval analysis with POLYE system for simulation of fields // тези доп. всеукр. наук. конф. «Розробка та застосування математичних методів в науково-технічних дослідженнях», присв. 70-річчю від дня народження професора П.С. Казімірського, Львів, 1995, частина 2. – С. 104.
10. Шевченко А.Н., Тоница О.В. Моделирование физико-механических полей методами теории R-функций и нечеткой логики // тез. докл. международ. конф. «Математические модели и численные методы механики сплошных сред», – Новосибирск, 1996, С. 114-115.
11. Тоница О.В. Использование алгебры дифференциальных кортежей в интервальных методах для оценки ошибок округления в краевых задачах // тез. докл. XIV Международ. конф. по интервальной математике, – Новосибирск, 1998. – С. 1-2.
12. Тоница О.В. Применение интервальной арифметики при построении систем исследования физических полей – ИЛ № 151-97. ХАРПНТЭИ при Министерстве Украины по делам науки и технологии. – Харьков, 1997, 3 с.
13. Шевченко А.Н., Тоница О.В. Методика учета допусков при решении краевых задач математической физики. – ИЛ № 152-97. ХАРПНТЭИ при Министерстве Украины по делам науки и технологий – Харьков, 1997, 3 с.
14. Тоница О.В. Методы построения описаний геометрических объектов в классе функций нечеткой логики. – ИЛ № 12-98. ХАРПНТЭИ при Министерстве Украины по делам науки и технологий. – Харьков, 1998, 3 с.
15. Тоница О.В. Параллельное моделирование в системах анализа физико-механических полей – ИЛ 15-98. ХАРПНТЭИ при Министерстве Украины по делам науки и технологий. – Харьков, 1998, 3 с.
16. Тоница О.В. Построение алгоритмов вычисления функции принадлежности на основе интегральных характеристик – ИЛ № 63-98. ХАРПНТЭИ при Министерстве Украины по делам науки и технологий. – Харьков, 1998, 3 с.
17. Шевченко А.Н., Тоница О.В. Развитие интеллектуальных систем анализа физических полей – ИЛ № 71-98. ХАРПНТЭИ при Министерстве Украины по делам науки и технологий. – Харьков, 1998, 3 с.
18. Тоница О.В. Планирование экспериментов при моделировании физических полей – ИЛ № 147-98. ХАРПНТЭИ при Министерстве Украины по делам науки и технологий. – Харьков, 1998, 3 с.
19. Тоница О.В. Проектирование систем анализа физических полей в современных информационных технологиях – ИЛ № 151-98. ХАРПНТЭИ при Министерстве Украины по делам науки и технологий. – Харьков, 1998, 3 с.

АНОТАЦІЯ
Тоніца О.В. Моделювання фізичних полів методами теорії R-функцій та нечіткої логіки. – Рукопис.
Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.05.02 –
математичне моделювання та обчислювальні методи. – Інститут проблем машинобудування ім. А.М.Підгорного НАН України, Харків, 1999.
Розроблені конструктивні методи та алгоритми моделювання фізико-механічних полів на основі теорії R-функцій та нечіткої логіки, які дозволяють враховувати технічні та технологічні допуски на геометричну та фізичну інформацію, погрішності вимірів, помилки скруглення, та на основі аналізу їх комплексного впливу на розв’язок робити експертний висновок. Запропоновані моделі фізичних полів, що містять допуски на геометричні та фізичні характеристики за допомогою врахування функції належності величин, що розглядаються, в межах заданих допусків. Методика, що розроблена, дозволяє отримувати допуски на розв’язок за допомогою варіювання цих величин в межах заданих допусків, а потім за допомогою отриманих допусків робити експертний висновок про прийнятність знайденого рішення. Побудовані інтервальні обчислювачі арифметичних операцій з врахуванням помилок округлення, які підвищують ефективність реалізації алгебри диференціальних кортежів, що лежить в основі обчислювального процесу. Досліджені можливості розпаралелювання обчислювального процесу на основі ярусно-паралельних форм. Результати, що отримані, застосовуються для розширення можливостей системи «Поле» на випадки вирішення крайових задач, в постановці яких суттєву роль грають допуски на геометричну та фізичну інформацію, погрішності вимірів та помилки округлення.
Ключові слова: моделювання фізичних полів, R-функції, нечітка логіка, допуски на геометричну та фізичну інформацію, погрішності вимірів, помилки округлення, функція належності, експертний висновок, інтервальна арифметика, алгебра диференціальних кортежів, розпаралелювання обчислювального процесу.

АННОТАЦИЯ
Тоница О.В. Моделирование физических полей методами теории R-функций и нечеткой логики. – Рукопись.
Диссертация на соискание ученой степени кандидата физико-математических наук по специальности 01.05.02 – математическое моделирование и вычислительные методы. – Институт проблем машиностроения им. А.Н.Подгорного НАН Украины, Харьков, 1999.
При построении систем исследования задач расчета полей важен учет стохастического характера погрешностей измерений, допусков на геометрическую и физическую информацию и погрешностей округления. В связи с этим возникает необходимость в развитии существующих систем расчета полей для многовариантных задач с целью получить допуски на решение и последующее экспертное заключение. Вычисления в системах расчета полей, как правило, носят детерминированный характер, в то время как реальные процессы в определенной степени являются стохастическими, содержат в себе некоторую нечеткость. Для учета последней нужно так преобразовать существующую схему исследования физических полей, чтобы в результате многовариантного счета получить более точное «нечеткое» решение, которое будет ближе к реальности. Целесообразно ввести в схему решения учет допусков, т. е. источников нечеткости, наиболее сильно влияющих на результирующее решение. Практика показывает, что таких источников, как правило, три: допуски модели (на геометрические и физические характеристики), ошибки метода («усечение» ряда, ошибки интегрирования, решения систем линейных уравнений) и погрешности округления. Необходимо установить комплексное влияние варьирования величин в пределах допусков и исследовать возможности построения допусков на решение. В связи с этим большой интерес представляет разработка систем исследования полей, ориентированных на многовариантное решение краевых задач с целью учесть варьирование определенных величин в пределах заданных допусков.
Разработаны конструктивные методы и алгоритмы моделирования физико-механических полей на основе теории R-функций и нечеткой логики, позволяющие учитывать технические и технологические допуски на геометрическую и физическую информацию, погрешности измерений, ошибки округления и на основе анализа их комплексного влияния на решение делать экспертное заключение. Предложены модели физических полей, содержащие допуски на геометрические и физические характеристики при помощи учета функции принадлежности рассматриваемых величин в пределах заданных допусков. Разработанная методика позволяет получать допуски на решение при помощи варьирования этих величин в пределах заданных допусков, а затем делать экспертное заключение о приемлемости найденного решения.
Построены интервальные вычислители арифметических операций с учетом ошибок округления, повышающие эффективность алгебры дифференциальных кортежей, лежащей в основе вычислительного процесса данных методов.
Исследованы возможности распараллеливания вычислительного процесса на основе ярусно-параллельных форм. Полученные результаты применяются для расширения возможностей системы «Поле» на случаи решения краевых задач, в постановке которых существенную роль играют допуски на геометрическую и физическую информацию, погрешности измерений и ошибки округления.
Ключевые слова: моделирование физических полей, R-функции, нечеткая логика, допуски на геометрическую и физическую информацию, погрешности измерений, ошибки округления, функция принадлежности, экспертное заключение, интервальная арифметика, алгебра дифференциальных кортежей, распараллеливание вычислительного процесса.

SUMMARY
Tonitsa O.V. Modelling of physical fields by means of R-functions theory and fuzzy logics. – Manuscript.
The thesis for a Physical-Mathematical Sciences Candidate’s degree, speciality 01.05.02 – mathematical modelling and computational methods. – Institute for problems in machinery by A.N. Podgorny National academy of sciences of the Ukraine, Kharkiv, 1999.
The constructive methods and algorithms for simulation of physical-mechanical fields based on the R-functions theory and fuzzy logics are elaborated which allow us take into account technical and technological assumptions on geometrical and physical information, measuring errors, rounding errors, and draw expert conclusion by analysis their complex influence on the solution. The models of physical fields, containing assumptions on geometrical and physical characteristics by account the fuzzy membership function of values reviewed in bounds of the assumptions are proposed. The technique presented enables us to receive assumption on the solution by changing of this values in bounds of the assumptions and draw expert conclusion about acceptability of solving finding. The interval calculators for arithmetical operators with accounting of rounding errors estimates are created which increases effisiency of algebra of differential tuples. The possibilities of paralleling computation process is investigated. The results obtained is applicated for widening of possibilities of the POLYE system.
Key words: modelling of physical fields, fuzzy logic, R-functions, assumptions of geometrical and physical information, measuring errors, rounding errors, fuzzy membership function, interval arithmetics, algebra of differential tuples, paralleling of computational process.

Нашли опечатку? Выделите и нажмите CTRL+Enter

Похожие документы
Обсуждение

Ответить

Курсовые, Дипломы, Рефераты на заказ в кратчайшие сроки
Заказать реферат!
UkrReferat.com. Всі права захищені. 2000-2020