Preview

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

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

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


 
Выпуск Название
 
Том 25, № 4 (2018) Остовное дерево в делимом кратном графе Аннотация   PDF (Rus)
Александр Валерьевич Смирнов
 
Том 24, № 3 (2017) От редакторов специального выпуска Аннотация   PDF (Rus)
В. Ф. Бутузов, С. Д. Глызин, Н. Н. Нефедов
 
Том 26, № 1 (2019) От главного редактора Аннотация   PDF (Rus)   PDF (Eng)
Валерий Анатольевич Соколов
 
Том 23, № 3 (2016) От редактора специального выпуска Аннотация   PDF (Rus)
С. Д. Глызин
 
Том 23, № 5 (2016) От редактора специального выпуска Аннотация   PDF (Rus)
С. Д. Глызин
 
Том 23, № 6 (2016) От редактора специального выпуска Аннотация   PDF (Rus)
В. А. Захаров
 
Том 24, № 6 (2017) От редактора специального выпуска Аннотация   PDF (Rus)
В. А. Захаров
 
Том 25, № 1 (2018) От редактора специального выпуска Аннотация   PDF (Rus)
С. Д. Глызин
 
Том 26, № 4 (2019) От редакторов выпуска Аннотация   PDF (Rus)
В. А. Захаров, Н. В. Шилов
 
Том 27, № 4 (2020) От редакторов выпуска Аннотация   PDF (Rus)
В. А. Захаров, Н. В. Шилов
 
Том 28, № 4 (2021) От редакторов выпуска Подробности   PDF (Rus)
В. А. Захаров, Н. В. Шилов
 
Том 21, № 6 (2014) От редакторов специального выпуска Аннотация   PDF (Rus)
В. А. Непомнящий, В. А. Соколов
 
Том 19, № 6 (2012) От редакторов специального выпуска Аннотация   PDF (Rus)
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
 
Том 20, № 6 (2013) От редакторов специального выпуска Аннотация   PDF (Rus)
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
 
Том 25, № 5 (2018) От редакторов специального выпуска Аннотация   PDF (Rus)
В. А. Захаров, Н. В. Шилов
 
Том 17, № 4 (2010) От редакторов специального выпуска Подробности
В. А. Непомнящий, В. А. Соколов
 
Том 18, № 4 (2011) От редакторов специального выпуска Подробности
В. А. Непомнящий, В. А. Соколов
 
Том 21, № 1 (2014) От редколлегии Аннотация   PDF (Rus)
С. Д. Глызин
 
Том 19, № 2 (2012) Отношение истории и динамика схем баз данных СУБД DIM Аннотация   PDF (Rus)
Вадим Сергеевич Рублев
 
Том 28, № 2 (2021) Оценка степени опасности дефектов при расшифровке вихретоковых дефектограмм Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин
 
Том 22, № 2 (2015) Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора Аннотация   PDF (Rus)
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый
 
Том 20, № 5 (2013) Оценка числа решетчатых разбиений плоскости на полимино заданной площади Аннотация   PDF (Rus)
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
 
Том 22, № 2 (2015) Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади Аннотация   PDF (Rus)
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
 
Том 16, № 4 (2009) Оценки оператора Кордобы - Фернандеса в пространствах Марцинкевича Аннотация   PDF (Rus)
Е. И. Бережной, Д. С. Гладких
 
Том 23, № 3 (2016) Оценки погрешности в сбалансированных нормах методов ко- нечных элементов на сетках Шишкина для задач реакции-диффузии Аннотация   PDF (Rus)
Р. Ханс-Гёрг
 
Том 19, № 3 (2012) Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка Аннотация   PDF (Rus)
Сергей Дмитриевич Глызин, Елена Александрович Марушкина
 
Том 27, № 1 (2020) Параллельный алгоритм решения задачи об изоморфизме графов Аннотация   PDF (Rus)
Владимир Васильевич Васильчиков
 
