Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 14, № 4 (2007) Верификация синхронно-автоматных программ Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов
"... свойств. Применение этой методики позволит выявить большое число ошибок, допускаемых в процессе разработки. ..."
 
Том 14, № 1 (2007) Синхронная модель автоматной программы Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов, В. А. Соколов
"... верификации синхронных программ для проверки автоматных программ. В частности предполагается использование ..."
 
Том 17, № 3 (2010) Язык объектных запросов динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
В. С. Рублев
 
Том 18, № 1 (2011) О тензорных квадратах неприводимых представлений конечных почти простых групп. I. Аннотация  PDF (Rus)  похожие документы
С. В. Поляков
"... Рассматриваются конечные почти простые SM_m-группы (см. определение ниже). В первой части работы ..."
 
Том 22, № 5 (2015) Особенности динамики уравнения Колмогорова–Петровского–Пискунова с отклонением по пространственной переменной Аннотация  PDF (Rus)  похожие документы
С. В. Алешин, С. Д. Глызин, С. А. Кащенко
"... Рассматривается задача распространения волны плотности в логистическом уравнении с диффузией и ..."
 
Том 23, № 6 (2016) Имитационное моделирование для анализа выполнимости приложений реального времени Аннотация  PDF (Rus)  похожие документы
С. Н. Баранов, В. В. Никифоров
"... выполнимости приложения с заданным профилем в зависимости от производительности процессора. Практическим ..."
 
Том 14, № 4 (2007) Исследование модифицированной модели сальтаторного проведения возбуждения Аннотация  PDF (Rus)  похожие документы
В. В. Майоров, С. Е. Ануфриенко
"... В работе рассматривается модель сальтаторного проведения возбуждения, в которой для описания ..."
 
Том 17, № 2 (2010) Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения Аннотация  PDF (Rus)  похожие документы
В. С. Рублев, А. В. Смирнов
"... этой задачи к задаче нахождения максимального потока в кратной сети целочисленного сбалансирования ..."
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
"... В данной статье рассмотрены принципы организации беспроводных mesh-сетей  программно ..."
 
Том 17, № 2 (2010) Мультистабильность в модели лазера с большим запаздыванием Аннотация  PDF (Rus)  похожие документы
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко
"... Исследуется модель динамики генерации лазера, основанная на одномо-довых балансных уравнениях с ..."
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
"... В статье приводится обзор средств, используемых в объектной СУБД нового типа для повышения ..."
 
Том 22, № 6 (2015) Анализ системных исполнений с помощью Process Mining Аннотация  PDF (Rus)  похожие документы
С. А. Шершаков, В. А. Рубин
"... Информационные системы (ИС) оставляют многочисленные следы и журналы событий своей работы. В ..."
 
Том 17, № 1 (2010) Визуализация динамических графов для анализа сложных сетей Аннотация  PDF (Rus)  похожие документы
С. Н. Пупырев, А. В. Тихонов
"... основан на построении послойных укладок графов с сохранением ментальной карты. Для этого алгоритмы ..."
 
Том 17, № 3 (2010) Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла Аннотация  PDF (Rus)  похожие документы
Д. В. Глазков, С. А. Кащенко
"... Исследуется локальная динамика комплексного дифференциального уравнения с большим запаздыванием в ..."
 
Том 22, № 3 (2015) ПЕРЕХОД К ХАОСУ В КОМПЛЕКСНОМ УРАВНЕНИИ ГИНЗБУРГА–ЛАНДАУ С БОЛЬШОЙ ДИСПЕРСИЕЙ ТРЕТЬЕГО ПОРЯДКА Аннотация  похожие документы
И. И. Овсянников, Д. В. Тураев, С. В. Зелик
"... Дано аналитическое доказательство существования шильниковского хаоса в комплексном уравнении ..."
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... В работе описана математическая модель торговых потоков между территориями региона или страны в ..."
 
Том 19, № 6 (2012) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
 
Том 20, № 6 (2013) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
 
Том 17, № 3 (2010) Верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
 
Том 23, № 3 (2016) Применение метода дифференциальных неравенств для обоснования решения системы параболических уравнений в виде движущегося фронта Аннотация  PDF (Rus)  похожие документы
Н. Т. Левашова, А. А. Мельникова, С. В. Быцюра
"... краевые задачи, решения которых претерпевают резкое изменение в какой-либо области пространства. Такие ..."
 
