МАТЕМАТИКА

Рассмотрены основы теории разностных методов решения задачи Коши для обыкновенных дифференциальных уравнений.

Представлены теоретические сведения об операционном исчислении и рассмотрены примеры решения задач из домашнего задания по темам: нахождение изображений и оригиналов, решение интегральных уравнений типа свертки, решение линейных обыкновенных дифференциальных уравнений и систем с постоянными коэффициентами. Приведены 25 вариантов условий домашнего задания. Для решения некоторых задач требуется применение систем компьютерной математики, например системы Maple.

Рассмотрены важные построения начертательной геометрии как части и основы курса «Инженерная графика». Основное внимание уделено определению геометрических параметров проекций линии пересечения на общие плоскости симметрии пересекающихся по­верхностей.

Рассмотрены особенности применения методов математической статистики для обработки результатов ограниченного числа опытных данных, полученных в процессе проведения стрельб.

Методические указания содержат описание лабораторной работы № 3 лабораторного практикума «Основы научных исследований». Дано описание двух методов оптимизации процессов - симплекс-метода и метода крутого восхождения и показано их применение на примере выбора химического состава высокопрочного серого чугуна.

Методические указания написаны в помощь студентам, изучающим основы проективной геометрии, являющейся фундаментальной теоретической базой геометрии начертательной. Рассматриваются синтетический подход к построению проективного пространства, соответствие форм первой и второй ступеней, центральная коллинеация, а также гомология и ее частные случаи. В целях закрепления полученных знаний в пособии помимо теоретических положений представлены и задачи. Избранная форма пособия удобна как для изучения курса, так и для проверки полученных знаний.

Учебное пособие затрагивает такой раздел высшей математики как: операционное исчисление. Для студентов университетов и вузов, а также для специалистов, желающих изучать операционное исчисление самостоятельно. Каждая глава заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и задания типовых расчетов.

Статья посвящена изложению одного из многочисленных приложений общих понятий дискретной математики. В качестве примера излагаются начала теории сетей Петри. Даны определения основных понятий этой теории. Описана работа сетей Петри на языке теории графов (наглядное описание) и затем на языке линейных операций над векторами с целочисленными координатами. Затронута теория графов (и деревьев) маркировок. Отмечена проблема алгоритмической разрешимости задач, связанных с графами маркировок. Объяснено, каким образом сети Петри применяются для описания сложных систем, а также для описания работы сложных систем взаимодействующих устройств. Подробно рассмотрен пример составления сети Петри такого рода. Изложение не требует предварительных знаний по данной теме. Для восприятия излагаемого материала необходимы только элементарные сведения по теории графов и начала линейной алгебры. Материал статьи может быть использован в качестве тем для внеаудиторной работы студентов.

В статье рассматривается тема соотношения «наглядного» способа изложения действий на графах (с использованием рисунка) и «абстрактного» (опирающегося на представление графа посредством матрицы). Такого рода проблема (изложение наглядных действий при помощи инструмента дискретной математики) нередко возникает в преподавании предмета. Для задачи построения матрицы достижимости и определения количества и состава компонент связности даются два алгоритма решения. В качестве примера описания графом системы с различными возможными состояниями приводится задача о переливании. Для другого примера графической задачи дается решение, которое обосновывается уже с применением булевых функций. Также рассматривается задача о построении гамильтонова цикла, связанного с обходом полей шахматной доски фигурой коня.

Рассмотрен метод построения бесконечных серий симметрий и законов сохранения для систем дифференциальных уравнений в частных производных, имеющих оператор рекурсии. Метод основан на линеаризации уравнений контактным преобразованием или с помощью накрывающих уравнений. Показано, что «линейная» симметрия линейной системы дифференциальных уравнений порождает оператор рекурсии, с помощью которого строится оператор рекурсии исходной нелинейной системы. Применение методики вычислений продемонстрировано на примерах уравнения минимальных поверхностей и уравнения Бюргерса.

Рассмотрены вопросы реализации конечнозначных функций схемами из функциональных элементов. Предложено семейство k-значных базисов и показана их полнота. Для этих базисов построены методы синтеза схем из функциональных элементов, обеспечивающие асимптотически наилучшие оценки.

В учебном пособии рассмотрены вопросы классической финансовой математики, в доступной форме изложены количественные методы анализа финансовых и кредитных операций, оценки потоков платежей, методы анализа инвестиционных проектов. Включены упражнения и задачи, на практических примерах раскрыта технология компьютерной реализации рассматриваемых методов анализа и моделирования с использованием табличного процессора MS Excel.

