Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23, № 3 (2016) Асимптотический анализ в задаче моделирования процесса переноса газовой примеси в приповерхностном слое атмосферы Аннотация  PDF (Rus)  похожие документы
М. А. Давыдова, Н. Т. Левашова, С. А. Захарова
 
Том 24, № 1 (2017) Существование и устойчивость контрастных структур в многомерных задачах реакция-диффузия-адвекция в случае сбалансированной нелинейности Аннотация  PDF (Rus)  похожие документы
Марина Александровна Давыдова, Николай Николаевич Нефедов
 
Том 25, № 1 (2018) Об одной сингулярно возмущенной задаче нелинейной теплопроводности в случае сбалансированной нелинейности Аннотация  PDF (Rus)  похожие документы
Марина Александровна Давыдова, Светлана Александровна Захарова
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
 
Том 16, № 3 (2009) Однородные и четно-однородные супермногообразия с ретрактом CP(1|4 kk20) при к >= 2 Аннотация  PDF (Rus)  похожие документы
М. А. Башкин
 
Том 17, № 3 (2010) Математические модели экономических систем с учетом необратимости протекающих в них процессов Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин
 
Том 23, № 1 (2016) Продолжение решения на границе разрыва как решение задачи усредненной оптимизации Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин
"... , совпадающим с методом А.Ф. Филиппова, и позволяет расширить эти методы на широкий класс многомерных задач ..."
 
Том 23, № 5 (2016) Об отсутствии и разрушении решений в некоторых сингулярно возмущённых задачах со сменой устойчивости Аннотация  PDF (Rus)  похожие документы
М. А. Терентьев
 
Том 22, № 5 (2015) Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии Аннотация  PDF (Rus)  похожие документы
А. М. Ковалева, Д. А. Куликов
"... : метод интегральных многообразий, нормальных форм Пуанкаре–Дюлака, а также асимптотические методы анализа ..."
 
Том 23, № 4 (2016) Вероятностный анализ систем организации турниров Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин, Ал. А. Ахременков
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... представления и хранения сетевой топологии, а также интерфейсы взаимодействия с соответствующими модулями ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
 
Том 14, № 2 (2007) Однородные супермногообразия с ретрактом CP (1|4, k1k2 11) Аннотация  PDF (Rus)  похожие документы
М. А. Башкин, Л. И. Хабадзе
 
Том 16, № 3 (2009) Исправления и дополнения к статье «Поправка к периоду решения уравнения, моделирующего динамику мембранного потенциала Аннотация  PDF (Rus)  похожие документы
О. А. Дунаева, М. Л. Мячин
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
 
Том 23, № 5 (2016) О числовых характеристиках симплекса и их оценках Аннотация  PDF (Rus)  похожие документы
М. В. Невский, А. Ю. Ухалов
 
Том 17, № 1 (2010) Тезаурус как инструмент поэтологии Аннотация  PDF (Rus)  похожие документы
В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, . М. Сысоев
 
Том 23, № 3 (2016) Двухточечная краевая задача Капуто: существование, единствен- ность и регулярность решения Аннотация  похожие документы
М. Стайнс
 
Том 14, № 1 (2007) Минимальные проекторы и максимальные симплексы Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... in vertices of а largest simplex in On. ..."
 
Том 14, № 3 (2007) Ортогональное проектирование и минимальная линейная интерполяция на n-мерном кубе Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... ,1]". Используются геометрические и асимптотические свойства эйлеровых чисел и центральных Всплайнов, а также ..."
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация  PDF (Rus)  похожие документы
М. Г. Доррер
 
Том 18, № 1 (2011) Геометрические оценки в полиномиальной интерполяции Аннотация  PDF (Rus)  похожие документы
М. В. Невский
 
Том 22, № 6 (2015) Лингвостатистический анализ терминологии для построения тезауруса предметной области Аннотация  PDF (Rus)  похожие документы
М. С. Каряева
 
Том 23, № 4 (2016) Резервное копирование с хранением в базе данных Аннотация  PDF (Rus)  похожие документы
С. М. Таранин
"... виде содержимое файлов предлагается хранить в одной таблице, а информацию о них: имена, атрибуты и ..."
 
Том 23, № 6 (2016) Формализм и языковые инструменты для описания семантики программных библиотек Аннотация  PDF (Rus)  похожие документы
В. М. Ицыксон
 
