Preview

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

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

Поиск


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