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

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

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

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

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

Изложен материал по подготовке и проведению лабораторных работ по теме «Методы спектрального анализа». Методические указания предназначены для студентов очной формы обучения специальности 220200, изучающих дисциплину «Цифровые методы анализа».

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

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

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

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

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

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

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

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

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

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