Preview

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

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

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


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

 
Выпуск Название
 
Том 18, № 1 (2011) Пространственно-неоднородные периодические решения уравнения Хатчинсона с распределенным насыщением Аннотация   PDF (Rus)
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов
 
Том 18, № 1 (2011) Хаотические колебания одной распределенной динамическом системы с бесконечным запаздыванием Аннотация   PDF (Rus)
А. Ю. Коверга, Е. П. Кубышкин
 
Том 18, № 1 (2011) Резонанс собственных частот в задаче о флаттере пластинки в сверхзвуковом потоке газа Аннотация   PDF (Rus)
А. Н. Куликов, Г. В. Пилипенко
 
Том 18, № 1 (2011) Динамика слабого взаимодействия в системе близких видов Аннотация   PDF (Rus)
Е. В. Горчакова
 
Том 18, № 1 (2011) Локальная динамика уравнения с сильно запаздывающей обратной связью Аннотация   PDF (Rus)
Д. В. Глазков
 
Том 18, № 1 (2011) Двухчастотные колебания обобщенного уравнения импульсного нейрона с двумя запаздываниями Аннотация   PDF (Rus)
С. Д. Глызин, Е. О. Овсянникова
 
Том 18, № 1 (2011) Релаксационные циклы обобщённого уравнения импульсного нейрона Аннотация   PDF (Rus)
И. В. Парамонов
 
Том 18, № 1 (2011) Стратегия выполнения операций копирования и удаления в дереве объектов Аннотация   PDF (Rus)
А. В. Майоров
 
Том 18, № 1 (2011) О тензорных квадратах неприводимых представлений конечных почти простых групп. I. Аннотация   PDF (Rus)
С. В. Поляков
 
Том 18, № 1 (2011) Геометрические оценки в полиномиальной интерполяции Аннотация   PDF (Rus)
М. В. Невский
 
Том 18, № 1 (2011) О работе семинара "Нелинейная динамика" Аннотация   PDF (Rus)
Редакционная Статья
 
Том 18, № 1 (2011) Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов Аннотация   PDF (Rus)
П. Н. Нестеров
 
Том 18, № 1 (2011) Динамика квазилинейной краевой задачи, обобщающей уравнение с большим запаздыванием Аннотация   PDF (Rus)
С. А. Кащенко
 
Том 17, № 4 (2010) Пример верификации в проекте F@BOOL@, основанном на булевских решателях Аннотация   PDF (Rus)
Н. В. Шилов
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация   PDF (Rus)
И. В. Шошмина
 
Том 17, № 4 (2010) От редакторов специального выпуска Подробности
В. А. Непомнящий, В. А. Соколов
 
Том 17, № 4 (2010) Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography Аннотация   PDF (Rus)
, , , ,
 
Том 17, № 4 (2010) Генерация тестовых данных на основе формального анализа данных конфигурации проекта Аннотация   PDF (Rus)
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
 
Том 17, № 4 (2010) Безопасное тестирование симуляции систем с отказами и разрушением Аннотация   PDF (Rus)
И. Б. Бурдонов, А. С. Косачев
 
Том 17, № 4 (2010) О сложности верификации недетерминированных вероятностных мультиагентных систем Аннотация   PDF (Rus)
М. К. Валиев, М. И. Дехтярь
 
Том 17, № 4 (2010) Проверка моделей распределенных систем с помощью аффинного представления данных Аннотация   PDF (Rus)
Н. О. Гаранина
 
Том 17, № 4 (2010) Об исчислении позитивно-образованных формул для автоматического доказательства теорем Аннотация   PDF (Rus)
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин
 
Том 17, № 4 (2010) Интеграция семантических верификаторов в компиляторы языка Java Аннотация   PDF (Rus)
А. В. Клепинин, А. А. Мелентьев
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация   PDF (Rus)
И. В. Коннов, В. А. Захаров
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация   PDF (Rus)
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация   PDF (Rus)
В. И. Шелехов
 
