Математика

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

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

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

Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

На основе метода линейных интегральных представлений разработан принципиально новый метод спектрального анализа гравимагнитных данных (методом F-аппроксимации), полностью адекватный реальной геофизической практике и позволяющий избавиться от различных идеализаций (идеализация плоского поля идеализация границы раздела земля–воздух как бесконечной горизонтальной плоскости...

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