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

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

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

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

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

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

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

Приведены результаты экспериментальных исследований определения адгезионной прочности составов на основе эпоксидной смолы ЭД-20 с отвердителями полиэтиленполиамин (ПЭПА) и триэтаноламинотитанат (ТЭАТ) с использованием метода pull-out. Также приводятся значения адгезионной прочности этих составов после введения в них в качестве наполнителя шунгита

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

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

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

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

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

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

Псевдополиномиальная форма (ПСПФ) — это сумма по модулю два произведений аффинных (линейных) функций алгебры логики. Длиной ПСПФ называется число ее слагаемых; длиной функции алгебры логики в классе ПСПФ - наименьшая длина среди всех ПСПФ, представляющих эту функцию. В работе рассматривается функция Шеннона LПСПФ (n) длины функций алгебры логики в классе ПСПФ как наибольшая длина в классе ПСПФ среди всех функций алгебры логики, зависящих от n переменных.

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

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

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

Приведены сведения о применении современных технологий, в первую очередь географических информационных систем (ГИС) и систем виртуального окружения, для пространственно-временного моделирования объекта. Рассмотрены вопросы, связанные с анализом данных дистанционного зондирования, а также стереовидеосъемки.

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

Теоретические основы прикладной дискретной математики Математические методы криптографии Псевдослучайные генераторы Математические методы стеганографии Математические основы компьютерной безопасности Математические основы надёжности вычислительных и управляющих систем Прикладная теория кодирования Прикладная теория графов Прикладная теория автоматов Математические основы информатики и программирования Вычислительные методы в дискретной математике

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

Методические указания помогают освоить методы прогнозирования времени выполнения программного кода SQL-запросов. Предназначены для студентов, обучающихся по специальностям 010500 Математическое обеспечение и администрирование информационных систем (дисциплина «Метрология и качество программного обеспечения», блок ЕН) и 010501 Прикладная математика и информатика (дисциплина «Визуальные системы программирования», блок ЕН), очной формы обучения.

Практикум по теории информации. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)

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