Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25, № 5 (2018) О безопасности одно- и многоместных IFP-операторов Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Дудаков
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
 
Том 25, № 1 (2018) Инвариантные характеристики вынужденных колебаний балки с продольным сжатием Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин
 
Том 25, № 2 (2018) Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов
 
Том 19, № 5 (2012) Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей Аннотация  PDF (Rus)  похожие документы
Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов
 
Том 20, № 3 (2013) Преобразования задач оптимального управления Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
 
Том 19, № 3 (2012) О порядке роста числа инъективных и сверхрастущих рюкзачных векторов Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин
 
Том 21, № 2 (2014) Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Иванов
 
Том 24, № 2 (2017) Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
 
Том 25, № 5 (2018) Полипрограммы и бисимуляция полипрограмм Аннотация  похожие документы
Сергей Александрович Гречаник
 
Том 19, № 6 (2012) Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Владимир Михайлович Ицыксон
 
Том 22, № 2 (2015) Уравнение Колмогорова–Петровского–Пискунова с запаздыванием Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Алешин, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко
 
Том 19, № 3 (2012) Асимптотика решений обобщённого уравнения Хатчинсона Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 19, № 5 (2012) Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 21, № 5 (2014) Динамика логистического уравнения с запаздыванием и запаздывающим управлением Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
 
Том 20, № 5 (2013) Релаксационные колебания в моделях многовидовых сообществ Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 20, № 4 (2013) Автоматизация формирования табличных приложений Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
 
Том 26, № 3 (2019) Сравнение диффеоморфных изображений на основе формирования персистентных гомологий Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Чуканов
 
Том 18, № 3 (2011) Основные квазинормальные формы для двухкомпонентных систем параболических уравнений Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 18, № 2 (2011) О тензорных квадратах неприводимых представлений конечных почти простых групп. II Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Поляков
 
Том 20, № 1 (2013) Размерностные характеристики диффузионного хаоса Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин
 
Том 20, № 1 (2013) Релаксационные колебания в системе с запаздываниями, моделирующей задачу «хищник–жертва» Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 24, № 1 (2017) Асимптотические законы распределений собственных значений периодической и антипериодической краевых задач для дифференциальных уравнений второго порядка Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 24, № 2 (2017) О бифуркациях при малых возмущениях в логистическом уравнении с запаздыванием Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 24, № 2 (2017) Дедубликация в системе резервного копирования с хранением информации в базе данных Аннотация  PDF (Rus)  похожие документы
Сергей Максимович Таранин
 
Том 24, № 3 (2017) Математическая модель эксперимента Николсона Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин
 
Том 24, № 5 (2017) Устойчивость решений дискретных краевых задач для уравнения двумерной фильтрации Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 27, № 2 (2020) “VTMine for Visio”: инструмент графического моделирования в области Process Mining Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
 
Том 27, № 1 (2020) Определение расстояний между изображениями методом потоков де Рама Аннотация  похожие документы
Сергей Николаевич Чуканов
 
Том 27, № 3 (2020) Обобщение правил вывода для зависимостей соединения в базах данных Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
 
Том 21, № 1 (2014) Локальная динамика логистического уравнения, содержащего запаздывание Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Алешин, Сергей Александрович Кащенко
 
Том 22, № 2 (2015) Кэширование запросов к реляционной базе данных с использованием областей истинности Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Мосин, Сергей Владимирович Зыкин
 
Том 25, № 5 (2018) Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александровна Марушкина
 
Том 19, № 2 (2012) Предельная степень апериодической устойчивости линейных систем и выбор параметров промышленных регуляторов Аннотация  PDF (Rus)  похожие документы
Александр Владимирович Татаринов, Анатолий Михайлович Цирлин
 
Том 19, № 4 (2012) О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
 
Том 18, № 4 (2011) Атрибутные аннотации и их применение в дедуктивной верификации C-программ Аннотация  PDF (Rus)  похожие документы
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
 
Том 26, № 2 (2019) Система распределения ключей на дизайнах Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Алексей Александрович Таран
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
 
