Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 17, № 2 (2010) Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 Аннотация  PDF (Rus)  похожие документы
И. В. Алексеев, С. А. Меркулов, А. А. Сивов
"... некоторые вопросы взаимодействия TCP и ARTCP. Приведен план работ по реализации ARTCP в Linux. ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... модуль firewall, модуль маршрутизации и т.д. В данной статье рассмотрены применяемые способы ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... возможных этапов и направлений развития сетевых парадигм в целом, не абсолютизируя роли этой технологии ..."
 
Том 25, № 2 (2018) Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях Аннотация  похожие документы
Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский
"... есть как находящиеся на этапе разработки, так и успешно функционирующие в данное время в дата-центрах ..."
 
Том 14, № 2 (2007) Построение асимптотического разложения решения уравнения нейрона, описываемого дифференциальным уравнением с переменным запаздыванием Аннотация  PDF (Rus)  похожие документы
И. В. Парамонов
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация  PDF (Rus)  похожие документы
В. И. Шелехов
"... Дедуктивная верификация и синтез программ двоичного сложения проводятся на базе системы правил ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... Рассматривается проблема включения метода формальной верификации - проверки модели - в процесс ..."
 
Том 18, № 1 (2011) Релаксационные циклы обобщённого уравнения импульсного нейрона Аннотация  PDF (Rus)  похожие документы
И. В. Парамонов
"... Рассмотрена обобщенная модель импульсного нейрона В. В. Майорова и И. Ю. Мышкина. В уравнение ..."
 
Том 17, № 3 (2010) Верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
 
Том 22, № 3 (2015) ПЕРЕХОД К ХАОСУ В КОМПЛЕКСНОМ УРАВНЕНИИ ГИНЗБУРГА–ЛАНДАУ С БОЛЬШОЙ ДИСПЕРСИЕЙ ТРЕТЬЕГО ПОРЯДКА Аннотация  похожие документы
И. И. Овсянников, Д. В. Тураев, С. В. Зелик
"... Дано аналитическое доказательство существования шильниковского хаоса в комплексном уравнении ..."
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация  PDF (Rus)  похожие документы
И. В. Коннов, В. А. Захаров
"... Показано, что метод адаптивной редукции симметричных моделей (ASR), предложенный в статье [9] для ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... может содержать несколько правил вывода для одной и той же программной конструкции. В таких случаях ..."
 
Том 23, № 6 (2016) Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки Аннотация  PDF (Rus)  похожие документы
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов
"... множества терминов для включения в тезаурус и выделение связей между терминами тезауруса. Данное ..."
 
Том 22, № 5 (2015) Фазовая модель Курамото с инерцией: бифуркации потери синхронности и перехода к хаосу Аннотация  PDF (Rus)  похожие документы
В. Н. Белых, М. И. Болотов, Г. В. Осипов
"... седлового состояния равновесия, так и седловой периодической орбиты. В случае гомоклинической петли седла ..."
 
Том 14, № 4 (2007) Формальная модель семантики художественного текста (на материале русских пословиц) Аннотация  PDF (Rus)  похожие документы
А. C. Малкова, В. И. Январев
"... , заключенных в текстах русских пословиц. Модель включает четыре компонента: две оппозиции, связывающее их т ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
"... Представлена расширяемая мультиязыковая система анализа и верификации СПЕКТР, разрабатываемая в ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... ) и Model Driven Development (MDD). Описаны преимущества использования подходов в промышленности ..."
 
Том 16, № 3 (2009) О спектральной задаче, возникающей в механике манипуляционных роботов Аннотация  PDF (Rus)  похожие документы
В. И. Войтицкий, М. Ю. Злобина, Е. П. Кубышкин
"... В полном объеме решена спектральная краевая задача специального вида, содержащая спектральный ..."
 
Том 17, № 2 (2010) Мультистабильность в модели лазера с большим запаздыванием Аннотация  PDF (Rus)  похожие документы
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко
"... форм в окрестности бифуркационных значений параметров. Показана возможность сосуществования большого ..."
 
Том 17, № 1 (2010) Тезаурус как инструмент поэтологии Аннотация  PDF (Rus)  похожие документы
В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, . М. Сысоев
"... всестороннее теоретическое и историческое изучение поэзии. Этот тезаурус мыслится как предметно-ориентированный ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... В данной работе рассматривается с формальной точки зрения метод построения сетей Петри ..."
 
Том 14, № 2 (2007) Динамические свойства уравнений первого порядка с большим запаздыванием Аннотация  PDF (Rus)  похожие документы
И. С. Кащенко
"... . Метод исследований основывается на методе нормальных форм. В критических случаях, которые имеют ..."
 
Том 14, № 4 (2007) Об одном методе распознавания изображений Аннотация  PDF (Rus)  похожие документы
И. А. Михайлов
"... распознавания, основанный на введенной в работе метрике. Приведены результаты экспериментов на случайных ..."
 
