Preview

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

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

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


 
Выпуск Название
 
Том 17, № 1 (2010) A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers Аннотация   PDF (Rus)
П. Е. Ефимова
 
Том 17, № 4 (2010) Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography Аннотация   PDF (Rus)
, , , ,
 
Том 27, № 2 (2020) “VTMine for Visio”: инструмент графического моделирования в области Process Mining Аннотация   PDF (Rus)
Сергей Андреевич Шершаков
 
Том 26, № 1 (2019) «Общие критерии» и безопасность программно-конфигурируемых сетей Аннотация   PDF (Rus)
Андрей Николаевич Петухов, Павел Львович Пилюгин
 
Том 23, № 1 (2016) A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes Аннотация   PDF (Rus)
Александр Николаевич Максименко
 
Том 24, № 3 (2017) Cингулярно возмущенная эллиптическая задача Дирихле с трехзонным пограничным слоем Аннотация   PDF (Rus)
Вера Александровна Белошапко
 
Том 23, № 1 (2016) Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II Аннотация   PDF (Rus)
П. Н. Нестеров
 
Том 26, № 2 (2019) eT-сводимость множеств Аннотация   PDF (Rus)
Роман Ревович Яруллин
 
Том 26, № 3 (2019) GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии Аннотация   PDF (Rus)
Николай Алексеевич Аникин, Александр Юрьевич Мускатин, Михаил Борисович Кузьминский, Александр Ильич Русаков
 
Том 27, № 4 (2020) InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации Аннотация   PDF (Rus)
Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин
 
Том 14, № 1 (2007) K-функционалы и наилучшие кусочно-полиномиальные приближения Аннотация   PDF (Rus)
А. Н. Морозов
 
Том 31, № 3 (2024) LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью Аннотация   PDF (Rus)
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин
 
Том 30, № 4 (2023) LTL-спецификация для разработки и верификации управляющих программ Аннотация   PDF (Rus)
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин
 
Том 29, № 1 (2022) LTL-спецификация ограниченных счётчиковых машин Аннотация   PDF (Rus)
Егор Владимирович Кузьмин
 
Том 28, № 1 (2021) LTL-спецификация счётчиковых машин Аннотация   PDF (Rus)
Егор Владимирович Кузьмин
 
Том 19, № 2 (2012) Mодули стабильных пучков ранга 2 с классами Черна c1 = -1, c2 = 2, c3 = 0 на трехмерной квадрике Аннотация   PDF (Rus)
Артем Дмитриевич Уваров
 
Том 28, № 1 (2021) NP-полнота задачи о минимальном остовном дереве в кратном графе кратности k ≥ 3 Аннотация   PDF (Rus)
Александр Валерьевич Смирнов
 
Том 31, № 1 (2024) NP-полнота задачи об эйлеровом маршруте в кратном графе Аннотация   PDF (Rus)
Александр Валерьевич Смирнов
 
Том 26, № 3 (2019) NP-полнота и один полиномиальный подкласс задачи о двухшаговой раскраске графа Аннотация   PDF (Rus)
Наталья Сергеевна Медведева, Александр Валерьевич Смирнов
 
Том 14, № 3 (2007) NumGRID, система для решения больших задач численного моделирования Аннотация   PDF (Rus)
Н. В. Малышкин
 
Том 25, № 3 (2018) Oб оптимальной интерполяции линейными функциями на n-мерном кубе Аннотация   PDF (Rus)
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 31, № 3 (2024) Oценивание интерполяционных проекторов с применением многочленов Лежандра Аннотация   PDF (Rus)
Михаил Викторович Невский
 
Том 21, № 6 (2014) PolarDB – система создания специализированных NoSQL баз данных и СУБД Аннотация   PDF (Rus)
Александр Гурьевич Марчук
 
Том 14, № 2 (2007) SR-группы порядка 2npm с диэдральной 2-силовской подгруппой Аннотация   PDF (Rus)
В. В. Янишевский
 
Том 19, № 5 (2012) TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные Аннотация   PDF (Rus)
Анатолий Александрович Сивов
 
Том 22, № 3 (2015) АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ Аннотация   PDF (Rus)
С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов
 
Том 19, № 5 (2012) Автоколебания решеток нелинейных элементов в опыте Скотта Аннотация   PDF (Rus)
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация   PDF (Rus)
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
 
Том 20, № 6 (2013) Автоматизация создания верифицированных тестовых сценариев на основе гидов Аннотация   PDF (Rus)
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация   PDF (Rus)
М. С. Ушакова, А. И. Легалов
 
Том 20, № 4 (2013) Автоматизация формирования табличных приложений Аннотация   PDF (Rus)
Сергей Владимирович Зыкин
 
Том 28, № 1 (2021) Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) Аннотация   PDF (Eng)
Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков
 
Том 24, № 4 (2017) Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов Аннотация   PDF (Rus)
Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов
 
Том 27, № 3 (2020) Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19-21 веков Аннотация   PDF (Rus)
Ксения Владимировна Лагутина, Алла Михайловна Манахова
 
Том 26, № 3 (2019) Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков Аннотация   PDF (Rus)
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация   PDF (Rus)
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация   PDF (Rus)
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
 
Том 31, № 2 (2024) Автоматическое определение семантического сходства ответов учащихся с эталонным с помощью современных моделей Аннотация   PDF (Rus)
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Владислав Николаевич Копнин
 
Том 14, № 1 (2007) Автоморфизмы систем переходов Аннотация   PDF (Rus)
Ю. А. Белов
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация   PDF (Rus)
И. В. Коннов, В. А. Захаров
 
Том 23, № 3 (2016) Аделаида Борисовна Васильева (к девяностолетию со дня рождения) Аннотация   PDF (Rus)
В. Ф. Бутузов, Н. Н. Нефедов
 