Том 24, № 3 (2017) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. Ф. Бутузов, С. Д. Глызин, Н. Н. Нефедов
 
Том 17, № 2 (2010) Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 Аннотация  PDF (Rus)  похожие документы
И. В. Алексеев, С. А. Меркулов, А. А. Сивов
"... некоторые вопросы взаимодействия TCP и ARTCP. Приведен план работ по реализации ARTCP в Linux. ..."
 
Том 23, № 6 (2016) Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки Аннотация  PDF (Rus)  похожие документы
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов
"... специализированный тезаурус в области медицины с тем же уровнем качества, что и другие методы, но с большим ..."
 
Том 17, № 4 (2010) Генерация тестовых данных на основе формального анализа данных конфигурации проекта Аннотация  PDF (Rus)  похожие документы
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
"... требований для функционального тестирования. Использование метода упрощает поддержание в непротиворечивом ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
"... Представлена расширяемая мультиязыковая система анализа и верификации СПЕКТР, разрабатываемая в ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... гибкость и быстрый темп инноваций в сети, однако оно имеет сложную природу, в связи с чем возникает ..."
 
Том 22, № 4 (2015) О конечных группах с большой степенью неприводимого характера Аннотация  PDF (Rus)  похожие документы
Л. С. Казарин, С. С. Поисеева
"... при e > 1. Я. Берковичем доказано, что в случае e = 1 группа G является группой Фробениуса с ..."
 
Том 23, № 3 (2016) МКЭ-анализ на адаптированных к слою сетках в задачах с точкой по- ворота, имеющих внутренний слой Аннотация  похожие документы
С. Бехер
"... Рассматриваются сингулярно возмущенные задачи с точкой поворота, решения которых имеют внутренний ..."
 
Том 16, № 4 (2009) Пространственно-неоднородные периодические решения в распределенном уравнении Хатчинсона Аннотация  PDF (Rus)  похожие документы
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов
"... распределенного уравнения Хатчинсона с периодическими краевыми условиями. Показано, что данные режимы наблюдаются ..."
 
Том 18, № 1 (2011) Пространственно-неоднородные периодические решения уравнения Хатчинсона с распределенным насыщением Аннотация  PDF (Rus)  похожие документы
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов
"... распределенного уравнения Хатчинсона с периодическими краевыми условиями в случаях симметричного и ..."
 
Том 23, № 4 (2016) Сравнение алгоритмов удвоения размера изображения Аннотация  PDF (Rus)  похожие документы
С. Е. Ваганов, С. И. Хашин
"... свертки с ядром Ланцоша с параметром a = 3 (см. таблицу в конце работы).  ..."
 
Том 14, № 2 (2007) Модель сальтаторного проведения возбуждения по разветвляющемуся нервному волокну Аннотация  PDF (Rus)  похожие документы
С. Е. Ануфриенко, А. С. Мац
 
Том 22, № 5 (2015) Асимптотика собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... Рассматривается линейное дифференциальное уравнение второго порядка с малым множителем при старшей ..."
 
Том 22, № 6 (2015) Лингвостатистический анализ терминологии для построения тезауруса предметной области Аннотация  PDF (Rus)  похожие документы
М. С. Каряева
"... Работа посвящена анализу корпуса терминов и терминологических источников с целью дальнейшей ..."
 
Том 23, № 1 (2016) Асимптотические разложения собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... при старшей производной собственных значений первой краевой задачи. Основное предположение состоит в ..."
 
Том 23, № 1 (2016) Асимптотические разложения собственных значений периодической и антипериодической краевых задач для сингулярно возмущенных дифференциальных уравнений второго порядка с точками поворота Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... устойчивости и неустойчивости. В частности, решена задача об устойчивости решений уравнений второго порядка с ..."
 
Том 23, № 3 (2016) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
 
Том 23, № 4 (2016) Резервное копирование с хранением в базе данных Аннотация  PDF (Rus)  похожие документы
С. М. Таранин
"... к реализации системы резервного копирования с сохранением файлов в базе данных. Предлагается ..."
 
Том 23, № 5 (2016) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
 