Том 17, № 4 (2010) О сложности верификации недетерминированных вероятностных мультиагентных систем Аннотация  PDF (Rus)  похожие документы
М. К. Валиев, М. И. Дехтярь
"... агентов. Состояниями агентов в таких системах являются вероятностные базы данных (фактов), а их действия ..."
 
Том 21, № 6 (2014) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 17, № 4 (2010) От редакторов специального выпуска  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 18, № 4 (2011) От редакторов специального выпуска  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 22, № 3 (2015) УСТОЙЧИВОСТЬ НЕПРЕРЫВНЫХ ВОЛН ДЛЯ МОДЕЛИ ПОЛУПРОВОДНИКОВОГО ЛАЗЕРА С БОЛЬШИМ ЗАПАЗДЫВАНИЕМ Аннотация  PDF (Rus)  похожие документы
А. А. Кащенко
 
Том 22, № 4 (2015) О финитной отделимости подгрупп в расщепляемых расширениях Аннотация  PDF (Rus)  похожие документы
А. А. Кряжева
"... ) если в группе A все подгруппы финитно отделимы, а в группе B все конечно порожденные подгруппы финитно ..."
 
Том 23, № 3 (2016) Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем Аннотация  PDF (Rus)  похожие документы
А. А. Быков
 
Том 23, № 6 (2016) Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями Аннотация  PDF (Rus)  похожие документы
А. А. Кащенко
"... меняется: при значениях связи порядка единицы имеем устойчивое однородное периодическое решение, а при ..."
 
Том 13, № 1 (2006) Формула для ляпуновской величины задачи о конкурентной борьбе Аннотация  PDF (Rus)  похожие документы
А. Д. Пендюр, Д. А. Пендюр
 
Том 17, № 1 (2010) О числе фасет 2-смежностного многогранника Аннотация  PDF (Rus)  похожие документы
А. Н. Максименко
 
Том 23, № 6 (2016) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Захаров
 
Том 13, № 1 (2006) Бифуркация плоских волн обобщенного кубического уравнения Шредингера в цилиндрической области Аннотация  PDF (Rus)  похожие документы
Д. А. Куликов
 
Том 13, № 1 (2006) Свойства бисимуляции разметок в ограниченных сетях Петри Аннотация  PDF (Rus)  похожие документы
В. А. Башкин
 
Том 13, № 1 (2006) Смещение статистической оценки энтропии для простейшей меры Бернулли Аннотация  PDF (Rus)  похожие документы
Е. А. Тимофеев
 
Том 24, № 6 (2017) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Захаров
 
Том 22, № 4 (2015) Алгоритмы для мажоритарного декодирования групповых кодов Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
 
Том 23, № 2 (2016) Криптосистема на индуцированных групповых кодах Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
"... шифрования и расшифрования, приводится анализ стойкости к атаке на ключ, а также выделены слабые ключи, в ..."
 
Том 23, № 6 (2016) Построение каскадной параллельной композиции временных автоматов с использованием BALM-II Аннотация  PDF (Rus)  похожие документы
М. Л. Громов, Н. В. Шабалдина
"...  построить композицию соответствующих полуавтоматов при помощи balm-ii, а также обсуждаем процедуру обратного ..."
 
Том 19, № 6 (2012) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... конференции «Дискретная геометрия», посвященной 100-летию А. Д. Александрова (Yaroslavl International ..."
 
Том 20, № 6 (2013) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... Semantics, Specification and Verification: Theory and Applications, PSSV 2013), а также докладов ..."
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
 
Том 17, № 4 (2010) Об исчислении позитивно-образованных формул для автоматического доказательства теорем Аннотация  PDF (Rus)  похожие документы
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин
 
Том 23, № 2 (2016) Об эффективности минимизирующего подхода к оптимизации запросов Аннотация  PDF (Rus)  похожие документы
Н. А. Мендкович
 
Том 16, № 3 (2009) О спектральной задаче, возникающей в механике манипуляционных роботов Аннотация  PDF (Rus)  похожие документы
В. И. Войтицкий, М. Ю. Злобина, Е. П. Кубышкин
 
Том 22, № 5 (2015) Фазовая модель Курамото с инерцией: бифуркации потери синхронности и перехода к хаосу Аннотация  PDF (Rus)  похожие документы
В. Н. Белых, М. И. Болотов, Г. В. Осипов
 