Целью работы является изучение основных методов построения UD-реализаций дискретного фильтра Калмана, обладающих улучшенными вычислительными свойствами по сравнению со стандартной реализацией фильтра Калмана, а также построение новой расширенной формы ортогонализованного UD-фильтра, которая должна обладать следующими свойствами: устойчивость по отношению к ошибкам машинного округления, отсутствие операции извлечения квадратного корня, избавление от операции матричного обращения на каждой итерации алгоритма, компактность и удобство записи ортогонализованной формы UD-фильтра. Рассматриваются методы реализации UD-фильтров. Первой UD-реализацией фильтра Калмана является последовательный алгоритм Бирмана, а самыми современными являются ортогонализованные блочные алгоритмы. Подход к построению квадратно-корневых блочных алгоритмов был предложен Кайлатом. В настоящей работе именно этот подход применяется для построения новой формы расширенного ортогонализованного UD-фильтра. В работе изучены существующие к настоящему времени методы построения UD-фильтра. Наиболее эффективными в вычислительном плане и подходящими для реализации на современных вычислительных комплексах являются ортогонализованные формы UD-фильтра. Предложена новая форма расширенного ортогонализованного UD-фильтра, обладающая рядом преимуществ по сравнению с другими.

Эта работа – одна из первых работ, в которой подробно, со всеми доказательствами рассматривается задача синтеза надежных схем с элементами, подверженными неисправностям двух типов. Предполагается, что базисным элементам приписана функция штрих Шеффера (антиконъюнкция) и базисные элементы в неисправные состояния переходят независимо друг от друга. Первый тип неисправностей характеризуется тем, что при любом входном наборе базисного элемента на его выходе с некоторой вероятностью появляется значение, противоположное конъюнкции входных значений (т. е. имеем инверсные неисправности на выходах). Второй тип неисправностей появляется также на любом входном наборе элемента с некоторой (возможно, отличной от инверсной неисправности) вероятностью и характеризуется тем, что на выходе элемента появляется неопределенность. Отметим также, что в каждый такт работы базисный элемент подвержен только одной из двух названных неисправностей. Цель данной работы: исследовать возможность построения надежных схем, найти метод синтеза надежных схем, получить нетривиальные верхние и нижние оценки ненадежности схем.

Рассматривается формализм, предназначенный для представления специального расширения класса конечных автоматов - так называемых обобщенных недетерминированных конечных автоматов. Из изложенных в статье алгоритмов эквивалентного преобразования определяемых авторами автоматов и аналога теоремы Клини для них вытекает не столько эквивалентность их и обычных конечных автоматов (эта эквивалентность очевидна априори), сколько возможность определения операции дополнения (и вообще обобщенных регулярных выражений) обычными "автоматными" методами. Также в статье описан метод построения конкретного обобщенного автомата, который определяет заданное обобщенное регулярное выражение. Данный метод вытекает из доказательства аналога теоремы Клини. Представленные расширенные возможности для описания регулярных языков могут быть полезны в некоторых приложениях, например, в контекстном поиске.

Рассматривается один из важнейших разделов математической кибернетики - теория синтеза, надежности и сложности управляющих систем. К числу основных модельных объектов математической теории синтеза, сложности и надежности управляющих систем относятся схемы из ненадежных функциональных элементов, реализующие булевы функции. В ряде результатов, относящихся к реализации булевых функций надежными схемами из ненадежных функциональных элементов, фигурирует параметр N[g] - наименьшее число функциональных элементов, необходимых для реализации функции голосования x в рассматриваемом полном базисе. Оказалось, что еще и другие функции (обозначим их множество через G), обладают свойствами, аналогичными свойствам функции голосования. Эти функции в статье называются обобщенными функциями голосования. Цель данной работы - получить верхнюю оценку величины N[G], которая была бы справедлива в произвольном базисе.

Предлагается математическая модель, описывающая процесс воспроизводства научных кадров на этапе поступления в аспирантуру с использованием системы обыкновенных дифференциальных уравнений с запаздывающим аргументом, излагается численный алгоритм ее решения. Неизвестные параметры математической модели находятся на основе известных статистических данных за промежуток времени, предшествующий прогнозируемому. Далее в статье приводятся результаты прогнозирования процесса воспроизводства научных кадров на основе построенной математической модели.

