Сортировать по:
| Выпуск | Название | |
| Том 24, № 3 (2017) | Решение вида движущегося фронта двумерной задачи реакция-диффузия | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Антипов, Владимир Тарасович Волков, Наталия Тимуровна Левашова, Николай Николаевич Нефедов | ||
| "... the motion of the front. For this purpose a transition to local coordinates takes place in the region ..." | ||
| Том 23, № 3 (2016) | Применение метода дифференциальных неравенств для обоснования решения системы параболических уравнений в виде движущегося фронта | Аннотация PDF (Rus) похожие документы |
| Н. Т. Левашова, А. А. Мельникова, С. В. Быцюра | ||
| "... , the solution of a parabolic equation behaves as a moving front. For the purpose of proving the existence ..." | ||
| Том 25, № 1 (2018) | Асимптотическое приближение решения уравнения реакция-диффузия-адвекция с нелинейным адвективным слагаемым | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Антипов, Наталия Тимуровна Левашова, Николай Николаевич Нефедов | ||
| "... We consider a solution in a moving front form of the initial-boundary value problem ..." | ||
| Том 25, № 1 (2018) | Периодические изменения автоволнового фронта в двумерной системе параболических уравнений | Аннотация PDF (Rus) похожие документы |
| Алина Александровна Мельникова, Наталья Николаевна Дерюгина | ||
| "... The work is aimed to study front solutions of a nonlinear system of parabolic equations in a two ..." | ||
| Том 25, № 1 (2018) | Верхнее и нижнее решения для системы уравнений типа ФицХью–Нагумо | Аннотация PDF (Rus) похожие документы |
| Светлана Владимировна Быцюра, Наталия Тимуровна Левашова | ||
| "... We consider a moving front solution of a singularly perturbed FitzHugh–Nagumo type system ..." | ||
| Том 25, № 1 (2018) | Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией | Аннотация PDF (Rus) похожие документы |
| Николай Николаевич Нефедов, Егор Игоревич Никулин | ||
| "... with an internal transition layer to be provided than in previous studies. For convenience, the known results ..." | ||
| Том 23, № 3 (2016) | Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток | Аннотация похожие документы |
| Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер | ||
| "... perturbed reaction-diffusion-advection models with solutions containing moving interior layers (fronts). We ..." | ||
| Том 24, № 3 (2017) | Решения уравнений нестационарного фронта реакции с вырожденными точками равновесия | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Быков, Кристина Евгениевна Ермакова | ||
| "... , that the rate of asymptotic aspiration of concentration to equilibrium values for a moving front becomes power ..." | ||
| Том 23, № 3 (2016) | Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем | Аннотация PDF (Rus) похожие документы |
| А. А. Быков | ||
| "... and the moving front for the carriers in semiconductors. The profile of the moving internal transitional layer ..." | ||
| Том 23, № 5 (2016) | Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо | Аннотация PDF (Rus) похожие документы |
| А. А. Мельникова, Р. Л. Аргун | ||
| "... , this paper provides a formula that specifies the location of internal transition layers. The results were ..." | ||
| Том 22, № 1 (2015) | Сингулярно возмущённая краевая задача с многозонным внутренним переходным слоем | Аннотация PDF (Rus) похожие документы |
| Валентин Федорович Бутузов | ||
| "... values of the small parameter the problem has a solution with the transition from the two-tuple root ..." | ||
| Том 24, № 3 (2017) | О контрастных структурах с многозонным внутренним слоем | Аннотация PDF (Rus) похожие документы |
| Валентин Фёдорович Бутузов | ||
| "... that in the first case the problem has a solution with the transition from the two-tuple root ..." | ||
| Том 14, № 1 (2007) | Автоморфизмы систем переходов | Аннотация PDF (Rus) похожие документы |
| Ю. А. Белов | ||
| "... A automorphism of transitions system is an isomorphism of a system oneself. In the article ..." | ||
| Том 21, № 1 (2014) | Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко, Валерий Евгеньевич Фролов | ||
| "... from the corresponding attractors are adduced in this work. Typical graphics of wave fronts motion ..." | ||
| Том 30, № 2 (2023) | Графы сигнальных переходов для схем асинхронного тракта данных | Аннотация похожие документы |
| Александр Кушнеров, Сергей Быстров | ||
| "... The paper proposes a method for constructing signal transition graphs (STGs), which are directly ..." | ||
| Том 27, № 2 (2020) | Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами | Аннотация похожие документы |
| Владимир Анатольевич Башкин | ||
| "... closed under transition firing) in Petri nets with invisible transitions (where some transitions may ..." | ||
| Том 24, № 1 (2017) | Существование и устойчивость контрастных структур в многомерных задачах реакция-диффузия-адвекция в случае сбалансированной нелинейности | Аннотация PDF (Rus) похожие документы |
| Марина Александровна Давыдова, Николай Николаевич Нефедов | ||
| "... basic conditions of the existence of solutions with internal transition layers (contrust structures ..." | ||
| Том 24, № 3 (2017) | Асимптотическое исследование решения уравнения теплопроводности вблизи границы раздела двух сред | Аннотация PDF (Rus) похожие документы |
| Наталия Тимуровна Левашова, Ольга Александровна Николаева | ||
| "... function describing heat sources. The coefficient of thermal diffusivity in the water-air transition ..." | ||
| Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
| Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
| "... and transition systems with independence can be considered as distributed asynchronous automata. Time distributed ..." | ||
| Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
| Андрей Валентинович Климов | ||
| Том 23, № 3 (2016) | Существование и устойчивость периодических решений уравнения реакция-диффузия в двумерном случае | Аннотация похожие документы |
| Н. Н. Нефедов, Е. И. Никулин | ||
| "... in the two-dimensional case. The case when there is an internal transition layer under unbalanced ..." | ||
| Том 24, № 3 (2017) | Построение динамически адаптированной сетки для эффективного численного решения сингулярно возмущенного уравнения типа реакция-адвекция-диффузия | Аннотация похожие документы |
| Дмитрий Витальевич Лукьяненко, Владимир Тарасович Волков, Николай Николаевич Нефедов | ||
| "... This work develops a theory of the asymptotic-numerical investigation of the moving fronts ..." | ||
| Том 23, № 5 (2016) | Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред | Аннотация PDF (Rus) похожие документы |
| Ж. О. Домбровская | ||
| "... of the problem (regular part, boundary layer and transition zone placed between them) in detail. The features ..." | ||
| Том 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) похожие документы |
| Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина | ||
| Том 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) похожие документы |
| Н. В. Шилов | ||
| Том 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 ..." | ||
| Том 23, № 3 (2016) | Оценки погрешности в сбалансированных нормах методов ко- нечных элементов на сетках Шишкина для задач реакции-диффузии | Аннотация PDF (Rus) похожие документы |
| Р. Ханс-Гёрг | ||
| "... . Перемасштабирование H1-полунормы приводит к сбалансированной норме, которая правильно отражает поведение переходного ..." | ||
| Том 20, № 3 (2013) | Преобразования задач оптимального управления | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| "... reduction by a transition from an original argument to a new one, by a detection of a variable staying ..." | ||
| Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) похожие документы |
| Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
| "... , троичность и наличие точек фронтов. Троичность сигнала означает, что наряду с основными логическими ..." | ||
| Том 22, № 5 (2015) | Фазовая модель Курамото с инерцией: бифуркации потери синхронности и перехода к хаосу | Аннотация PDF (Rus) похожие документы |
| В. Н. Белых, М. И. Болотов, Г. В. Осипов | ||
| "... equations. We prove that the transition from synchronous to asynchronous oscillations occurs via bifurcation ..." | ||
| Том 23, № 3 (2016) | Асимптотический анализ в задаче моделирования процесса переноса газовой примеси в приповерхностном слое атмосферы | Аннотация PDF (Rus) похожие документы |
| М. А. Давыдова, Н. Т. Левашова, С. А. Захарова | ||
| "... внутренними переходными слоями (контрастных структур). ..." | ||
| Том 25, № 1 (2018) | Особенности локальной динамики модели оптико-электронного осциллятора с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Елена Викторовна Григорьева, Сергей Александрович Кащенко, Дмитрий Владимирович Глазков | ||
| "... differential equations (DDE). The essential feature of this model is a small parameter in front of a derivative ..." | ||
| Том 25, № 1 (2018) | Об одной сингулярно возмущенной задаче нелинейной теплопроводности в случае сбалансированной нелинейности | Аннотация PDF (Rus) похожие документы |
| Марина Александровна Давыдова, Светлана Александровна Захарова | ||
| "... of the transition layer. To justify the constructed formal asymptotics, we use an asymptotic method of differential ..." | ||
| Том 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) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... Symbolic model checking is based on a compact representation of sets of states and transition ..." | ||
| Том 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 ..." | ||
| Том 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 ..." | ||
| Том 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, № 5 (2018) | Представление универсальных гиперграфических автоматов автономными выходными сигналами | Аннотация похожие документы |
| Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов | ||
| "... are invariant under actions of transition and output functions. Universally attracting objects of a category ..." | ||
| Том 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 ..." | ||
| Том 31, № 2 (2024) | Об исследовании одного способа выявления аномального выполнения программы | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Татьяна Александровна Павлова | ||
| "... be noted that the effect of the transition from the basic algorithm to the proposed one, as the results ..." | ||
| 1 - 55 из 55 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
