Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 4 (2019) Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню Аннотация  похожие документы
Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес
"... доказательств в их развитие может помочь обеспечить выполнение свойств безопасности и получить эффективный ..."
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
 
Том 19, № 4 (2012) Первая ярославская летняя школа по дискретной и вычислительной геометрии Аннотация  PDF (Rus)  похожие документы
Николай Долбилин, Г. Эдельсбруннер, Александр Иванов, Олег Мусин
"... Обобщены результаты работы первой ярославской летней школы по дискретной и вычислительной геометрии ..."
 
Том 24, № 5 (2017) Устойчивость решений дискретных краевых задач для уравнения двумерной фильтрации Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 25, № 4 (2018) О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый
"... Технология блокчейн основана на принципе доказательства работой «Proof-ofwork». Суть данного ..."
 
Том 19, № 5 (2012) Современные открытые проблемы в дискретной и вычислительной геометрии Аннотация  PDF (Rus)  похожие документы
Герберт Эдельсбруннер, Александр Иванов, Роман Карасев
"... , выходящих за рамки стандартного круга понятий дискретной геометрии. Несмотря на относительно простые ..."
 
Том 18, № 3 (2011) О двух конечномерных аппроксимациях периодической краевой задачи Аннотация  PDF (Rus)  похожие документы
Николай Андреевич Демьянков
"... краевой задачи влечёт за собой разрешимость её дискретных вариантов. Исследуется вопрос о сходимости ..."
 
Том 18, № 1 (2011) Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
"... результаты используются для построения асимптотики решений некоторых уравнений из класса дискретных ..."
 
Том 22, № 2 (2015) Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
"... передачу данных по ненадёжным каналам. Формальное доказательство корректности этого протокола требует ..."
 
Том 17, № 4 (2010) Об исчислении позитивно-образованных формул для автоматического доказательства теорем Аннотация  PDF (Rus)  похожие документы
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин
"... известными системами автоматического доказательства теорем (АДТ), как метод резолюций и генценовские ..."
 
Том 25, № 3 (2018) О дифференцируемости по Тейлору в пространствах Lp, 0 < p ≤ ∞ Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... Функция (fin L_p[I], ;p>0,) называется ((k,p))-дифференцируемой в точке (x_0in I,) если ..."
 
Том 19, № 1 (2012) Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Ольга Анатольевна Хребтюгова
"... дифференциальных уравнений возникают при изучении дискретно-континуальных механических систем. ..."
 
Том 21, № 5 (2014) Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов
"... Рассмотрена начально-краевая задача, моделирующая вращение дискретно-континуальной механической ..."
 
Том 19, № 6 (2012) О некоторых задачах локализации в триангуляциях Делоне Аннотация  PDF (Rus)  похожие документы
Наталья Федоровна Дышкант
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация  PDF (Rus)  похожие документы
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
"... применяться дискретные подходы. Среди них исследователи выделяют методы, основанные на использовании клеточных ..."
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
 
Том 25, № 1 (2018) О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений Аннотация  PDF (Rus)  похожие документы
Агалар Магомед-Закиевич Агаларов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин, Антон Викторович Степанов
 
Том 26, № 4 (2019) Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... истинности условия, можно сосредоточиться на доказательстве его ложности. Ранее нами был разработан способ ..."
 
Том 22, № 5 (2015) Асимптотика моментов сингулярной функции Лебега Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... Напомним определение сингулярной функции Лебега. Пусть в результате бросания несимметричной монеты ..."
 
Том 23, № 1 (2016) Асимптотика моментов функции Такаги Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... Функция Такаги является простым примером непрерывной нигде не дифференцируемой функции и ..."
 
Том 23, № 5 (2016) Полилогарифмы и асимптотика моментов сингулярной функции Лебега Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... Напомним, что сингулярная функция Лебега (L(t)) определяется как единственное решение уравнения ..."
 
Том 24, № 3 (2017) Исследование динамики класса одномерных кусочно-линейных отображений с одним разрывом Аннотация  PDF (Rus)  похожие документы
Григорий Андреевич Ахременко
"... установлено,  что для  данного класса  функций, при условии непрерывности  на рассматриваемое отображение, не ..."
 