Том 20, № 3 (2013) Параметрический резонанс в гармоническом осцилляторе с переменной частотой собственных колебаний Аннотация   PDF (Rus)
Павел Николаевич Нестеров
 
Том 20, № 3 (2013) Параметрический резонанс при двухчастотном возмущении в логистическом уравнении с запаздыванием Аннотация   PDF (Rus)
Надежда Дмитриевна Быкова, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко
 
Том 19, № 4 (2012) Первая ярославская летняя школа по дискретной и вычислительной геометрии Аннотация   PDF (Rus)   PDF (Eng)
Николай Долбилин, Г. Эдельсбруннер, Александр Иванов, Олег Мусин
 
Том 25, № 6 (2018) Перевод моделей Event-B в Eiffel Аннотация   PDF (Eng)
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара
 
Том 24, № 1 (2017) Перераспределение, производство и неравенство Аннотация   PDF (Eng)
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров
 
Том 22, № 3 (2015) ПЕРЕХОД К ХАОСУ В КОМПЛЕКСНОМ УРАВНЕНИИ ГИНЗБУРГА–ЛАНДАУ С БОЛЬШОЙ ДИСПЕРСИЕЙ ТРЕТЬЕГО ПОРЯДКА Аннотация   PDF (Eng)
И. И. Овсянников, Д. В. Тураев, С. В. Зелик
 
Том 25, № 1 (2018) Периодические и квазипериодические решения в системе трех уравнений Хатчинсона с запаздывающей вещательной связью Аннотация   PDF (Rus)
Елена Александровна Марушкина
 
Том 25, № 1 (2018) Периодические изменения автоволнового фронта в двумерной системе параболических уравнений Аннотация   PDF (Rus)
Алина Александровна Мельникова, Наталья Николаевна Дерюгина
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация   PDF (Rus)
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
 
Том 13, № 1 (2006) Поведение решений нормальной формы системы трех связанных разностных автогенераторов Аннотация   PDF (Rus)
С. Д. Глызин
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация   PDF (Rus)
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
 
Том 31, № 2 (2024) Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах Аннотация   PDF (Rus)
Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин
 
Том 21, № 6 (2014) Поддержка эволюции визуальных языков в платформе QReal Аннотация   PDF (Rus)
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин
 
Том 31, № 4 (2024) Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы Аннотация   PDF (Rus)
Иван Михайлович Черненко, Игорь Сергеевич Ануреев
 
Том 21, № 6 (2014) Подход к автоматизации отладки поведенческих сценариев Аннотация   PDF (Rus)
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко
 
Том 28, № 4 (2021) Подход к автонастройке параллельных программ методом проверки моделей Аннотация   PDF (Rus)
Наталья Олеговна Гаранина, Сергей Петрович Горлач
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация   PDF (Rus)
Н. О. Гаранина, Е. А. Сидорова
 
Том 19, № 6 (2012) Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов Аннотация   PDF (Rus)
Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров
 
Том 29, № 4 (2022) Поиск упоминаний экологических практик в социальных сетях с помощью методов классификации текстов Аннотация   PDF (Rus)
Анна Валерьевна Глазкова, Ольга Владимировна Захарова, Антон Викторович Захаров, Наталья Николаевна Москвина, Тимур Русланович Еникеев, Арсений Николаевич Ходырев, Всеволод Константинович Боровинский, Ирина Николаевна Пупышева
 
Том 23, № 5 (2016) Полилогарифмы и асимптотика моментов сингулярной функции Лебега Аннотация   PDF (Rus)
Е. А. Tимофеев
 
Том 30, № 2 (2023) Полином Жегалкина многоместного самодостаточного оператора Аннотация   PDF (Rus)
Леонид Юрьевич Быстров, Егор Владимирович Кузьмин
 
Том 19, № 2 (2012) Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL Аннотация   PDF (Rus)
Павел Валерьевич Лебедев
 
Том 29, № 4 (2022) Полиномиальный алгоритм поиска кратчайшего пути в делимом кратном графе Аннотация   PDF (Rus)
Александр Валерьевич Смирнов
 
