Теорія програмних алгебр композиційного типу та її застосування
Дослідження моделей загальнозначних дескриптивних та декларативних структур програм. Характеристика табличних алгебр, які уточнюють маніпуляції коддовського типу. Визначення повної формальної семантики DML мов у SQL-подібних мовах, їх структура.
Подобные документы
Встановлення кількості сагайдаків часткових та однозначних відображень, їх зв’язок з досконалими праворядними кільцями скінченного типу. Дослідження алгебраїчно замкнених полем та характеристика квазіфробеніусового симетричного кільця у теорії графів.
автореферат, добавлен 30.10.2015Аналіз задач на зростання цілих функцій скінченного лямда-типу та розподілу їх нулів. Поняття найкращої мажоранти з послідовностями нулів заданого скінченного типу. Оцінки на зростання відношень середніх квадратичних функцій розподілу послідовностей.
автореферат, добавлен 30.08.2014Побудова операторів збурень лінійних диференціальних рівнянь парного порядку крайових задач типу Діріхле. Незмінність точкового спектру, повнота та мінімальність системи власних функцій. Дослідження властивостей розв’язків задач, отриманих у процесі.
автореферат, добавлен 26.02.2015Характеристика теорії експоненціально-вагових просторів Гарді у півплощині. Одержання аналогу теореми Пелі-Вінера про продовження функції з уявної осі на півплощину. Дослідження повноти систем експонент з вагою та відповідного рівняння типу згортки.
автореферат, добавлен 27.04.2014Огляд квантових аналогів алгебр функцій у незвідних обмежених симетричних областях. Викладення явного вигляду інваріантного інтегралу; побудова коваріантного диференціального числення. Некомутативні аналоги інтегральних представлень Бергмана і Коші-Сеге.
автореферат, добавлен 11.08.2014Анализ фундаментальных проблем в направлениях современной алгебры: теория неассоциативных алгебр, теория конечных групп и алгебраическая геометрия. Построение примеров йордановых супералгебр над произвольным полем. Арифметическое описание спектров.
научная работа, добавлен 28.10.2018Властивості одновимірних невзаємно-однозначних простих динамічних систем, що потрібні при дослідженні структури та зображень C*-алгебр, їх класифікація. Умови топологічної спряженості для простих унімодальних динамічних систем і її зв’язок з ізоморфізмом.
автореферат, добавлен 24.06.2014Побудова операторів збурень лінійних диференціальних рівнянь парного порядку крайових задач типу Діріхле, що залишають незмінним точковий спектр, повноту та мінімальність системи власних функцій. Дослідження умови єдиності розв’язків збурених задач.
автореферат, добавлен 28.09.2015Поняття асоціативного групоїда багатомісних операцій. Аналіз оноїдів з оборотними елементами. Метод описання класів алгебр розкладів поліагруп. Розклади багатомісних операцій. Класифікації функційних рівнянь з точністю до парастрофної рівносильності.
автореферат, добавлен 29.09.2015Аналіз основних елементів дефекту типу "тріщина" та їх співвідношень з метою побудови метрик, на базі яких визначаються та обчислюються параметри дефекту. Визначення міри наявності дефекту на зображенні та функції наявності ознаки на зображенні.
статья, добавлен 25.02.2016Характеристика класу позитивних динамічних систем балансового типу, для математичного моделювання яких використовуються системи звичайних лінійних різницевих й диференціальних рівнянь. Побудова розімкненої дискретної динамічної математичної моделі.
автореферат, добавлен 29.08.2015Перевірка гіпотези Р.С. Ісмагілова, яка стосується незвідності регулярних представлень різних нескінченновимірних груп та мір. Вивчення алгебр фон Неймана, породжених регулярним представленнями нескінченновимірних груп. Поширення гіпотези Р.С. Ісмагілова.
автореферат, добавлен 27.07.2015Дослідження трьох моделей із фінансової математики, математичної статистики та економетрики, які побудовано за допомогою процесу дробового броунівського руху. Встановлення безарбітражності ринку у класі самофінансованих стратегій марковського типу.
автореферат, добавлен 22.07.2014Исследование конечной базируемости многообразий коммутативных алгебр Лейбница-Пуассона полиномиального роста в случае основного поля нулевой характеристики, их ограничение полиномом. Исследование частных случаев задачи, доказательство основных теорем.
статья, добавлен 31.05.2013Особливості прямих та обернених теорем теорії наближень. Визначення аналогів нерівностей Джексона і Бернштейна. Оцінка похибки наближених розв’язків задачі Коші для диференціально-операторних рівнянь методом Келі. Побудова векторів експоненціального типу.
автореферат, добавлен 28.09.2015Дослідження метода структурно-алгоритмічного моделювання керованих електромеханічних систем, що містять ланки з розподіленими параметрами. Реалізація отриманих алгоритмів у вигляді програмних засобів відкритого типу з модульною ланковою організацією.
автореферат, добавлен 26.09.2015Розгляд комплекснозначних випадкових величин даного типу та доведення для них теореми про чистоту розподілу. Необхідні й достатні умови дискретності цих величин. Поглиблений аналіз випадкових векторів, заданих системами подрібнюючих розбиттів площини.
автореферат, добавлен 24.02.2014Розробка методу, за допомогою якого можна побудувати теорію Нетера та дослідити властивості нових класів дискретних систем типу Вінера-Хопфа на основі теорії сингулярних інтегральних рівнянь та їх систем. Характеристика теорії розв’язності систем.
автореферат, добавлен 26.02.2015- 69. Про модифікацію узагальненого методу розв’язання інтегральних рівнянь типу Фредгольма другого роду
Визначення апріорної оцінки похибки методу. Побудова модифікації узагальненого методу розв’язання рівнянь. Описання інтегральних рівнянь типу Фредгольма. Розгляд питання про оцінку похибки наближеного розв’язання рівняння запропонованим методом.
статья, добавлен 30.01.2017 Отримання точних нерівностей для норм проміжних похідних функцій та розв'язання на цій основі важливих екстремальних задач аналізу. Вивчення тригонометричних поліномів і поліноміальних сплайнів. Взаємозв'язки точних нерівностей типу Колмогорова.
автореферат, добавлен 13.07.2014Точні умови на зростання функцій, для яких гіперболічний прямокутник або гіперболічний чотирибічник є множинами Помпейю. Теорема про обернення перетворення Помпейю. Теореми типу Морери про голоморфність функції. Узагальнення на випадок декількох функцій.
автореферат, добавлен 27.07.2015Аналіз повної інтегрованості інверсних нелінійних динамічних систем на функціональних многовидах. Побудова та симплектичний аналіз скінченновимірних редукцій на локальні інваріантні підмноговиди бігамільтонових динамічних систем, аналіз їх інтегрованості.
автореферат, добавлен 28.09.2014Обчислення значення функцій. Табулювання функцій та зображення їх графіків, зміна кольору, типу маркерів та типу ліній. Побудова поверхні обчислюваної функції для заданого діапазону. Діапазон зміни аргументу і обчислення суми у режимі відображення формул.
контрольная работа, добавлен 28.07.2017Дослідження впливу конструктивних параметрів мікрорезонаторів на вихідні електричні характеристики. Можливості створення бібліотеки VHDL-AMS моделей для використання її в процесі проектування та моделювання режимів функціонування вбудованих систем.
автореферат, добавлен 29.08.2014Дослідження сумісності сингулярних інтегральних рівнянь з додатковими умовами. Обґрунтування застосування до них методів проекційно-ітеративного типу. Характеристика підходу до розв’язання сингулярних інтегральних рівнянь з ненульовим індексом, їх аналіз.
автореферат, добавлен 09.11.2013