Поиск


Сортировать по:     
 
Выпуск Название
 
Том 20, № 4 (2013) О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Ирина Александровна Ломазова
"... In this work, we consider the modeling of workflow systems with Petri nets. A resource workflow net ..."
 
Том 21, № 6 (2014) Управляемые тупики в параллельных ресурсно-ограниченных потоках работ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова
"... We study the verification of the soundness property for workflow nets extended with resources ..."
 
Том 14, № 4 (2007) Сети активных ресурсов Аннотация  PDF (Rus)  похожие документы
В. А. Башкин
"... In this work nets of active resources (AR-nets) are presented. This is a generalization of Petri ..."
 
Том 19, № 6 (2012) Наследcтвенные свойства модульных сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... (such as planarity). Modular nets of active resources is a (Petri nets)- powerful formalism with simple modular ..."
 
Том 20, № 2 (2013) Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... representation is studied. A positive one-counter circuit is defined as a strongly connected one-counter net (one ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... Cellular resource driven automata nets (CRDA-nets) is a generalization of the concept of two-level ..."
 
Том 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. ..."
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
"... Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets ..."
 
Том 17, № 1 (2010) Двухшаговый экстраградиентный метод для задачи управления ресурсами Аннотация  PDF (Rus)  похожие документы
А. В. Зыкина, Н. В. Меленьчук
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... to develop effective applications for parallel computing on a local network using any .NET-compatible ..."
 
Том 21, № 2 (2014) О поддержке рекурсивно-параллельного программирования в .NET Framework Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... The paper describes software components to support recursive-parallel programming for the .NET ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... C and FORTRAN code for parallel speed-up of execution without races for resources. Nevertheless ..."
 
Том 21, № 4 (2014) Синтез моделей процессов по журналам событий с шумом Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
"... @gmail.com получена 23 августа 2014 Ключевые слова: Извлечение и анализ процессов, сети Петри, журналы ..."
 
Том 19, № 4 (2012) Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования Аннотация  PDF (Rus)  похожие документы
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин
"... in eEPC notation. The method uses an original translation process to build a Petri net corresponding ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... problems. Crowdsourcing workflows for approaching such problems are composed of several data processing ..."
 
Том 19, № 6 (2012) Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... A technique of the computing grid verification using invariants of infinite Petri nets ..."
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... allows us to develop effective applications for parallel computing on a local network in the .NET ..."
 
Том 20, № 2 (2013) Группы гомологий сети Петри конвейера Аннотация  PDF (Rus)  похожие документы
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина
"... Petri net is said to be elementary if every place can contain no more than one token ..."
 
Том 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 ..."
 
Том 24, № 2 (2017) Построение высокоуровневой модели процесса по журналу событий Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова
"... . In this work we consider process models represented by workflow nets – a special class of Petri nets [3 ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... advantages of the created method are the small amount of resources in comparison with other similar ..."
 
Том 20, № 5 (2013) Замкнутые локально минимальные сети на поверхностях выпуклых многогранников Аннотация  PDF (Rus)  похожие документы
Наталия Павловна Стрелкова
"... Замкнутые локально минимальные сети — это «разветвлённый» аналог замкнутых несамопересекающихся ..."
 
Том 22, № 3 (2015) СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? Аннотация  похожие документы
А. К. Бегичева, И. А. Ломазова
"... -net with initial and final transitions each p ∈ P (denoted m t → m′). A Workflow net is a (labeled ..."
 
Том 26, № 1 (2019) Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Василий Николаевич Пашков
"... communications, computing resources and tools for a controller instance failure and overloading detection ..."
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация  PDF (Rus)  похожие документы
М. Г. Доррер
"... format into a monochrome Petri net is suggested. The Petri net ma¬trix representation resulting from ..."
 
Том 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 ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... Рассматривается понятие программно-конфигурируемой сети. Вначале даётся короткая историческая ..."
 
Том 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 ..."
 
Том 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 ..."
 
Том 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, № 6 (2016) Имитационное моделирование для анализа выполнимости приложений реального времени Аннотация  PDF (Rus)  похожие документы
С. Н. Баранов, В. В. Никифоров
"...  combinations of the scheduling mode and the protocol of access to shared informational resources when run ..."
 
Том 19, № 5 (2012) Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей Аннотация  PDF (Rus)  похожие документы
Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов
"... автоматической замены обрабатывающих агентов в dataflow-сетях, построенных на базе платформы Smart-M3 и ..."
 
Том 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 ..."
 
Том 18, № 3 (2011) Предельные возможности передачи информации в макросистемах Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Амелькин, Ольга Сергеевна Иванова
"... Information is a very important resource in economic interaction. But information is not a usual ..."
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
"... This article describes the organization principles for wireless mesh-networks (software-defined net ..."
 
Том 26, № 1 (2019) От главного редактора Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... , development institutions and government bodies in the field of computer networks, network resources ..."
 
Том 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 ..."
 
Том 20, № 3 (2013) Самоорганизация, сети, будущее Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина
"... . Обсуждалось использование сетей в контексте национальной обороны, экономики, управления массовым сознанием ..."
 
Том 24, № 6 (2017) Семантические средства обеспечения безопасности в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый
"... under control. The software controller allows dynamic routing configuration inside the net depending ..."
 
Том 19, № 4 (2012) Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый
"... заключается в том, чтобы использовать все доступные ресурсы коммуникационной сети, не допуская ее излишних ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... Традиционная архитектура сети передачи данных является негибкой и сложной. Данное обстоятельство ..."
 
Том 22, № 4 (2015) Задача о наибольшем кратном потоке в делимой сети и ее частные случаи Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... В статье рассматривается задача о наибольшем кратном потоке в сети произвольной натуральной ..."
 
Том 23, № 5 (2016) Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... Статья посвящена анализу сетей, состоящих из обобщенных нейронных элементов. В первой части статьи ..."
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
А. Н. Носков, И. А. Манов
"... , опираясь на текущие требования к качеству предоставления сервисов. Программное конфигурирование сети – это ..."
 
Том 20, № 4 (2013) Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов
"... This paper reports basic approaches to constructive creation of an open resource named ”Domain ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... Программно-коммутируемые сети (ПКС) — это класс компьютерных телекоммуникационных сетей ..."
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... , например, в виде сетей Петри [8,9]. Для описания моделей процессов используются различные средства ..."
 
Том 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 ..."
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
"... Разработка алгоритмов реконфигурирования сетей является важным направлением развития программного ..."
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
"... resources are analysed. It is considered how these transformations are affected by the usage of asynchronous ..."
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
"... execution, computing resources allocation, program compaction, and malicious software detection. A new ..."
 
Том 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 ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... Программно-конфигурируемые сети (ПКС, SDN, Software-defined Networks) являются новой парадигмой ..."
 
Том 20, № 4 (2013) Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 Аннотация  PDF (Rus)  похожие документы
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов
"... Рассматривается алгоритм замещения агента dataflow-сети, реализованной на платформе Smart-M3 ..."
 
Том 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 ..."
 
Том 25, № 3 (2018) Динамика распределения популяции по ареалам Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Кириллов, Инна Владимировна Данилова
"... of the patch, that is, the volume of its energy resources, is considered. This problem relates to the theory ..."
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... транспортной сети, представленной одним агрегированным или разнообразными видами морского и наземного ..."
 
Том 24, № 4 (2017) О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар
"... , оценка скоростей передачи данных, системы на кристалле, сети на кристалле, беспроводные системы на ..."
 
Том 21, № 3 (2014) Об устойчивости состояния равновесия одной модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Викторович Богомолов
"... Рассматривается одна математическая модель нейронной сети на основе трёх нейронов-сумматоров Мак ..."
 
Том 25, № 4 (2018) Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов
"... domain and several existing linguistic resources. With the proposed method, experiments were conducted ..."
 
1 - 75 из 205 результатов 1 2 3 > >> 

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

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