Том 16, № 3 (2009) О неравенстве типа неравенства Джексона в диадическом пространстве BMO Аннотация  PDF (Rus)  похожие документы
И. П. Иродова
"... . Вместе с обратной теоремой это позволяет решить задачу интерполяции между диадическим ВМО и диадическим ..."
 
Том 16, № 4 (2009) Нормализация уравнения с линейно распределенным запаздыванием Аннотация  PDF (Rus)  похожие документы
И. С. Кащенко
"... имеют бесконечную размерность, в каждом критическом случае построены специальные уравнения, описывающие ..."
 
Том 18, № 1 (2011) Динамические свойства одной модели пассивного захвата мод Аннотация  PDF (Rus)  похожие документы
И. С. Кащенко
"... Исследуется локальная динамика модели пассивного захвата мод для полупроводникового лазера. В ..."
 
Том 22, № 3 (2015) РЕШЕНИЕ ПАРАБОЛИЧЕСКОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ С ПОМОЩЬЮ ФОРМУЛЫ ФЕЙНМАНА – I Аннотация  похожие документы
И. Д. Рeмизoв
"... решения для задачи Коши в упомянутом выше классе функций) и б) это решение непрерывно зависит от ..."
 
Том 23, № 3 (2016) Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение Аннотация  похожие документы
А. И. Задорин
"... представима в виде суммы регулярной и погранслойной составляющих. Предполагается, что производные регулярной ..."
 
Том 23, № 5 (2016) Компьютерная разностная схема для сингулярно возмущенного параболического уравнения реакции-диффузии при наличии компьютерных возмущений Аннотация  PDF (Rus)  похожие документы
Г. И. Шишкин
 
Том 13, № 1 (2006) Совместное использование методов бизнес-моделирования и объектно-ориентированной методологии при проектировании профилированного пользовательского интерфейса Аннотация  PDF (Rus)  похожие документы
И. Г. Игнатова, Н. Ю. Соколова
"... В статье рассматривается механизм совместного использования методов бизнес-моделирования и объектно ..."
 
Том 15, № 1 (2008) Библиотека параллельного исполнения rpC-программ для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков, А. В. Шубин
"... , написанных на языке rpC, предназначенная для использования в операционных системах Win32. Эта работа является ..."
 
Том 21, № 6 (2014) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 14, № 2 (2007) SR-группы порядка 2npm с диэдральной 2-силовской подгруппой Аннотация  PDF (Rus)  похожие документы
В. В. Янишевский
"... подгруппы Фраттини. Доказано, что если такая группа несверхразрешима, то p - простое число Мерсеннa и данная ..."
 
Том 15, № 1 (2008) Среда рекурсивно-параллельного программирования для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... RpmShell, разработанная для использования в операционных системах Win32. ..."
 
Том 17, № 4 (2010) От редакторов специального выпуска  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 18, № 4 (2011) От редакторов специального выпуска  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... В данной работе рассматриваются способы ускорения решения NP-полной задачи коммивояжера ..."
 
Том 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)  похожие документы
В. А. Башкин
"... Рассматривается проблема поиска бисимулярных разметок в ограниченных сетях Петри. Вводятся и ..."
 
Том 24, № 6 (2017) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Захаров
 
Том 14, № 2 (2007) Однородные супермногообразия с ретрактом CP (1|4, k1k2 11) Аннотация  PDF (Rus)  похожие документы
М. А. Башкин, Л. И. Хабадзе
"... ,1,1), где к >= к2 >= 1. Необходимые сведения по теории комплексных супермногообразий можно найти в [3] и [4]. ..."
 
Том 14, № 2 (2007) О характеристическом наборе коэффициентов черно-белых цифровых изображений, построенных на основе гексагональной решетки Аннотация  PDF (Rus)  похожие документы
И. А. Каплий, П. Г. Парфенов
 
Том 16, № 4 (2009) Оценки оператора Кордобы - Фернандеса в пространствах Марцинкевича Аннотация  PDF (Rus)  похожие документы
Е. И. Бережной, Д. С. Гладких
"... В работах А. Кордобы и П. Фернандеса о расходимости жадных алгоритмов в пространствах Лебега ..."
 
Том 15, № 1 (2008) Интегральные близкие к эйлеровой характеристики полутоновых цифровых изображений Аннотация  PDF (Rus)  похожие документы
П. Г. Парфенов, И. А. Каплий
"... , определенной на полутоновых фрагментах размера 2 х 2. Приведенный пример и компьютерная модель показывают, что ..."
 
Том 17, № 4 (2010) Безопасное тестирование симуляции систем с отказами и разрушением Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... распространяется на случай (слабой) симуляции, основанной на соответствии состояний реализации и спецификации ..."
 
Том 17, № 4 (2010) О сложности верификации недетерминированных вероятностных мультиагентных систем Аннотация  PDF (Rus)  похожие документы
М. К. Валиев, М. И. Дехтярь
"... агентов. Состояниями агентов в таких системах являются вероятностные базы данных (фактов), а их действия ..."
 
