Preview

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

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

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


 
Выпуск Название
 
Том 23, № 5 (2016) Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред Аннотация   PDF (Rus)
Ж. О. Домбровская
 
Том 22, № 1 (2015) Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений Аннотация   PDF (Eng)
Николай Алексеевич Кудряшов
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация   PDF (Rus)
А. В. Шалимов
 
Том 23, № 2 (2016) Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем Аннотация   PDF (Rus)
Д. Ю. Волканов
 
Том 23, № 6 (2016) Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата Аннотация   PDF (Rus)
А. Д. Ермаков, Н. В. Евтушенко
 
Том 27, № 2 (2020) Метод совместной кластеризации в графовом и корреляционном пространствах Аннотация   PDF (Rus)
Анастасия Наильевна Гайнуллина, Анатолий Абрамович Шалыто, Алексей Александрович Сергушичев
 
Том 21, № 3 (2014) Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. I Аннотация   PDF (Rus)
Павел Николаевич Нестеров
 
Том 21, № 5 (2014) Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II Аннотация   PDF (Rus)
Павел Николаевич Нестеров
 
Том 23, № 6 (2016) Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки Аннотация   PDF (Rus)
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов
 
Том 31, № 3 (2024) Методы определения неявно упоминаемых аспектов в публицистических предложениях на русском языке Аннотация   PDF (Rus)
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Егор Михайлович Колупаев
 
Том 31, № 4 (2024) Методы определения тональности по отношению к аспектам социально-экономического развития в предложениях на русском языке Аннотация   PDF (Rus)
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук
 
Том 29, № 1 (2022) Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС Аннотация   PDF (Rus)
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров
 
Том 26, № 4 (2019) Методы специализации онтологии процессов, ориентированной на верификацию Аннотация   PDF (Rus)
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин
 
Том 21, № 2 (2014) Механизм антивирусной защиты на базе (n, t)-пороговой ДЦП с Арбитром Аннотация   PDF (Rus)
Евгений Алексеевич Толюпа
 
Том 31, № 1 (2024) Минимальное покрытие обобщенных типизированных зависимостей включения в базах данных Аннотация   PDF (Rus)
Сергей Владимирович Зыкин
 
Том 14, № 1 (2007) Минимальные проекторы и максимальные симплексы Аннотация   PDF (Rus)
М. В. Невский
 
Том 23, № 3 (2016) МКЭ-анализ на адаптированных к слою сетках в задачах с точкой по- ворота, имеющих внутренний слой Аннотация   PDF (Eng)
С. Бехер
 
Том 19, № 6 (2012) Многочлены объема для некоторых многогранников в пространствах постоянной кривизны Аннотация   PDF (Rus)
Денис Иджадович Сабитов, Иджад Хакович Сабитов
 
Том 30, № 4 (2023) Моделирование влияния внешних воздействий на процесс автоматизированной посадки БпЛА-квадрокоптера на подвижную платформу с использованием технического зрения Аннотация   PDF (Rus)
Артём Валерьевич Рябинов, Антон Игоревич Савельев, Дмитрий Андреевич Аникин
 
Том 23, № 3 (2016) Моделирование неизотермического течения аномально вязкой жидкости в каналах с различной геометрией границ Аннотация   PDF (Rus)
К. В. Литвинов
 
Том 32, № 2 (2025) Моделирование примитивов синхронизации параллельных программ Аннотация   PDF (Rus)
Олег Сергеевич Крюков, Анна Геннадьевна Волошко, Алексей Николаевич Ивутин
 
Том 19, № 1 (2012) Моделирование систем автоматического управления на основе полиномов Вольтерра Аннотация   PDF (Rus)
Светлана Витальевна Солодуша
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 19, № 5 (2012) Моделирование счетчиковых машин двухголовочными автоматами Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация   PDF (Rus)   PDF (Eng)
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
 
Том 14, № 2 (2007) Модель сальтаторного проведения возбуждения по разветвляющемуся нервному волокну Аннотация   PDF (Rus)
С. Е. Ануфриенко, А. С. Мац
 