Том 20, № 4 (2013) Алгоритм (n, t)-пороговой доверенной цифровой подписи с Арбитром Аннотация   PDF (Rus)
Евгений Алексеевич Толюпа
 
Том 27, № 1 (2020) Алгоритм ветвей и границ для задачи коммивояжера не является алгоритмом прямого типа Аннотация   PDF (Rus)
Александр Николаевич Максименко
 
Том 20, № 4 (2013) Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 Аннотация   PDF (Rus)
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов
 
Том 28, № 1 (2021) Алгоритм корректировки уровней полезных сигналов при расшифровке вихретоковых дефектограмм Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин
 
Том 26, № 1 (2019) Алгоритм минимизации количества правил маршрутизации в ПКС Аннотация   PDF (Rus)
Иван Сергеевич Петров
 
Том 28, № 3 (2021) Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем Аннотация   PDF (Rus)
Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова
 
Том 30, № 4 (2023) Алгоритм определения тональности предложений публицистического стиля на русском языке на основе семантических правил Аннотация   PDF (Rus)
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук
 
Том 28, № 4 (2021) Алгоритм оценивания частоты сигнала на выходе канала с управляемым информационным потоком в условиях фазового шума Аннотация   PDF (Rus)
Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Илья Викторович Лукьянов
 
Том 27, № 2 (2020) Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ Аннотация   PDF (Rus)
Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина
 
Том 20, № 2 (2013) Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц Аннотация   PDF (Rus)
Иван Вадимович Губочкин
 
Том 32, № 1 (2025) Алгоритм построения асимптотики периодических решений в моделях лазеров с быстро осциллирующей задержкой Аннотация   PDF (Rus)
Елена Викторовна Григорьева, Дмитрий Владимирович Глазков, Анна Олеговна Толбей
 
Том 30, № 4 (2023) Алгоритм предсказания связей в саморегулирующейся сети с адаптивной топологией на базе теории графов и машинного обучения Аннотация   PDF (Rus)
Евгений Юрьевич Павленко
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация   PDF (Rus)
М. Г. Доррер
 
Том 29, № 1 (2022) Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений Аннотация   PDF (Rus)
Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий
 
Том 32, № 2 (2025) Алгоритм шаблонизации для динамической задачи упаковки в контейнеры с группами размещения Аннотация   PDF (Rus)
Евгений Александрович Бражников, Артём Александрович Панин, Алексей Владленович Ратушный
 
Том 20, № 2 (2013) Алгоритм эффективного оценивания энтропии Аннотация   PDF (Rus)   PDF (Eng)
Евгений Александрович Тимофеев
 
Том 30, № 2 (2023) Алгоритмы асимптотического и численного построения колебательных режимов в простейшем кольце генераторов с несимметричной нелинейностью Аннотация   PDF (Rus)
Сергей Дмитриевич Глызин, Елена Александровна Марушкина
 
Том 27, № 4 (2020) Алгоритмы для BDI-агентов, основанные на знаниях Аннотация   PDF (Rus)
Николай Вячеславович Шилов, Наталья Олеговна Гаранина
 
Том 30, № 3 (2023) Алгоритмы для задач об эйлеровом цикле и эйлеровой цепи в кратном графе Аннотация   PDF (Rus)
Александр Валерьевич Смирнов
 
Том 22, № 4 (2015) Алгоритмы для мажоритарного декодирования групповых кодов Аннотация   PDF (Rus)
В. М. Деундяк, Ю. В. Косолапов
 
Том 28, № 1 (2021) Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа Аннотация   PDF (Rus)
Александр Васильевич Коростиль, Андрей Валерьевич Николаев
 
Том 29, № 4 (2022) Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды Аннотация   PDF (Rus)
Никита Денисович Шаимов, Ирина Александровна Ломазова, Алексей Александрович Мицюк, Илья Юрьевич Самоненко
 
Том 26, № 4 (2019) Анализ безопасности контроллеров продольного движения во время набора высоты Аннотация   PDF (Eng)
Томас Баар, Хорст Шульте
 
Том 28, № 3 (2021) Анализ влияния стилометрических характеристик разного уровня на верификацию авторов художественных произведений Аннотация   PDF (Rus)
Алла Михайловна Манахова, Надежда Станиславовна Лагутина
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация   PDF (Rus)
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация   PDF (Rus)
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
 
Том 24, № 6 (2017) Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов Аннотация   PDF (Rus)
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Иван Андреевич Щитов, Илья Вячеславович Парамонов
 
Том 22, № 5 (2015) Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции Аннотация   PDF (Rus)
В. О. Голубенец
 
Том 22, № 6 (2015) Анализ системных исполнений с помощью Process Mining Аннотация   PDF (Rus)   PDF (Eng)
С. А. Шершаков, В. А. Рубин
 
Том 24, № 2 (2017) Анализ типизированных зависимостей включения с неопределенными значениями Аннотация   PDF (Rus)
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин
 
Том 26, № 2 (2019) Анализ условий возникновения пространственно-неоднородных структур световых волн в оптических системах передачи информации Аннотация   PDF (Rus)
Евгений Павлович Кубышкин, Владимир Александрович Куликов
 
Том 26, № 1 (2019) Анализ эффективности демультиплексирования транспортных потоков Аннотация   PDF (Rus)
Евгений Павлович Степанов
 
Том 23, № 3 (2016) Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток Аннотация   PDF (Eng)
Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер
 
Том 23, № 3 (2016) Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками Аннотация   PDF (Rus)
Н. А. Кудряшов, Д. И. Синельщиков
 
1 - 75 из 819 результатов 1 2 3 4 5 6 7 8 9 10 > >>