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

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

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

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

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

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

Ярославский государственный университет им. П.Г. Демидова проводит с 15 по 18 октября 2013 года в г. Ярославле международную конференцию «Нелинейная динамика и её приложения», посвященную 150-летию со дня рождения Поля Пенлеве. Данный сборник содержит тезисы докладов, представленных на конференцию. Тезисы докладов публикуются в авторской редакции. Конференция проводится при финансовой поддержке РФФИ в рамках научного проекта № 13-01-06090 г и гранта Правительства РФ по постановлению №220, договор № 11.G34.31.0053.

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

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

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

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

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

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

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

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

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

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

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

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

Рассмотрены архитектурные аспекты организации сетчатки глазного яблока с позиций теории активного восприятия. Исследуются свойства системы “сетчатка — центр” в целом. Приводятся варианты структурной и функциональной организации сетчатки

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

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

Методические указания разработаны для ознакомления со специальными средствами, помогающими правильно организовать и ускорить процесс отладки, а также освоить режим отладки приложений в интегрированной среде MS Visual С++.

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

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

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

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

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

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

Журнал "Системы анализа и обработки данных" (до 2021г назывался "Научный вестник НГТУ") основан в 1995 году на базе Новосибирского государственного технического университета. Печатная версия журнала зарегистрирована в Министерстве РФ по делам печати, телевещания и средств массовых коммуникаций в 2000 году. Свидетельство о регистрации ПИ № ФС77-76010 от 03.07.2019 г. Периодичность выхода издания - раз в три месяца (4 номера в год). Научно-технические статьи, направленные в адрес журнала, проходят рецензирование и редактирование. Публикация статей бесплатная. В журнале "Системы анализа и обработки данных" (до 2021г назывался "Научный вестник НГТУ") публикуются оригинальные статьи по следующим группам специальностей: 05.13.00 - Информатика, вычислительная техника и управление (05.13.01; 05.13.11; 05.13.17; 05.13.18), 05.11.00 - Приборостроение, метрология и информационно-измерительные приборы и системы (05.11.07; 05.11.16; 05.11.17). До 2021 года журнал назывался "Научный вестник Новосибирского государственного технического университета".

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

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

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

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

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

В работе рассматривается рефакторинг диаграмм управления выполнением (диаграмм ECC) в рамках графо-трансформационного подхода к проектированию распределенных компонентно-базированных систем управления промышленными процессами на основе нового международного стандарта IEC 61499. Основной целью рефакторинга является избавление диаграммы ECC от условных дуг без событий и потенциально-тупиковых (по условиям) состояний. Приводятся правила преобразования графов для совершения рефакторинга диаграмм ECC. Прототип системы рефакторинга реализован в системе трансформации графов AGG.

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

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

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

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

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