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

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

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

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

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

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

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

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

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

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

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

Досліджено особливості навчально-пізнавальної діяльності студентів коледжів та виявлено об'єктивне існування проблем у процесі навчання математичних дисциплін у ВНЗ I-II рівнів акредитації. Запропоновано систему активації НПД студентів коледжів у процесі навчання математичних дисциплін. Дана система складається з психологічної, дидактичної та управлінської підсистем. Розроблено методичні рекомендації щодо впровадження у процес навчання математичних дисциплін коледжів нових педагогічних технологій та ІКТ. Побудовано модель навчальної діяльності студентів коледжів.

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

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

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

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

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

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

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

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

Надано опис скінченновимірних розв'язних алгебр Лі над алгебрично замкненим полем характеристики нуль, в яких доповнювані всі одновимірні ідеали. Показано, що для таких алгебр Лі умова доповнюваності всіх одновимірних ідеалів еквівалентна умові доповнюваності всіх підалгебр. Описано будову скінченновимірних нерозв'язних алгебр Лі, в яких доповнювані всі ідеали. Знайдено необхідні умови доповнюваності всіх ідеалів в FC-алгебрах Лі над алгебрично замкненим полем характеристики нуль.

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

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

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

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

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

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

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

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

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

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

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

Розроблено алгоритми самоорганізації дослідження та моделювання процесів, що задані точковим каркасом, з можливістю врахування та управління під час синтезу такими геометричними характеристиками моделей, як гладкість, точність, властивості коридору помилки моделювання, присутність викидів. Визначено порядок причинно-наслідкових зв'язків в системі та комплекс екзогенних змінних. Здійснено фільтрацію та скорочення списку змінних для моделювання вихідних змінних системи. Проведено дослідження та моделювання структури складної системи. Одержано нові алгоритмічні засоби теорії самоорганізації для застосування їх під час синтезу нечітких моделей і моделей коридору помилки моделювання. Розроблено програмне забезпечення запропонованих алгоритмів методу групового врахування аргументів чіткого та нечіткого моделювання та процедур системного аналізу. Проведено апробацію нових алгоритмів у НДІАКС "ЕКОТЕХ" для прогнозування світових цін на деякі індикативні види паливної сировини.

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

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