Том 29, № 4 (2022) Модель текста для автоматической оценки делового письма на заданную тему Аннотация   PDF (Rus)
Даниил Дмитриевич Зафиевский, Надежда Станиславовна Лагутина, Оксана Андреевна Мельникова, Анатолий Юрьевич Полетаев
 
Том 18, № 3 (2011) Модульная модель мультимедийного документа и особенности ее программной реализации Аннотация   PDF (Rus)
Владислав Игоревич Январев
 
Том 22, № 2 (2015) МП-автоматы с независимыми счётчиками Аннотация   PDF (Rus)   PDF (Eng)
Михаил Иосифович Дехтярь, Борис Николаевич Карлов
 
Том 20, № 2 (2013) Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты Аннотация   PDF (Rus)
Антон Юрьевич Бернштейн, Николай Вячеславович Шилов
 
Том 17, № 2 (2010) Мультистабильность в модели лазера с большим запаздыванием Аннотация   PDF (Rus)
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко
 
Том 26, № 2 (2019) На пути к SD-WAN решению Аннотация   PDF (Eng)
Станислав Валентинович Корсаков, Валерий Анатольевич Соколов
 
Том 28, № 4 (2021) На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer Аннотация   PDF (Rus)
Дмитрий Александрович Кондратьев
 
Том 29, № 3 (2022) На пути к нейросетевой маршрутизации с верифицированными границами эффективности Аннотация   PDF (Rus)
Игорь Петрович Бужинский, Анатолий Абрамович Шалыто
 
Том 26, № 4 (2019) Направляемый свойством поиск реляционных инвариантов Аннотация   PDF (Rus)
Дмитрий Александрович Мордвинов
 
Том 19, № 6 (2012) Наследcтвенные свойства модульных сетей Аннотация   PDF (Rus)
Владимир Анатольевич Башкин
 
Том 29, № 2 (2022) Нейросетевая классификация русскоязычных предложений по тональности на четыре класса Аннотация   PDF (Rus)
Максим Алексеевич Костерин, Илья Вячеславович Парамонов
 
Том 21, № 2 (2014) Неклассические релаксационные колебания в нейродинамике Аннотация   PDF (Rus)
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
 
Том 21, № 2 (2014) Некоторые аппроксимационные свойства групп конечного ранга Аннотация   PDF (Rus)
Дмитрий Николаевич Азаров
 
Том 20, № 2 (2013) Некоторые классы разрешимости задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация   PDF (Rus)
Александр Валерьевич Смирнов
 
Том 31, № 3 (2024) Некоторые полиномиальные подклассы задачи об эйлеровом маршруте в кратном графе Аннотация   PDF (Rus)
Александр Валерьевич Смирнов
 
Том 19, № 6 (2012) Непрерывное уплощение правильного тетраэдра точными отображениями Аннотация   PDF (Rus)   PDF (Eng)
Джин-ичи Ито, Чи Нара
 
Том 20, № 1 (2013) Несмещенная оценка энтропии для бинарных потоков Аннотация   PDF (Rus)
Евгений Александрович Тимофеев
 
Том 25, № 5 (2018) Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью Аннотация   PDF (Rus)
Сергей Дмитриевич Глызин, Елена Александровна Марушкина
 
Том 19, № 6 (2012) Новое доказательство формулы Эйлера Аннотация   PDF (Rus)
Михаил Иванович Штогрин
 
Том 16, № 4 (2009) Новые алгоритмы лексической оптимизации запросов Аннотация   PDF (Rus)
С. Д. Кузнецов, Н. А. Мендкович
 
Том 19, № 2 (2012) Новые компоненты схемы модулей MP3 (2; -1; 2; 0) стабильных когерентных пучков ранга 2 без кручения на трехмерном проективном пространстве P3 Аннотация   PDF (Rus)
Михаил Александрович Заводчиков
 
Том 24, № 1 (2017) Новые оценки числовых величин, связанных с симплексом Аннотация   PDF (Rus)
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 20, № 4 (2013) Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах Аннотация   PDF (Rus)
Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый
 
