Сортировать по:
Выпуск | Название | |
Том 21, № 2 (2014) | Некоторые аппроксимационные свойства групп конечного ранга | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
"... . Seksenbaev proved that if G is a polycyclic group which is residually finite p-group for infinitely many ..." | ||
Том 22, № 2 (2015) | Аппроксимационные свойства нильпотентных групп | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
"... Let π be a set of primes. Recall that a group G is said to be a residually finite π-group ..." | ||
Том 20, № 1 (2013) | О финитной аппроксимируемости некоторых обобщенных свободных произведений разрешимых групп конечного ранга | Аннотация PDF (Rus) похожие документы |
Алексей Вячеславович Розов | ||
"... Let G be a free product of residually finite virtually soluble groups A and B of finite rank ..." | ||
Том 22, № 4 (2015) | О конечных группах с большой степенью неприводимого характера | Аннотация PDF (Rus) похожие документы |
Л. С. Казарин, С. С. Поисеева | ||
"... Let G be a finite nontrivial group with an irreducible complex character χ of degree d = χ(1 ..." | ||
Том 21, № 4 (2014) | Об аппроксимируемости корневыми классами HNN-расширений групп | Аннотация PDF (Rus) похожие документы |
Елена Александровна Туманова | ||
"... , is closed under taking subgroups and direct products of a finite number of factors and satisfies ..." | ||
Том 20, № 1 (2013) | О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
"... to be virtual residuality by finite π–groups is obtained. ..." | ||
Том 28, № 2 (2021) | Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра | Аннотация PDF (Rus) похожие документы |
Елена Александровна Туманова | ||
"... $. It is known that, if $p$ is some prime number, then $G_{k}$ is residually a finite $p$-group if and only if $p ..." | ||
Том 24, № 2 (2017) | О гипотезах Тэйта для дивизоров на расслоенном многообразии и его общем схемном слое в случае конечной характеристики | Аннотация PDF (Rus) похожие документы |
Татьяна Вячеславовна Прохорова | ||
"... a finite field and the Tate conjecture for divisors on the generic scheme fibre under the condition ..." | ||
Том 22, № 4 (2015) | О финитной отделимости подгрупп в расщепляемых расширениях | Аннотация PDF (Rus) похожие документы |
А. А. Кряжева | ||
"... of G on a finite group in which the image of an element g does not belong to the image of the subgroup H ..." | ||
Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Г. Г. Темербекова | ||
"... Finite state transducers over semigroups are regarded as a formal model of sequential reactive ..." | ||
Том 22, № 2 (2015) | Равномерность векторных расслоений конечного ранга на полных пересечениях конечной коразмерности в линейных инд-грассманианах | Аннотация PDF (Rus) похожие документы |
Светлана Михайловна Ермакова | ||
"... -Grassmannian G = lim−→G(km, nm). By definition, X is an intersection of G with a finite number of ind ..." | ||
Том 17, № 3 (2010) | Рекуррентные последовательности над почтикольцами | Аннотация PDF (Rus) похожие документы |
А. В. Сбоев | ||
"... of finite non-abelian extra-spexdal 2-groups are investigatexl. ..." | ||
Том 27, № 3 (2020) | О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций | Аннотация PDF (Rus) похожие документы |
Валерий Анатольевич Соколов | ||
"... of these algebras, including the question of the existence of finite bases of identities in these algebras ..." | ||
Том 20, № 1 (2013) | Об аппроксимируемости обобщенных свободных произведений корневыми классами групп | Аннотация PDF (Rus) похожие документы |
Елена Александровна Туманова | ||
"... Let K be a root class of groups. It is proved that a free product of any family of residually K ..." | ||
Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
А. Д. Ермаков, Н. В. Евтушенко | ||
"... Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional ..." | ||
Том 18, № 1 (2011) | О тензорных квадратах неприводимых представлений конечных почти простых групп. I. | Аннотация PDF (Rus) похожие документы |
С. В. Поляков | ||
"... Рассматриваются конечные почти простые SM_m-группы (см. определение ниже). В первой части работы ..." | ||
Том 27, № 4 (2020) | Синтез установочных последовательностей для автоматов с временными ограничениями | Аннотация PDF (Rus) похожие документы |
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
"... State identification is the well-known problem in the theory of Finite State Machines (FSM) where ..." | ||
Том 21, № 2 (2014) | Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Иванов | ||
Том 18, № 2 (2011) | О тензорных квадратах неприводимых представлений конечных почти простых групп. II | Аннотация PDF (Rus) похожие документы |
Сергей Владимирович Поляков | ||
"... Изучаются конечные почти простые {SM}_m-группы. Основной результат статьи: если G - конечная почти ..." | ||
Том 23, № 2 (2016) | О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики | Аннотация PDF (Rus) похожие документы |
Т. В. Прохорова | ||
"... on a smooth projective curve C over a finite field Fq of characteristic p. Assume that there is a projective ..." | ||
Том 21, № 1 (2014) | Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией | Аннотация PDF (Rus) похожие документы |
Сергей Александрович Кащенко, Валерий Евгеньевич Фролов | ||
"... We study the dynamics of finite-difference approximation on spatial variables of a logistic ..." | ||
Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
"... Uniform systems of communicating extended finite automata are considered in the paper ..." | ||
Том 20, № 6 (2013) | Комплексы подслов и ниль-движения Гекке | Аннотация PDF (Rus) похожие документы |
Михаил Александрович Горский | ||
"... For a finite Coxeter group W, a subword complex is a simplicial complex associated with a pair (Q ..." | ||
Том 23, № 5 (2016) | Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред | Аннотация PDF (Rus) похожие документы |
Ж. О. Домбровская | ||
Том 22, № 2 (2015) | О существовании ABA-факторизаций у спорадических групп ранга 3 | Аннотация PDF (Rus) похожие документы |
Лев Сергеевич Казарин, Илья Андреевич Рассадин, Денис Николаевич Сахаров | ||
"... A finite group G with proper subgroups A and B has triple factorization G = ABA if every element g ..." | ||
Том 25, № 2 (2018) | Коды в диэдральной групповой алгебре | Аннотация PDF (Rus) похожие документы |
Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк | ||
"... code cryptosystems. Non-commutative codes, which simply are ideals of finite non-commutative group ..." | ||
Том 23, № 3 (2016) | МКЭ-анализ на адаптированных к слою сетках в задачах с точкой по- ворота, имеющих внутренний слой | Аннотация похожие документы |
С. Бехер | ||
"... in the ε-weighted energy norm for finite elements of higher order. Numerical experiments are used to compare ..." | ||
Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... sequences of pairs of events of the request-response type, and, therefore, finite transducers are most often ..." | ||
Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
"... finite state machines (TFSMs). However, in most works where this class of real-time automata is studied ..." | ||
Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров | ||
"... Finite transducers, two-tape automata, and biautomata are related computational models descended ..." | ||
Том 14, № 1 (2007) | Автоморфизмы систем переходов | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов | ||
"... are showed, that every finite group may be embedded in a group of automorphisms of a certain transition ..." | ||
Том 24, № 4 (2017) | Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов | Аннотация PDF (Rus) похожие документы |
Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко | ||
"... constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation ..." | ||
Том 23, № 3 (2016) | Оценки погрешности в сбалансированных нормах методов ко- нечных элементов на сетках Шишкина для задач реакции-диффузии | Аннотация PDF (Rus) похожие документы |
Р. Ханс-Гёрг | ||
"... Error estimates of finite element methods for reaction-diffusion problems are often realized ..." | ||
Том 27, № 4 (2020) | Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, № 3, с. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315 | Аннотация PDF (Rus) похожие документы |
Валерий Анатольевич Соколов | ||
Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов | ||
"... , that every finite group is isomorphic for a group of automorphisms of a certain Kripke model. ..." | ||
Том 23, № 6 (2016) | Построение каскадной параллельной композиции временных автоматов с использованием BALM-II | Аннотация PDF (Rus) похожие документы |
М. Л. Громов, Н. В. Шабалдина | ||
"... In this paper, we consider the problem of deriving a cascade parallel composition of timed finite ..." | ||
Том 23, № 3 (2016) | Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем | Аннотация PDF (Rus) похожие документы |
А. А. Быков | ||
"... conditions for ITL transitioning through the special point within finite time are formulated. AM algorithm ..." | ||
Том 19, № 5 (2012) | Моделирование счетчиковых машин двухголовочными автоматами | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... A method of modeling the Minsky counter machine behaviour by a two-head finite automaton ..." | ||
Том 14, № 4 (2007) | Род и категория Люстерника - Шнирельмана прообразов | Аннотация PDF (Rus) похожие документы |
Р. Н. Карасёв | ||
"... - Schnirelmann category is considered. For this function and a given map of the underlying space to a finite ..." | ||
Том 18, № 3 (2011) | О двух конечномерных аппроксимациях периодической краевой задачи | Аннотация PDF (Rus) похожие документы |
Николай Андреевич Демьянков | ||
"... discretization - systems of equations in finite spaces. Conditions under which the existence of solutions ..." | ||
Том 23, № 6 (2016) | Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями | Аннотация PDF (Rus) похожие документы |
А. А. Кащенко | ||
"... to be finite, piecewise continuous, and with a constant sign. In this paper, we prove the existence ..." | ||
Том 14, № 3 (2007) | Экономный алгоритм нахождения средних минимальных расстояний | Аннотация PDF (Rus) похожие документы |
Н.Е. Тимофеева | ||
"... Let £o,..., £n be strings drawn from some finite alphabet. In this paper we describe an algorithm ..." | ||
Том 20, № 6 (2013) | О группах гомологий одного подпространства триангуляций двумерного симплекса с не более чем 6 точками разбиения границы | Аннотация PDF (Rus) похожие документы |
Светлана Ивановна Яблокова | ||
"... Рассматривается группа гомологий пространства W˜₁(∇N ) триангуляций двумерного симплекса D₀D₁D₂с не ..." | ||
Том 21, № 1 (2014) | Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
"... Considered are so-called finite-dimensional flutter systems, i.e. systems of ordinary differential ..." | ||
Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
"... schemata supplied with logical-thermal equivalence and finite state deterministic transducers operating ..." | ||
Том 19, № 2 (2012) | Шары в пространствах последовательностей | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Тимофеев | ||
"... We introduce a new metric on a space of right-sided infinite sequences drawn from a finite ..." | ||
Том 20, № 2 (2013) | Группы гомологий сети Петри конвейера | Аннотация PDF (Rus) похожие документы |
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина | ||
"... некоторому топологическому пространству “промежуточных” состояний. В работе вычислены группы гомологий этого ..." | ||
Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
Юрий Анатольевич Белов | ||
"... resulting from a given initial state s0 by a finite chain of permissible transitions. They have a natural ..." | ||
Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
"... by the model checking method. The model checking method needs to construct a finite model of a PLC program ..." | ||
Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... -counter nondeterministic finite automata without zero-testing) with at least one positive cycle ..." | ||
Том 25, № 5 (2018) | О безопасности одно- и многоместных IFP-операторов | Аннотация PDF (Rus) похожие документы |
Сергей Михайлович Дудаков | ||
"... by such queries. Hence the problem of the finite computability for such queries is undecidable. In our previous ..." | ||
Том 19, № 4 (2012) | Об одной нестационарной задаче маршрутизации с ограничениями | Аннотация PDF (Rus) похожие документы |
Александр Георгиевич Ченцов, Павел Александрович Ченцов | ||
"... a system of megalopolises (finite goal sets) and performs some work on each megalopolis. The cost functions ..." | ||
Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... One-counter nets are finite-state machines operating on a variable (counter) which ranges over ..." | ||
Том 20, № 2 (2013) | Алгоритм эффективного оценивания энтропии | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Тимофеев | ||
"... on the space Ω = AN of right-sided infinite sequences drawn from a finite alphabet A. The new metric has ..." | ||
Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) похожие документы |
Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
"... For a continuous nonlinear control system on a finite time interval with control constraints ..." | ||
Том 14, № 3 (2007) | Учет возрастных групп в уравнении Хатчинсона | Аннотация PDF (Rus) похожие документы |
С. Д. Глызин | ||
Том 19, № 4 (2012) | Об одном вопросе А.И. Мальцева из "Коуровской тетради" | Аннотация PDF (Rus) похожие документы |
Валерий Георгиевич Дурнев | ||
"... Устанавливается, что коммутант свободной нециклической группы не является ее формульной подгруппой. ..." | ||
Том 20, № 5 (2013) | Экстремальная динамика системы трех однонаправленно связанных сингулярно возмущенных уравнений из нейродинамики | Аннотация PDF (Rus) похожие документы |
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов | ||
"... finite number of stable periodic motions can co-exist in the original system under the appropriate choice ..." | ||
Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
Дмитрий Александрович Кондратьев | ||
"... for solving these problems in the case of loops over data sequences. These loops are referred to as finite ..." | ||
Том 24, № 1 (2017) | Асимптотические законы распределений собственных значений периодической и антипериодической краевых задач для дифференциальных уравнений второго порядка | Аннотация PDF (Rus) похожие документы |
Сергей Александрович Кащенко | ||
"... )) and there are zeroes (r(t),) results in the fact that the lengths of stability and instability zones have a finite ..." | ||
Том 20, № 5 (2013) | Об одной задаче оптимального управления для нелинейного псевдогиперболического уравнения | Аннотация PDF (Rus) похожие документы |
Турсун Камалдинович Юлдашев | ||
"... approximations and integral inequalities it is studied the one-value solvability of a finite system of nonlinear ..." | ||
Том 25, № 1 (2018) | О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений | Аннотация PDF (Rus) похожие документы |
Агалар Магомед-Закиевич Агаларов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин, Антон Викторович Степанов | ||
"... set of initial probability densities hitting into its stationary probability density after a finite ..." | ||
Том 23, № 5 (2016) | Расслоенное произведение коммутативных алгебр: образующие и соотношения | Аннотация похожие документы |
Н. В. Тимофеева | ||
"... associative algebras of finite type with unity over a field is given and proven. The field of coefficients ..." | ||
Том 22, № 2 (2015) | Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади | Аннотация PDF (Rus) похожие документы |
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
"... polyominoes. A polyomino is a connected plane geomatric figure formed by joiining a finite number of unit ..." | ||
Том 23, № 4 (2016) | Об алгебраических циклах на расслоенных произведениях неизотривиальных семейств регулярных поверхностей с геометрическим родом | Аннотация PDF (Rus) похожие документы |
О. В. Никольская | ||
Том 20, № 5 (2013) | Оценка числа решетчатых разбиений плоскости на полимино заданной площади | Аннотация PDF (Rus) похожие документы |
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
"... is a connected plane geometric figure formed by joining edge to edge a finite number of unit squares. A tiling ..." | ||
Том 24, № 6 (2017) | К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов | Аннотация PDF (Rus) похожие документы |
Наталья Геннадьевна Кушик, Нина Владимировна Евтушенко, Игорь Борисович Бурдонов, Александр Сергеевич Косачев | ||
"... sequences for finite input/output automata. Corresponding sequences can be effectively used for the current ..." | ||
Том 24, № 6 (2017) | Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Макаров | ||
"... In this paper, an approach to the construction of nonlinear output tracking control on a finite ..." | ||
Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... systems behaviour is a finite state transducer which operates over an input alphabet of control signals ..." | ||
Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
"... is a concurrent finite state machine inside. The paradigm is intended for PLC (programmable logic controllers ..." | ||
Том 21, № 4 (2014) | О пространстве путей на полных пересечениях в грассманианах | Аннотация PDF (Rus) похожие документы |
Светлана Михайловна Ермакова | ||
"... interest, this result will be used in our future work on generalisation of splitting theorems for finite ..." | ||
Том 26, № 1 (2019) | Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе | Аннотация PDF (Rus) похожие документы |
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин | ||
"... architecture, which produces finite optimization by ranking and deriving the most common exceptions from large ..." | ||
Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
"... element of the finite dimensional data structure, and the inference rule for them uses the substitution ..." | ||
Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
Н. О. Гаранина, Е. А. Сидорова | ||
"... system are specified by universal branching time logic ∀CTL with finite deterministic automata as atomic ..." | ||
Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
"... behaviour by using a system of extended finite state machines (EFSM). This paper outlines the metamodel ..." | ||
1 - 75 из 120 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)