Том 19, № 5 (2012) Полиномиальный метод построения равновесных конфигураций точечных вихрей на плоскости Аннотация   PDF (Rus)
Мария Владимировна Демина, Николай Алексеевич Кудряшов
 
Том 25, № 5 (2018) Полипрограммы и бисимуляция полипрограмм Аннотация   PDF (Eng)
Сергей Александрович Гречаник
 
Том 22, № 4 (2015) Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях Аннотация   PDF (Rus)
В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов
 
Том 19, № 6 (2012) Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ Аннотация   PDF (Rus)
Анатолий Игоревич Антонов, Владимир Александрович Бондаренко
 
Том 24, № 2 (2017) Полиэдральные характеристики задач о сбалансированном и несбалансированном двудольных подграфах Аннотация   PDF (Rus)
Владимир Александрович Бондаренко, Андрей Валерьевич Николаев, Джамболет Азаматович Шовгенов
 
Том 22, № 2 (2015) Полнота динамики значений свойств данных в СУБД DIM Аннотация   PDF (Rus)   PDF (Eng)
Алексей Николаевич Петров, Вадим Сергеевич Рублев
 
Том 24, № 1 (2017) Пополнение ядра оператора дифференцирования Аннотация   PDF (Rus)
Анатолий Николаевич Морозов
 
Том 26, № 2 (2019) Пороговый анализ деградации запросов внутри вычислительной сети Аннотация   PDF (Eng)
Василий Павлович Кирнос
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация   PDF (Rus)
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация   PDF (Rus)
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 14, № 2 (2007) Построение асимптотического разложения решения уравнения нейрона, описываемого дифференциальным уравнением с переменным запаздыванием Аннотация   PDF (Rus)
И. В. Парамонов
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация   PDF (Rus)
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
 
Том 24, № 2 (2017) Построение высокоуровневой модели процесса по журналу событий Аннотация   PDF (Eng)
Антонина Константиновна Бегичева, Ирина Александровна Ломазова
 
Том 24, № 3 (2017) Построение динамически адаптированной сетки для эффективного численного решения сингулярно возмущенного уравнения типа реакция-адвекция-диффузия Аннотация   PDF (Eng)
Дмитрий Витальевич Лукьяненко, Владимир Тарасович Волков, Николай Николаевич Нефедов
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
 
Том 23, № 6 (2016) Построение каскадной параллельной композиции временных автоматов с использованием BALM-II Аннотация   PDF (Rus)
М. Л. Громов, Н. В. Шабалдина
 
Том 20, № 2 (2013) Построение модели для извлечения оценочной лексики в различных предметных областях Аннотация   PDF (Rus)
Наталья Валентиновна Лукашевич, Илья Игоревич Четвёркин
 
Том 30, № 1 (2023) Построение оптимальной схемы информационного обмена системы адаптивного управления движением группы беспилотных летательных аппаратов Аннотация   PDF (Rus)
Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Дмитрий Эзрович Палей
 
Том 20, № 6 (2013) Построение оценки энтропии для специальной метрики и произвольной функции Аннотация   PDF (Rus)
Нина Евгеньевна Тимофеева
 
Том 18, № 4 (2011) Построение приближений бисимуляции в односчетчиковых сетях Аннотация   PDF (Rus)
Владимир Анатольевич Башкин
 
Том 22, № 3 (2015) ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ Аннотация   PDF (Eng)
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко
 
Том 20, № 2 (2013) Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов Аннотация   PDF (Rus)
Вильгельм Александрович Битнер, Никита Владимирович Заборовский
 
Том 23, № 2 (2016) Построение хранилища данных с динамической структурой Аннотация   PDF (Rus)
Ю. Н. Артамонов
 
Том 19, № 2 (2012) Потоки в обобщенных сетях со связанными дугами Аннотация   PDF (Rus)
Владимир Александрович Скороходов
 
526 - 600 из 819 результатов << < 3 4 5 6 7 8 9 10 11 > >>