Том 17, № 3 (2010) Разрешимость теории Th(w, 0,1, <, +, f0,..., fn) Аннотация   PDF (Rus)
А. С. Снятков
 
Том 17, № 3 (2010) Гиперплоскости универсальной экстремали некоторых задач оптимизации Аннотация   PDF (Rus)
Н. П. Федотова
 
Том 17, № 3 (2010) Математические модели экономических систем с учетом необратимости протекающих в них процессов Аннотация   PDF (Rus)
А. М. Цирлин
 
Том 17, № 3 (2010) Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью-Нагумо Аннотация   PDF (Rus)
С. Д. Глызин, Е. А. Солдатова
 
Том 17, № 3 (2010) Язык объектных запросов динамической информационной модели DIM Аннотация   PDF (Rus)
В. С. Рублев
 
Том 17, № 3 (2010) Верификация C-программ на основе смешанной аксиоматической семантики Аннотация   PDF (Rus)
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
 
Том 17, № 3 (2010) Составные редукции моделей Крипке и автоморфизмы Аннотация   PDF (Rus)
Ю. А. Белов
 
Том 17, № 3 (2010) Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла Аннотация   PDF (Rus)
Д. В. Глазков, С. А. Кащенко
 
Том 17, № 3 (2010) Вариационные неравенства и принцип виртуальных перемещений Аннотация   PDF (Rus)
Н. А. Демьянков
 
Том 17, № 3 (2010) Рекуррентные последовательности над почтикольцами Аннотация   PDF (Rus)
А. В. Сбоев
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация   PDF (Rus)
М. Г. Доррер
 
Том 17, № 2 (2010) Мультистабильность в модели лазера с большим запаздыванием Аннотация   PDF (Rus)
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко
 
Том 17, № 2 (2010) Релаксационные колебания электрически связанных нейроподобных осцилляторов с запаздыванием Аннотация   PDF (Rus)
С. Д. Глызин
 
Том 17, № 2 (2010) О языках автоматных счетчиковых машин Аннотация   PDF (Rus)
Е. В. Кузьмин, Д. Ю. Чалый
 
Том 17, № 2 (2010) Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения Аннотация   PDF (Rus)
В. С. Рублев, А. В. Смирнов
 
Том 17, № 2 (2010) О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ Аннотация   PDF (Rus)
А. В. Николаев
 
Том 17, № 2 (2010) Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования Аннотация   PDF (Rus)
Г. А. Тарнавский
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация   PDF (Rus)
А. В. Шалимов
 
Том 17, № 2 (2010) Учет запаздывания в цепочке связи между осцилляторами Аннотация   PDF (Rus)
С. Д. Глызин, Е. О. Киселева
 
Том 17, № 2 (2010) Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 Аннотация   PDF (Rus)
И. В. Алексеев, С. А. Меркулов, А. А. Сивов
 
Том 17, № 1 (2010) Визуализация динамических графов для анализа сложных сетей Аннотация   PDF (Rus)
С. Н. Пупырев, А. В. Тихонов
 
Том 17, № 1 (2010) Тезаурус как инструмент поэтологии Аннотация   PDF (Rus)
В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, . М. Сысоев
 
Том 17, № 1 (2010) A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers Аннотация   PDF (Rus)
П. Е. Ефимова
 
Том 17, № 1 (2010) О множестве достижимости автоматных счетчиковых машин Аннотация   PDF (Rus)
Е. В. Кузьмин, Д. Ю. Чалый
 
Том 17, № 1 (2010) Двухшаговый экстраградиентный метод для задачи управления ресурсами Аннотация   PDF (Rus)
А. В. Зыкина, Н. В. Меленьчук
 
Том 17, № 1 (2010) О числе фасет 2-смежностного многогранника Аннотация   PDF (Rus)
А. Н. Максименко
 
Том 17, № 1 (2010) Явление буферности в обобщенном уравнении Свифта-Хоэнберга Аннотация   PDF (Rus)
Д. В. Сандуляк
 