Том 21, № 1 (2014) От редколлегии Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
 
Том 13, № 1 (2006) Поведение решений нормальной формы системы трех связанных разностных автогенераторов Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
"... отображение служит математической моделью автогенератора с релейным усилителем и с отрезком длинной линии без ..."
 
Том 25, № 1 (2018) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
 
Том 14, № 2 (2007) Динамические свойства уравнений первого порядка с большим запаздыванием Аннотация  PDF (Rus)  похожие документы
И. С. Кащенко
"... Изучается локальная динамика дифференциального уравнения первого порядка с большим запаздыванием ..."
 
Том 14, № 3 (2007) Учет возрастных групп в уравнении Хатчинсона Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
"... Изучается динамика обобщенного уравнения Хатчинсона с двумя запаздываниями. Проведен локальный ..."
 
Том 16, № 3 (2009) Разностные аппроксимации уравнения «реакция - диффузия» на отрезке Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
"... многообразии построена и проанализирована система разностей фаз осцилляторов. В случае, когда число ..."
 
Том 16, № 4 (2009) Метод автоматического построения алгоритмов распознавания участков фазовых траекторий Аннотация  PDF (Rus)  похожие документы
Д. С. Коваленко
"... динамических систем. Информация о поведении системы доступна в виде фазовой траектории в пространстве показаний ..."
 
Том 16, № 4 (2009) Нормализация уравнения с линейно распределенным запаздыванием Аннотация  PDF (Rus)  похожие документы
И. С. Кащенко
"... Изучаются свойства локальной динамики дифференциального уравнения с линейно распределенным ..."
 
Том 15, № 1 (2008) Объектное расширение PL/ODQL языка запросов ODQL для Динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
Д. С. Писаренко
"... запросов ODQL [1], которое было бы удобно для работы с объектами этой системы. Приводится описание ..."
 
Том 17, № 2 (2010) Релаксационные колебания электрически связанных нейроподобных осцилляторов с запаздыванием Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
"... Рассматривается система диффузионно связанных нелинейных дифференциально-разностных уравнений с ..."
 
Том 17, № 3 (2010) Разрешимость теории Th(w, 0,1, <, +, f0,..., fn) Аннотация  PDF (Rus)  похожие документы
А. С. Снятков
"... добавлением функций fi,i > 0, которые в работе названы «гиперфункциями», полученных итерацией, согласованной ..."
 
Том 18, № 1 (2011) Динамика квазилинейной краевой задачи, обобщающей уравнение с большим запаздыванием Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... уравнение с большим запаздыванием. ..."
 
Том 18, № 1 (2011) Динамические свойства одной модели пассивного захвата мод Аннотация  PDF (Rus)  похожие документы
И. С. Кащенко
"... Исследуется локальная динамика модели пассивного захвата мод для полупроводникового лазера. В ..."
 
Том 23, № 5 (2016) Взаимодействие двух волн в модели Ферми – Паста – Улама Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, С. А. Кащенко, А. О. Толбей
"... уравнение с частными производными, которое играет роль квазинормальной формы, т.е. определяет в главном ..."
 
Том 23, № 3 (2016) Робастная оценка погрешности в сингулярно возмущённых задачах четвертого порядка Аннотация  похожие документы
С. Франц, Р. Х.-Г.
"... образом построенные адаптированные к слою погрешности смешанного метода в соответствующих энергетических ..."
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... проводились для графов с количеством вершин до 45 с количеством компьютеров в сети до 16. Дополнительно ..."
 
Том 14, № 2 (2007) SR-группы порядка 2npm с диэдральной 2-силовской подгруппой Аннотация  PDF (Rus)  похожие документы
В. В. Янишевский
 
Том 15, № 1 (2008) Среда рекурсивно-параллельного программирования для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... RpmShell, разработанная для использования в операционных системах Win32. ..."
 
Том 22, № 3 (2015) КОРПОРАТИВНАЯ ДИНАМИКА СИСТЕМ ЛОГИСТИЧЕСКИХ УРАВНЕНИЙ С ЗАПАЗДЫВАНИЕМ И С БОЛЬШИМ ЗАПАЗДЫВАЮЩИМ УПРАВЛЕНИЕМ Аннотация  PDF (Rus)  похожие документы
Н. Д. Быкова, С. А. Кащенко
"... Рассматривается система двух логистических уравнений с запаздыванием, связанных через ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... В связи с увеличением сложности программного обеспечения корректность программы всё чаще ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... возникла необходимость в генерации графа, по своей структуре схожего с лежащими в основе существующих ..."
 