Том 17, № 3 (2010) Разрешимость теории Th(w, 0,1, <, +, f0,..., fn) Аннотация  PDF (Rus)  похожие документы
А. С. Снятков
"... добавлением функций fi,i > 0, которые в работе названы «гиперфункциями», полученных итерацией, согласованной ..."
 
Том 18, № 3 (2011) Об операторах дифференцирования и интегрирования Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... первообразной на более широкие классы функций. ..."
 
Том 18, № 4 (2011) Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов
"... разработанные шаблоны корректны, если граничное условие - монотонная функция, а решающее условие ..."
 
Том 23, № 2 (2016) Асимптотика моментов симметричной свертки Бернулли Аннотация  похожие документы
Е. А. Tимофеев
"... Основной результат настоящей работы где функция k̸=0 является периодической с периодом равным ..."
 
Том 23, № 3 (2016) Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Д. И. Синельщиков
"... функцию Вейерштрасса. Поскольку в общем случае данное решение имеет громоздкий вид, найдены ограничения на ..."
 
Том 23, № 4 (2016) Сравнение алгоритмов удвоения размера изображения Аннотация  PDF (Rus)  похожие документы
С. Е. Ваганов, С. И. Хашин
 
Том 24, № 4 (2017) Разложение самоподобных функций в системе Фабера–Шаудера Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... _k}, j = j_12^{n-1}+j_22^{n-2}+dots+j_n$$. Семейство функций (1,x,tau(2^nx-j)), (j =0,1,dots,2^n-1 ..."
 
Том 24, № 5 (2017) О локально выпуклых кривых Аннотация  PDF (Rus)  похожие документы
Владимир Степанович Климов
"... leqslant b),) где (u(t), v(t)) -- непрерывно дифференцируемые на отрезке ([a,b]) функции, причём (|u ..."
 
Том 25, № 3 (2018) Динамика распределения популяции по ареалам Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Кириллов, Инна Владимировна Данилова
"... по ареалам, основанный на функции полезности, учитывающей количество ресурсов в ареале, расстояние от ..."
 
Том 25, № 3 (2018) Изопериметрические и функциональные неравенства Аннотация  PDF (Rus)  похожие документы
Владимир Степанович Климов
"... )), интегрант (f(t,p) , (t in [0, infty),; p in mathbb{R}^n)) -- функция, (B)-измеримая по переменному ..."
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
"... Одной из самых сложных проблем при статическом анализе программ является анализ вызовов функций ..."
 
Том 26, № 1 (2019) Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе Аннотация  PDF (Rus)  похожие документы
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин
"... интеллектуальных математических подходов и современных технологий виртуализации сетевых функций. В ходе ..."
 
Том 16, № 3 (2009) О спектральной задаче, возникающей в механике манипуляционных роботов Аннотация  PDF (Rus)  похожие документы
В. И. Войтицкий, М. Ю. Злобина, Е. П. Кубышкин
"... энергетическое скалярное произведение, построена ортонормированная система собственных функций. ..."
 
Том 18, № 1 (2011) Геометрические оценки в полиномиальной интерполяции Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... непрерывных функций n переменных. ..."
 
Том 22, № 1 (2015) Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений Аннотация  похожие документы
Николай Алексеевич Кудряшов
"... логистической функции. Применение метода иллюстрируется на примере нелинейного обыкновенного дифференциального ..."
 
Том 23, № 3 (2016) Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение Аннотация  похожие документы
А. И. Задорин
"... Интерполяция функций на основе многочленов Лагранжа получила широкое применение. Однако в случае ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... функций рассматриваются два способа доказательства: с использованием объединения кода функций и с ..."
 
Том 24, № 3 (2017) Cингулярно возмущенная эллиптическая задача Дирихле с трехзонным пограничным слоем Аннотация  PDF (Rus)  похожие документы
Вера Александровна Белошапко
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... математических функций” --- инкрементальный комбинированный подход к спецификации и верификации стандартных ..."
 
Том 27, № 1 (2020) Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... пространства (C^k.) В то же время имеется определение ((k,p))-дифференцируемости функции в индивидуальной ..."
 
1 - 43 из 43 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)