Том 17, № 1 (2010) Приближение нулевого порядка асимптотики решения сингулярно возмущённой линейно-квадратичной задачи управления с разрывными коэффициентами Аннотация   PDF (Rus)
Г. А. Курина, Т. Х. Нгуен
 
Том 16, № 4 (2009) Дорогие коллеги! Аннотация   PDF (Rus)
В. А. Соколов
 
Том 16, № 4 (2009) Метод автоматического построения алгоритмов распознавания участков фазовых траекторий Аннотация   PDF (Rus)
Д. С. Коваленко
 
Том 16, № 4 (2009) Новые алгоритмы лексической оптимизации запросов Аннотация   PDF (Rus)
С. Д. Кузнецов, Н. А. Мендкович
 
Том 16, № 4 (2009) Оценки оператора Кордобы - Фернандеса в пространствах Марцинкевича Аннотация   PDF (Rus)
Е. И. Бережной, Д. С. Гладких
 
Том 16, № 4 (2009) Уточнение оценки латентного периода для нейронов с синаптическим взаимодействием Аннотация   PDF (Rus)
О. А. Дунаева
 
Том 16, № 4 (2009) Математическое обоснование одного численного эксперимента Аннотация   PDF (Rus)
А. В. Дымов, П. Н. Нестеров
 
Том 16, № 4 (2009) Пространственно-неоднородные периодические решения в распределенном уравнении Хатчинсона Аннотация   PDF (Rus)
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов
 
Том 16, № 4 (2009) Циклы и торы деловой активности в одной математической модели макроэкономики Аннотация   PDF (Rus)
Е. С. Кокуйкин, А. Н. Куликов
 
Том 16, № 4 (2009) Асимптотика смещения оценки энтропии для мер Бернулли Аннотация   PDF (Rus)
Е. А. Тимофеев
 
Том 16, № 4 (2009) Нормализация уравнения с линейно распределенным запаздыванием Аннотация   PDF (Rus)
И. С. Кащенко
 
Том 16, № 4 (2009) Хаотическая синхронизация каскадно-связанных систем фазовой автоподстройки частоты Аннотация   PDF (Rus)
А. В. Ходунин, Л. Н. Казаков
 
Том 16, № 4 (2009) О работе семинара «Нелинейная динамика» Аннотация   PDF (Rus)
Редакционная Статья
 
Том 16, № 3 (2009) Задача целочисленного сбалансирования трехмерной матрицы и сетевая модель Аннотация   PDF (Rus)
А. В. Смирнов
 
Том 16, № 3 (2009) О множестве достижимости автоматных трехсчетчиковых машин Аннотация   PDF (Rus)
Е. В. Кузьмин, Д. Ю. Чалый
 
Том 16, № 3 (2009) Асимптотика дисперсии оценки энтропии для симметричных мер Бернулли Аннотация   PDF (Rus)
Е. А. Тимофеев
 
Том 16, № 3 (2009) Разностные аппроксимации уравнения «реакция - диффузия» на отрезке Аннотация   PDF (Rus)
С. Д. Глызин
 
Том 16, № 3 (2009) Работы Ю.С. Колесова по дифференциальным уравнениям Аннотация   PDF (Rus)
В. Ш. Бурд
 
Том 16, № 3 (2009) Однородные и четно-однородные супермногообразия с ретрактом CP(1|4 kk20) при к >= 2 Аннотация   PDF (Rus)
М. А. Башкин
 
Том 16, № 3 (2009) О спектральной задаче, возникающей в механике манипуляционных роботов Аннотация   PDF (Rus)
В. И. Войтицкий, М. Ю. Злобина, Е. П. Кубышкин
 
Том 16, № 3 (2009) О неравенстве типа неравенства Джексона в диадическом пространстве BMO Аннотация   PDF (Rus)
И. П. Иродова
 
Том 16, № 3 (2009) Исправления и дополнения к статье «Поправка к периоду решения уравнения, моделирующего динамику мембранного потенциала Аннотация   PDF (Rus)
О. А. Дунаева, М. Л. Мячин
 
376 - 450 из 602 результатов << < 1 2 3 4 5 6 7 8 9 > >>