Математическая кибернетика. Теория управляющих систем. Теория автоматов. Математическая теория информации. Теория кодов. Математические вопросы семиотики

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

Cодержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий.

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

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

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

Рассматривается задача о классификации подмножеств вершин единичного n-мерного куба по "симметрическому" признаку. Даются приложения к изучению аддитивных каналов связи.

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