Теорія програмних алгебр композиційного типу та її застосування
Дослідження моделей загальнозначних дескриптивних та декларативних структур програм. Характеристика табличних алгебр, які уточнюють маніпуляції коддовського типу. Визначення повної формальної семантики DML мов у SQL-подібних мовах, їх структура.
Подобные документы
Дослідження сумісності сингулярних інтегральних рівнянь з додатковими умовами. Обґрунтування застосування до них методів проекційно-ітеративного типу. Характеристика підходу до розв’язання сингулярних інтегральних рівнянь з ненульовим індексом, їх аналіз.
автореферат, добавлен 09.11.2013Вивчення дії диференціювань на нільпотентні та лієво нільпотентні ідеали асоціативних алгебр і кілець. Вивчення кілець, які розкладаються в суму двох своїх лієво нільпотентних підкілець, досліджено суми асоціативних кілець з ненульовими ануляторами.
автореферат, добавлен 26.08.2015Необхідні, достатні умови розв’язності багатопараметричної оберненої задачі наближення функціями експоненціального типу. Хибність аналога другої нерівності Джексона для комонотонного наближення. Нерівності різних метрик для цілих експоненціальних функцій.
автореферат, добавлен 28.08.2014Дослідження початково-крайової задачі для квазілінійних двовимірних рівнянь параболічного типу зі сталими коефіцієнтами. Застосування функцій Гріна для одержання вагових апріорних оцінок точності різницевих схем у випадку крайових умов третього роду.
автореферат, добавлен 29.10.2015- 80. Високопаралельні алгоритми та засоби для розв’язання задач масових арифметичних і логічних обчислень
Вивчення методів Кунга-Лейзерзона для реалізації фільтрів нерекурсивного типу і методу реалізації фільтру рекурсивного типу стосовно розробки систолічних алгоритмів розв’язання одновимірних задач цифрової фільтрації. Аналіз організації масових обчислень.
автореферат, добавлен 14.08.2015 - 81. Диференціально-операторні рівняння та включення II порядку з відображеннями псевдомонотонного типу
Обґрунтування розв'язності класу диференціально-операторних рівнянь II порядку з некоерцитивними немонотонними відображеннями типу Вольтера. Доведення теореми про розв'язність для спеціального класу некоерцитивних диференціально-операторних включень.
автореферат, добавлен 28.08.2015 Головна особливість узагальнення теореми Фалеса. Вивчення відношень між геометричними фігурами на прикладі найпростішого многокутника. Основна характеристика поняття подібності фігур. Формулювання математичною мовою означення подібних трикутників.
конспект урока, добавлен 07.09.2018Опис властивостей просторів лінійних неперервних функціоналів над просторами цілих функцій експоненціального типу. Побудова функціонального числення наборів необмежених операторів в локально-опуклих згорткових алгебрах лінійних неперервних функціоналів.
автореферат, добавлен 13.07.2014Особливості застосування ліївського методу до групової класифікації системи нелінійних рівнянь хемотаксису. Огляд застосування нелокальних перетворень еквівалентності системи нелінійних рівнянь дифузії для лінеаризації, побудови нелокальних анзаців.
автореферат, добавлен 27.07.2015Характеристика спряженості та ізоморфізму силовських підгруп повної лінійної групи над деякими областями цілісності. Дослідження існування попарно неізоморфних силовських підгруп в повній лінійній групі над кільцем всіх цілих алгебраїчних чисел.
автореферат, добавлен 20.10.2018Формулювання розподільної властивості та способів її застосування (для розкриття дужок та винесення спільного множника за дужки). Зведення подібних доданків через визначення їх коефіцієнтів та додавання цих коефіцієнтів без зміни буквеної частини.
конспект урока, добавлен 24.09.2018Встановлення нерівностей дискретного та континуального типу обернених середніх гармонійних. Дослідження та побудова аналітичної теорії гіллястих ланцюгових дробів та їх континуального аналогу інтегральних ланцюгових дробів. Поява нерівностей як наслідок.
статья, добавлен 30.01.2017Розробка (на основі методу Вішика-Люстерника) алгоритмів побудови асимптотичних розв’язків крайових задач Діріхле та Неймана, їх обґрунтування. Доведення теореми про порядок. Рішення диференціальних рівнянь параболічного типу при умовах імпульсної дії.
автореферат, добавлен 26.08.2014Дослідження розвитку геометричного моделювання як основи запобігання руйнівній дії. Розрахунок сукупності точкових рівнянь для побудови поверхні відгуку, щодо водопоглинання ґрунту на земельній ділянці. Поверхня типу лупа для визначення шару опадів.
статья, добавлен 28.10.2016За допомогою методики функціонального аналізу, встановлення умови, яка гарантує приналежність даного комплексного числа до резольвентної множини диференціально-граничного оператора типу Штурма-Ліувілля з багатоточково-інтегральними крайовими умовами.
статья, добавлен 29.07.2016Одержання інтегрального зображення точного аналітичного розв'язку мішаної задачі для системи рівнянь параболічного типу. Аналіз моделювання еволюційного процесу методом гібридного диференціального оператора Бесселя-Лежандра-(Конторовича-Лєбєдєва).
статья, добавлен 04.02.2017Нові класи дискретних систем типу Вінера – Хопфа, побудова теорії розв’язності на основі еквівалентних сингулярних інтегральних рівнянь. Порядки швидкості спадання систем при зростанні індексів, оцінка кількості незалежних розв’язків неоднорідних систем.
автореферат, добавлен 28.09.2015Визначення поняття та видів подібних доданків. Відпрацювання навичок застосування розподільної властивості множення для спрощення обчислень значень числових виразів та спрощення буквених виразів, а також для винесення спільного множника за дужки.
конспект урока, добавлен 27.09.2018Побудова класичних розв’язків для параболічних початково-крайових задач і задач спряження з крайовими умовами та умовами спряження типу Вентцеля за допомогою теорії потенціалу. Застосування аналітичних методів до проблем з теорії дифузійних процесів.
автореферат, добавлен 29.07.2014Побудова математичних моделей кількісного опису структур металевих матеріалів для оцінювання їх механічних і технологічних властивостей. Прикладні програми, що дозволяють одержувати оцінку фрактальної розмірності бінарних і півтонових зображень.
автореферат, добавлен 07.08.2014- 96. Теорія ігор
Формальні методи моделювання та теорія ігор. Гра та сукупність правил, що описують формальну структуру ситуації змагання. Види теорії ігор за властивостями функцій виграшу (платіжних функцій). Основні завдання застосування ігор у людській діяльності.
доклад, добавлен 07.01.2015 Одержання інтегрального зображення додатно визначених ядер (ДВЯ) двох змінних зв'язаних з виразом другого порядку еліптичного типу. Розв'язок еліптичного рівняння. Узагальнення теореми про інтегральне зображення ДВЯ зв'язаних з оператором Лапласа.
статья, добавлен 04.02.2017Аналіз математичних моделей для дискретних ієрархічних систем. Особливості застосування апарату гіперграфів та елементів теорії мультимножин для аналізу складних систем. Аналіз моделі складної системи у вигляді стратифікованого подання сімейства моделей.
статья, добавлен 28.02.2017Розв'язання задачі про спряженість силовських р-підгруп повної лінійної групи над областю R головних ідеалів характеристики нуль, в якій просте число р – необоротне. Достатні умови ізоморфізму силовських р-підгруп повної лінійної групи над кільцем R.
автореферат, добавлен 28.09.2015- 100. Застосування теорії графів при розв’язанні завдань різних видів та вивчення елементів теорії графів
Розглянуто формальне визначення, спосіб подання графів, обґрунтування вибору програмних засобів. Наведені основні алгоритми на графах та можливості їх практичного застосування. Програмна реалізація алгоритмів та можливості мови програмування Visual Basic.
дипломная работа, добавлен 30.05.2014