Том 22, № 3 (2015) СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? Аннотация  похожие документы
А. К. Бегичева, И. А. Ломазова
"... предоставляет различные методы для исследования реального процесса, его улучшения и контроля над ним. В данной ..."
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
А. Н. Носков, И. А. Манов
"... характеризующей каналы связи между устройствами в сети, и задачи разработки механизма адаптивного перестроения ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... граф модифицируется и, в конечном счете, сводится к набору формул на языке спецификации, истинность ..."
 
Том 23, № 3 (2016) Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Д. И. Синельщиков
"... многих процессов и явлений в физике, механике и биологии. В работе рассматривается семейство нелинейных ..."
 
Том 23, № 3 (2016) Существование и устойчивость периодических решений уравнения реакция-диффузия в двумерном случае Аннотация  похожие документы
Н. Н. Нефедов, Е. И. Никулин
"... разложение состоит из регулярной части, внутреннего слоя и части пограничного слоя. В этой работе мы ..."
 
Том 23, № 4 (2016) Сравнение алгоритмов удвоения размера изображения Аннотация  PDF (Rus)  похожие документы
С. Е. Ваганов, С. И. Хашин
"... В данной работе произведен сравнительный анализ качества некоторых интерполяционных неадаптивных ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... пересечения сообществ и другие. В данном алгоритме учтены проблемы, присутствующие в подобных работах других ..."
 
Том 19, № 6 (2012) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Third Workshop on ..."
 
Том 20, № 6 (2013) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... семинара «Семантика, спецификация и верификация программ: теория и приложения» (Fourth Workshop on Program ..."
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
"... , распределение ресурсов вычислителя, компактное представление программ в памяти, выявление вредоносного ..."
 
Том 14, № 1 (2007) Расстояния и другие меры близости на множестве черно-белых цифровых изображений Аннотация  PDF (Rus)  похожие документы
П. Г. Парфенов, И. А. Каплий, О. С. Куликов
 
Том 22, № 3 (2015) ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ Аннотация  похожие документы
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко
"... – прямой и обратный. При этом часть объектов обслуживается в прямом рейсе, остальные объекты – в обратном ..."
 
Том 19, № 1 (2012) Редакционная статья Аннотация  PDF (Rus)  похожие документы
В. А. Соколов
 
Том 14, № 1 (2007) Минимальные проекторы и максимальные симплексы Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... On = [0,1]n удовлетворяет условию On = O(n1/2), n £ N. Отсюда и из неpавенств, установленных автоpом ..."
 
Том 14, № 2 (2007) О релаксационном многограннике задачи «3-выполнимость» Аннотация  PDF (Rus)  похожие документы
Б. В. Урываев
"... Исследуются свойства многогранника, ассоциированного с задачей «3-выполнимость». Устанавливается, в ..."
 
Том 14, № 2 (2007) Устойчивость одной модели нейрона на основе уравнения с запаздыванием Аннотация  PDF (Rus)  похожие документы
Ю. В. Богомолов
 
Том 14, № 2 (2007) Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... носит универсальный характер, объединяет свойства нейрона-пейсмейкера и нейрона-детектора. На основе ОНА ..."
 
Том 14, № 2 (2007) Нормализация одного уравнения с запаздыванием и бифуркация, приводящая к циклу асимптотически большого периода Аннотация  PDF (Rus)  похожие документы
Д. В. Глазков
"... запаздыванием в окрестности нулевого решения в случае, близком к критическому. В результате бифуркации ..."
 
Том 14, № 3 (2007) Ортогональное проектирование и минимальная линейная интерполяция на n-мерном кубе Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... , \-\ - норма оператора из С ([0,1]П) в С ([0,1]") . В статье доказывается, что C1,0n, <= \H\ <= C20n, n £ N ..."
 
Том 14, № 3 (2007) Задача о пачечном воздействии на обобщенный нейронный автомат Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... носит универсальный характер, объединяет свойства нейрона-пейсмейкера и нейрона-детектора. Ставится и ..."
 
Том 14, № 3 (2007) NumGRID, система для решения больших задач численного моделирования Аннотация  PDF (Rus)  похожие документы
Н. В. Малышкин
"... системе NumGRID в целом, приводятся основные идеи и концепции, анализируется класс задач численного ..."
 
Том 14, № 4 (2007) Сети активных ресурсов Аннотация  PDF (Rus)  похожие документы
В. А. Башкин
"... построен как обобщение сетей Петри, в котором убрано разделение компонентов системы на активные и пассивные ..."
 
Том 14, № 4 (2007) Верификация синхронно-автоматных программ Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов
"... свойств. Применение этой методики позволит выявить большое число ошибок, допускаемых в процессе разработки. ..."
 
Том 14, № 4 (2007) О теоремах Р. Радо и Д. Уотсона Аннотация  PDF (Rus)  похожие документы
В. Л. Дольников
"... Даётся некоторое обобщение теорем Р. Радо и Д. Уотсона, которые, в свою очередь, обобщают теоремы ..."
 
1 - 75 из 149 результатов 1 2 > >> 

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

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