Сортировать по:
| Выпуск | Название | |
| Том 15, № 1 (2008) | Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор | Аннотация PDF (Rus) похожие документы |
| Е. В. Коршунова, А. Н. Куликов | ||
| "... of Normal Forms we show the existence of stable spatial non-homogeneous invariant tori. ..." | ||
| Том 23, № 6 (2016) | Устойчивые циклы и торы системы из трех и четырех диффузионно связанных осцилляторов | Аннотация PDF (Rus) похожие документы |
| Е. А. Марушкина | ||
| Том 16, № 4 (2009) | Циклы и торы деловой активности в одной математической модели макроэкономики | Аннотация PDF (Rus) похожие документы |
| Е. С. Кокуйкин, А. Н. Куликов | ||
| "... This paper analyzes the well known multiplier-accelerator model from a mathematical point of view ..." | ||
| Том 21, № 1 (2014) | Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... is the possibility of coexistence, along with the stable zero state, of stable invariant tori of arbitrary finite ..." | ||
| Том 20, № 5 (2013) | Статистические характеристики управляемых систем, возникающие в различных моделях естествознания | Аннотация PDF (Rus) похожие документы |
| Яна Юрьевна Ларина, Людмила Ивановна Родина | ||
| "... and differential inclusions. This expansion consists in studying statistically invariant sets and statistical ..." | ||
| Том 25, № 1 (2018) | Инвариантные характеристики вынужденных колебаний балки с продольным сжатием | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин | ||
| "... with chaotic behaviour. To study the invariant numerical characteristics of the attractor of the corresponding ..." | ||
| Том 19, № 6 (2012) | Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Анатольевич Зайцев | ||
| "... A technique of the computing grid verification using invariants of infinite Petri nets ..." | ||
| Том 16, № 3 (2009) | Разностные аппроксимации уравнения «реакция - диффузия» на отрезке | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин | ||
| Том 26, № 4 (2019) | Направляемый свойством поиск реляционных инвариантов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Мордвинов | ||
| "... may arise, e.g., from relational verification tasks, PDR aims to infer an inductive invariant for each ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... The paper considers methods of program transformation equivalent to optimizing the cycle invariant ..." | ||
| Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) похожие документы |
| М. Г. Доррер | ||
| "... the Petri net matrix representation allows finding net invariants thus solving a task of finding all ..." | ||
| Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
| Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
| "... The article describes a method of finding business process invariants basing on a given model ..." | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... in C-light programs. The method includes an inference rule for the iteration without invariants, which ..." | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| "... be provided with an invariant whose construction is often a challenge. As a rule, the methods of invariant ..." | ||
| Том 21, № 3 (2014) | Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. I | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... of the so-called critical manifold that is positively invariant for trajectories of the initial system. We ..." | ||
| Том 20, № 5 (2013) | Релаксационные колебания в моделях многовидовых сообществ | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко | ||
| "... Some families of mathematical models of biological populations are considered. Invariant ratios ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases ..." | ||
| Том 25, № 5 (2018) | Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
| "... of parameters close to the critical ones on a stable invariant integral manifold. This normal form is reduced ..." | ||
| Том 20, № 3 (2013) | Диффузионный хаос в задаче «реакция–диффузия» c гантелеобразной областью определения пространственной переменной | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Павел Леонидович Шокин | ||
| "... emergence were studied and the dependence of invariant characteristics of the attractor on the bridge width ..." | ||
| Том 26, № 3 (2019) | Новый подход к моделированию генных сетей | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... and stability problem of a relaxation periodic solution that is invariant with respect to cyclic permutations ..." | ||
| Том 24, № 5 (2017) | Асимптотическое интегрирование некоторых дифференциальных уравнений в банаховом пространстве | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... is positively invariant with respect to the initial equation and attracts all the trajectories of the weak ..." | ||
| Том 27, № 3 (2020) | Особенности алгоритмической реализации разностных аналогов логистического уравнения с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Сергей Александрович Кащенко, Анна Олеговна Толбей | ||
| "... . In particular, this map does not have a stable invariant curve bifurcating under the oscillatory loss ..." | ||
| Том 26, № 3 (2019) | Сравнение диффеоморфных изображений на основе формирования персистентных гомологий | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Чуканов | ||
| "... is the study invariants of big data. A method based on persistent cohomology is proposed that combines ..." | ||
| Том 21, № 6 (2014) | О некоторых задачах реконфигурирования программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий | ||
| Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... -approximation approach. One the other hand, the use of the classic approach requires defining loop invariants ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... as control loop invariants. However, control loop invariants that represent requirements are not sufficient ..." | ||
| Том 25, № 1 (2018) | Уравнение Курамото–Сивашинского. Локальный аттрактор, заполненный неустойчивыми периодическими решениями | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Куликов, Дмитрий Анатольевич Куликов | ||
| "... dynamical systems: the integral (invariant) manifold method, the Poincare normal form theory, and asymptotic ..." | ||
| Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... invariants. Symbolic replacement of definite iterations by recursive functions is the base of this method ..." | ||
| Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) похожие документы |
| Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
| "... of the extension principle by introducing analogs of the Lagrange multipliers, depending on the state and time ..." | ||
| Том 24, № 5 (2017) | Бифуркации пространственно неоднородных решений в одной краевой задаче для обобщенного уравнения Курамото–Сивашинского | Аннотация PDF (Rus) похожие документы |
| Алина Вадимовна Секацкая | ||
| "... are studied in the case of their stability changes. The method of invariant manifolds coupled with the normal ..." | ||
| Том 23, № 5 (2016) | Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием | Аннотация PDF (Rus) похожие документы |
| П. Н. Нестеров | ||
| "... dynamical system. This manifold is attractive and positively invariant, and, therefore, the dynamics of all ..." | ||
| Том 21, № 1 (2014) | Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Кудряшов, Дмитрий Игоревич Синельщиков | ||
| "... неклассические симметрии данного уравнения в частных производных. Показано, что исследуемое уравнение инвариантно ..." | ||
| Том 23, № 3 (2016) | Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение | Аннотация похожие документы |
| А. И. Задорин | ||
| "... to a certain order, and the boundary layer component is a function, known within a multiplier; its derivatives ..." | ||
| Том 20, № 3 (2013) | Преобразования задач оптимального управления | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| "... unchanged through equations of the system (invariant), by extension of the original problem and a transition ..." | ||
| Том 22, № 1 (2015) | Катастрофа голубого неба в системах с неклассическими релаксационными колебаниями | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... релаксационный цикл или устойчивый двумерный инвариантный тор. Рассматривается также вопрос о появлении ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... and Hoare logic for the C-kernel as input. To solve the well-known problem of determining loop invariants ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... the user annotate invariants and contracts to states of the hybrid automaton. Thus, the user can employ ..." | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... , invariants such as characteristic strings of the set and of its number of elements are used for verification ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... (in particular, on the control object), invariants of the control cycle, pre- and postconditions of external ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... tree, checking invariants and so on. The generation process consists of two stages. At the first stage ..." | ||
| Том 25, № 5 (2018) | Представление универсальных гиперграфических автоматов автономными выходными сигналами | Аннотация похожие документы |
| Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов | ||
| "... are invariant under actions of transition and output functions. Universally attracting objects of a category ..." | ||
| Том 31, № 4 (2024) | Применение TLA+/TLC для моделирования и верификации криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... as the required security properties in the form of invariants. The model of a protocol describes its behavior ..." | ||
| 1 - 42 из 42 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
