Preview

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

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

Информация о разделе


Оригинальные статьи

 
Выпуск Название
 
Том 19, № 4 (2012) Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования Аннотация   PDF (Rus)
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин
 
Том 19, № 4 (2012) Конструктивная классификация графов Аннотация   PDF (Rus)
Михаил Анатольевич Иорданский
 
Том 19, № 4 (2012) Контекстно-свободная грамматика одной ритмической модели русского стиха Аннотация   PDF (Rus)
Владимир Николаевич Бойков
 
Том 19, № 4 (2012) Первая ярославская летняя школа по дискретной и вычислительной геометрии Аннотация   PDF (Rus)   PDF (Eng)
Николай Долбилин, Г. Эдельсбруннер, Александр Иванов, Олег Мусин
 
Том 19, № 4 (2012) Об одной нестационарной задаче маршрутизации с ограничениями Аннотация   PDF (Rus)
Александр Георгиевич Ченцов, Павел Александрович Ченцов
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 19, № 4 (2012) Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть Аннотация   PDF (Rus)
Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация   PDF (Rus)
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
 
Том 19, № 4 (2012) Счетные идеалы в полурешетке Dе степеней Аннотация   PDF (Rus)
Валерий Валерьевич Тихов
 
Том 19, № 4 (2012) Об одном вопросе А.И. Мальцева из "Коуровской тетради" Аннотация   PDF (Rus)
Валерий Георгиевич Дурнев
 
Том 19, № 4 (2012) Замечания о расположениях точек на квадриках Аннотация   PDF (Rus)
Александр Владиславович Селиверстов
 
Том 19, № 3 (2012) Динамика простейших кусочно-линейных разрывных отображений Аннотация   PDF (Rus)
Дмитрий Сергеевич Кащенко
 
Том 19, № 3 (2012) Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка Аннотация   PDF (Rus)
Сергей Дмитриевич Глызин, Елена Александрович Марушкина
 
Том 19, № 3 (2012) О гладкости в Lp, 0 < p < 1 Аннотация   PDF (Rus)
Анатолий Николаевич Морозов
 
Том 19, № 3 (2012) Локальная динамика трех осцилляторов со связью вещательного типа Аннотация   PDF (Rus)
Анна Олеговна Толбей
 
Том 19, № 3 (2012) О некоторых результатах по геометрии выпуклых и их приложениях Аннотация   PDF (Rus)
Михаил Викторович Невский
 
Том 19, № 3 (2012) О порядке роста числа инъективных и сверхрастущих рюкзачных векторов Аннотация   PDF (Rus)
Дмитрий Михайлович Мурин
 
Том 19, № 3 (2012) Устойчивость простейших периодических решений в уравнении Стюарта–Ландау с большим запаздыванием Аннотация   PDF (Rus)
Александра Андреевна Кащенко
 
Том 19, № 3 (2012) О работе семинара «Нелинейная динамика» Аннотация   PDF (Rus)
Статья Редакционная
 
Том 19, № 3 (2012) О неглавных идеалах в полурешетке степеней перечислимости Аннотация   PDF (Rus)
Борис Яковлевич Солон, Валерий Валерьевич Тихов
 
Том 19, № 3 (2012) Синергетика — от прошлого к будущему Аннотация   PDF (Rus)
Георгий Геннадьевич Малинецкий
 
Том 19, № 3 (2012) Асимптотика решений обобщённого уравнения Хатчинсона Аннотация   PDF (Rus)
Сергей Александрович Кащенко
 
Том 19, № 3 (2012) Об одном классе операторных включений Аннотация   PDF (Rus)
Николай Андреевич Демьянков, Владимир Степанович Климов
 
Том 19, № 2 (2012) Новые компоненты схемы модулей MP3 (2; -1; 2; 0) стабильных когерентных пучков ранга 2 без кручения на трехмерном проективном пространстве P3 Аннотация   PDF (Rus)
Михаил Александрович Заводчиков
 