Доказываются 28 свойств, связывающих предполные классы трехзначной логики.

Рассматривается реализация функций трехзначной логики схемами из ненадежных функциональных элементов в базисе Россера-Туркетта. Предполагается, что вероятность появления одного неверного значения на выходе любого базисного элемента на каждом входном наборе равна [эпсилон], а следовательно, вероятность ошибки равна 2[эпсилон].

Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки (стоп-оператором) в произвольном полном конечном базисе. В исправном состоянии стоп-оператор прекращает работу программы, если на его вход поступает единица. Предполагается, что и функциональные операторы, и стоп-операторы программы ненадежны, переходят в неисправные состояния независимо друг от друга. Считаем, что вычислительные операторы с вероятностью [эпсилон] ([эпсилон] принадлежит множеству (0, 1/2) ) подвержены инверсным неисправностям на выходах. А для операторов условной остановки рассматриваются два типа неисправностей. Неисправность первого типа характеризуется тем, что при поступлении единицы на вход стоп-оператора он с вероятностью [дельта] ([дельта] принадлежит множеству (0, 1/2) ) не срабатывает, и, следовательно, работа программы продолжается. Неисправность второго типа такова, что при поступлении нуля на вход стоп-оператора он с вероятностью [эта] ([эта] принадлежит множеству (0, 1/2) ) срабатывает, и, следовательно, работа программы прекращается. Доказано, что любую булеву функцию f можно реализовать программой, ненадежность которой не больше max {[эпсилон], [эта]} + 145 [сигма]{2} при всех [эпсилон] принадлежит множеству (0, 1/960] и [сигма]=max{[эпсилон], [дельта], [эта]}.

Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки в полном конечном базисе B, содержащем некоторую функцию вида x{a[1]} [1] v x{a[2]} [2], a[1], a[2] {0, 1}. Предполагается, что функциональные операторы с вероятностью [эпсилон] ([эпсилон] (0, 1/2) ) подвержены инверсным неисправностям на выходах, а операторы условной остановки абсолютно надежны. Доказано, что любую булеву функцию f можно реализовать неветвящейся программой, функционирующей с ненадежностью не больше [эпсилон] + 81[эпсилон]{2} при [эпсилон] (0, 1/960).

Рассматривается реализация булевых функций схемами из ненадежных функциональных элементов в полном конечном базисе B, содержащем специальные функции. Предполагается, что все элементы схемы независимо друг от друга с вероятностью [эпсилон] (0, 1/2) подвержены неисправностям типа 0 на выходах. Доказано, что почти для всех булевых функций асимптотически оптимальные по надежности схемы функционируют с ненадежностью, асимптотически равной [эпсилон] при [эпсилон] [стрелка вправо] 0. Эта оценка ненадежности в два раза меньше, чем в случае инверсных неисправностей на выходах элементов в соответствующих базисах.

Рассматривается реализация булевых функций схемами из ненадежных элементов в полном базисе B B[3] (B[3] - множество всех булевых функций, зависящих от переменных x[1], x[2], x[3]). Предполагается, что все элементы схемы независимо друг от друга с вероятностью [эпсилон] ([эпсилон] (0, 1/2) ) подвержены инверсным неисправностям на выходах. Найдены базисы, в которых почти булевы функции можно реализовать асимптотически оптимальными по надежности схемами, функционирующими с ненадежностью 5[эпсилон] при [эпсилон] [стремящемуся к] 0. Других таких базисов B B[3], в которых почти булевы функции можно реализовать асимптотически оптимальными по надежности схемами, функционирующими с ненадежностью 5[эпсилон], нет.

Рассматривается реализация булевых функций схемами из ненадежных функциональных элементов в базисах, содержащих функцию h (x[1],..., x[2k+1]) множества H[2k+1]. Предполагается, что базисные элементы независимо друг от друга с вероятностью ? (? принадлежит множеству (0, 1/2) ) подвержены инверсным неисправностям на входах элементов. В работе показано: 1) в произвольном конечном полном базисе B, содержащем функцию h (x[1],..., x[2k+1]) множества H[2k+1], все булевы функции можно реализовать схемами с ненадежностью не более a? {k+1} + ? {k+2} при ? ? {1}[48am{2} (2k+1) ], где a = C{k+1}[2k+1], m - наибольшее число входов элементов в полном конечном базисе B, 2) в базисе B{? }, содержащем все функции, зависящие не более чем от двух переменных, и функцию h (x[1],..., x[2k+1]) принадлежит множеству H[2k+1], функции 0, 1, x[1], x[2],..., x[n] можно реализовать абсолютно надежно, а все остальные функции можно реализовать асимптотически оптимальными по надежности схемами, функционирующими с ненадежностью, асимптотически (при ? > 0) равной a? {k+1}, где a = C{k+1}[2k+1].

