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

Рассматривается реализация булевых функций схемами из ненадежных функциональных элементов в базисах, содержащих функцию 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].

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

Решается задача построения асимптотически оптимальных по надежности схем в базисе. Доказано, что любую булеву функцию 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 - схемами сколь угодно высокой надежности.

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

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

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

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

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

Изучена задача линейной классификации четности перестановочных матриц. Эта задача связана с анализом сложности класса алгоритмов вычисления перманента матрицы, обобщающего алгоритм знаков Кастелейна. Получены экспоненциальные нижние оценки для величины коэффициентов функционала, классифицирующего четные и нечетные перестановочные матрицы, в случае поля действительных чисел, и аналогичные линейные нижние оценки на ранг классифицирующего отображения в случае поля характеристики 2. Библ. 10. Фиг. 2

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

Работа посвящена моделированию коллективного взаимодействия агентов для совместного преодоления (обхода) препятствий. Моделирование проведено с использованием клеточного автомата. Клеточное поле заполняется агентами и препятствиями разной сложности. Задача агентов – обойти препятствия, двигаясь к заданной точке. Агентам присваивается один из трех уровней, что задает иерархию подчинения между агентами. Сложность препятствия определяется количеством времени, необходимым для его преодоления. Предложенная в статье модель основана на вероятностях перехода из одних ячеек в другие. Библ. 11. Фиг. 6

Основные рубрики: Управление и моделирование технологических процессов и технических систем; Компьютерное обеспечение и вычислительная техника; Системы телекоммуникаций и сетевые технологии; Управление в социальных и экономических системах

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

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

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

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

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

публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др

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

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

Основные рубрики: Управление и моделирование технологических процессов и технических систем; Компьютерное обеспечение и вычислительная техника; Системы телекоммуникаций и сетевые технологии; Управление в социальных и экономических системах

Основные рубрики: Управление и моделирование технологических процессов и технических систем; Компьютерное обеспечение и вычислительная техника; Системы телекоммуникаций и сетевые технологии; Управление в социальных и экономических системах

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

Введение в цифровую обработку сигналов и изображений: повышение качества и оценивание геометрических параметров изображений. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)

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

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

Основные рубрики: Управление и моделирование технологических процессов и технических систем; Компьютерное обеспечение и вычислительная техника; Системы телекоммуникаций и сетевые технологии; Управление в социальных и экономических системах

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

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

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

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

Основные рубрики: Управление и моделирование технологических процессов и технических систем; Компьютерное обеспечение и вычислительная техника; Системы телекоммуникаций и сетевые технологии; Управление в социальных и экономических системах

Основные рубрики: Управление и моделирование технологических процессов и технических систем; Компьютерное обеспечение и вычислительная техника; Системы телекоммуникаций и сетевые технологии; Управление в социальных и экономических системах

Основные рубрики: Управление и моделирование технологических процессов и технических систем; Компьютерное обеспечение и вычислительная техника; Системы телекоммуникаций и сетевые технологии; Управление в социальных и экономических системах

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

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

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

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

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

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

Рассматриваются основные разделы теории автоматического управления (ТАУ) линейными аналоговыми системами, представлены ключевые понятия ТАУ, исследования динамических характеристик, принципы действия, основанные на классических законах физики, механики и электротехники.

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

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

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

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

Данная книга представляет собой практическое руководство по применению метода деревьев решений и случайного леса для задач сегментации, классификации и прогнозирования. Каждый раздел книги сопровождается практическим примером. Кроме того, книга содержит программный код SPSS Syntax, R и Python, позволяющий полностью автоматизировать процесс построения прогнозных моделей. Автором обобщены лучшие практики использования деревьев решений и случайного леса от таких компаний, как Citibank N.A., Transunion и DBS Bank.