Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 14, № 4 (2007) Сети активных ресурсов Аннотация  PDF (Rus)  похожие документы
В. А. Башкин
"... by "firings" of other tokens (location of consumed/produced resources is defined by corresponding arcs). So ..."
 
Том 27, № 2 (2020) Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами Аннотация  похожие документы
Владимир Анатольевич Башкин
"... ). It is known that resource similarity is undecidable for general labelled Petri nets. In this paper we study ..."
 
Том 20, № 4 (2013) О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Ирина Александровна Ломазова
"... In this work, we consider the modeling of workflow systems with Petri nets. A resource workflow net ..."
 
Том 19, № 6 (2012) Наследcтвенные свойства модульных сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... (such as planarity). Modular nets of active resources is a (Petri nets)- powerful formalism with simple modular ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... Cellular resource driven automata nets (CRDA-nets) is a generalization of the concept of two-level ..."
 
Том 20, № 2 (2013) Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... representation is studied. A positive one-counter circuit is defined as a strongly connected one-counter net (one ..."
 
Том 20, № 2 (2013) Группы гомологий сети Петри конвейера Аннотация  PDF (Rus)  похожие документы
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина
"... Petri net is said to be elementary if every place can contain no more than one token ..."
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
"... ” approach, when tokens in a marking are Petri nets, which have an autonomous behavior and are synchronized ..."
 
Том 21, № 6 (2014) Управляемые тупики в параллельных ресурсно-ограниченных потоках работ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова
"... We study the verification of the soundness property for workflow nets extended with resources ..."
 
Том 21, № 2 (2014) О поддержке рекурсивно-параллельного программирования в .NET Framework Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... The paper describes software components to support recursive-parallel programming for the .NET ..."
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... allows us to develop effective applications for parallel computing on a local network in 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 ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... C and FORTRAN code for parallel speed-up of execution without races for resources. Nevertheless ..."
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... to develop effective applications for parallel computing on a local network using any .NET-compatible ..."
 
Том 27, № 1 (2020) Параллельный алгоритм решения задачи об изоморфизме графов Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... for parallel computing on a local network in the .NET Framework. Such applications have the ability to generate ..."
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация  PDF (Rus)  похожие документы
М. Г. Доррер
"... format into a monochrome Petri net is suggested. The Petri net ma¬trix representation resulting from ..."
 
Том 19, № 4 (2012) Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования Аннотация  PDF (Rus)  похожие документы
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин
"... in eEPC notation. The method uses an original translation process to build a Petri net corresponding ..."
 
Том 20, № 5 (2013) Замкнутые локально минимальные сети на поверхностях выпуклых многогранников Аннотация  PDF (Rus)  похожие документы
Наталия Павловна Стрелкова
 
Том 19, № 6 (2012) Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... A technique of the computing grid verification using invariants of infinite Petri nets ..."
 
Том 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 ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... In the article a method of automated construction of Petri nets simulating the behaviour ..."
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... and verified with the help of coloured Petri nets (CPN) and the SPIN model checker. Algorithms for translating ..."
 
Том 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)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
 
Том 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 ..."
 
Том 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 ..."
 
Том 17, № 1 (2010) Двухшаговый экстраградиентный метод для задачи управления ресурсами Аннотация  PDF (Rus)  похожие документы
А. В. Зыкина, Н. В. Меленьчук
 
Том 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, № 2 (2013) Технологии и алгоритмы для создания дополненной реальности Аннотация  PDF (Rus)  похожие документы
Иван Александрович Благовещенский, Николай Андреевич Демьянков
"... . For a programmatic implementation of those algorithms one can use special libraries like OpenCV and AForge.NET, also ..."
 
Том 27, № 4 (2020) Алгоритмы для BDI-агентов, основанные на знаниях Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Наталья Олеговна Гаранина
"... consisting of agents that arrive one by one (in a non-deterministic order) to a resource center to rent ..."
 
Том 17, № 2 (2010) О языках автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... of ACML with other formal language classes - regular, context-free, context-sensitive and Petri net ..."
 
Том 18, № 3 (2011) Предельные возможности передачи информации в макросистемах Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Амелькин, Ольга Сергеевна Иванова
"... Information is a very important resource in economic interaction. But information is not a usual ..."
 
Том 22, № 2 (2015) МП-автоматы с независимыми счётчиками Аннотация  PDF (Rus)  похожие документы
Михаил Иосифович Дехтярь, Борис Николаевич Карлов
"... Push-down automata with independent counters (PDACs) combine the power of PDAs and Petri Nets ..."
 
Том 24, № 6 (2017) Семантические средства обеспечения безопасности в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый
"... under control. The software controller allows dynamic routing configuration inside the net depending ..."
 
Том 23, № 6 (2016) Имитационное моделирование для анализа выполнимости приложений реального времени Аннотация  PDF (Rus)  похожие документы
С. Н. Баранов, В. В. Никифоров
"...  combinations of the scheduling mode and the protocol of access to shared informational resources when run ..."
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
"... This article describes the organization principles for wireless mesh-networks (software-defined net ..."
 
Том 20, № 4 (2013) Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов
"... This paper reports basic approaches to constructive creation of an open resource named ”Domain ..."
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
"... resources are analysed. It is considered how these transformations are affected by the usage of asynchronous ..."
 
Том 14, № 3 (2007) NumGRID, система для решения больших задач численного моделирования Аннотация  PDF (Rus)  похожие документы
Н. В. Малышкин
"... computational resources into a united Grid. Using this Grid it is possible to solve a lot of large-scale ..."
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
"... execution, computing resources allocation, program compaction, and malicious software detection. A new ..."
 
Том 25, № 3 (2018) Об оценке средней временной выгоды в вероятностных эколого-экономических моделях Аннотация  PDF (Rus)  похожие документы
Людмила Ивановна Родина, Илья Индусович Тютеев
"... is described by the differential equation ˙x = g(x) and in time moments τk some random share of resource vk, k ..."
 
Том 25, № 3 (2018) Динамика распределения популяции по ареалам Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Кириллов, Инна Владимировна Данилова
"... of the patch, that is, the volume of its energy resources, is considered. This problem relates to the theory ..."
 
Том 26, № 1 (2019) Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Василий Николаевич Пашков
"... communications, computing resources and tools for a controller instance failure and overloading detection ..."
 
Том 26, № 1 (2019) От главного редактора Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... , development institutions and government bodies in the field of computer networks, network resources ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... marketplaces confirm applicability of these procedures for enhancing lexical resources.  ..."
 
Том 23, № 5 (2016) Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо Аннотация  PDF (Rus)  похожие документы
А. А. Мельникова, Р. Л. Аргун
"... processes in active media. Such math problems are usually solved by numerical methods. The use of resource ..."
 
Том 25, № 4 (2018) Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов
"... domain and several existing linguistic resources. With the proposed method, experiments were conducted ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... advantages of the created method are the small amount of resources in comparison with other similar ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... to simplify the process of formal verification, since there is no need to analyse resource conflicts, which ..."
 
1 - 57 из 57 результатов

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

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