?
Философия сетей Петри
Вестник МГТУ МИРЭА. 2014. № 4. С. 18-38.
Кулагин В. П., Цветков В. Я.
Статья анализирует методы исследования сложных систем. Предлагается общий подход проектирования сложных систем на основе использования теории тензорного анализа. Показана целесообразность перехода от непрерывного пространства к дискретному. Показана необходимость перехода к новой геометрии, отличающейся от аналитической или проективной. Вводится понятие структуры сети Петри или СП- структуры. Вводится понятие эталонной модели СП-структур. Вводится понятие преобразования системы координат СП-структур. Вводится понятие инварианта при тензорном анализе СП-структур. Дана общая модель использования тензорных методов и ее детализация при исследовании СП-структур.
Научное направление:
Компьютерные науки
Язык:
русский
Ключевые слова: spaceпространствосложные системысети Петриgeometrycomplex systemsdiscrete spacethe invariants of Petri netstensor calculationthe structure of Petri netsinformation constructionthe equivalence of the NP structureдискретное пространствоинвариантытензорное вычислениеструктуры сетей Петриинформационные конструкцииэквивалентность СП структуры
Кулагин В. П., Информатизация образования и науки 2015 № 4(28) С. 133-147
В статье рассматриваются методы построения тензоров преобразования (ТП), применяемых при анализе и синтезе сетевых моделей сложных систем, представленных в различных системах координат. Рассмотрен общий метод построения ТП, а также метод построения ТП для сетевых моделей, представленных множеством автоматно- синхронизационных сетей и в виде примитивной системы. Показано, что сложность предложенных методов построения ТП линейна и определяется ...
Добавлено: 25 февраля 2016 г.
Dordrecht, L., Cham, Heidelberg, NY : Springer, 2015
Building upon a long tradition of scientifi c conferences dealing with problems of reliability in technical systems, in 2006 Department of Computer Engineering at Wrocław University of Technology established DepCoS-RELCOMEX series of events in order to promote a comprehensive approach to evaluation of system performability which is now commonly called dependability.
Contemporary complex systems integrate variety ...
Добавлено: 10 июля 2015 г.
Авдошин С. М., Набебин А. А., М. : ДМК Пресс, 2019
Книга содержит необходимые сведения из теории алгоритмов, теории графов, комбинаторики. Рассматриваются частично рекурсивные функции, машины Тьюринга, приводятся некоторые варианты алгоритмов (ассоциативные исчисления, системы подстановок, грамматики, продукции Поста, нормальные алгоритмы Маркова, операторные алгоритмы). Описываются основные типы графов (мультиграфы, псевдографы, эйлеровы графы, гамильтоновы графы, деревья, двудольные графы, паросочетания, сети Петри, планарные графы, транспортные сети). Приводятся некоторые часто ...
Добавлено: 24 августа 2018 г.
Куркина Е. С., Князева Е. Н., Известия высших учебных заведений. Прикладная нелинейная динамика 2013 Т. 21 № 4 С. 93-114
В статье рассказывается о Сергее Павловиче Курдюмове (1928–2004) и его выдающемся вкладе в развитие современной междисциплинарной теории и методологии исследования сложных саморазвивающихся систем – синергетики. Раскрывается содержание предложенной им математической модели эволюционной динамики сложных систем. В основе модели лежит нелинейное уравнение теплопроводности с источником. При определенных условиях оно описывает динамику развития структур разной сложности в ...
Добавлено: 25 ноября 2013 г.
Мицюк А. А., Шугуров И. С., Automatic Control and Computer Sciences 2016 Vol. 50 No. 7 P. 460-470
Извлечение процессов (process mining) – новая и активно развивающаяся область исследований, тесно связанная с управлением процессами, формальными моделями процессов и извлечением данных (data mining). Одна из основных задач извлечения процессов – синтез (извлечение) модели процесса на основании анализа журнала событий. Разработан широкий спектр алгоритмов для извлечения, анализа и усовершенствования моделей процессов. Журналы событий реальных систем ...
Добавлено: 10 октября 2016 г.
Dordrecht, L., Cham, Heidelberg, NY : Springer, 2013
DepCos-RELCOMEX является ежегодной серией конференций, организованных Институтом Вычислительной техники, Управления и Робототехники Вроцлавского технологического университета, начиная с 2006 года.
Разнообразие процессов, реализуемых в современных технических системах, их параллелизм существенно затрудняет построение строгих математических моделей и призывает к применению интеллектуальных методов вычислений.
Материалы, включенные в настоящее издание, иллюстрируют разнообразие проблем. Тематика охватывает смежные области знаний: информационные системы, сети, ...
Добавлено: 29 ноября 2013 г.
Омётов А. Я., Petrov V., Bezzateev S. и др., IEEE Network 2019 Vol. 33 No. 2 P. 82-88
Добавлено: 31 октября 2019 г.
Иванова Е. М., М. : НИУ ВШЭ, 2018
Данное пособие направлено на закрепление теоретического материала по разделу «Архитектура ВС», «КЭШ-память». В пособии приводятся сведения об архитектуре подсистемы Кэш-памяти в многопроцессорной/многоядерной ВС, назначении ОП и КЭШ, описание протоколов КЭШ-согласования, рассмотрена модель работы подсистемы Кэш-памяти в многопроцессорной/многоядерной системе с использованием механизма КЭШ-согласования, реализованного с помощью различных протоколов: MSI, MESI, MOSI, MOESI/MESIF. ...
Добавлено: 27 января 2018 г.
Добавлено: 25 августа 2020 г.
Востриков А. В., Борисов Н. И., Абрамешин А. Е., Качество. Инновации. Образование 2013 № 8 (99) С. 61-65
В работе проведено исследование численной устойчивости разработанной авторами ранее редуцированной схемы численного интегрирования системы линейных обыкновенных дифференциальных уравнений. Полученное условие численной устойчивости редукционной схемы доказывает возможность использования данной схемы на практике. Работоспособность редуцированной схемы была протестирована на реальной задаче электродинамики, решенной предварительно известными численными методами. Предложенная нами и традиционные и вычислительные схемы дали одинаковый результат ...
Добавлено: 9 сентября 2013 г.
NY : IEEE Computer Society, 2018
WF-IoT 2018, the 4th IEEE World Forum on Internet of Things, is the premier IEEE Forum for the Internet of Things. It is where conference attendees, from around the globe - including research institutes, academia, industry and the public sector -- share their knowledge, expertise and experiences about IoT technologies, applications, economic impacts, and social ...
Добавлено: 14 февраля 2018 г.
Трубочкина Н. К., М. : Бином. Лаборатория знаний, 2012
В книге представлены базовые понятия теории переходной схемотехники, необходимые для разработки новой элементной базы суперкомпьютеров различных типов. Теорию переходной схемотехники отличает новая компонентная концепция синтеза наноструктур, в которой минимальным компонентом для синтеза схем является не транзистор, а материал и переход (связь) между материалами. Приводятся данные экспериментального 2D и 3D моделирования физических и электрических процессов в ...
Добавлено: 5 июля 2012 г.
Красноярск : ИВМ СО РАН, 2013
Труды Пятой Международной конференции «Системный анализ и информационные технологии» САИТ-2013 (19–25 сентября 2013 г., г.Красноярск, Россия): ...
Добавлено: 18 ноября 2013 г.
Halmstad : Springer, 2014
This book constitutes the refereed proceedings of the 7th International Workshop on Multiple Access Communications, MACOM 2014, held in Halmstad, Sweden, in August 2014. The 12 full papers presented were carefully reviewed and selected from 22 submissions. They describe the latest advancements in the field of multiple access communications with an emphasis on reliability issues, ...
Добавлено: 29 октября 2014 г.
М. : Физматлит, 2013
Конференция посвящена применению интегрированных моделей и мягких вычислений в искусственном интеллекте. ...
Добавлено: 26 мая 2013 г.
Ясницкий Л. Н., Пермь : Пермский государственный национальный исследовательский университет. – Электронные данные. , 2020
В сборнике представлены материалы Международной конференции «Интеллектуальные системы в науке и технике» и Шестой всероссийской научно-практической конференции «Искусственный интеллект в решении актуальных социальных и экономических проблем ХХI века», которая проводилась 12–18 октября 2020 г. в г. Перми в рамках Пермского естественнонаучного форума «Математика и глобальные вызовы XXI века».
Сборник предназначен для научных и педагогических работников, преподавателей, аспирантов, магистрантов, студентов ...
Добавлено: 4 декабря 2020 г.
М. : National Instruments Russia, 2017
Содержание сборника составляют доклады с результатами оригинальных исследований и технических решений, ранее не публиковавшиеся. Мы надеемся, что предлагаемый сборник окажется полезным для специалистов, работающих в различных областях науки и техники, для широкого круга преподавателей, аспирантов и студентов ВУЗов, а также для преподавателей средних школ и технических колледжей. ...
Добавлено: 10 мая 2017 г.
Морозов И. В., Norman G. E., Insepov Z. и др., Physical Review Special Topics - Accelerators and Beams 2012 Vol. 15 P. 053501
This paper describes the surface environment of the dense plasma arcs that damage rf accelerators, tokamaks, and other high gradient structures. We simulate the dense, nonideal plasma sheath near a metallic surface using molecular dynamics (MD) to evaluate sheaths in the non-Debye region for high density, low temperature plasmas. We use direct two-component MD simulations ...
Добавлено: 28 октября 2013 г.
Зеленоград : МИЭТ, 2013
В сборнике тезисов докладов 20-й Всероссийской межвузовской научно-технической конференции "Микроэлектроника и информатика 2013", которая проводится в год 55-летия образования г. Зеленограда, признанного в стране и мире центра микроэлектроники и нанотехнологий, представлены результаты научных исследований студентов, аспирантов и молодых ученых зеленоградских предприятий и вузов России по следующим приоритетным направлениям развития науки и техники микро- и наноэлектроника, ...
Добавлено: 31 мая 2013 г.
СПб. : ЦНИИРТ, 1997
Представлены материалы докладов по подсистемам управления мобильными роботами. ...
Добавлено: 5 апреля 2013 г.
Barcelona : IEEE, 2017
Добавлено: 17 января 2018 г.
Соболевский А. А., Качество. Инновации. Образование 2012 № 82 С. 22-27
В статье представлен анализ систем управления процессом обучения в ряде российских и зарубежных вузов. Описаны множества данных, хранимых в расширенных системах электронной поддержки образовательного процесса, базирующихся на веб-сервисах. Предложен алгоритм работы системы численной оценки компетентностей студентов, а так же взаимодействия ядра системы с вебсервисами. ...
Добавлено: 27 марта 2013 г.
Yaganov P., Pavlov L., Romanov O., Science-Based Technologies. Science Journal. Ukraine 2013 Vol. 20 No. 4 P. 394-397
Рассмотрены основные подходы к синтезу сетей на кристалле на основе регулярных и специализированных топологий. Определены критерии оптимальности топологий сетей на кристалле и предложен новый класс квазиоптимальных топологий, а также методы их синтеза. Определены требования к квазиоптимальным топологиям, и с помощью математических методов оптимизации выполнен анализ полученных квазиоптимальных топологических решений для количества узлов 25 и показано, ...
Добавлено: 23 октября 2014 г.
Мещеряков Р. В., Исхаков А. Ю., Евсютин О. О., Информатика и автоматизация (Труды СПИИРАН) 2020 Т. 19 № 5 С. 1089-1122
В настоящее время остро стоит проблема создания методологического обеспечения безопасности киберфизических систем, в частности проектирования и реализации подсистем информационной безопасности. При этом ландшафт угроз и уязвимостей, характерных для применяемого в киберфизических системах широкого спектра аппаратных и программных технологий, чрезвычайно широк и сложен. В этом контексте безопасность протоколов прикладного уровня имеет первостепенное значение, поскольку эти протоколы ...
Добавлено: 13 ноября 2020 г.