Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация  PDF (Rus)  похожие документы
М. Г. Доррер
"... the Petri net matrix representation allows finding net invariants thus solving a task of finding all ..."
 
Том 19, № 4 (2012) Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования Аннотация  PDF (Rus)  похожие документы
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин
"... method of finding Petri net invariants is also offered, based on estimating possible values for separate ..."
 
Том 19, № 6 (2012) Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... A technique of the computing grid verification using invariants of infinite Petri nets ..."
 
Том 20, № 2 (2013) Группы гомологий сети Петри конвейера Аннотация  PDF (Rus)  похожие документы
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина
"... Petri net is said to be elementary if every place can contain no more than one token ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... In the article a method of automated construction of Petri nets simulating the behaviour ..."
 
Том 29, № 4 (2022) Замечания о графах достижимости сетей Петри Аннотация  PDF (Rus)  похожие документы
Юрий Анатольевич Белов
"... The question is considered - which graphs are isomorphic to the reachability graphs of Petri nets ..."
 
Том 19, № 6 (2012) Наследcтвенные свойства модульных сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... (such as planarity). Modular nets of active resources is a (Petri nets)- powerful formalism with simple modular ..."
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
"... Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets ..."
 
Том 28, № 2 (2021) Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений Аннотация  PDF (Rus)  похожие документы
Хулио С Карраскель, Халил Мешерауи
"... in an event log, complies with its specification model, e.g., a Petri net. Nonetheless, the majority ..."
 
Том 27, № 2 (2020) Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами Аннотация  похожие документы
Владимир Анатольевич Башкин
"... ). It is known that resource similarity is undecidable for general labelled Petri nets. In this paper we study ..."
 
Том 20, № 2 (2013) Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... is presented. General one-counter nets are equivalent to Petri Nets with at most one unbounded place ..."
 
Том 20, № 4 (2013) О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Ирина Александровна Ломазова
"... In this work, we consider the modeling of workflow systems with Petri nets. A resource workflow net ..."
 
Том 18, № 4 (2011) Построение приближений бисимуляции в односчетчиковых сетях Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... nets is equivalent to the class of Petri nets with one unbounded place, and to the class of pushdown ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..."
 
Том 18, № 4 (2011) Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... The inhibitor Petri net with a fixed structure that executes an arbitrary given Markov normal ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... resource nets (Petri nets) with an infinite regular system grid. This formalism is a hybrid of Petri nets ..."
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... and verified with the help of coloured Petri nets (CPN) and the SPIN model checker. Algorithms for translating ..."
 
Том 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. ..."
 
Том 14, № 4 (2007) Сети активных ресурсов Аннотация  PDF (Rus)  похожие документы
В. А. Башкин
"... In this work nets of active resources (AR-nets) are presented. This is a generalization of Petri ..."
 
Том 31, № 3 (2024) Синтез иерархических моделей процессов: подход на основе разбиения событий на множества Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров
"... present an algorithm for discovering hierarchical process models represented as two-level workflow Petri ..."
 
Том 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)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
 
Том 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 ..."
 
Том 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 ..."
 
Том 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 ..."
 
Том 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 ..."
 
Том 20, № 5 (2013) Замкнутые локально минимальные сети на поверхностях выпуклых многогранников Аннотация  PDF (Rus)  похожие документы
Наталия Павловна Стрелкова
"... Замкнутые локально минимальные сети — это «разветвлённый» аналог замкнутых несамопересекающихся ..."
 
Том 17, № 2 (2010) О языках автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... of ACML with other formal language classes - regular, context-free, context-sensitive and Petri net ..."
 
Том 13, № 1 (2006) Свойства бисимуляции разметок в ограниченных сетях Петри Аннотация  PDF (Rus)  похожие документы
В. А. Башкин
"... Рассматривается проблема поиска бисимулярных разметок в ограниченных сетях Петри. Вводятся и ..."
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... allows us to develop effective applications for parallel computing on a local network in the .NET ..."
 
Том 14, № 2 (2007) Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... . The neuron net is formed on the base of this GAN-detector. One of possible oscillatory regimes ..."
 
Том 22, № 2 (2015) МП-автоматы с независимыми счётчиками Аннотация  PDF (Rus)  похожие документы
Михаил Иосифович Дехтярь, Борис Николаевич Карлов
"... Push-down automata with independent counters (PDACs) combine the power of PDAs and Petri Nets ..."
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
"... Разработка алгоритмов реконфигурирования сетей является важным направлением развития программного ..."
 
Том 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 ..."
 
Том 30, № 2 (2023) Рекурсивно-параллельный алгоритм поиска максимального общего подграфа Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... on a local network under the control of the runtime environment .NET Framework.The library supports ..."
 
Том 26, № 3 (2019) Новый подход к моделированию генных сетей Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... and stability problem of a relaxation periodic solution that is invariant with respect to cyclic permutations ..."
 
