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

Лабораторный практикум «Автоматизация производственных процессов: теория и практика решения задач прикладной математики» рассматривает предмет и содержание дисциплины «Прикладная математика», ее основные понятия, определения и положения, основные методы и способы решения прикладных задач сельскохозяйственного производства, для большинства из которых приведены примеры их решения на основе использования табличного процессора MS Excel. Так же имеются упражнения для самостоятельного выполнения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования по направлению подготовки 23.00.00 «Техника и технологии наземного транспорта».

Рассматривается ситуация, когда в задаче распознавания на множестве объектов задано несколько различных полуметрик. Ставится и исследуется задача агрегирования расстояний на основе неразмеченной выборки. Иными словами, рассматривается задача сокращения размерности мультиметрических описаний без учителя. Указанная задача сводится к задаче аппроксимации исходных расстояний в форме оптимальной матричной факторизации с дополнительными метрическими ограничениями. Для точного решения поставленной задачи предлагается метод метрической неотрицательной матричной факторизации. По постановке задачи и процедуре решения метод для метрических данных является аналогом метода главных компонент для признаковых описаний. Доказывается, что добавление метрических требований не снижает качества аппроксимации. Работа метода демонстрируется на модельных и реальных данных. Библ. 30. Фиг. 3. Табл. 5

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

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

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

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

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

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

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

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

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