Сортировать по:
Выпуск | Название | |
Том 14, № 1 (2007) | Автоморфизмы систем переходов | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов | ||
"... A automorphism of transitions system is an isomorphism of a system oneself. In the article ..." | ||
Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов | ||
"... as a decomposition of several spexdal facctor-models, which groups of automorphisms are primes. Moreover, we show ..." | ||
Том 18, № 1 (2011) | О тензорных квадратах неприводимых представлений конечных почти простых групп. I. | Аннотация PDF (Rus) похожие документы |
С. В. Поляков | ||
"... получены результаты о строении простых SM_2- групп. Оказалось, что каждая из таких групп изоморфна группе L ..." | ||
Том 18, № 2 (2011) | О тензорных квадратах неприводимых представлений конечных почти простых групп. II | Аннотация PDF (Rus) похожие документы |
Сергей Владимирович Поляков | ||
Том 25, № 3 (2018) | Об алгоритме расщепления носителя для индуцированных кодов | Аннотация PDF (Rus) похожие документы |
Юрий Владимирович Косолапов, Алексей Николаевич Шигаев | ||
"... for key attacks is examined. In particular, a model is considered when the automorphism group is trivial ..." | ||
Том 21, № 4 (2014) | Об аппроксимируемости корневыми классами HNN-расширений групп | Аннотация PDF (Rus) похожие документы |
Елена Александровна Туманова | ||
"... (we denote by AutG(H) the group of all automorphisms of H which are the restrictions on this subgroup ..." | ||
Том 30, № 2 (2023) | Графы сигнальных переходов для схем асинхронного тракта данных | Аннотация похожие документы |
Александр Кушнеров, Сергей Быстров | ||
"... The paper proposes a method for constructing signal transition graphs (STGs), which are directly ..." | ||
Том 19, № 3 (2012) | Динамика простейших кусочно-линейных разрывных отображений | Аннотация PDF (Rus) похожие документы |
Дмитрий Сергеевич Кащенко | ||
"... Исследована динамика одномерного кусочно-линейного отображения с одним разрывом. В пространстве ..." | ||
Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
"... and transition systems with independence can be considered as distributed asynchronous automata. Time distributed ..." | ||
Том 24, № 3 (2017) | Исследование динамики класса одномерных кусочно-линейных отображений с одним разрывом | Аннотация PDF (Rus) похожие документы |
Григорий Андреевич Ахременко | ||
"... В работе изучается динамика одного класса одномерных кусочно-линейных отображений с одним ..." | ||
Том 19, № 6 (2012) | Непрерывное уплощение правильного тетраэдра точными отображениями | Аннотация PDF (Rus) похожие документы |
Джин-ичи Ито, Чи Нара | ||
Том 19, № 3 (2012) | Об одном классе операторных включений | Аннотация PDF (Rus) похожие документы |
Николай Андреевич Демьянков, Владимир Степанович Климов | ||
"... характеристики многозначных отображений, обладающие свойствами гомотопической инвариантности и аддитивности ..." | ||
Том 17, № 3 (2010) | Вариационные неравенства и принцип виртуальных перемещений | Аннотация PDF (Rus) похожие документы |
Н. А. Демьянков | ||
Том 27, № 3 (2020) | Особенности алгоритмической реализации разностных аналогов логистического уравнения с запаздыванием | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Сергей Александрович Кащенко, Анна Олеговна Толбей | ||
"... работе рассматривается семейство отображений, построеннное для этого уравнения на основе центральных ..." | ||
Том 25, № 1 (2018) | О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений | Аннотация PDF (Rus) похожие документы |
Агалар Магомед-Закиевич Агаларов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин, Антон Викторович Степанов | ||
"... хаотического поведения одномерных точечных отображений. Эффективность трансфера этого понятия в нелинейную ..." | ||
Том 27, № 2 (2020) | Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами | Аннотация похожие документы |
Владимир Анатольевич Башкин | ||
"... closed under transition firing) in Petri nets with invisible transitions (where some transitions may ..." | ||
Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
Юрий Анатольевич Белов | ||
"... resulting from a given initial state s0 by a finite chain of permissible transitions. They have a natural ..." | ||
Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
Андрей Валентинович Климов | ||
Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
"... justification for this approach to program development and verification. A transition has been made to a more ..." | ||
Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
"... or bisimulationally equivalent transition systems. It is ensuring the same verification results when replacing one SMV ..." | ||
Том 20, № 2 (2013) | Группы гомологий сети Петри конвейера | Аннотация PDF (Rus) похожие документы |
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина | ||
Том 23, № 5 (2016) | Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо | Аннотация PDF (Rus) похожие документы |
А. А. Мельникова, Р. Л. Аргун | ||
"... , this paper provides a formula that specifies the location of internal transition layers. The results were ..." | ||
Том 25, № 1 (2018) | Асимптотическое приближение решения уравнения реакция-диффузия-адвекция с нелинейным адвективным слагаемым | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Антипов, Наталия Тимуровна Левашова, Николай Николаевич Нефедов | ||
"... a large gradient. This subdomain is called the internal transition layer. Boundary value problems ..." | ||
Том 25, № 1 (2018) | Верхнее и нижнее решения для системы уравнений типа ФицХью–Нагумо | Аннотация PDF (Rus) похожие документы |
Светлана Владимировна Быцюра, Наталия Тимуровна Левашова | ||
"... of equations. The solution contains an internal transition layer, that is, a subdomain where a sharp change ..." | ||
Том 25, № 1 (2018) | Периодические изменения автоволнового фронта в двумерной системе параболических уравнений | Аннотация PDF (Rus) похожие документы |
Алина Александровна Мельникова, Наталья Николаевна Дерюгина | ||
Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
"... semantics of TFSMs and show how to represent it by means of Labeled Transition Systems. The use of the new ..." | ||
Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
"... , in order to formally verify PLC, e.g., by model checking, it is necessary to describe the transition system ..." | ||
Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
Том 13, № 1 (2006) | Поведение решений нормальной формы системы трех связанных разностных автогенераторов | Аннотация PDF (Rus) похожие документы |
С. Д. Глызин | ||
"... Изучается вопрос об аттракторах системы трех связанных двумерных отображений. Каждое парциальное ..." | ||
Том 19, № 1 (2012) | Об одном изоморфизме компактификаций схемы модулей векторных расслоений | Аннотация PDF (Rus) похожие документы |
Надежда Владимировна Тимофеева | ||
"... ); E) изоморфны основным компонентам приведенной схемы Гизекера – Маруямы. ..." | ||
Том 31, № 4 (2024) | Применение TLA+/TLC для моделирования и верификации криптографических протоколов | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
"... as a transition system containing all possible states of the protocol model and transitions between them. The TLC ..." | ||
Том 14, № 4 (2007) | Род и категория Люстерника - Шнирельмана прообразов | Аннотация PDF (Rus) похожие документы |
Р. Н. Карасёв | ||
"... - Шнирельмана и для него доказывается оценка на категорию прообраза точки (или ее окрестностей) при отображении ..." | ||
Том 25, № 5 (2018) | Представление универсальных гиперграфических автоматов автономными выходными сигналами | Аннотация похожие документы |
Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов | ||
"... are invariant under actions of transition and output functions. Universally attracting objects of a category ..." | ||
Том 19, № 5 (2012) | Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых | Аннотация PDF (Rus) похожие документы |
Сергей Александрович Кащенко | ||
"... сводится к анализу решений нелинейных отображений. Для каждого цикла таких отображений построены ..." | ||
Том 20, № 1 (2013) | Релаксационные колебания в системе с запаздываниями, моделирующей задачу «хищник–жертва» | Аннотация PDF (Rus) похожие документы |
Сергей Александрович Кащенко | ||
"... отображения. На основании асимптотического анализа сформулированы выводы биологического характера. ..." | ||
Том 21, № 6 (2014) | PolarDB – система создания специализированных NoSQL баз данных и СУБД | Аннотация PDF (Rus) похожие документы |
Александр Гурьевич Марчук | ||
"... отображений в файловые представления. Были проведены эксперименты с реализацией графов RDF, связанных ..." | ||
Том 21, № 5 (2014) | Аттрактор в кольцевой структуре обобщенных нейронных элементов автогенераторного типа | Аннотация PDF (Rus) похожие документы |
Евгений Владиславович Коновалов | ||
"... циклический режим последовательной генерации импульсов элементами кольца. Строится нелинейное отображение для ..." | ||
Том 20, № 5 (2013) | Релаксационные колебания в моделях многовидовых сообществ | Аннотация PDF (Rus) похожие документы |
Сергей Александрович Кащенко | ||
"... задаче о динамике полученных конечномерных отображений. В частности, показано, что для решений этих ..." | ||
Том 22, № 2 (2015) | О существовании ABA-факторизаций у спорадических групп ранга 3 | Аннотация PDF (Rus) похожие документы |
Лев Сергеевич Казарин, Илья Андреевич Рассадин, Денис Николаевич Сахаров | ||
"... этого вида. Кроме того, тройные факто- ризации групп автоморфизмов естественным образом возникают при ..." | ||
Том 22, № 4 (2015) | О конечных группах с большой степенью неприводимого характера | Аннотация PDF (Rus) похожие документы |
Л. С. Казарин, С. С. Поисеева | ||
"... которой делится на простое число p и не превышает 2p4, изоморфна одной из следующих групп: L2(q), L3(q), U ..." | ||
Том 23, № 6 (2016) | Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями | Аннотация PDF (Rus) похожие документы |
А. А. Кащенко | ||
"... из некоторого класса. По данной асимптотике строится специальное отображение, которое в главном ..." | ||
Том 24, № 5 (2017) | Семейство негрубых циклов в системе двух связанных генераторов с запаздыванием | Аннотация PDF (Rus) похожие документы |
Александра Андреевна Кащенко | ||
"... условиями из этого множества. С помощью этой асимптотики строится специальное отображение, описывающее в ..." | ||
Том 23, № 4 (2016) | Об алгебраических циклах на расслоенных произведениях неизотривиальных семейств регулярных поверхностей с геометрическим родом | Аннотация PDF (Rus) похожие документы |
О. В. Никольская | ||
"... гладкого слоя и отображение периодов, ассоциированное с вариацией структур Ходжа (где ..." | ||
Том 21, № 4 (2014) | О пространстве путей на полных пересечениях в грассманианах | Аннотация PDF (Rus) похожие документы |
Светлана Михайловна Ермакова | ||
"... точки, изоморфно прямому произведению Fn × Fn двух полных пространств n-мерных флагов. Затем строим на ..." | ||
Том 23, № 5 (2016) | Расслоенное произведение коммутативных алгебр: образующие и соотношения | Аннотация похожие документы |
Н. В. Тимофеева | ||
"... приводит к изоморфной алгебре-произведению. Также показано, что алгебра-произведеное обладает свойством ..." | ||
Том 20, № 3 (2013) | Преобразования задач оптимального управления | Аннотация PDF (Rus) похожие документы |
Анатолий Михайлович Цирлин | ||
"... reduction by a transition from an original argument to a new one, by a detection of a variable staying ..." | ||
Том 24, № 3 (2017) | Решение вида движущегося фронта двумерной задачи реакция-диффузия | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Антипов, Владимир Тарасович Волков, Наталия Тимуровна Левашова, Николай Николаевич Нефедов | ||
"... . This subdomain is called an internal transition layer. In the nonstationary case, the position ..." | ||
Том 22, № 5 (2015) | Фазовая модель Курамото с инерцией: бифуркации потери синхронности и перехода к хаосу | Аннотация PDF (Rus) похожие документы |
В. Н. Белых, М. И. Болотов, Г. В. Осипов | ||
"... equations. We prove that the transition from synchronous to asynchronous oscillations occurs via bifurcation ..." | ||
Том 24, № 3 (2017) | Асимптотическое исследование решения уравнения теплопроводности вблизи границы раздела двух сред | Аннотация PDF (Rus) похожие документы |
Наталия Тимуровна Левашова, Ольга Александровна Николаева | ||
"... function describing heat sources. The coefficient of thermal diffusivity in the water-air transition ..." | ||
Том 25, № 1 (2018) | Об одной сингулярно возмущенной задаче нелинейной теплопроводности в случае сбалансированной нелинейности | Аннотация PDF (Rus) похожие документы |
Марина Александровна Давыдова, Светлана Александровна Захарова | ||
"... of the transition layer. To justify the constructed formal asymptotics, we use an asymptotic method of differential ..." | ||
Том 25, № 1 (2018) | Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией | Аннотация PDF (Rus) похожие документы |
Николай Николаевич Нефедов, Егор Игоревич Никулин | ||
"... with an internal transition layer to be provided than in previous studies. For convenience, the known results ..." | ||
Том 24, № 1 (2017) | Существование и устойчивость контрастных структур в многомерных задачах реакция-диффузия-адвекция в случае сбалансированной нелинейности | Аннотация PDF (Rus) похожие документы |
Марина Александровна Давыдова, Николай Николаевич Нефедов | ||
"... basic conditions of the existence of solutions with internal transition layers (contrust structures ..." | ||
Том 26, № 3 (2019) | Сравнение диффеоморфных изображений на основе формирования персистентных гомологий | Аннотация PDF (Rus) похожие документы |
Сергей Николаевич Чуканов | ||
"... модель диффеоморфного метрического отображения больших деформаций (Large Deformation Diffeomorphic Metric ..." | ||
Том 30, № 3 (2023) | О геометрическом подходе к оцениванию интерполяционных проекторов | Аннотация PDF (Rus) похожие документы |
Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
"... )$ . Рассмотрим отображение $T:{mathbb R}^nto {mathbb R}^{d-1}$, имеющее вид $T(x):=(varphi_2(x),ldots ..." | ||
Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
"... посредством указателей. Для отображения возможностей языка C, обеспечивающих взаимодействие с компьютерной ..." | ||
Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина | ||
"... Symbolic model checking is based on a compact representation of sets of states and transition ..." | ||
Том 23, № 3 (2016) | Существование и устойчивость периодических решений уравнения реакция-диффузия в двумерном случае | Аннотация похожие документы |
Н. Н. Нефедов, Е. И. Никулин | ||
"... in the two-dimensional case. The case when there is an internal transition layer under unbalanced ..." | ||
Том 24, № 6 (2017) | К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов | Аннотация PDF (Rus) похожие документы |
Наталья Геннадьевна Кушик, Нина Владимировна Евтушенко, Игорь Борисович Бурдонов, Александр Сергеевич Косачев | ||
"... the transitions only under inputs or under outputs are defined, and the machine transition diagram does ..." | ||
Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... the natural numbers. Every transition can increase or decrease the value of the counter (the decrease ..." | ||
Том 22, № 1 (2015) | Сингулярно возмущённая краевая задача с многозонным внутренним переходным слоем | Аннотация PDF (Rus) похожие документы |
Валентин Федорович Бутузов | ||
"... values of the small parameter the problem has a solution with the transition from the two-tuple root ..." | ||
Том 23, № 5 (2016) | Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред | Аннотация PDF (Rus) похожие документы |
Ж. О. Домбровская | ||
"... of the problem (regular part, boundary layer and transition zone placed between them) in detail. The features ..." | ||
Том 24, № 3 (2017) | Построение динамически адаптированной сетки для эффективного численного решения сингулярно возмущенного уравнения типа реакция-адвекция-диффузия | Аннотация похожие документы |
Дмитрий Витальевич Лукьяненко, Владимир Тарасович Волков, Николай Николаевич Нефедов | ||
"... into account the information about the speed of the transition layer, its width and structure. Our algorithms ..." | ||
Том 20, № 4 (2013) | О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин, Ирина Александровна Ломазова | ||
"... . Resources can be consumed and/or produced by transitions. We constrain neither the intermediate nor final ..." | ||
Том 20, № 4 (2013) | Проектирование и разработка имитационной модели мультиклиентского кластера баз данных | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Бойцов | ||
"... , along with these benefits this transition brings new architectural challenges. One of such challenges ..." | ||
Том 23, № 3 (2016) | Моделирование неизотермического течения аномально вязкой жидкости в каналах с различной геометрией границ | Аннотация PDF (Rus) похожие документы |
К. В. Литвинов | ||
"... in which the problem is considered, is such regions, that at the transition to bipolar a system ..." | ||
Том 24, № 3 (2017) | О контрастных структурах с многозонным внутренним слоем | Аннотация PDF (Rus) похожие документы |
Валентин Фёдорович Бутузов | ||
"... that in the first case the problem has a solution with the transition from the two-tuple root ..." | ||
Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
"... is a large-scale transition from model discrete parameters to generally accepted macroscopic characteristics ..." | ||
Том 25, № 5 (2018) | Полипрограммы и бисимуляция полипрограмм | Аннотация похожие документы |
Сергей Александрович Гречаник | ||
"... or coinduction. Polyprogram bisimulation is a concept inspired by bisimulation of labelled transition systems ..." | ||
Том 31, № 3 (2024) | Синтез иерархических моделей процессов: подход на основе разбиения событий на множества | Аннотация похожие документы |
Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров | ||
"... -process corresponding to a high-level transition at the top level of a two-level net. In contrast ..." | ||
Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
Игорь Сергеевич Ануреев | ||
"... of the program execution cycle, the logic of process transition management from state to state ..." | ||
Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
"... via transition fusion. The experiments demonstrate that our correction algorithm gives good results ..." | ||
Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
"... is determined on their ontological representation and is given as a labelled transition system. It is reduced ..." | ||
Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров | ||
"... -free transducers with ɛ-transitions) relative to the sizes of analysed machines. 3 ..." | ||
Том 27, № 1 (2020) | Марковская модель совместных киберугроз и ее применение для выбора оптимального набора средств защиты информации | Аннотация PDF (Rus) похожие документы |
Адиль Аскарович Касенов, Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
"... a parameter called the lifetime of the system and defined as the number of transitions of the corresponding ..." | ||
Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
Хулио С Карраскель, Халил Мешерауи | ||
"... of a transition to fire move from their current place of the model to the requested places. Token jumps allow ..." | ||
1 - 75 из 76 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)