Рассматривается задача синтеза асимптотически оптимальных схем, реализующих булевы функции, при инверсных неисправностях на выходах элементов в полном базисе {xІy, xvy, x&y, xvy, x}. Доказано, что в рассматриваемом базисе все булевы функции можно реализовать асимптотически оптимальными по надежности схемами, причем почти для всех функций эти схемы функционируют с ненадежностью, асимптотически равной 3? при ? >0, где ? - вероятность инверсной неисправности на выходе базисного элемента.

Решается задача реализации булевых функций надежными схемами из ненадежных функциональных элементов в базисе {x[1]x[2] v x[1]x[3] v x[2]x[3], x[1] v x[2] v x[3], x[1] & x[2] & x[3], x{-}[1]}. Для решения задачи предлагаются два разных метода повышения надежности схем: первый - с использованием дизъюнктора и конъюнктора, а второй - с использованием элемента голосования. Рассматриваются три типа неисправностей элементов: 1) инверсные неисправности на входах элементов, 2) однотипные константные неисправности на выходах элементов, 3) однотипные константные неисправности на входах элементов. В каждом случае применяются два названных метода и сравниваются полученные оценки ненадежности схем. Показывается, что при однотипных константных неисправностях на входах элементов использование элемента голосования (второй метод) дает худшую оценку ненадежности, чем использование конъюнктора и дизъюнктора.

Рассматривается задача синтеза асимптотически оптимальных схем, реализующих булевы функции, при инверсных неисправностях на выходах элементов в базисе {x & y, x v y, x{-}}. Доказано, что почти все булевы функции можно реализовать асимптотически оптимальными по надежности схемами, которые функционируют с ненадежностью, асимптотически равной 3? при ? > 0, где ? - вероятность инверсной неисправности на выходе базисного элемента. Сложность предлагаемых схем превышает сложность минимальных схем, построенных только из надежных элементов, не более чем в 3 раза.

Найден широкий класс булевых функций, способных повышать надежность схем. Доказано, что при инверсных неисправностях на выходах элементов наличие функции из предлагаемого класса в заданном базисе гарантирует реализацию произвольной булевой функции асимптотически оптимальной по надежности схемой.

Траектории геометрических преобразований получены одулярным методом. Исследованы свойства траекторий преобразований. Получены поверхности траекторий, в частности одулярные поверхности траекторий, указаны их геодезические. Эти поверхности обладают собственной геометрией - одулярной, она отлична от внутренней геометрии поверхности. Одулярная поверхность траекторий, аналог аффинной плоскости, может иметь ненулевую гауссову кривизну.

Показано, что если к базису {x[1] & x[2], x[1]} добавить, по крайней мере, еще одну булеву функцию, зависящую не более чем от двух переменных, то асимптотическая оценка ненадежности значительно понижается.

Решается задача построения асимптотически оптимальных по надежности схем в базисе. Доказано, что любую булеву функцию f (x[1], x[2],..., x[n]), не равную x[i] (i = 1, 2,..., n) и константам 0 и 1, можно реализовать асимптотически оптимальной по надежности схемой, функционирующей с ненадежностью асимптотически равной [гамма{k}] при [гамма] стремится к 0. Функции x[i], i = 1, 2,..., n, можно реализовать абсолютно надежно, а константы 0 и 1 - схемами сколь угодно высокой надежности.

Международный стандарт IEC 61499 в области промышленной автоматизации вводит класс систем управления нового поколения, которые характеризуются как разумные реконфигурируемые распределенные компонентно-базированные системы. Стандарт IEC 61499 поддерживает парадигму проектирования на основе функциональных блоков (ФБ). Одной из наиболее важных моделей выполнения ФБ является циклическая модель. Отсутствие точно определенной формальной семантики для циклической модели выполнения может негативно отразиться на качестве проектируемого управляющего программного обеспечения, в частности, это может затруднить проведение верификации и имитационного моделирования систем автоматизации.

Предлагается синтактико-семантическая модель базисных функциональных блоков стандарта IEC 61499. Для определения абстрактного синтаксиса используется теоретико-множественный подход, а для представления операционной семантики - аппарат машин абстрактных состояний.