Том 19, № 2 (2012) Mодули стабильных пучков ранга 2 с классами Черна c1 = -1, c2 = 2, c3 = 0 на трехмерной квадрике Аннотация   PDF (Rus)
Артем Дмитриевич Уваров
 
Том 19, № 2 (2012) Потоки в обобщенных сетях со связанными дугами Аннотация   PDF (Rus)
Владимир Александрович Скороходов
 
Том 19, № 2 (2012) Уравнение кинетики измельчения с произвольным законом распределения времени ожидания Аннотация   PDF (Rus)
Леонид Владимирович Королев, Донат Олегович Бытев
 
Том 19, № 2 (2012) Двойственность Гейла и смежностность случайных многогранников. I Аннотация   PDF (Rus)
Алексей Германович Бродский
 
Том 19, № 2 (2012) Предельная степень апериодической устойчивости линейных систем и выбор параметров промышленных регуляторов Аннотация   PDF (Rus)
Александр Владимирович Татаринов, Анатолий Михайлович Цирлин
 
Том 19, № 2 (2012) Отношение истории и динамика схем баз данных СУБД DIM Аннотация   PDF (Rus)
Вадим Сергеевич Рублев
 
Том 19, № 2 (2012) Шары в пространствах последовательностей Аннотация   PDF (Rus)
Евгений Александрович Тимофеев
 
Том 19, № 2 (2012) Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL Аннотация   PDF (Rus)
Павел Валерьевич Лебедев
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 19, № 2 (2012) Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло Аннотация   PDF (Rus)
Лев Юрьевич Бараш, Лев Николаевич Щур
 
Том 19, № 1 (2012) Задача адаптации обобщенного нейронного элемента Аннотация   PDF (Rus)
Евгений Владиславович Коновалов
 
Том 19, № 1 (2012) Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем Аннотация   PDF (Rus)
Евгений Павлович Кубышкин, Ольга Анатольевна Хребтюгова
 
Том 19, № 1 (2012) Асимптотика периодических решений автономных параболических уравнений с быстро осциллирующими коэффициентами и уравнений с большими коэффициентами диффузии Аннотация   PDF (Rus)
Сергей Александрович Кащенко, Артем Сергеевич Полстьянов
 
Том 19, № 1 (2012) Динамика уравнения Курамото с пространственно-распределенным управлением Аннотация   PDF (Rus)
Илья Сергеевич Кащенко, Сергей Александрович Кащенко
 
Том 19, № 1 (2012) Об одном изоморфизме компактификаций схемы модулей векторных расслоений Аннотация   PDF (Rus)
Надежда Владимировна Тимофеева
 
Том 19, № 1 (2012) Смещение оценки энтропии для симметричных мер Бернулли и слабой метрики Аннотация   PDF (Rus)
Нина Евгеньевна Тимофеева
 
Том 19, № 1 (2012) Моделирование систем автоматического управления на основе полиномов Вольтерра Аннотация   PDF (Rus)
Светлана Витальевна Солодуша
 
Том 22, № 1 (2015) Сингулярно возмущённая краевая задача с многозонным внутренним переходным слоем Аннотация   PDF (Rus)
Валентин Федорович Бутузов
 
Том 22, № 1 (2015) Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений Аннотация   PDF (Eng)
Николай Алексеевич Кудряшов
 
Том 22, № 1 (2015) Катастрофа голубого неба в системах с неклассическими релаксационными колебаниями Аннотация   PDF (Rus)
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
 
Том 22, № 1 (2015) Локальная динамика уравнения второго порядка с большим экспоненциально распределенным запаздыванием и существенным трением Аннотация   PDF (Rus)
Дмитрий Владимирович Глазков
 
Том 22, № 1 (2015) О нулях некоторых характеристических квазиполиномов Аннотация   PDF (Rus)
Дмитрий Сергеевич Глызин, Евгений Павлович Кубышкин, Алёна Романовна Морякова
 