Том 25, № 6 (2018) Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин
"... . Для распознавания образов конструктивных элементов на дефектограммах применяется нейронная сеть ..."
 
Том 27, № 3 (2020) Применение свёрточных нейронных сетей для распознавания длинных конструктивных элементов рельсов на вихретоковых дефектограммах Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин
"... нейронная сеть, реализованная в рамках открытой библиотеки TensorFlow. С этой целью каждая выделенная для ..."
 
Том 26, № 4 (2019) Направляемый свойством поиск реляционных инвариантов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Мордвинов
"... may arise, e.g., from relational verification tasks, PDR aims to infer an inductive invariant for each ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... The paper considers methods of program transformation equivalent to optimizing the cycle invariant ..."
 
Том 24, № 6 (2017) Семантические средства обеспечения безопасности в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый
"... under control. The software controller allows dynamic routing configuration inside the net depending ..."
 
Том 20, № 5 (2013) Статистические характеристики управляемых систем, возникающие в различных моделях естествознания Аннотация  PDF (Rus)  похожие документы
Яна Юрьевна Ларина, Людмила Ивановна Родина
"... and differential inclusions. This expansion consists in studying statistically invariant sets and statistical ..."
 
Том 25, № 1 (2018) Инвариантные характеристики вынужденных колебаний балки с продольным сжатием Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин
"... with chaotic behaviour. To study the invariant numerical characteristics of the attractor of the corresponding ..."
 
Том 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)  похожие документы
Владимир Васильевич Васильчиков
 
Том 15, № 1 (2008) Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор Аннотация  PDF (Rus)  похожие документы
Е. В. Коршунова, А. Н. Куликов
"... . For the boundary value problem given, using the Invariant Manifolds method, the method of Averaging and the Theory ..."
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
"... in C-light programs. The method includes an inference rule for the iteration without invariants, which ..."
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
"... be provided with an invariant whose construction is often a challenge. As a rule, the methods of invariant ..."
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
"... This article describes the organization principles for wireless mesh-networks (software-defined net ..."
 
Том 16, № 3 (2009) Разностные аппроксимации уравнения «реакция - диффузия» на отрезке Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
 
Том 23, № 6 (2016) Устойчивые циклы и торы системы из трех и четырех диффузионно связанных осцилляторов Аннотация  PDF (Rus)  похожие документы
Е. А. Марушкина
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases ..."
 
Том 21, № 1 (2014) Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... is the possibility of coexistence, along with the stable zero state, of stable invariant tori of arbitrary finite ..."
 
Том 30, № 3 (2023) Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) Аннотация  похожие документы
Дмитрий Александрович Кондратьев
"... -approximation approach. One the other hand, the use of the classic approach requires defining loop invariants ..."
 
Том 31, № 4 (2024) Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы Аннотация  PDF (Rus)  похожие документы
Иван Михайлович Черненко, Игорь Сергеевич Ануреев
"... as control loop invariants. However, control loop invariants that represent requirements are not sufficient ..."
 
Том 20, № 3 (2013) Самоорганизация, сети, будущее Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина
"... . Обсуждалось использование сетей в контексте национальной обороны, экономики, управления массовым сознанием ..."
 
Том 28, № 4 (2021) На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев
"... invariants. Symbolic replacement of definite iterations by recursive functions is the base of this method ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... Рассматривается понятие программно-конфигурируемой сети. Вначале даётся короткая историческая ..."
 
Том 21, № 3 (2014) Об устойчивости состояния равновесия одной модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Викторович Богомолов
"... Рассматривается одна математическая модель нейронной сети на основе трёх нейронов-сумматоров Мак ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... Планируется создать метод кластеризации графа социальной сети. Для тестирования будущего метода ..."
 
Том 28, № 1 (2021) О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов
 
Том 26, № 3 (2019) Об автоматическом анализе практической стойкости обфусцирующих преобразований Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов
 
Том 16, № 4 (2009) Циклы и торы деловой активности в одной математической модели макроэкономики Аннотация  PDF (Rus)  похожие документы
Е. С. Кокуйкин, А. Н. Куликов
"... of the stable non-homogeneous invariant torus has been shown. ..."
 
Том 22, № 4 (2015) Задача о наибольшем кратном потоке в делимой сети и ее частные случаи Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... В статье рассматривается задача о наибольшем кратном потоке в сети произвольной натуральной ..."
 
Том 23, № 5 (2016) Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... Статья посвящена анализу сетей, состоящих из обобщенных нейронных элементов. В первой части статьи ..."
 
Том 26, № 1 (2019) «Общие критерии» и безопасность программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич Петухов, Павел Львович Пилюгин
 
Том 26, № 2 (2019) Пороговый анализ деградации запросов внутри вычислительной сети Аннотация  похожие документы
Василий Павлович Кирнос
"... сетей. Представлена типовая структура сети прикладного уровня модели OSI на примере приложения СБИС3 ..."
 
1 - 75 из 160 результатов 1 2 3 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)