Preview

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

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

Список названий


 
Выпуск Название
 
Том 22, № 2 (2015) Аппроксимационные свойства нильпотентных групп Аннотация   PDF (Rus)
Дмитрий Николаевич Азаров
 
Том 27, № 2 (2020) Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами Аннотация   PDF (Eng)
Владимир Анатольевич Башкин
 
Том 27, № 4 (2020) Архитектура формально-верифицированной системы распределенного реестра InnoChain Аннотация   PDF (Rus)
Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев
 
Том 21, № 1 (2014) Асимметричное взаимодействие пары осцилляторов типа ФитцХью–Нагумо Аннотация   PDF (Rus)
Елена Александровна Марушкина
 
Том 16, № 3 (2009) Асимптотика дисперсии оценки энтропии для симметричных мер Бернулли Аннотация   PDF (Rus)
Е. А. Тимофеев
 
Том 23, № 2 (2016) Асимптотика моментов симметричной свертки Бернулли Аннотация   PDF (Eng)
Е. А. Tимофеев
 
Том 22, № 5 (2015) Асимптотика моментов сингулярной функции Лебега Аннотация   PDF (Rus)
Е. А. Tимофеев
 
Том 23, № 1 (2016) Асимптотика моментов функции Такаги Аннотация   PDF (Rus)
Е. А. Tимофеев
 
Том 19, № 1 (2012) Асимптотика периодических решений автономных параболических уравнений с быстро осциллирующими коэффициентами и уравнений с большими коэффициентами диффузии Аннотация   PDF (Rus)
Сергей Александрович Кащенко, Артем Сергеевич Полстьянов
 
Том 22, № 1 (2015) Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления Аннотация   PDF (Rus)
Маргарита Александровна Калашникова
 
Том 19, № 3 (2012) Асимптотика решений обобщённого уравнения Хатчинсона Аннотация   PDF (Rus)
Сергей Александрович Кащенко
 
Том 20, № 1 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. I Аннотация   PDF (Rus)
Мария Валентиновна Бутузова
 
Том 20, № 2 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. II Аннотация   PDF (Rus)
Мария Валентиновна Бутузова
 
Том 16, № 4 (2009) Асимптотика смещения оценки энтропии для мер Бернулли Аннотация   PDF (Rus)
Е. А. Тимофеев
 
Том 22, № 5 (2015) Асимптотика собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация   PDF (Rus)
С. А. Кащенко
 
Том 23, № 5 (2016) Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо Аннотация   PDF (Rus)
А. А. Мельникова, Р. Л. Аргун
 
Том 21, № 1 (2014) Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией Аннотация   PDF (Rus)
Сергей Александрович Кащенко, Валерий Евгеньевич Фролов
 
Том 23, № 3 (2016) Асимптотика, устойчивость и область притяжения периодического решения сингулярно возмущённой параболической задачи с двукратным корнем вырожденного уравнения Аннотация   PDF (Rus)
В. Ф. Бутузов, Н. Н. Нефедов, Л. Реке, К. Р. Шнайдер
 
Том 24, № 1 (2017) Асимптотические законы распределений собственных значений периодической и антипериодической краевых задач для дифференциальных уравнений второго порядка Аннотация   PDF (Rus)
Сергей Александрович Кащенко
 
Том 23, № 1 (2016) Асимптотические разложения собственных значений периодической и антипериодической краевых задач для сингулярно возмущенных дифференциальных уравнений второго порядка с точками поворота Аннотация   PDF (Rus)
С. А. Кащенко
 
Том 23, № 1 (2016) Асимптотические разложения собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация   PDF (Rus)
С. А. Кащенко
 
Том 23, № 3 (2016) Асимптотический анализ в задаче моделирования процесса переноса газовой примеси в приповерхностном слое атмосферы Аннотация   PDF (Rus)
М. А. Давыдова, Н. Т. Левашова, С. А. Захарова
 
Том 24, № 5 (2017) Асимптотическое интегрирование некоторых дифференциальных уравнений в банаховом пространстве Аннотация   PDF (Rus)
Павел Николаевич Нестеров
 
Том 23, № 5 (2016) Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием Аннотация   PDF (Rus)
П. Н. Нестеров
 