Том 13, № 1 (2006) Формула для ляпуновской величины задачи о бифуркации автоволн Аннотация  PDF (Rus)  похожие документы
Ю. С. Колесов, А. Е. Харьков
"... Метод квазинормальных форм был создан первым автором еще в начале восьмидесятых годов прошлого века ..."
 
Том 13, № 1 (2006) Об одном подходе к различению элементов из больших совокупностей традиционных систем символов Аннотация  PDF (Rus)  похожие документы
П. Г. Парфенов, С. Л. Назарычев
"... В работе приведены результаты экспериментального характера, подтверждающие устойчивое различение ..."
 
Том 14, № 1 (2007) Динамика простейшей модели системы реакция-диффузия Аннотация  PDF (Rus)  похожие документы
Ю. С. Колесов, А. Е. Харьков
 
Том 16, № 4 (2009) Новые алгоритмы лексической оптимизации запросов Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, Н. А. Мендкович
"... , основанную на математических преобразованиях, которые ранее не использовались для задач, связанных с преоб ..."
 
Том 16, № 4 (2009) Оценки оператора Кордобы - Фернандеса в пространствах Марцинкевича Аннотация  PDF (Rus)  похожие документы
Е. И. Бережной, Д. С. Гладких
"... В работах А. Кордобы и П. Фернандеса о расходимости жадных алгоритмов в пространствах Лебега ..."
 
Том 16, № 4 (2009) Циклы и торы деловой активности в одной математической модели макроэкономики Аннотация  PDF (Rus)  похожие документы
Е. С. Кокуйкин, А. Н. Куликов
"... предположениях она имеет инвариантные торы, в том числе и высокой размерности. Изменения основного параметра ..."
 
Том 17, № 2 (2010) Учет запаздывания в цепочке связи между осцилляторами Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, Е. О. Киселева
"... моделировании нервных клеток. В цепи связи между осцилляторами учтено запаздывание прохождения импульса. Для ..."
 
Том 17, № 3 (2010) Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью-Нагумо Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, Е. А. Солдатова
"... , возникающих при моделировании электрического обмена импульсами между нервными клетками. В цепи связи между ..."
 
Том 17, № 4 (2010) Безопасное тестирование симуляции систем с отказами и разрушением Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... . Предлагается теория безопасной симуляции для систем с отказами и разрушением. Обсуждаются вопросы полноты ..."
 
Том 18, № 1 (2011) Двухчастотные колебания обобщенного уравнения импульсного нейрона с двумя запаздываниями Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, Е. О. Овсянникова
"... Изучается динамика обобщенного уравнения импульсного нейрона с двумя запаздываниями. Проведен ..."
 
Том 15, № 1 (2008) Библиотека параллельного исполнения rpC-программ для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков, А. В. Шубин
"... , написанных на языке rpC, предназначенная для использования в операционных системах Win32. Эта работа является ..."
 
Том 22, № 3 (2015) ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ Аннотация  похожие документы
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко
"...  Рассматривается математическая модель, в которой мобильный процессор, перемещаясь в пределах ..."
 
Том 22, № 3 (2015) АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов
"... классы сингулярно возмущенных дифференциально-разностных уравнений с запаздыванием вольтерровского типа ..."
 
Том 23, № 3 (2016) Асимптотический анализ в задаче моделирования процесса переноса газовой примеси в приповерхностном слое атмосферы Аннотация  PDF (Rus)  похожие документы
М. А. Давыдова, Н. Т. Левашова, С. А. Захарова
"... состояний экосистемы. В заключительной части работы обсуждаются достаточные условия существования решений с ..."
 
Том 23, № 4 (2016) Компьютерное моделирование "Интеллектуального здания" Аннотация  PDF (Rus)  похожие документы
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков
"... здания и алгоритмов управления этими подсистемами. Модель построена в системе Simulink пакета Matlab, с ..."
 
1 - 75 из 169 результатов 1 2 3 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)