Сортировать по:
Выпуск | Название | |
Том 19, № 6 (2012) | О некоторых следствиях теоремы о трансверсалях | Аннотация PDF (Rus) похожие документы |
Владимир Леонидович Дольников | ||
"... In this paper we consider theorems which are generalizations of the well-known corollaries ..." | ||
Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
"... complexity of ¯nding the deductions in comparison with the known systems for automated theorem proving ..." | ||
Том 14, № 4 (2007) | О теоремах Р. Радо и Д. Уотсона | Аннотация PDF (Rus) похожие документы |
В. Л. Дольников | ||
"... Theorems of R. Rado and of D. Watson are generalizations for theorems P. Kirchberger and C ..." | ||
Том 28, № 4 (2021) | Рекурсивная проверка включения для рекурсивно определенных подтипов | Аннотация PDF (Rus) похожие документы |
Ханс Де Нивелле | ||
Том 19, № 6 (2012) | Дедуктивная верификация протокола скользящего окна | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий | ||
Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
"... Статья посвящена разработке подхода к решению основных задач теории супервизорного управления ..." | ||
Том 23, № 5 (2016) | Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием | Аннотация PDF (Rus) похожие документы |
П. Н. Нестеров | ||
"... of the fundamental matrix of L-diagonal system may be constructed by the use of the classical Levinson’s theorem. ..." | ||
Том 21, № 6 (2014) | Разработка самоприменимой системы верификации. Теория и практика | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
"... foundations of Hoare’s logic were examined in classical works, and some soundness/completeness theorems ..." | ||
Том 16, № 3 (2009) | О неравенстве типа неравенства Джексона в диадическом пространстве BMO | Аннотация PDF (Rus) похожие документы |
И. П. Иродова | ||
"... In this paper the direct theorem of the approximation theory for functions from the dyadic Besov ..." | ||
Том 20, № 4 (2013) | К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3 | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Магазино | ||
Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
Томас Баар, Сергей Михайлович Старолетов | ||
"... KeYmaera is an interactive theorem prover and is used to verify safety properties of cyber-physical ..." | ||
Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
Томас Баар, Хорст Шульте | ||
"... KeYmaeraX is a Hoare-style theorem prover for hybrid systems. A hybrid system can be seen ..." | ||
Том 22, № 3 (2015) | РЕШЕНИЕ ПАРАБОЛИЧЕСКОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ С ПОМОЩЬЮ ФОРМУЛЫ ФЕЙНМАНА – I | Аннотация похожие документы |
И. Д. Рeмизoв | ||
Том 21, № 3 (2014) | Счётная аддитивность распространения оператора дифференцирования | Аннотация PDF (Rus) похожие документы |
Анатолий Николаевич Морозов | ||
"... condition among the classic characteristics of functions. As a corollary, it comes out that, if a function f ..." | ||
Том 21, № 5 (2014) | Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II | Аннотация PDF (Rus) похожие документы |
Павел Николаевич Нестеров | ||
Том 23, № 1 (2016) | Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II | Аннотация PDF (Rus) похожие документы |
П. Н. Нестеров | ||
Том 24, № 1 (2017) | Об асимптотике решений гармонического осциллятора с интегральным возмущением | Аннотация PDF (Rus) похожие документы |
Павел Николаевич Нестеров | ||
"... to the so called L-diagonal form. We then apply the classical Levinson’s theorem to construct ..." | ||
Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
Николай Вячеславович Шилов | ||
"... and iterative programs (that can later serve as a casestudy for automatic theorem proving), or just ..." | ||
Том 14, № 2 (2007) | Бифуркация Андронова - Хопфа для релейных систем | Аннотация PDF (Rus) похожие документы |
О. А. Чернышева | ||
"... theorem is used to develop an analog to the Andronov-Hopf bifurcation theorem. ..." | ||
Том 21, № 5 (2014) | Применение метода квазинормальных форм к математической модели отдельного нейрона | Аннотация PDF (Rus) похожие документы |
Маргарита Михайловна Преображенская | ||
"... , the production of a quasi-normal form and the subsequent application of the conformity theorems. In this case ..." | ||
Том 26, № 4 (2019) | Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием | Аннотация PDF (Rus) похожие документы |
Владимир Евгеньевич Горюнов | ||
"... as for boundary value problems, it is not possible to prove the well-known Oseledets theorem which allows us ..." | ||
Том 19, № 5 (2012) | О теории алгебраических моделей программ с процедурами | Аннотация PDF (Rus) похожие документы |
Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
"... самих программ на их образах - схемах программ. Излагаются концепции, лежащие в основе построения теории ..." | ||
Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
"... is suggested. A method based on theory extension by new theorems to prove verification conditions is suggested ..." | ||
Том 25, № 1 (2018) | Краевые состояния и киральные солитоны в топологических полях Черна–Саймонса– Холла | Аннотация похожие документы |
Агалар Магомед-Закиевич Агаларов, Тельман Алимагомедович Гаджимурадов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин | ||
"... the Hirota bilinear operator algebra and a current theorem, it is shown that, in contrast to the usual vector ..." | ||
Том 24, № 4 (2017) | Уточнение свойств центроида дерева | Аннотация PDF (Rus) похожие документы |
Юрий Анатольевич Белов, Сергей Иванович Вовчок | ||
"... ’s theorem is used, three images are used in the presentation of the material. ..." | ||
Том 24, № 5 (2017) | Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка | Аннотация PDF (Rus) похожие документы |
Владимир Евгеньевич Балабаев | ||
"... methods. Some analogues of the theorems of Liouville, Weierstrass, Cauchy, Gauss, Morera, an analogue ..." | ||
Том 24, № 5 (2017) | Об n-мерных симплексах, удовлетворяющих включениям S ⊂ [0, 1] n ⊂ nS | Аннотация PDF (Rus) похожие документы |
Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
"... leq n+1).) Also we give some corollaries. In the second part of the paper, we consider the following ..." | ||
Том 14, № 3 (2007) | О работах А.Ю. Левина по теории линейных дифференциальных уравнений | PDF (Rus) похожие документы |
В. Ш. Бурд | ||
Том 21, № 4 (2014) | О пространстве путей на полных пересечениях в грассманианах | Аннотация PDF (Rus) похожие документы |
Светлана Михайловна Ермакова | ||
"... interest, this result will be used in our future work on generalisation of splitting theorems for finite ..." | ||
Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
М. С. Ушакова, А. И. Легалов | ||
"... and theorems library management system” and “Errors analysis and output of information about errors”. According ..." | ||
Том 20, № 3 (2013) | Самоорганизация, сети, будущее | Аннотация PDF (Rus) похожие документы |
Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина | ||
Том 22, № 3 (2015) | ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ | Аннотация похожие документы |
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко | ||
Том 22, № 3 (2015) | ИССЛЕДОВАНИЕ КОЛЕБАТЕЛЬНЫХ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНО-РАЗНОСТНОГО УРАВНЕНИЯ ВТОРОГО ПОРЯДКА В ОДНОМ КРИТИЧЕСКОМ СЛУЧАЕ | Аннотация PDF (Rus) похожие документы |
Е. П. Кубышкин, А. Р. Морякова | ||
"... исследования используется теория интегральных многообразий и метод нормальных форм нелинейных дифференциальных ..." | ||
Том 16, № 3 (2009) | Исправления и дополнения к статье «Поправка к периоду решения уравнения, моделирующего динамику мембранного потенциала | Аннотация PDF (Rus) похожие документы |
О. А. Дунаева, М. Л. Мячин | ||
"... In this paper we present a corrected version of the theorem from the article "A Correction ..." | ||
Том 22, № 2 (2015) | Равномерность векторных расслоений конечного ранга на полных пересечениях конечной коразмерности в линейных инд-грассманианах | Аннотация PDF (Rus) похожие документы |
Светлана Михайловна Ермакова | ||
"... type. The motiavtion of this work is to extend theorems of Barth - Van de Ven - Tjurin - Sato type ..." | ||
Том 25, № 1 (2018) | Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова | Аннотация PDF (Rus) похожие документы |
Владимир Евгеньевич Горюнов | ||
"... a theorem on the existence of an orbitally asymptotically stable limit cycle, which bifurcates from ..." | ||
Том 25, № 1 (2018) | О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений | Аннотация PDF (Rus) похожие документы |
Агалар Магомед-Закиевич Агаларов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин, Антон Викторович Степанов | ||
"... энтропии Кульбака–Лейблера в теории точечных отображений. Показано, что эта величина информационного ..." | ||
Том 30, № 4 (2023) | Алгоритм предсказания связей в саморегулирующейся сети с адаптивной топологией на базе теории графов и машинного обучения | Аннотация PDF (Rus) похожие документы |
Евгений Юрьевич Павленко | ||
Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
Томас Баар, Хорст Шульте | ||
"... /Simulink® -model into a hybrid program (HP), i.e. into the input syntax of the theorem prover KeYmaera ..." | ||
Том 15, № 1 (2008) | Интегральные близкие к эйлеровой характеристики полутоновых цифровых изображений | Аннотация PDF (Rus) похожие документы |
П. Г. Парфенов, И. А. Каплий | ||
"... of integral expression. Deduced theorem allows to calculate this characteristic by summation of some function ..." | ||
Том 31, № 4 (2024) | Устранение неоднозначностей в расширенных регулярных выражениях с обратными ссылками посредством применения правил переписывания | Аннотация похожие документы |
Дарья Наильевна Исмагилова, Антонина Николаевна Непейвода | ||
"... as a semiring satisfying certain theorems of Kleene algebra. Using these theorems as term rewriting rules, we ..." | ||
Том 17, № 2 (2010) | О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ | Аннотация PDF (Rus) похожие документы |
А. В. Николаев | ||
Том 18, № 1 (2011) | Хаотические колебания одной распределенной динамическом системы с бесконечным запаздыванием | Аннотация PDF (Rus) похожие документы |
А. Ю. Коверга, Е. П. Кубышкин | ||
Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
Том 13, № 1 (2006) | Формула для ляпуновской величины задачи о конкурентной борьбе | Аннотация PDF (Rus) похожие документы |
А. Д. Пендюр, Д. А. Пендюр | ||
"... формулы; приведено одно следствие. ..." | ||
Том 19, № 3 (2012) | Синергетика — от прошлого к будущему | Аннотация PDF (Rus) похожие документы |
Георгий Геннадьевич Малинецкий | ||
"... . Обсуждается развитие теории самоорганизации, или синергетики, и его отражение в серии книг «Синергетика: от ..." | ||
Том 19, № 1 (2012) | Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем | Аннотация PDF (Rus) похожие документы |
Евгений Павлович Кубышкин, Ольга Анатольевна Хребтюгова | ||
"... equations (a hybrid system of differential equations). We have proved the existence theorem ..." | ||
Том 19, № 2 (2012) | Потоки в обобщенных сетях со связанными дугами | Аннотация PDF (Rus) похожие документы |
Владимир Александрович Скороходов | ||
"... the minimum throughput of these arcs. It is shown that the theorem by Ford and Fulkerson, according to which ..." | ||
Том 20, № 6 (2013) | О группах гомологий одного подпространства триангуляций двумерного симплекса с не более чем 6 точками разбиения границы | Аннотация PDF (Rus) похожие документы |
Светлана Ивановна Яблокова | ||
"... . As a result, we obtain a theorem about the homology groups Hn in cases n = 0, . . . , 5. The article ..." | ||
Том 22, № 5 (2015) | Асимптотика собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота | Аннотация PDF (Rus) похожие документы |
С. А. Кащенко | ||
"... neighborhood of the turning points is essential. The main result is a theorem on the limit values ..." | ||
Том 21, № 2 (2014) | Некоторые аппроксимационные свойства групп конечного ранга | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
"... The generalization of one classical Seksenbaev theorem for polycyclic groups is obtained ..." | ||
Том 25, № 1 (2018) | Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией | Аннотация PDF (Rus) похожие документы |
Николай Николаевич Нефедов, Егор Игоревич Никулин | ||
"... are given, which ensure the fulfillment of the existence theorem of the contrast structure ..." | ||
Том 25, № 2 (2018) | Коды в диэдральной групповой алгебре | Аннотация PDF (Rus) похожие документы |
Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк | ||
"... algebras, are an option. The Artin–Wedderburn theorem implies that a group algebra is isomorphic ..." | ||
Том 20, № 5 (2013) | Экстремальная динамика системы трех однонаправленно связанных сингулярно возмущенных уравнений из нейродинамики | Аннотация PDF (Rus) похожие документы |
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов | ||
"... . In analyzing this quasi-normal form, we can state on the base of the accordance theorem, that any preassigned ..." | ||
Том 24, № 4 (2017) | Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов | Аннотация PDF (Rus) похожие документы |
Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов | ||
"... of computational complexity. Further, we introduce a set of theorems that facilitate the analysis in cases when ..." | ||
Том 22, № 2 (2015) | Кэширование запросов к реляционной базе данных с использованием областей истинности | Аннотация PDF (Rus) похожие документы |
Сергей Владимирович Мосин, Сергей Владимирович Зыкин | ||
"... distinguishes our paper from the existing technologies. We propose four theorems for testing the required ..." | ||
Том 17, № 3 (2010) | Разрешимость теории Th(w, 0,1, <, +, f0,..., fn) | Аннотация PDF (Rus) похожие документы |
А. С. Снятков | ||
"... Данная работа посвящена исследованию свойств теорий, образованных из арифметики А.Л. Семенова ..." | ||
Том 20, № 5 (2013) | Особенности колебания решений адиабатических осцилляторов с запаздыванием | Аннотация PDF (Rus) похожие документы |
Павел Николаевич Нестеров, Евгений Николаевич Агафончиков | ||
"... the asymptotic formulas. Finally, we apply the functional differential analog of the Levinson theorem. We use ..." | ||
Том 20, № 3 (2013) | Параметрический резонанс в гармоническом осцилляторе с переменной частотой собственных колебаний | Аннотация PDF (Rus) похожие документы |
Павел Николаевич Нестеров | ||
"... theorem to get the asymptotics for its solutions. Finally, we analyze the features of a parametric ..." | ||
Том 17, № 4 (2010) | Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography | Аннотация PDF (Rus) похожие документы |
, , , , | ||
"... introduce the theorems which are required to prove the correctness of a modified algorithm variant ..." | ||
Том 22, № 2 (2015) | О существовании ABA-факторизаций у спорадических групп ранга 3 | Аннотация PDF (Rus) похожие документы |
Лев Сергеевич Казарин, Илья Андреевич Рассадин, Денис Николаевич Сахаров | ||
"... factorizations for sporadic groups of rank 3. We have proved the existence theorem of ABA-factorization ..." | ||
Том 23, № 5 (2016) | Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов | Аннотация PDF (Rus) похожие документы |
Е. В. Коновалов | ||
"... of the two considered neural network models. We prove the theorem about the equivalence of the dynamics ..." | ||
Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
"... of describing behavior is quite expressive — the theorem on the Turing completeness of the declarative LTL ..." | ||
Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
"... , if the theorem prover fails to determine the truth of the condition, we can focus on proving its falsity. Thus ..." | ||
Том 20, № 2 (2013) | О поворотах цифровых изображений | Аннотация PDF (Rus) похожие документы |
Павел Геннадьевич Парфенов | ||
"... a system of three-pixel hexagonal fragments to which the theorem is proved on the Eulerian characteristic ..." | ||
Том 22, № 2 (2015) | Полнота динамики значений свойств данных в СУБД DIM | Аннотация PDF (Rus) похожие документы |
Алексей Николаевич Петров, Вадим Сергеевич Рублев | ||
"... procedures of reading and writing objects from / to the memory tape. Basing on the earlier proved theorem ..." | ||
Том 22, № 4 (2015) | О финитной отделимости подгрупп в расщепляемых расширениях | Аннотация PDF (Rus) похожие документы |
А. А. Кряжева | ||
"... . In this paper we obtained a generalization of the Allenby and Gregoras theorem by replacing the condition ..." | ||
Том 24, № 3 (2017) | Решение вида движущегося фронта двумерной задачи реакция-диффузия | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Антипов, Владимир Тарасович Волков, Наталия Тимуровна Левашова, Николай Николаевич Нефедов | ||
"... of the Vasil’eva algorithm and the existence theorem is carried out using the asymptotic method ..." | ||
Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
"... основе теории базовых протоколов А.А. Летичевского и поддерживающего теорию инструментария символьной ..." | ||
Том 26, № 2 (2019) | Существование несмещенной состоятельной оценки энтропии для специальной меры Бернулли | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Тимофеев | ||
"... parameters. The main result of this paper is Theorem. Let (m) - be the Bernoulli measure ..." | ||
Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
И. В. Марьясов, В. А. Непомнящий | ||
"... . The C-kernel language [19] is a subset of C-light. The theorem of translation correctness was proved ..." | ||
Том 23, № 2 (2016) | О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики | Аннотация PDF (Rus) похожие документы |
Т. В. Прохорова | ||
"... , then, by the Skorobogatov – Zarhin theorem, [Br′(V )/ Im[Br(k) → Br′(V )]](non −p) is finite, so in this case the groups Br ..." | ||
Том 24, № 5 (2017) | Существование несмещенной оценки энтропии для специальной меры Бернулли | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Тимофеев | ||
"... is Theorem. Let (mu) be the Bernoulli measure with probabilities (p_0,p_1>0), (p_0+p_1=1), (p_0=p_1 ..." | ||
Том 27, № 1 (2020) | Об одном разбиении отрезка, применяемом для оценки энтропии | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Тимофеев | ||
"... )). The main result of this paper. ({bf Theorem.} \ Q_n' = 1 - Q_n''' =left { sum_{i=1}^k q^{n+d_i}, k ..." | ||
1 - 75 из 115 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)