Том 22, № 1 (2015) Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления Аннотация   PDF (Rus)
Маргарита Александровна Калашникова
 
Том 22, № 1 (2015) Особенности формирования диссипативных структур, описываемых уравнением Курамото–Сивашинского Аннотация   PDF (Rus)
Николай Алексеевич Кудряшов, Павел Николаевич Рябов, Богдан Александрович Петров
 
Том 22, № 1 (2015) Использование информационных технологий и инфраструктур для агрегации научной информации. Опыт Канады, Нидерландов, Германии Аннотация   PDF (Rus)
Марат Рамилевич Биктимиров, Владимир Леонидович Глебский, Борис Вячеславович Долгов, Сергей Алексеевич Поликарпов
 
Том 22, № 1 (2015) О приближении периодических функций в L₂ и значениях поперечников некоторых классов функций Аннотация   PDF (Rus)
Камаридин Тухлиев
 
Том 21, № 6 (2014) Инкрементальный подход к технологии создания тестов для индустриальных проектов Аннотация   PDF (Rus)
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский
 
Том 21, № 6 (2014) Программный комплекс для анализа и визуализации графов Аннотация   PDF (Rus)
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский
 
Том 21, № 6 (2014) PolarDB – система создания специализированных NoSQL баз данных и СУБД Аннотация   PDF (Rus)
Александр Гурьевич Марчук
 
Том 21, № 6 (2014) О работе семинара «Нелинейная динамика» Аннотация   PDF (Rus)
Статья Редакционная
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация   PDF (Rus)
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
 
Том 21, № 6 (2014) Управляемые тупики в параллельных ресурсно-ограниченных потоках работ Аннотация   PDF (Rus)
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация   PDF (Rus)
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
 
Том 21, № 6 (2014) Подход к автоматизации отладки поведенческих сценариев Аннотация   PDF (Rus)
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация   PDF (Rus)
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация   PDF (Rus)
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация   PDF (Rus)
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация   PDF (Rus)
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
 
Том 21, № 6 (2014) Поддержка эволюции визуальных языков в платформе QReal Аннотация   PDF (Rus)
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация   PDF (Rus)
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
 
Том 21, № 6 (2014) Инструментальная поддержка встроенных языков в интегрированных средах разработки Аннотация   PDF (Rus)
Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун
 
Том 21, № 5 (2014) Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II Аннотация   PDF (Rus)
Павел Николаевич Нестеров
 
Том 21, № 5 (2014) Применение метода квазинормальных форм к математической модели отдельного нейрона Аннотация   PDF (Rus)
Маргарита Михайловна Преображенская
 
Том 21, № 5 (2014) Двояко-периодические мероморфные решения автономных нелинейных дифференциальных уравнений Аннотация   PDF (Rus)
Николай Алексеевич Кудряшов, Мария Владимировна Демина
 
Том 21, № 5 (2014) Динамика логистического уравнения с запаздыванием и запаздывающим управлением Аннотация   PDF (Rus)
Сергей Александрович Кащенко
 
Том 21, № 5 (2014) Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем Аннотация   PDF (Rus)
Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов
 
Том 21, № 5 (2014) Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах Аннотация   PDF (Rus)
Михаил Александрович Фарков, Александр Иванович Легалов
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация   PDF (Rus)
Сергей Андреевич Шершаков
 
Том 21, № 5 (2014) Характеристики сложности: кликовое число графа многогранника и число прямоугольного покрытия Аннотация   PDF (Rus)
Александр Николаевич Максименко
 
Том 21, № 5 (2014) Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса Аннотация   PDF (Rus)
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
 
Том 21, № 5 (2014) Аттрактор в кольцевой структуре обобщенных нейронных элементов автогенераторного типа Аннотация   PDF (Rus)
Евгений Владиславович Коновалов
 
151 - 225 из 602 результатов << < 1 2 3 4 5 6 7 8 9 > >>