Preview

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

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

Поиск


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

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

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