Теорія програмних алгебр композиційного типу та її застосування
Дослідження моделей загальнозначних дескриптивних та декларативних структур програм. Характеристика табличних алгебр, які уточнюють маніпуляції коддовського типу. Визначення повної формальної семантики DML мов у SQL-подібних мовах, їх структура.
Подобные документы
Розв’язок задачі про спряженість силовських р-підгруп повної лінійної групи над алгебраїчно замкнутим полем. Дослідження основних питань про ізоморфізм всіх цілих чисел. Доказ існування попарно неізоморфних силовських р-підгруп в повній лінійній групі.
автореферат, добавлен 26.02.2015Алгоритм обчислення клітинкової розмірності графіків неперервних канторівських проекторів. Характеристика фрактальних властивостей цього класу функцій. Методика дослідження арифметичних та диференціальних якостей функцій типу Такаґі-Ван дер Вардена.
автореферат, добавлен 27.07.2015Методи розв’язання задачі комівояжера та її версій. Систематизувати та проаналізувати теоретичні та практичні досягнення в дослідженні проблеми. Швидкодіючі точні алгоритми. Циклічні процеси та їх застосування у транспортних та виробничих системах.
автореферат, добавлен 05.08.2014Знаходження непокращуваних нерівностей для похідних функцій зі спеціальних функціональних класів, розв'язок задачі про наближення необмежених операторів лінійними операторами. Узагальнена задача Колмогорова про існування елемента нормованого простору.
автореферат, добавлен 20.07.2015Побудова апроксимаційних моделей за допомогою методу дискретизації часу для стохастичних диференціальних рівнянь у гільбертовому просторі. Швидкість збіжності апроксимацій за схемами Ейлера і Мільштейна для напівлінійних рівнянь еволюційного типу.
автореферат, добавлен 07.08.2014Особливість способу розв’язування різницевих рівнянь, що виникають при дискретизації двовимірних крайових задач еліптичного типу. Узагальнення поняття "ітераційні процеси Якобі і Гаусса-Зейделя". Розбиття матриці для застосування комбінованого методу.
статья, добавлен 25.08.2016Дослідження математичних методів ідентифікації динамічних систем. Реалізація алгоритму методу ідентифікації моделі авторегресії-ковзного середнього АРКС. Розв’язання системи лінійних рівнянь типу Юла-Уокера для визначення р та q параметрів авторегресії.
статья, добавлен 23.06.2016Застосування способу оберненої спектральної задачі. Побудова методу дослідження неізоспектральних ланцюжків, породжених рівнянням Лакса, пов'язаним із самоспряженими та унітарними операторами. Класифікація ланцюгових систем, що допускають інтегрування.
автореферат, добавлен 29.08.2015Опис структури множини функцій періоду неперервних потоків на топологічних многовидах. Обчислення гомотопічного типу компонент зв'язності груп дифеоморфізмів. Доведення класифікації компонент зв'язності простору функцій Морса на компактних поверхнях.
автореферат, добавлен 30.07.2015Розробка підходу для дослідження асимптотичного поводження Р-розв’язків істотно нелінійних неавтономних звичайних диференціальних рівнянь. Вивчення теорем про асимптотику. Характеристика методик вчених І.Т. Кігурадзе, О.В. Костіна і В.М. Євтухова.
автореферат, добавлен 05.01.2014Розкриття методу Фур’є для різних типів гіперболічних рівнянь: неоднорідних, вільних коливань струни. Загальна перша крайова задача. Крайові задачі зі стаціонарними неоднорідностями. Задачі без початкових умов. Загальна схема методу поділу змінних.
курсовая работа, добавлен 21.04.2012Обчислення функції Гріна для q-аналогів оператора Лапласа-Бельтрамі в крузі та його квадрата. Побудова q-аналога метода квантування Ф. Березіна та одержання явної формули для формальної деформації квантового круга. Теорії q-спеціальних функцій.
автореферат, добавлен 22.04.2014Аналіз нового погляду на метод рухомого симплексу, що розширює можливості точкового числення Балюби-Найдиша та дозволить спростити побудову поверхонь типу лупа. Огляд особливостей моделювання складних процесів n-параметричного функціонального простору.
статья, добавлен 28.10.2016Властивості, будова та класифікація груп локальних ізометрій границь кореневих дерев, жорсткість слабо гіллястих груп. Побудова теорії груп локальних ізометрій канторових просторів та її застосування до класифікації локально скінченних груп 1-типу.
автореферат, добавлен 26.08.2015- 115. Граничні теореми для бакстерівських сум випадкових функцій та їх застосування для оцінок параметрів
Умови збіжності бакстерівських сум від приростів загального виду гауссових випадкових полів. Теорема Леві-Бакстера для сумісно субгауссового випадкового поля. Симетричний стохастичний інтеграл з диференціалом від випадкового процесу бакстерівського типу.
автореферат, добавлен 27.08.2014 - 116. Математичне моделювання нестаціонарних просторово-неоднорідних структур в системах реакції-дифузії
Можливості застосування методів математичного моделювання для дослідження неоднорідних станів у вигляді дисипативних структур і хаотичних коливань. Вивчення властивостей розв'язків і внутрішніх закономірностей нелінійних систем реакції-дифузії.
автореферат, добавлен 26.09.2015 Застосування методів аналітичної геометрії, векторної алгебри, тригонометрії. Застосування геометричних співвідношень до доведення нерівностей. Визначення нерівності трикутника. Застосування векторів та похідної. Дослідження екстремальних властивостей.
учебное пособие, добавлен 13.07.2017- 118. Математичні моделі розміщення, упаковки і розподілу з умовою інваріантності щодо груп перетворень
Визначення кількісних характеристик симетрії для дискретних задач. Побудова математичних моделей перетворень. Алгоритм наближених розв’язків. Дослідження фрагментарних структур. Розв’язання задач теорії розкладів і упаковки. Умови інваріантності вибору.
автореферат, добавлен 19.07.2015 Особливості алгоритмічного підходу до доведення теорем з допомогою логіки предикатів. Аналіз математичної логіки, її місце у математичній науці. Знайомство з буквами формальної арифметики. Значення застосування логіки предикатів для доведення теорем.
практическая работа, добавлен 08.05.2012Побудова математичної моделі процесу вирішення задач оцінювання об’єктів життєвого циклу програмних систем. Реалізація створеного апарату в програмних засобах підтримки розв’язання задач оцінювання і керування ризиком з їх апробацією в організації.
автореферат, добавлен 14.09.2015Алгебраїчно-аналітичний метод дослідження просторових потенціальних полів з осьовою симетрією за допомогою моногенних функцій. Загальні результати про стійкість властивостей нетеровості та індексу операторів у неповних топологічних векторних просторах.
автореферат, добавлен 28.08.2014Розробка та використання на практиці математичних моделей. Складання формул для розрахунку простих та складних відсотків. Вивчення закономірностей випадкових подій, теорія ймовірності. Статистичні дані дослідження масових суспільних явищ і процесів.
презентация, добавлен 18.12.2013Поняття узагальнених функціоналів типу локального часу броунівського руху, порядок їхньої регуляризації. Визначення адитивного функціоналу від вінерівського процесу. Можливість відновлення узагальненого однорідного функціоналу за його характеристикою.
автореферат, добавлен 05.07.2014Встановлення критерію топологічної еквівалентності функцій, що задані на колі та приймають скінченне число критичних значень. Визначення значення неперервних функцій в термiнах iнварiанта в їх локальних екстремумах, що утворюють змії певного типу.
статья, добавлен 30.01.2017Дослідження алгебраїчними методами поняття комплекту, а саме узагальнення поняття реляції та доведення ряду співвідношень логіки реляцій. Визначення формальної моделі подання асоціативних знань, а також аналіз механізму логічного виведення на них.
автореферат, добавлен 04.03.2014