Preview

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

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

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


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

 
Выпуск Название
 
Том 22, № 6 (2015) Анализ системных исполнений с помощью Process Mining Аннотация   PDF (Rus)   PDF (Eng)
С. А. Шершаков, В. А. Рубин
 
Том 22, № 6 (2015) Лингвостатистический анализ терминологии для построения тезауруса предметной области Аннотация   PDF (Rus)
М. С. Каряева
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация   PDF (Rus)
А. А. Носков, М. А. Никитинский, И. В. Алексеев
 
Том 22, № 5 (2015) Асимптотика моментов сингулярной функции Лебега Аннотация   PDF (Rus)
Е. А. Tимофеев
 
Том 22, № 5 (2015) Фазовая модель Курамото с инерцией: бифуркации потери синхронности и перехода к хаосу Аннотация   PDF (Rus)
В. Н. Белых, М. И. Болотов, Г. В. Осипов
 
Том 22, № 5 (2015) Особенности динамики уравнения Колмогорова–Петровского–Пискунова с отклонением по пространственной переменной Аннотация   PDF (Rus)
С. В. Алешин, С. Д. Глызин, С. А. Кащенко
 
Том 22, № 5 (2015) Изоморфизм компактификаций модулей векторных расслоений: неприведенные схемы модулей Аннотация   PDF (Rus)
Н. В. Тимофеева
 
Том 22, № 5 (2015) Численное решение уравнения Пуассона в полярных координатах методом коллокаций и наименьших невязок Аннотация   PDF (Rus)
Е. В. Ворожцов, В. П. Шапеев
 
Том 22, № 5 (2015) Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии Аннотация   PDF (Rus)
А. М. Ковалева, Д. А. Куликов
 
Том 22, № 5 (2015) Асимптотика собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация   PDF (Rus)
С. А. Кащенко
 
Том 22, № 5 (2015) Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции Аннотация   PDF (Rus)
В. О. Голубенец
 
Том 22, № 4 (2015) Алгоритмы для мажоритарного декодирования групповых кодов Аннотация   PDF (Rus)
В. М. Деундяк, Ю. В. Косолапов
 
Том 22, № 4 (2015) О конечных группах с большой степенью неприводимого характера Аннотация   PDF (Rus)
Л. С. Казарин, С. С. Поисеева
 
Том 22, № 4 (2015) О финитной отделимости подгрупп в расщепляемых расширениях Аннотация   PDF (Rus)
А. А. Кряжева
 
Том 22, № 4 (2015) О выразительности подхода к построению ПЛК-программ по LTL-спецификации Аннотация   PDF (Rus)
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация   PDF (Rus)
А. Н. Носков, И. А. Манов
 
Том 22, № 4 (2015) Задача о наибольшем кратном потоке в делимой сети и ее частные случаи Аннотация   PDF (Rus)
А. В. Смирнов
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация   PDF (Rus)
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация   PDF (Rus)
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация   PDF (Rus)
М. С. Ушакова, А. И. Легалов
 
Том 22, № 4 (2015) Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях Аннотация   PDF (Rus)
В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов
 
Том 22, № 3 (2015) ПЕРЕХОД К ХАОСУ В КОМПЛЕКСНОМ УРАВНЕНИИ ГИНЗБУРГА–ЛАНДАУ С БОЛЬШОЙ ДИСПЕРСИЕЙ ТРЕТЬЕГО ПОРЯДКА Аннотация   PDF (Eng)
И. И. Овсянников, Д. В. Тураев, С. В. Зелик
 
Том 22, № 3 (2015) РЕШЕНИЕ ПАРАБОЛИЧЕСКОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ С ПОМОЩЬЮ ФОРМУЛЫ ФЕЙНМАНА – I Аннотация   PDF (Eng)
И. Д. Рeмизoв
 
Том 22, № 3 (2015) ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ Аннотация   PDF (Eng)
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко
 
Том 22, № 3 (2015) КОРПОРАТИВНАЯ ДИНАМИКА СИСТЕМ ЛОГИСТИЧЕСКИХ УРАВНЕНИЙ С ЗАПАЗДЫВАНИЕМ И С БОЛЬШИМ ЗАПАЗДЫВАЮЩИМ УПРАВЛЕНИЕМ Аннотация   PDF (Rus)
Н. Д. Быкова, С. А. Кащенко
 