В работе предлагается методика проектирования супервизоров для предотвращения запрещенных состояний для неуправляемых и управляемых дискретно-событийных систем. Рассматриваются вопросы поиска и навигации по пространству состояний в прямом и обратном направлениях, вычисления шагов в линейной структуре. Затронуты вопросы реализации систем безопасности. Приводится пример системы двух выталкивателей для демонстрации предложенной методики.

Продолжение исследования проблемы "странности" деревьев.

Развитие темы тетраэдрической, четырехосной систем координат.

Приближенные варианты решения классических задач.

Методом конечных элементов изучается напряженно-деформированное состояние оболочки с заполнителем.

Построение "родственных" последовательностей автоморфизмов.

Содержит краткие теоретические положения курса «Основы теории информации и кодирования», а именно: основы теории информации, основы теории кодирования и передачи информации по каналам связи, а так же примеры использования информационных моделей. Кроме этого пособие включает в себя лабораторный практикум, предназначенный для закрепления теоретического материала и представленный в виде подробного описания выполнения лабораторных работ. Для удобства пользования пособие содержит краткие справочные сведения по теории вероятностей, которые крайне необходимы при рассмотрении основных положений курса.

В монографии рассматривается оптимальное планирование эксперимента в контексте решения задач структурной и параметрической идентификации моделей многофакторных систем.

Учебник написан на базе лекционных курсов, прочитанных авторами в ряде вузов столицы. Рассмотрены все аспекты дисциплины «Основы теории вероятностей и математической статистики» Государственного образовательного стандарта высшего профессионального образования и учебных программ по специальностям: «Финансы и кредит», «Бухгалтерский учет, анализ и аудит», «Менеджмент организации» и др. Учебник содержит два раздела «Основы теории вероятностей» и «Основы математической статистики». Включены прикладные наработки авторов, вопросы для самоконтроля, примеры использования классических методов и заданий для самостоятельной работы обучаемых.

Изложены основы современных методов математического моделирования технических объектов, широко используемых в инженерной практике и научных исследованиях. Рассмотрены общие понятия и определения математического моделирования, приведены классификации моделей и даны рекомендации по их использованию при решении различных задач. Особое внимание уделено построению математических моделей с использованием матриц, теорией множеств и графов, алгебры логики и исчисления предикатов. Рассмотрены элементы и направления применения таких современных средств моделирования и оптимизации, как теория нечетких множеств, нейрокомпьютерное моделирование и генетические алгоритмы. Приведены сведения о современных подходах и оптимизации при математическом моделировании технических систем.

В данном методическом пособии рассматриваются основы проектирования систем и управления сложными экономическими объектами, а также вопросы моделирования экономических процессов.

Данное учебно-методическое пособие предназначено для студентов 2-го курса дневного и вечернего отделения для самостоятельной работы по дифференциальным уравнений. Кроме задач приведены контрольные вопросы, позволяющие студентам проверить себя и выяснить качество усвоения материала. В каждом разделе дается ссылка на соответствующие разделы литературы.

Учебное пособие подготовлено на кафедре математических методов исследования операций факультета ПММ Воронежского государственного университета.

Учебно-методическое пособие подготовлено на кафедре ядерной физики физического факультета Воронежского государственного университета.

Оценка параметров и построение кривых обеспеченностей имеют важ- ное значение в практической деятельности специалиста эколога-природопользователя. С помощью кривых обеспеченностей определяются расчетные экологические и гидрологические параметры гидротехнических, транспортных, мелиоративных и экологических сооружений. Поэтому владение техникой построения и анализа кривых обеспеченностей является одним из необходимых практических навыков при проектировании данных сооружений.

Учебно-методическое пособие содержит изложение теоретического, практического материалов, задания для самостоятельной работы и предназначено для изучения дисциплины «Оптимизация в управлении» магистерской программы «Математические методы в управлении и образовании» направления 050100.68 «Педагогическое образование». Данное издание может быть рекомендовано бакалаврам направления 010500.62 «Математическое обеспечение и администрирование информационных систем» для изучения дисциплины «Исследование операций», а также всем студентам для освоения курса «Оптимизация в управлении» элективного модульного блока «Бизнес-математика».

Текст лекций предназначен для студентов, обучающихся по специальности 090102.65 Компьютерная безопасность (дисциплина «Алгоритмы на графах», блок ОПД), очной формы обучения.