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

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

Журнал "Системы анализа и обработки данных" (до 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 года журнал назывался "Научный вестник Новосибирского государственного технического университета".

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

Журнал "Системы анализа и обработки данных" (до 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 года журнал назывался "Научный вестник Новосибирского государственного технического университета".

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Настоящий сборник контрольных заданий предназначен в помощь студентам специальности 150405.65 заочной формы обучения при изучении математики и выполнении контрольных работ во втором семестре. Сборник контрольных заданий содержит краткий теоретический материал и образцы решения задач по разделам математики: «Дифференциальное исчисление функций одной независимой переменной», «Дифференциальное исчисление функций нескольких переменных», «Интегральное исчисление функций одной независимой переменной», «Интегральное исчисление функций двух независимых переменных». Рабочей программой учебной дисциплины «Математика» предусмотрено 6 часов лекционных занятий и 4 часа практических занятий. На самостоятельную работу отводится 162 часа, в том числе для выполнения контрольных работ № 1, № 2 ( текущий контроль знаний).