Том 22, № 3 (2015) СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? Аннотация   PDF (Eng)
А. К. Бегичева, И. А. Ломазова
 
Том 22, № 3 (2015) АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ Аннотация   PDF (Rus)
С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов
 
Том 22, № 3 (2015) УСТОЙЧИВОСТЬ НЕПРЕРЫВНЫХ ВОЛН ДЛЯ МОДЕЛИ ПОЛУПРОВОДНИКОВОГО ЛАЗЕРА С БОЛЬШИМ ЗАПАЗДЫВАНИЕМ Аннотация   PDF (Rus)
А. А. Кащенко
 
Том 22, № 3 (2015) ИССЛЕДОВАНИЕ КОЛЕБАТЕЛЬНЫХ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНО-РАЗНОСТНОГО УРАВНЕНИЯ ВТОРОГО ПОРЯДКА В ОДНОМ КРИТИЧЕСКОМ СЛУЧАЕ Аннотация   PDF (Rus)
Е. П. Кубышкин, А. Р. Морякова
 
Том 22, № 2 (2015) О существовании ABA-факторизаций у спорадических групп ранга 3 Аннотация   PDF (Rus)
Лев Сергеевич Казарин, Илья Андреевич Рассадин, Денис Николаевич Сахаров
 
Том 22, № 2 (2015) Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора Аннотация   PDF (Rus)
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый
 
Том 22, № 2 (2015) Кэширование запросов к реляционной базе данных с использованием областей истинности Аннотация   PDF (Rus)   PDF (Eng)
Сергей Владимирович Мосин, Сергей Владимирович Зыкин
 
Том 22, № 2 (2015) Полнота динамики значений свойств данных в СУБД DIM Аннотация   PDF (Rus)   PDF (Eng)
Алексей Николаевич Петров, Вадим Сергеевич Рублев
 
Том 22, № 2 (2015) Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей Аннотация   PDF (Rus)
Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов
 
Том 22, № 2 (2015) Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади Аннотация   PDF (Rus)
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
 
Том 22, № 2 (2015) Уравнение Колмогорова–Петровского–Пискунова с запаздыванием Аннотация   PDF (Rus)
Сергей Владимирович Алешин, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко
 
Том 22, № 2 (2015) Аппроксимационные свойства нильпотентных групп Аннотация   PDF (Rus)
Дмитрий Николаевич Азаров
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация   PDF (Rus)   PDF (Eng)
Дмитрий Владимирович Антонов, В. С. Рублев
 
Том 22, № 2 (2015) МП-автоматы с независимыми счётчиками Аннотация   PDF (Rus)   PDF (Eng)
Михаил Иосифович Дехтярь, Борис Николаевич Карлов
 
Том 22, № 2 (2015) Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы Аннотация   PDF (Rus)
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин
 
Том 22, № 2 (2015) Равномерность векторных расслоений конечного ранга на полных пересечениях конечной коразмерности в линейных инд-грассманианах Аннотация   PDF (Rus)
Светлана Михайловна Ермакова
 
Том 19, № 6 (2012) Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ Аннотация   PDF (Rus)
Анатолий Игоревич Антонов, Владимир Александрович Бондаренко
 
Том 19, № 6 (2012) О некоторых следствиях теоремы о трансверсалях Аннотация   PDF (Rus)
Владимир Леонидович Дольников
 
Том 19, № 6 (2012) О некоторых задачах локализации в триангуляциях Делоне Аннотация   PDF (Rus)
Наталья Федоровна Дышкант
 
Том 19, № 6 (2012) Непрерывное уплощение правильного тетраэдра точными отображениями Аннотация   PDF (Rus)   PDF (Eng)
Джин-ичи Ито, Чи Нара
 
Том 19, № 6 (2012) Совершенные призмоиды и гипотеза о минимальном числе граней центрально-симметричных многогранников Аннотация   PDF (Rus)
Марина Александровна Козачок
 
