Принципы и порядок проектирования автомата управления, алгоритм его функционирования. Формальное описание функционирования автомата в виде графа переходов и набора булевых функций. Абстрактный синтез автомата Мура и анализ полученных результатов.
Моделирование нестационарных неэквидистантных временных рядов по математическому ожиданию и дисперсии. Анализ аппроксимативного метода построения аналитической модели тренда и дисперсии нестационарного временного ряда с помощью ортогональных разложений.
- 93. Автоматизоване формування спряжених гвинтових нелінійчатих поверхонь, що виключають інтерференцію
Розробка автоматизованого способу формування спряжених гвинтових нелінійчатих поверхонь. Вивчення явища інтерференції при некоректному завданні вихідного профілю виробу. Дослідження роботи черв'ячної фрези з просторовою ріжучою кромкою методом обкатки.
Способи і методи геометричного моделювання формування спряжених поверхонь вищих кінематичних пар. Розробка алгоритмів і програм їхньої реалізації, які грунтуються на сучасних досягненнях прикладної та обчислювальної геометрії та комп'ютерної графіки.
Понятие автоматического доказательства теоремы, противоречивость отрицания формулы. Алгоритм построения вывода методом резолюций. Отличие теоремы резолюций от правил modus ponens и производных правил. Проблема доказательства в логике. Дизъюнкция литер.
Анализ методов усложнения аналитического строения псевдослучайных последовательностей. Определение и построение математической модели нелинейной функции усложнения, представляемой на основе модулярной операции возведения в степень по простому модулю.
Рассмотрение вопросов реализации авторегрессионных моделей для векторных временных рядов. Способ получения оценок параметров модели путем решения соответствующей вариационной задачи. Дифференцирование произвольной функции по векторным аргументам.
Определение агрегирующих алгоритмов. Анализ алгоритмов экспоненциального взвешивания Hedge и его модификация AdaHedge. Описание алгоритмов отслеживания наилучшей комбинации экспертов CompHedge, FixedShare и VariableShare. Описание экспертных стратегий.
Определение агрегирующих алгоритмов. Анализ алгоритмов экспоненциального взвешивания Hedge и его модификация AdaHedge. Описание алгоритмов отслеживания наилучшей комбинации экспертов CompHedge, FixedShare и VariableShare. Описание экспертных стратегий.
Реализация математической модели системы автоматизированного управления уровнем грунтовых вод, включая инструментарий мониторинга параметров польдерных систем. Решение обратных задач путем варьирования переменных до совпадения целевого функционала.
Методы математического моделирования и современные информационные технологии в сфере мониторинга пожарной обстановки. Управление тушением лесного пожара с использованием метода обратных задач динамики. Синтез алгоритмов управления в виде обратных связей.
Анализ рядов, составленных по ежедневным замерам уровня воды в горной реке Мзымта. Построение моделей, адекватно описывающих динамику рядов. Расчет точечных и интервальных прогнозов на семь дней. Оценка точности построенных моделей, сравнение значений.
Необходимость минимизации времени на принятие решений при заданных вероятностях ошибок первого и второго рода. Алгоритмы последовательного обнаружения траектории цели c использованием решающих статистик отметок при известном отношении сигнал/шум.
Функции и разнообразие форм квадратного трехчлена и использование его свойств. Геометрическая интерпретация задач, связанных с квадратным трехчленом. Расположение корней трехчлена со знаками его значений. Теорема Виета и следствие о знаках корней.
- 105. Аксиома выбора
Аксиома выбора как один из важнейших теоретико-множественных принципов. Главная причина отрицательного отношения к принятию аксиомы. Альтернативные формулировки термина. Принцип вполне упорядочивания (теорема Цермело). Общее понятие о максимуме Хаусдорфа.
Геометрия Лобачевского (гиперболическая геометрия) как одна из неевклидовых геометрий. Евклидова аксиома о параллелях. Разработка модели планиметрии. Параллельные прямые, треугольники и четырехугольники на плоскости и пространстве по Лобачевскому.
Исторические вехи становления аксиоматического метода и его роль в развитии математического образования. Интерес к методам научного познания, к природе математических понятий и аксиом и логике доказательства. Дискуссии о дискурсивном и интуитивном знании.
Общая схема использования аксиоматического подхода при сопоставлении и выборе методов обработки данных. Задача вычисления удельного веса индексных факторов в мультипликативных индексных моделях. Характеристика основных методов вычисления вклада факторов.
- 109. Аксиомы планиметрии
Характеристика раздела геометрии, в котором изучаются изображения на поверхности. Точка и прямая как основные геометрические фигуры на плоскости. Проведение исследования аксиом принадлежности, расположения, измерения, откладывания и параллельности.
Рассмотрение видов аксонометрии и расположения оси прямоугольной изометрии. Определение натуральных и приведенных показателей искажения и масштаба изображения в прямоугольной изометрии. Приведение примеров выполнения фронтальной косоугольной диметрии.
Сущность метода параллельного аксонометрического проецирования. Основная теорема аксонометрии (теорема Польке). Применение прямоугольных изометрии и диметрии. Построение аксонометрических изображений. Параллельное проецирование окружности на плоскость.
Сущность построения аксонометрических проекций. Прямоугольная, косоугольная аксонометрия. Общие сведения о многогранниках. Построение проекций многогранника, развертка. Сведения о кривых поверхностях. Построения проекций кривых поверхностей и развертки.
Викладення системи математичних задач фінансового змісту як засобу активізації пізнавальної діяльності учнів основної школи. Огляд прийомів формування фінансової грамотності учнів під час навчання математиці. Методичні рекомендації з розв’язування задач.
Анализ фундаментальных проблем в направлениях современной алгебры: теория неассоциативных алгебр, теория конечных групп и алгебраическая геометрия. Построение примеров йордановых супералгебр над произвольным полем. Арифметическое описание спектров.
Строение абелевых групп симметрий хиггсовского потенциала в вакууме для N-дублетной хиггсовской модели. Типы центральных простых конечномерных некоммутативных йордановых супералгебр. Конструкция кольца частных для обобщенной алгебры Новикова-Пуассона.
Изучение фундаментальных проблем и взаимосвязей в следующих направлениях современной алгебры: теория неассоциативных алгебр, теория конечных групп и алгебраическая геометрия. Исследования квантований алгебр, в конечных лиевых и нелиевых группах.
Основні напрямки сучасної теорії зображень. Роль теорії матричних задач А.В. Ройтера. Обчислення матричної алгебри Aуслендера для однієї задачі про подібність пари матриць з деякими природними співвідношеннями. Формулювання класифікаційної теореми.
Геометрическая интерпретация комплексных чисел и действий над ними. Формулы длины отрезка и скалярного произведения векторов. Параллельность, коллинеарность, перпендикулярность. Двойное отношение четырёх точек плоскости. Полюсы относительно окружности.
- 119. Алгебра логики
Сущность логики как науки о формах и способах мышления. Характеристика основных видов мышления: понятие, высказывание, умозаключение. Описание базовых логических операций: инверсия, дизъюнкция, конъюнкция. Порядок применения закона Моргана, его цель.
- 120. Алгебра логики
Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.