Том 17, № 4 (2010) Интеграция семантических верификаторов в компиляторы языка Java Аннотация  PDF (Rus)  похожие документы
А. В. Клепинин, А. А. Мелентьев
 
Том 23, № 2 (2016) Задача маршрутизации, осложненная зависимостью функций стоимости и "текущих" ограничений от списка заданий Аннотация  PDF (Rus)  похожие документы
А. Г. Ченцов, А. А. Ченцов
 
Том 17, № 2 (2010) Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 Аннотация  PDF (Rus)  похожие документы
И. В. Алексеев, С. А. Меркулов, А. А. Сивов
 
Том 22, № 4 (2015) Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях Аннотация  PDF (Rus)  похожие документы
В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов
 
Том 23, № 4 (2016) Компьютерное моделирование "Интеллектуального здания" Аннотация  PDF (Rus)  похожие документы
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков
"... образом на них реагировать. Для автоматизированного контроля и управления, а также организации ..."
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... UCM моделей с конструкциями управления сценариями, а также количества состояний Promela моделей ..."
 
Том 19, № 1 (2012) Редакционная статья Аннотация  PDF (Rus)  похожие документы
В. А. Соколов
 
Том 14, № 1 (2007) Динамика простейшей модели системы реакция-диффузия Аннотация  PDF (Rus)  похожие документы
Ю. С. Колесов, А. Е. Харьков
 
Том 14, № 1 (2007) K-функционалы и наилучшие кусочно-полиномиальные приближения Аннотация  PDF (Rus)  похожие документы
А. Н. Морозов
 
Том 14, № 1 (2007) Автоморфизмы систем переходов Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов
 
Том 14, № 2 (2007) Бифуркация Андронова - Хопфа для релейных систем Аннотация  PDF (Rus)  похожие документы
О. А. Чернышева
 
Том 14, № 4 (2007) Об одном методе распознавания изображений Аннотация  PDF (Rus)  похожие документы
И. А. Михайлов
 
Том 14, № 4 (2007) Сети активных ресурсов Аннотация  PDF (Rus)  похожие документы
В. А. Башкин
 
Том 16, № 3 (2009) Задача целочисленного сбалансирования трехмерной матрицы и сетевая модель Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
 
Том 16, № 3 (2009) Асимптотика дисперсии оценки энтропии для симметричных мер Бернулли Аннотация  PDF (Rus)  похожие документы
Е. А. Тимофеев
 
Том 16, № 4 (2009) Дорогие коллеги! Аннотация  PDF (Rus)  похожие документы
В. А. Соколов
 
Том 16, № 4 (2009) Уточнение оценки латентного периода для нейронов с синаптическим взаимодействием Аннотация  PDF (Rus)  похожие документы
О. А. Дунаева
 
Том 16, № 4 (2009) Асимптотика смещения оценки энтропии для мер Бернулли Аннотация  PDF (Rus)  похожие документы
Е. А. Тимофеев
 
Том 17, № 1 (2010) Приближение нулевого порядка асимптотики решения сингулярно возмущённой линейно-квадратичной задачи управления с разрывными коэффициентами Аннотация  PDF (Rus)  похожие документы
Г. А. Курина, Т. Х. Нгуен
 
Том 17, № 2 (2010) О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ Аннотация  PDF (Rus)  похожие документы
А. В. Николаев
 
Том 17, № 2 (2010) Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования Аннотация  PDF (Rus)  похожие документы
Г. А. Тарнавский
 
Том 17, № 3 (2010) Составные редукции моделей Крипке и автоморфизмы Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов
 
Том 17, № 3 (2010) Вариационные неравенства и принцип виртуальных перемещений Аннотация  PDF (Rus)  похожие документы
Н. А. Демьянков
 
Том 17, № 3 (2010) Рекуррентные последовательности над почтикольцами Аннотация  PDF (Rus)  похожие документы
А. В. Сбоев
 
Том 17, № 3 (2010) Разрешимость теории Th(w, 0,1, <, +, f0,..., fn) Аннотация  PDF (Rus)  похожие документы
А. С. Снятков
"... Данная работа посвящена исследованию свойств теорий, образованных из арифметики А.Л. Семенова ..."
 
1 - 75 из 154 результатов 1 2 3 > >> 

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

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