Том 19, № 6 (2012) Равномерная асимптотика верхней границы дисперсии для случайного многогранника Аннотация   PDF (Rus)   PDF (Eng)
Александр Николаевич Магазинов
 
Том 19, № 6 (2012) Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов Аннотация   PDF (Rus)
Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова
 
Том 19, № 6 (2012) Многочлены объема для некоторых многогранников в пространствах постоянной кривизны Аннотация   PDF (Rus)
Денис Иджадович Сабитов, Иджад Хакович Сабитов
 
Том 19, № 6 (2012) Наследcтвенные свойства модульных сетей Аннотация   PDF (Rus)
Владимир Анатольевич Башкин
 
Том 19, № 6 (2012) Новое доказательство формулы Эйлера Аннотация   PDF (Rus)
Михаил Иванович Штогрин
 
Том 19, № 6 (2012) Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри Аннотация   PDF (Rus)
Дмитрий Анатольевич Зайцев
 
Том 19, № 6 (2012) Дедуктивная верификация телекоммуникационных систем, представленных на языке Си Аннотация   PDF (Rus)
Игорь Сергеевич Ануреев
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация   PDF (Rus)
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация   PDF (Rus)
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
 
Том 19, № 6 (2012) Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения Аннотация   PDF (Rus)
Марат Халимович Ахин, Владимир Михайлович Ицыксон
 
Том 19, № 6 (2012) Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов Аннотация   PDF (Rus)
Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров
 
Том 19, № 6 (2012) Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова Аннотация   PDF (Rus)   PDF (Eng)
Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
 
Том 19, № 5 (2012) О теории алгебраических моделей программ с процедурами Аннотация   PDF (Rus)
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация   PDF (Rus)
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
 
Том 19, № 5 (2012) Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей Аннотация   PDF (Rus)
Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов
 
Том 19, № 5 (2012) TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные Аннотация   PDF (Rus)
Анатолий Александрович Сивов
 
Том 19, № 5 (2012) О работе семинара «Нелинейная динамика и вычислительная геометрия» (Workshop “Nonlinear Dynamics and Computational Geometry”) Аннотация   PDF (Rus)
Статья Редакционная
 
Том 19, № 5 (2012) О неглавных идеалах в полурешетке степеней перечислимости Аннотация   PDF (Rus)
Борис Яковлевич Солон, Валерий Валерьевич Тихов
 
Том 19, № 5 (2012) Современные открытые проблемы в дискретной и вычислительной геометрии Аннотация   PDF (Rus)   PDF (Eng)
Герберт Эдельсбруннер, Александр Иванов, Роман Карасев
 
Том 19, № 5 (2012) Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых Аннотация   PDF (Rus)
Сергей Александрович Кащенко
 
Том 19, № 5 (2012) Динамика комплексного пространственно-распределенного уравнения Хатчинсона Аннотация   PDF (Rus)
Дмитрий Сергеевич Глызин, Сергей Александрович Кащенко
 
Том 19, № 5 (2012) Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии Аннотация   PDF (Rus)
Дмитрий Анатольевич Куликов, Александр Степанович Рудый
 
Том 19, № 5 (2012) Полиномиальный метод построения равновесных конфигураций точечных вихрей на плоскости Аннотация   PDF (Rus)
Мария Владимировна Демина, Николай Алексеевич Кудряшов
 
Том 19, № 5 (2012) Автоколебания решеток нелинейных элементов в опыте Скотта Аннотация   PDF (Rus)
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин
 
Том 19, № 5 (2012) Моделирование счетчиковых машин двухголовочными автоматами Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 19, № 5 (2012) Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования Аннотация   PDF (Rus)
Мария Сергеевна Кропачева, Александр Иванович Легалов
 
Том 19, № 4 (2012) Замечания о расположениях точек на квадриках Аннотация   PDF (Rus)
Александр Владиславович Селиверстов
 
Том 19, № 4 (2012) Обобщенные асинхронные системы Аннотация   PDF (Rus)
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов
 
Том 19, № 4 (2012) Двойственность Гейла и смежностность случайных многогранников. II Аннотация   PDF (Rus)
Алексей Германович Бродский
 
76 - 150 из 602 результатов << < 1 2 3 4 5 6 7 8 9 > >>