Том 26, № 3 (2019) Новый подход к моделированию генных сетей Аннотация   PDF (Rus)
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация   PDF (Eng)
Сергей Владимирович Моржов, Михаил Александрович Никитинский
 
Том 14, № 2 (2007) Нормализация одного уравнения с запаздыванием и бифуркация, приводящая к циклу асимптотически большого периода Аннотация   PDF (Rus)
Д. В. Глазков
 
Том 16, № 4 (2009) Нормализация уравнения с линейно распределенным запаздыванием Аннотация   PDF (Rus)
И. С. Кащенко
 
Том 25, № 5 (2018) О безопасности одно- и многоместных IFP-операторов Аннотация   PDF (Rus)
Сергей Михайлович Дудаков
 
Том 24, № 2 (2017) О бифуркациях при малых возмущениях в логистическом уравнении с запаздыванием Аннотация   PDF (Rus)
Сергей Александрович Кащенко
 
Том 20, № 6 (2013) О бутстрэпе для диаграмм и ландшафтов персистентности Аннотация   PDF (Rus)   PDF (Eng)
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман
 
Том 14, № 3 (2007) О вербальной модели диссертационной работы Аннотация
Ю. Г. Гущин
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 28, № 4 (2021) О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени Аннотация   PDF (Rus)
Антон Романович Гнатенко, Владимир Анатольевич Захаров
 
Том 22, № 4 (2015) О выразительности подхода к построению ПЛК-программ по LTL-спецификации Аннотация   PDF (Rus)
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация   PDF (Rus)
Антон Романович Гнатенко, Владимир Анатольевич Захаров
 
Том 30, № 1 (2023) О вычислительных конструкциях в функциональных пространствах Аннотация   PDF (Rus)
Анатолий Николаевич Морозов
 
Том 18, № 2 (2011) О геометрических характеристиках n-мерного симплекса Аннотация   PDF (Rus)
Михаил Викторович Невский
 
Том 30, № 3 (2023) О геометрическом подходе к оцениванию интерполяционных проекторов Аннотация   PDF (Rus)
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 24, № 2 (2017) О гипотезах Тэйта для дивизоров на расслоенном многообразии и его общем схемном слое в случае конечной характеристики Аннотация   PDF (Rus)
Татьяна Вячеславовна Прохорова
 
Том 25, № 3 (2018) О гипотезах Ходжа, Тэйта и Мамфорда–Тэйта для расслоенных произведений семейств регулярных поверхностей с геометрическим родом 1 Аннотация   PDF (Rus)
Ольга Владимировна Орешкина (Никольская)
 
Том 18, № 3 (2011) О гипотезе Лассака для выпуклого тела Аннотация   PDF (Rus)
Михаил Викторович Невский
 
Том 19, № 3 (2012) О гладкости в Lp, 0 < p < 1 Аннотация   PDF (Rus)
Анатолий Николаевич Морозов
 
Том 20, № 6 (2013) О группах гомологий одного подпространства триангуляций двумерного симплекса с не более чем 6 точками разбиения границы Аннотация   PDF (Rus)   PDF (Eng)
Светлана Ивановна Яблокова
 
Том 23, № 2 (2016) О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики Аннотация   PDF (Rus)
Т. В. Прохорова
 
Том 18, № 3 (2011) О двух конечномерных аппроксимациях периодической краевой задачи Аннотация   PDF (Rus)
Николай Андреевич Демьянков
 
Том 25, № 3 (2018) О дифференцируемости по Тейлору в пространствах Lp, 0 < p ≤ ∞ Аннотация   PDF (Rus)
Анатолий Николаевич Морозов
 
Том 27, № 4 (2020) О задаче верификации моделей программ для одного расширения логики CTL* Аннотация   PDF (Rus)
Антон Романович Гнатенко, Владимир Анатольевич Захаров
 
Том 24, № 4 (2017) О задаче минимизации последовательных программ Аннотация   PDF (Rus)
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова
 
301 - 375 из 819 результатов << < 1 2 3 4 5 6 7 8 9 10 > >>