Том 24, № 3 (2017) Асимптотическое исследование решения уравнения теплопроводности вблизи границы раздела двух сред Аннотация   PDF (Rus)
Наталия Тимуровна Левашова, Ольга Александровна Николаева
 
Том 14, № 2 (2007) Асимптотическое представление решений систем линейных разностных уравнений и метод усреднения Аннотация   PDF (Rus)
П. Н. Нестеров
 
Том 25, № 1 (2018) Асимптотическое приближение решения уравнения реакция-диффузия-адвекция с нелинейным адвективным слагаемым Аннотация   PDF (Rus)
Евгений Александрович Антипов, Наталия Тимуровна Левашова, Николай Николаевич Нефедов
 
Том 17, № 2 (2010) Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 Аннотация   PDF (Rus)
И. В. Алексеев, С. А. Меркулов, А. А. Сивов
 
Том 20, № 2 (2013) Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей Аннотация   PDF (Rus)
Анна Шмилевна Непомнящая
 
Том 18, № 4 (2011) Атрибутные аннотации и их применение в дедуктивной верификации C-программ Аннотация   PDF (Rus)
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев
 
Том 21, № 5 (2014) Аттрактор в кольцевой структуре обобщенных нейронных элементов автогенераторного типа Аннотация   PDF (Rus)
Евгений Владиславович Коновалов
 
Том 17, № 4 (2010) Безопасное тестирование симуляции систем с отказами и разрушением Аннотация   PDF (Rus)
И. Б. Бурдонов, А. С. Косачев
 
Том 15, № 1 (2008) Библиотека параллельного исполнения rpC-программ для Win32 Аннотация   PDF (Rus)
В. В. Васильчиков, А. В. Шубин
 
Том 23, № 6 (2016) Бифуркации периодических решений уравнения Мэкки–Гласса Аннотация   PDF (Rus)
Е. П. Кубышкин, А. Р. Морякова
 
Том 24, № 5 (2017) Бифуркации пространственно неоднородных решений в одной краевой задаче для обобщенного уравнения Курамото–Сивашинского Аннотация   PDF (Rus)
Алина Вадимовна Секацкая
 
Том 14, № 2 (2007) Бифуркация Андронова - Хопфа для релейных систем Аннотация   PDF (Rus)
О. А. Чернышева
 
Том 25, № 1 (2018) Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова Аннотация   PDF (Rus)
Владимир Евгеньевич Горюнов
 
Том 15, № 1 (2008) Бифуркация бегущих волн видоизмененного уравнения Гинзбурга-Ландау Аннотация   PDF (Rus)
А. Э. Котиков, А. Н. Куликов
 
Том 13, № 1 (2006) Бифуркация плоских волн обобщенного кубического уравнения Шредингера в цилиндрической области Аннотация   PDF (Rus)
Д. А. Куликов
 
Том 30, № 4 (2023) Быстрое вычисление циклических сверток и их приложения в кодовых схемах асимметричного шифрования Аннотация   PDF (Eng)
Андрей Николаевич Сушко, Борис Яковлевич Штейнберг, Кирилл Владимирович Веденев, Антон Анатольевич Глухих, Юрий Владимирович Косолапов
 
Том 21, № 2 (2014) Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем Аннотация   PDF (Rus)
Дмитрий Михайлович Иванов
 
Том 24, № 5 (2017) Варианты метода коллокации и наименьших невязок для решения задач математической физики в выпуклых четырехугольных областях Аннотация   PDF (Rus)
Василий Алексеевич Беляев, Василий Павлович Шапеев
 
Том 17, № 3 (2010) Вариационные неравенства и принцип виртуальных перемещений Аннотация   PDF (Rus)
Н. А. Демьянков
 
Том 28, № 3 (2021) Векторизация текстов на основе word-embedding моделей с использованием кластеризации Аннотация   PDF (Rus)
Виталий Иванович Юферев, Николай Алексеевич Разин
 
Том 25, № 6 (2018) Векторное представление слов с семантическими отношениями: экспериментальные наблюдения Аннотация   PDF (Rus)
Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация   PDF (Rus)
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
 
Том 17, № 3 (2010) Верификация C-программ на основе смешанной аксиоматической семантики Аннотация   PDF (Rus)
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
 
