Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 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 диссертация)