Том 25, № 2 (2018) Коды в диэдральной групповой алгебре Аннотация  PDF (Rus)  похожие документы
Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк
 
Том 27, № 1 (2020) Исследование свойств АГ-кодов как кодов для защиты от копирования Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Денис Владимирович Загуменнов
 
Том 20, № 3 (2013) Параметрический резонанс при двухчастотном возмущении в логистическом уравнении с запаздыванием Аннотация  PDF (Rus)  похожие документы
Надежда Дмитриевна Быкова, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко
 
Том 27, № 3 (2020) Особенности алгоритмической реализации разностных аналогов логистического уравнения с запаздыванием Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Сергей Александрович Кащенко, Анна Олеговна Толбей
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
 
Том 18, № 4 (2011) Использование зависимостей для повышения точности статического анализа программ Аннотация  PDF (Rus)  похожие документы
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация  PDF (Rus)  похожие документы
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
 
Том 24, № 2 (2017) Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк
 
Том 19, № 1 (2012) Асимптотика периодических решений автономных параболических уравнений с быстро осциллирующими коэффициентами и уравнений с большими коэффициентами диффузии Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко, Артем Сергеевич Полстьянов
 
Том 19, № 1 (2012) Динамика уравнения Курамото с пространственно-распределенным управлением Аннотация  PDF (Rus)  похожие документы
Илья Сергеевич Кащенко, Сергей Александрович Кащенко
 
Том 19, № 3 (2012) Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александрович Марушкина
 
Том 19, № 5 (2012) Динамика комплексного пространственно-распределенного уравнения Хатчинсона Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Глызин, Сергей Александрович Кащенко
 
Том 19, № 5 (2012) Автоколебания решеток нелинейных элементов в опыте Скотта Аннотация  PDF (Rus)  похожие документы
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
 
Том 21, № 1 (2014) Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко, Валерий Евгеньевич Фролов
 
Том 20, № 6 (2013) Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александровна Марушкина
 
Том 20, № 5 (2013) Локальная динамика лазера с быстро осциллирующими параметрами Аннотация  PDF (Rus)  похожие документы
Елена Викторовна Григорьева, Сергей Александрович Кащенко
 
Том 20, № 3 (2013) Диффузионный хаос в задаче «реакция–диффузия» c гантелеобразной областью определения пространственной переменной Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Павел Леонидович Шокин
 
Том 18, № 4 (2011) Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Баранов, Всеволод Павлович Котляров
 
Том 18, № 3 (2011) Предельные возможности передачи информации в макросистемах Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Амелькин, Ольга Сергеевна Иванова
 
Том 18, № 3 (2011) Оптимизация конъюнктов условий в составе запросов Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Кузнецов, Никита Андреевич Мендкович
 
Том 24, № 2 (2017) Анализ типизированных зависимостей включения с неопределенными значениями Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин
 
Том 24, № 4 (2017) Уточнение свойств центроида дерева Аннотация  PDF (Rus)  похожие документы
Юрий Анатольевич Белов, Сергей Иванович Вовчок
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
 
Том 21, № 6 (2014) Программный комплекс для анализа и визуализации графов Аннотация  PDF (Rus)  похожие документы
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский
 
Том 20, № 4 (2013) Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 Аннотация  PDF (Rus)  похожие документы
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов
 
Том 25, № 4 (2018) О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый
 
Том 21, № 5 (2014) О числе сосуществующих автоволновых решений цепочки диффузионно связанных осцилляторов нейронного типа Аннотация  PDF (Rus)  похожие документы
Юрий Викторович Богомолов, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов
 
Том 21, № 2 (2014) Неклассические релаксационные колебания в нейродинамике Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
 
Том 21, № 1 (2014) Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
 
Том 20, № 5 (2013) Экстремальная динамика системы трех однонаправленно связанных сингулярно возмущенных уравнений из нейродинамики Аннотация  PDF (Rus)  похожие документы
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация  PDF (Rus)  похожие документы
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
 
1 - 75 из 84 результатов 1 2 > >> 

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

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