Сортировать по:
Выпуск | Название | |
Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..." | ||
Том 20, № 2 (2013) | Группы гомологий сети Петри конвейера | Аннотация PDF (Rus) похожие документы |
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина | ||
"... Petri net is said to be elementary if every place can contain no more than one token ..." | ||
Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
Юрий Анатольевич Белов | ||
"... The question is considered - which graphs are isomorphic to the reachability graphs of Petri nets ..." | ||
Том 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 ..." | ||
Том 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 ..." | ||
Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) похожие документы |
М. Г. Доррер | ||
"... format into a monochrome Petri net is suggested. The Petri net ma¬trix representation resulting from ..." | ||
Том 19, № 6 (2012) | Наследcтвенные свойства модульных сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... (such as planarity). Modular nets of active resources is a (Petri nets)- powerful formalism with simple modular ..." | ||
Том 20, № 4 (2013) | О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин, Ирина Александровна Ломазова | ||
"... In this work, we consider the modeling of workflow systems with Petri nets. A resource workflow net ..." | ||
Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
"... in eEPC notation. The method uses an original translation process to build a Petri net corresponding ..." | ||
Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... is presented. General one-counter nets are equivalent to Petri Nets with at most one unbounded place ..." | ||
Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
"... In the article a method of automated construction of Petri nets simulating the behaviour ..." | ||
Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... nets is equivalent to the class of Petri nets with one unbounded place, and to the class of pushdown ..." | ||
Том 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 ..." | ||
Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
"... and verified with the help of coloured Petri nets (CPN) and the SPIN model checker. Algorithms for translating ..." | ||
Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... resource nets (Petri nets) with an infinite regular system grid. This formalism is a hybrid of Petri nets ..." | ||
Том 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, № 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) похожие документы |
Алексей Александрович Мицюк, Иван Сергеевич Шугуров | ||
Том 31, № 3 (2024) | Синтез иерархических моделей процессов: подход на основе разбиения событий на множества | Аннотация похожие документы |
Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров | ||
"... present an algorithm for discovering hierarchical process models represented as two-level workflow Petri ..." | ||
Том 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 ..." | ||
Том 14, № 4 (2007) | Сети активных ресурсов | Аннотация PDF (Rus) похожие документы |
В. А. Башкин | ||
"... In this work nets of active resources (AR-nets) are presented. This is a generalization of Petri ..." | ||
Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... formal models, namely: in Petri nets, in a dialect of Calculus of Communicating Systems (CCS ..." | ||
Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
"... Push-down automata with independent counters (PDACs) combine the power of PDAs and Petri Nets ..." | ||
Том 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) | О дифференцируемости по Тейлору в пространствах Lp, 0 < p ≤ ∞ | Аннотация PDF (Rus) похожие документы |
Анатолий Николаевич Морозов | ||
"... The function (fin L_p[I], ;p>0,) is called ((k,p))-differentiable at a point (x_0in I ..." | ||
Том 23, № 1 (2016) | Асимптотика моментов функции Такаги | Аннотация PDF (Rus) похожие документы |
Е. А. Tимофеев | ||
"... Takagi function is a simple example of a continuous but nowhere differentiable function ..." | ||
Том 29, № 2 (2022) | Применение функций голосования для оценки числа монотонных самодвойственных булевых функций | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Егор Владимирович Кузьмин | ||
"... boolean functions. For other precomplete classes, general formulas for the number of functions ..." | ||
Том 26, № 1 (2019) | Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции | Аннотация PDF (Rus) похожие документы |
Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев | ||
"... Network function virtualization (NFV) is a promising technique of high quality, flexible ..." | ||
Том 22, № 5 (2015) | Асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
Е. А. Tимофеев | ||
"... Recall Lebesgue’s singular function. Imagine flipping a biased coin with probability p of heads ..." | ||
Том 22, № 1 (2015) | О приближении периодических функций в L₂ и значениях поперечников некоторых классов функций | Аннотация PDF (Rus) похожие документы |
Камаридин Тухлиев | ||
"... (f;t) determined by Steklov’s function is used instead the usual modulus of continuity of mth order ..." | ||
Том 24, № 3 (2017) | Исследование динамики класса одномерных кусочно-линейных отображений с одним разрывом | Аннотация PDF (Rus) похожие документы |
Григорий Андреевич Ахременко | ||
"... are selected. In particular, it was ascertained that for this class of functions, under condition ..." | ||
Том 17, № 2 (2010) | О языках автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
"... of ACML with other formal language classes - regular, context-free, context-sensitive and Petri net ..." | ||
Том 24, № 4 (2017) | Разложение самоподобных функций в системе Фабера–Шаудера | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Тимофеев | ||
"... _k}, j = j_12^{n-1}+j_22^{n-2}+dots+j_n$$. The family of functions (1,x,tau(2^nx-j)), (j =0,1,dots ..." | ||
Том 23, № 5 (2016) | Полилогарифмы и асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
Е. А. Tимофеев | ||
"... Recall the Lebesgue's singular function. We define a Lebesgue's singular function (L(t ..." | ||
Том 20, № 6 (2013) | Построение оценки энтропии для специальной метрики и произвольной функции | Аннотация PDF (Rus) похожие документы |
Нина Евгеньевна Тимофеева | ||
"... the logarithm in the estimation of the entropy, we apply a similar function which may be arbitrary at the given ..." | ||
Том 25, № 3 (2018) | Oб оптимальной интерполяции линейными функциями на n-мерном кубе | Аннотация PDF (Rus) похожие документы |
Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
"... the space of continuous functions (f:Q_nto{mathbb R}) with the norm (|f|_{C(Q_n)}:=maxlimits_{x ..." | ||
Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... The paper describes software components to support recursive-parallel programming for the .NET ..." | ||
Том 27, № 3 (2020) | О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций | Аннотация PDF (Rus) похожие документы |
Валерий Анатольевич Соколов | ||
"... Raphael Robinson showed that all primitive recursive functions depending on one argument, and only ..." | ||
Том 27, № 4 (2020) | Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, № 3, с. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315 | Аннотация PDF (Rus) похожие документы |
Валерий Анатольевич Соколов | ||
"... functions”, Bulletin of the American Mathematical Society, vol. 53, no. 10,pp. 925-942, 1947. [4] J ..." | ||
Том 22, № 1 (2015) | Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений | Аннотация похожие документы |
Николай Алексеевич Кудряшов | ||
"... The method of the logistic function is presented for finding exact solutions of nonlinear ..." | ||
Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
"... mathematical functions” is aimed onto the development of incremental combined approach to specification ..." | ||
Том 29, № 3 (2022) | Формирование признаков машинного обучения на основе построения тропических функций | Аннотация PDF (Rus) похожие документы |
Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
"... of data objects. The paper considers mathematical models and functions for representing persistent ..." | ||
Том 26, № 4 (2019) | Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню | Аннотация похожие документы |
Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес | ||
"... and even avoid unit testing. In this paper, we chose a production use case: a function calculating ..." | ||
Том 17, № 3 (2010) | Разрешимость теории Th(w, 0,1, <, +, f0,..., fn) | Аннотация PDF (Rus) похожие документы |
А. С. Снятков | ||
"... functions fi,i > 0. They are called "hyperfuncctions" and they are obtained when we iterate an addition ..." | ||
Том 30, № 2 (2023) | Полином Жегалкина многоместного самодостаточного оператора | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Егор Владимирович Кузьмин | ||
"... Among functionally complete sets of Boolean functions, sole sufficient operators are of particular ..." | ||
Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
"... of various function summaries to improve analysis efficiency and expressive power. We have implemented ..." | ||
Том 21, № 3 (2014) | Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности | Аннотация PDF (Rus) похожие документы |
Мирганд Шабозович Шабозов | ||
"... The problem of minimizing the error of a cubature formula on the classes of functions given ..." | ||
Том 23, № 3 (2016) | Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение | Аннотация похожие документы |
А. И. Задорин | ||
"... Interpolation of functions on the basis of Lagrange’s polynomials is widely used. However ..." | ||
Том 23, № 3 (2016) | Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками | Аннотация PDF (Rus) похожие документы |
Н. А. Кудряшов, Д. И. Синельщиков | ||
"... function. Since in the general case this solution has a cumbersome form we find some correlations ..." | ||
Том 23, № 4 (2016) | Сравнение алгоритмов удвоения размера изображения | Аннотация PDF (Rus) похожие документы |
С. Е. Ваганов, С. И. Хашин | ||
Том 24, № 5 (2017) | О локально выпуклых кривых | Аннотация PDF (Rus) похожие документы |
Владимир Степанович Климов | ||
"... ), , (a leqslant t leqslant b)), where (u(t)), (v(t)) are continuously differentiable on ([a,b]) functions ..." | ||
Том 25, № 3 (2018) | Динамика распределения популяции по ареалам | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
"... . The approach is based on a utility function that takes into account the amount of resources in a patch ..." | ||
Том 25, № 3 (2018) | Изопериметрические и функциональные неравенства | Аннотация PDF (Rus) похожие документы |
Владимир Степанович Климов | ||
"... (t,p) , (t in [0, infty),; p in mathbb{R}^n)) -- a function that is (B)-measurable ..." | ||
Том 30, № 1 (2023) | О вычислительных конструкциях в функциональных пространствах | Аннотация PDF (Rus) похожие документы |
Анатолий Николаевич Морозов | ||
"... in the space of Lebesgue integrable functions and the consistency of this concept with fundamental ..." | ||
Том 18, № 1 (2011) | Геометрические оценки в полиномиальной интерполяции | Аннотация PDF (Rus) похожие документы |
М. В. Невский | ||
"... of continuous functions of n variables. ..." | ||
Том 30, № 3 (2023) | Распределение Больцмана в проблеме рационального выбора популяцией участка при неполной информации о его ресурсах | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
"... of the Boltzmann distribution is proposed. To construct the probability distribution the utility functions are used ..." | ||
Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
Томас Баар, Хорст Шульте | ||
Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... allows us to develop effective applications for parallel computing on a local network in the .NET ..." | ||
Том 20, № 5 (2013) | Точные неравенства типа Джексона–Стечкина и значения поперечников некоторых классов функций в пространстве L₂ | Аннотация PDF (Rus) похожие документы |
Мухтор Рамазонович Лангаршоев | ||
"... functions with trigonometric polynomials and generalized moduli of the continuity Ωm of m-th order in L₂[0 ..." | ||
Том 20, № 3 (2013) | Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых | Аннотация PDF (Rus) похожие документы |
Камаридин Тухлиев | ||
"... of differentiable functions, the second gradient norm of which in Lp (1 ≤ p < ∞) is bounded along the curve by which ..." | ||
Том 19, № 2 (2012) | Потоки в обобщенных сетях со связанными дугами | Аннотация PDF (Rus) похожие документы |
Владимир Александрович Скороходов | ||
"... The problem of finding the maximum flow in nets of a special form is considered. In such nets ..." | ||
Том 23, № 3 (2016) | Сходимость сеточного решения задачи Дирихле с разрывной про- изводной граничной функции для сингулярно возмущенного уравнения конвекции- диффузии | Аннотация похожие документы |
Т. Я. Ершова | ||
"... faces of the rectangular and directed to the right while the first derivative of the boundary function ..." | ||
Том 28, № 2 (2021) | Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра | Аннотация PDF (Rus) похожие документы |
Елена Александровна Туманова | ||
"... $ and $1 leq x leq 50000$, then, for almost all considered $k$, the function $f_{k}(x)$ can ..." | ||
Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
"... One of the most serious problems when doing program analyses is dealing with function calls. While ..." | ||
Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
"... of an arbitrary number of functions elimination consists in constructing the universal recursive function ..." | ||
Том 28, № 3 (2021) | Исследование нелинейных полиномиальных систем управления | Аннотация похожие документы |
Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
"... The paper considers methods for estimating stability using Lyapunov functions, which are used ..." | ||
Том 31, № 2 (2024) | Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
"... on eddy current defectograms. The interference function was defined as the sum of the low-frequency ..." | ||
Том 18, № 3 (2011) | Об операторах дифференцирования и интегрирования | Аннотация PDF (Rus) похожие документы |
Анатолий Николаевич Морозов | ||
"... notion to wider classes of functions. ..." | ||
1 - 75 из 218 результатов | 1 2 3 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)