Сортировать по:
Выпуск | Название | |
Том 19, № 6 (2012) | Наследcтвенные свойства модульных сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... that boundedness and liveness, being not hereditary in general, are downward-hereditary (net-to-subnet) and upward ..." | ||
Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... variants of spatial boundedness for cellular RDA-nets are defined: localization, bounded diameter ..." | ||
Том 19, № 6 (2012) | Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри | Аннотация PDF (Rus) похожие документы |
Дмитрий Анатольевич Зайцев | ||
"... A technique of the computing grid verification using invariants of infinite Petri nets ..." | ||
Том 14, № 4 (2007) | Сети активных ресурсов | Аннотация PDF (Rus) похожие документы |
В. А. Башкин | ||
"... In this work nets of active resources (AR-nets) are presented. This is a generalization of Petri ..." | ||
Том 20, № 2 (2013) | Группы гомологий сети Петри конвейера | Аннотация PDF (Rus) похожие документы |
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина | ||
"... Petri net is said to be elementary if every place can contain no more than one token ..." | ||
Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... The paper describes software components to support recursive-parallel programming for the .NET ..." | ||
Том 19, № 2 (2012) | Потоки в обобщенных сетях со связанными дугами | Аннотация PDF (Rus) похожие документы |
Владимир Александрович Скороходов | ||
"... The problem of finding the maximum flow in nets of a special form is considered. In such nets ..." | ||
Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... One-counter nets are finite-state machines operating on a variable (counter) which ranges over ..." | ||
Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
Юрий Анатольевич Белов | ||
"... The question is considered - which graphs are isomorphic to the reachability graphs of Petri nets ..." | ||
Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... representation is studied. A positive one-counter circuit is defined as a strongly connected one-counter net (one ..." | ||
Том 20, № 5 (2013) | Замкнутые локально минимальные сети на поверхностях выпуклых многогранников | Аннотация PDF (Rus) похожие документы |
Наталия Павловна Стрелкова | ||
"... Замкнутые локально минимальные сети — это «разветвлённый» аналог замкнутых несамопересекающихся ..." | ||
Том 20, № 4 (2013) | О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин, Ирина Александровна Ломазова | ||
"... In this work, we consider the modeling of workflow systems with Petri nets. A resource workflow net ..." | ||
Том 27, № 2 (2020) | Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами | Аннотация похожие документы |
Владимир Анатольевич Башкин | ||
"... by another one without affecting the observable behavior of the net (regarding marking bisimulation ..." | ||
Том 19, № 5 (2012) | Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools | Аннотация PDF (Rus) похожие документы |
Леонид Владимирович Дворянский, Ирина Александровна Ломазова | ||
"... Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets ..." | ||
Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) похожие документы |
М. Г. Доррер | ||
"... format into a monochrome Petri net is suggested. The Petri net ma¬trix representation resulting from ..." | ||
Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
Хулио С Карраскель, Халил Мешерауи | ||
"... in an event log, complies with its specification model, e.g., a Petri net. Nonetheless, the majority ..." | ||
Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... allows us to develop effective applications for parallel computing on a local network in the .NET ..." | ||
Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
"... in eEPC notation. The method uses an original translation process to build a Petri net corresponding ..." | ||
Том 18, № 4 (2011) | Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова | Аннотация PDF (Rus) похожие документы |
Дмитрий Анатольевич Зайцев | ||
"... The inhibitor Petri net with a fixed structure that executes an arbitrary given Markov normal ..." | ||
Том 14, № 2 (2007) | Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов | Аннотация PDF (Rus) похожие документы |
Е. В. Коновалов | ||
"... . The neuron net is formed on the base of this GAN-detector. One of possible oscillatory regimes ..." | ||
Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
"... In the article a method of automated construction of Petri nets simulating the behaviour ..." | ||
Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..." | ||
Том 31, № 3 (2024) | Синтез иерархических моделей процессов: подход на основе разбиения событий на множества | Аннотация похожие документы |
Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров | ||
"... nets. The algorithm is based on predefined event partitioning so that this partitioning defines a sub ..." | ||
Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
"... and verified with the help of coloured Petri nets (CPN) and the SPIN model checker. Algorithms for translating ..." | ||
Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков | ||
"... to develop effective applications for parallel computing on a local network using any .NET-compatible ..." | ||
Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... applications for parallel computing on a local network under the control of the runtime environment .NET ..." | ||
Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... for parallel computing on a local network in the .NET Framework. Such applications have the ability to generate ..." | ||
Том 17, № 1 (2010) | A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers | Аннотация PDF (Rus) похожие документы |
П. Е. Ефимова | ||
"... model using Petri nets is formulated, its mathematical model based on matrix method is worked out. ..." | ||
Том 21, № 6 (2014) | Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий | ||
"... into coloured Petri nets. The translation algorithms cover most standard elements of the MSC including data ..." | ||
Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
"... of translation of these automata systems into coloured Petri nets (CPN). This algorithm has been represented ..." | ||
Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
"... is an asynchronous system. Distributed asynchronous automata are introduced here. It is proved that Petri nets ..." | ||
Том 21, № 4 (2014) | Синтез моделей процессов по журналам событий с шумом | Аннотация PDF (Rus) похожие документы |
Алексей Александрович Мицюк, Иван Сергеевич Шугуров | ||
Том 15, № 1 (2008) | О разрешимости проблем ограниченности для счетчиковых машин Минского | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
"... In the paper the decidability of boundedness problems for counter Minsky machines is investigated ..." | ||
Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... on a local network under the control of the runtime environment .NET Framework.The library supports ..." | ||
Том 22, № 3 (2015) | СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? | Аннотация похожие документы |
А. К. Бегичева, И. А. Ломазова | ||
Том 24, № 2 (2017) | Построение высокоуровневой модели процесса по журналу событий | Аннотация похожие документы |
Антонина Константиновна Бегичева, Ирина Александровна Ломазова | ||
Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
"... the information from an event log. The input data for this task are the initial process model (a Petri net ..." | ||
Том 25, № 2 (2018) | Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам | Аннотация PDF (Rus) похожие документы |
Татьяна Рудольфовна Шмелёва | ||
"... , their advantages and disadvantages. A model of a computing grid was constructed in the form of a colored Petri net ..." | ||
Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... formal models, namely: in Petri nets, in a dialect of Calculus of Communicating Systems (CCS ..." | ||
Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
"... under control. The software controller allows dynamic routing configuration inside the net depending ..." | ||
Том 21, № 6 (2014) | Управляемые тупики в параллельных ресурсно-ограниченных потоках работ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова | ||
"... We study the verification of the soundness property for workflow nets extended with resources ..." | ||
Том 28, № 3 (2021) | Исправление к статье: В. В. Васильчиков, «Параллельный алгоритм решения задачи об изоморфизме графов», Моделирование и анализ информационных систем, Том 27, №1, с. 86–94, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-1-86-94 | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
Том 22, № 4 (2015) | Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов | Аннотация PDF (Rus) похожие документы |
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин | ||
"... This article describes the organization principles for wireless mesh-networks (software-defined net ..." | ||
Том 15, № 1 (2008) | Хореография сервисов в семантической сервис-ориентированной архитектуре | Аннотация PDF (Rus) похожие документы |
Д. Ю. Кашалкин, В. А. Курчидис | ||
"... in the form of Petri net and analyzing net's accessibility tree to find the compliance of service's semantic ..." | ||
Том 20, № 3 (2013) | Самоорганизация, сети, будущее | Аннотация PDF (Rus) похожие документы |
Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина | ||
"... . Обсуждалось использование сетей в контексте национальной обороны, экономики, управления массовым сознанием ..." | ||
Том 20, № 4 (2013) | Программно-конфигурируемые сети как этап эволюции сетевых технологий | Аннотация PDF (Rus) похожие документы |
Артем Александрович Красотин, Игорь Вадимович Алексеев | ||
"... Рассматривается понятие программно-конфигурируемой сети. Вначале даётся короткая историческая ..." | ||
Том 21, № 3 (2014) | Об устойчивости состояния равновесия одной модели нейронной сети | Аннотация PDF (Rus) похожие документы |
Юрий Викторович Богомолов | ||
"... Рассматривается одна математическая модель нейронной сети на основе трёх нейронов-сумматоров Мак ..." | ||
Том 23, № 6 (2016) | Генерация графа социальной сети с использованием Apache Spark | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов, С. И. Вовчок | ||
"... Планируется создать метод кластеризации графа социальной сети. Для тестирования будущего метода ..." | ||
Том 22, № 4 (2015) | Задача о наибольшем кратном потоке в делимой сети и ее частные случаи | Аннотация PDF (Rus) похожие документы |
А. В. Смирнов | ||
"... В статье рассматривается задача о наибольшем кратном потоке в сети произвольной натуральной ..." | ||
Том 23, № 5 (2016) | Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов | Аннотация PDF (Rus) похожие документы |
Е. В. Коновалов | ||
"... Статья посвящена анализу сетей, состоящих из обобщенных нейронных элементов. В первой части статьи ..." | ||
Том 21, № 6 (2014) | О некоторых задачах реконфигурирования программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий | ||
"... Разработка алгоритмов реконфигурирования сетей является важным направлением развития программного ..." | ||
Том 26, № 1 (2019) | «Общие критерии» и безопасность программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Андрей Николаевич Петухов, Павел Львович Пилюгин | ||
Том 26, № 2 (2019) | Пороговый анализ деградации запросов внутри вычислительной сети | Аннотация похожие документы |
Василий Павлович Кирнос | ||
"... сетей. Представлена типовая структура сети прикладного уровня модели OSI на примере приложения СБИС3 ..." | ||
Том 26, № 3 (2019) | Динамическая модель развития пиринговой файлообменной сети | Аннотация PDF (Rus) похожие документы |
Александра Игоревна Кононова, Лариса Геннадьевна Гагарина | ||
"... В данной работе рассматривается модель развития пиринговой файлообменной сети, организуемой одним ..." | ||
Том 26, № 3 (2019) | Новый подход к моделированию генных сетей | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
"... Статья посвящена математическому моделированию искусственных генных сетей. Рассматривается ..." | ||
Том 17, № 1 (2010) | Визуализация динамических графов для анализа сложных сетей | Аннотация PDF (Rus) похожие документы |
С. Н. Пупырев, А. В. Тихонов | ||
"... Предложен метод визуализации динамических графов, позволяющий анализировать сложные сети. Наш метод ..." | ||
Том 13, № 1 (2006) | Свойства бисимуляции разметок в ограниченных сетях Петри | Аннотация PDF (Rus) похожие документы |
В. А. Башкин | ||
"... Рассматривается проблема поиска бисимулярных разметок в ограниченных сетях Петри. Вводятся и ..." | ||
Том 25, № 2 (2018) | Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях | Аннотация похожие документы |
Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский | ||
"... Программно-конфигурируемая сеть (ПКС) – это перспективная парадигма управления сетью, в которой для ..." | ||
Том 31, № 2 (2024) | Детекция БПЛА при помощи нейронных сетей | Аннотация PDF (Rus) похожие документы |
Мария Дмитриевна Аверина, Ольга Александровна Леванова, Дарья Грушевская, Кирилл Александрович Кухарев, Дмитрий Михайлович Мурин, Максим Александрович Калинин | ||
"... , основанные на глубоких нейронных сетях. В этой статье мы представляем исследование различных нейросетевых ..." | ||
Том 22, № 4 (2015) | Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
А. Н. Носков, И. А. Манов | ||
"... , опираясь на текущие требования к качеству предоставления сервисов. Программное конфигурирование сети – это ..." | ||
Том 17, № 2 (2010) | О языках автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
"... of ACML with other formal language classes - regular, context-free, context-sensitive and Petri net ..." | ||
Том 20, № 4 (2013) | Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах | Аннотация PDF (Rus) похожие документы |
Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый | ||
Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
"... Программно-коммутируемые сети (ПКС) — это класс компьютерных телекоммуникационных сетей ..." | ||
Том 20, № 4 (2013) | Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 | Аннотация PDF (Rus) похожие документы |
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов | ||
"... Рассматривается алгоритм замещения агента dataflow-сети, реализованной на платформе Smart-M3 ..." | ||
Том 26, № 1 (2019) | Построение бортовых сетей реального времени на основе технологии ПКС | Аннотация PDF (Rus) похожие документы |
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова | ||
"... сети AFDX и FC-AE-ASM-RT, реализующие основанный на виртуальных каналах подход к передаче данных в ..." | ||
Том 26, № 1 (2019) | Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Василий Николаевич Пашков | ||
"... платформы управления для программно-конфигурируемых сетей. Целью исследования является разработка ..." | ||
Том 18, № 2 (2011) | Принципы построения слоистых нейронных сетей на основе импульсных нейронов | Аннотация PDF (Rus) похожие документы |
Ольга Александровна Дунаева | ||
"... Описаны принципы построения многослойных нейронных сетей на основе импульсной нейронной сети ..." | ||
Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
"... Программно-конфигурируемые сети (ПКС, SDN, Software-defined Networks) являются новой парадигмой ..." | ||
Том 25, № 4 (2018) | Динамическая модель процессов информационных обменов в пиринговой сети | Аннотация PDF (Rus) похожие документы |
Александра Игоревна Кононова | ||
"... Рассматривается модель распространения файла в пиринговой файлообменной сети, построенная на ..." | ||
Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
"... Push-down automata with independent counters (PDACs) combine the power of PDAs and Petri Nets ..." | ||
Том 19, № 1 (2012) | Задача адаптации обобщенного нейронного элемента | Аннотация PDF (Rus) похожие документы |
Евгений Владиславович Коновалов | ||
Том 26, № 1 (2019) | Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе | Аннотация PDF (Rus) похожие документы |
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин | ||
"... правил на узлах, контролирующих доступ к сети. Целью исследования является повышение эффективности ..." | ||
Том 23, № 4 (2016) | Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы | Аннотация PDF (Rus) похожие документы |
А. В. Смирнов | ||
"... в сети произвольной натуральной кратности к. Определяется три типа дуг в сети: обычная дуга, кратная ..." | ||
Том 16, № 3 (2009) | Задача целочисленного сбалансирования трехмерной матрицы и сетевая модель | Аннотация PDF (Rus) похожие документы |
А. В. Смирнов | ||
"... сведения к задаче нахождения максимального потока в сети. ..." | ||
Том 23, № 4 (2016) | Облачный сервис для интерактивного моделирования межтерриториальной торговли | Аннотация PDF (Rus) похожие документы |
А. С. Величко, В. В. Грибова, Л. А. Федорищев | ||
"... транспортной сети, представленной одним агрегированным или разнообразными видами морского и наземного ..." | ||
1 - 75 из 125 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)