Том 14, № 1 (2007) Верификация автоматных программ с использованием LTL Аннотация   PDF (Rus)
К. А. Васильева, Е. В. Кузьмин
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация   PDF (Rus)
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
 
Том 19, № 6 (2012) Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри Аннотация   PDF (Rus)
Дмитрий Анатольевич Зайцев
 
Том 31, № 2 (2024) Верификация декларативной LTL-спецификации поведения управляющих программ Аннотация   PDF (Rus)
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация   PDF (Rus)
В. И. Шелехов
 
Том 31, № 1 (2024) Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 Аннотация   PDF (Rus)
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация   PDF (Rus)
Мария Сергеевна Ушакова, Александр Иванович Легалов
 
Том 14, № 4 (2007) Верификация синхронно-автоматных программ Аннотация   PDF (Rus)
С. В. Кубасов
 
Том 18, № 4 (2011) Верификация Си-программ: объяснение условий корректности и стандартная библиотека Аннотация   PDF (Rus)
Алексей Владимирович Промский
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация   PDF (Rus)
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
 
Том 18, № 4 (2011) Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ Аннотация   PDF (Rus)
Николай Вячеславович Шилов
 
Том 23, № 4 (2016) Вероятностный анализ систем организации турниров Аннотация   PDF (Rus)
А. М. Цирлин, Ал. А. Ахременков
 
Том 25, № 1 (2018) Верхнее и нижнее решения для системы уравнений типа ФицХью–Нагумо Аннотация   PDF (Rus)
Светлана Владимировна Быцюра, Наталия Тимуровна Левашова
 
Том 23, № 5 (2016) Взаимодействие двух волн в модели Ферми – Паста – Улама Аннотация   PDF (Rus)
С. Д. Глызин, С. А. Кащенко, А. О. Толбей
 
Том 17, № 1 (2010) Визуализация динамических графов для анализа сложных сетей Аннотация   PDF (Rus)
С. Н. Пупырев, А. В. Тихонов
 
Том 26, № 1 (2019) Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях Аннотация   PDF (Rus)
Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов
 
Том 20, № 1 (2013) Влияние деформации области на поведение решений распределенной кинетической системы Аннотация   PDF (Rus)
Евгений Павлович Кубышкин
 
Том 21, № 1 (2014) Влияние запаздывающей обратной связи на устойчивость периодических орбит Аннотация   PDF (Rus)
Виктория Григорьевна Богаевская, Илья Сергеевич Кащенко
 
Том 25, № 4 (2018) Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров Аннотация   PDF (Rus)
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов
 
Том 18, № 1 (2011) Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов Аннотация   PDF (Rus)
П. Н. Нестеров
 
Том 28, № 2 (2021) Выделение условий разрешимости NP-полных задач для класса предфрактальных графов Аннотация   PDF (Rus)
Александр Васильевич Тимошенко, Расул Ахматович Кочкаров, Азрет Ахматович Кочкаров
 
Том 21, № 3 (2014) Вычисление ляпуновской величины для логистического уравнения с быстро осциллирующим запаздыванием Аннотация   PDF (Rus)
Надежда Дмитриевна Быкова
 
Том 27, № 1 (2020) Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ Аннотация   PDF (Rus)
Анатолий Николаевич Морозов
 
Том 28, № 2 (2021) Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра Аннотация   PDF (Rus)
Елена Александровна Туманова
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация   PDF (Rus)
Ю. А. Белов, С. И. Вовчок
 
Том 30, № 4 (2023) Генерация ключевых слов для русскоязычных научных текстов с помощью модели mT5 Аннотация   PDF (Rus)
Анна Валерьевна Глазкова, Дмитрий Алексеевич Морозов, Марина Сергеевна Воробьева, Андрей Анатольевич Ступников
 
Том 19, № 2 (2012) Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло Аннотация   PDF (Rus)
Лев Юрьевич Бараш, Лев Николаевич Щур
 
Том 17, № 4 (2010) Генерация тестовых данных на основе формального анализа данных конфигурации проекта Аннотация   PDF (Rus)
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
 
76 - 150 из 819 результатов << < 1 2 3 4 5 6 7 8 9 10 > >>