Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23, № 3 (2016) Моделирование неизотермического течения аномально вязкой жидкости в каналах с различной геометрией границ Аннотация  PDF (Rus)  похожие документы
К. В. Литвинов
"... координат отображаются в прямоугольники. Это существенно упрощает граничные условия, т.к. появляется ..."
 
Том 16, № 3 (2009) Уточнение периода решения уравнения импульсного нейрона при постоянном внешнем электрическом воздействии Аннотация  PDF (Rus)  похожие документы
К. В. Корнилов
 
Том 14, № 1 (2007) Верификация автоматных программ с использованием LTL Аннотация  PDF (Rus)  похожие документы
К. А. Васильева, Е. В. Кузьмин
"... основе автоматного подхода к программированию. Технология автоматного программирования является ..."
 
Том 23, № 3 (2016) Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток Аннотация  похожие документы
Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер
"... Основной целью данной работы является представление нового аналитико-численного подхода к ..."
 
Том 23, № 6 (2016) Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки Аннотация  PDF (Rus)  похожие документы
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов
"... множества терминов для включения в тезаурус и выделение связей между терминами тезауруса. Данное ..."
 
Том 23, № 3 (2016) Асимптотика, устойчивость и область притяжения периодического решения сингулярно возмущённой параболической задачи с двукратным корнем вырожденного уравнения Аннотация  PDF (Rus)  похожие документы
В. Ф. Бутузов, Н. Н. Нефедов, Л. Реке, К. Р. Шнайдер
"... отрезка в случае, когда вырожденное уравнение имеет двукратный корень. Поведение решения в пограничных ..."
 
Том 17, № 4 (2010) О сложности верификации недетерминированных вероятностных мультиагентных систем Аннотация  PDF (Rus)  похожие документы
М. К. Валиев, М. И. Дехтярь
"... агентов. Состояниями агентов в таких системах являются вероятностные базы данных (фактов), а их действия ..."
 
Том 22, № 3 (2015) СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? Аннотация  похожие документы
А. К. Бегичева, И. А. Ломазова
"... предоставляет различные методы для исследования реального процесса, его улучшения и контроля над ним. В данной ..."
 
Том 15, № 1 (2008) Библиотека параллельного исполнения rpC-программ для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков, А. В. Шубин
"... , написанных на языке rpC, предназначенная для использования в операционных системах Win32. Эта работа является ..."
 
Том 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)  похожие документы
В. В. Васильчиков
"... В данной работе рассматриваются способы ускорения решения 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)  похожие документы
В. А. Захаров
 
Том 19, № 6 (2012) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
 
Том 20, № 6 (2013) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
"... , распределение ресурсов вычислителя, компактное представление программ в памяти, выявление вредоносного ..."
 
Том 19, № 1 (2012) Редакционная статья Аннотация  PDF (Rus)  похожие документы
В. А. Соколов
 
Том 14, № 1 (2007) Минимальные проекторы и максимальные симплексы Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... , узлы которого находятся в вершинах симплекса максимального объёма в On. ..."
 
Том 14, № 2 (2007) О релаксационном многограннике задачи «3-выполнимость» Аннотация  PDF (Rus)  похожие документы
Б. В. Урываев
"... Исследуются свойства многогранника, ассоциированного с задачей «3-выполнимость». Устанавливается, в ..."
 
Том 14, № 2 (2007) Устойчивость одной модели нейрона на основе уравнения с запаздыванием Аннотация  PDF (Rus)  похожие документы
Ю. В. Богомолов
 
Том 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)  похожие документы
Н. В. Малышкин
"... высокопроизводительные вычислительные ресурсы в Grid для решения больших задач численного моделирования. Рассказывается о ..."
 
Том 14, № 4 (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)  похожие документы
В. А. Соколов
 
Том 17, № 2 (2010) О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ Аннотация  PDF (Rus)  похожие документы
А. В. Николаев
"... 3-ВЫПОЛНИМОСТЬ. В частности, рассмотрен вопрос о сохранении нецелочисленных вершин при переходе к ..."
 
Том 17, № 3 (2010) Рекуррентные последовательности над почтикольцами Аннотация  PDF (Rus)  похожие документы
А. В. Сбоев
 
Том 17, № 3 (2010) Язык объектных запросов динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
В. С. Рублев
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация  PDF (Rus)  похожие документы
В. И. Шелехов
"... доказательства корректности для операторов языка предикатного программирования P. В работе представлены ключевые ..."
 
Том 17, № 4 (2010) Пример верификации в проекте F@BOOL@, основанном на булевских решателях Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... человеком программы с языка высокого уровня в эквивалентные исполнимые программы и, кроме того, доказывает ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  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)  похожие документы
С. В. Поляков
"... Рассматриваются конечные почти простые SM_m-группы (см. определение ниже). В первой части работы ..."
 
Том 18, № 1 (2011) Геометрические оценки в полиномиальной интерполяции Аннотация  PDF (Rus)  похожие документы
М. В. Невский
 
Том 22, № 4 (2015) Задача о наибольшем кратном потоке в делимой сети и ее частные случаи Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... В статье рассматривается задача о наибольшем кратном потоке в сети произвольной натуральной ..."
 
Том 22, № 5 (2015) Изоморфизм компактификаций модулей векторных расслоений: неприведенные схемы модулей Аннотация  PDF (Rus)  похожие документы
Н. В. Тимофеева
"... является двусторонним обратным к естественному преобразованию, построенному в предшествующей работе и ..."
 
Том 22, № 5 (2015) Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции Аннотация  PDF (Rus)  похожие документы
В. О. Голубенец
"... В работе рассматривается уравнение первого порядка с запаздыванием, зависящим от искомой функции ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... В настоящее время наблюдается огромный практический интерес к параллельному программированию. Этот ..."
 
Том 22, № 6 (2015) Формальная диагонализация схем Лакса–Дарбу Аннотация  PDF (Rus)  похожие документы
А. В. Михайлов
"... нас к производящим функциям локальных законов сохранения для всех интегрируемых систем, полученных в ..."
 
Том 23, № 2 (2016) О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики Аннотация  PDF (Rus)  похожие документы
Т. В. Прохорова
"... алгебр Адзумаи на X по модулю подобия. Хорошо известно, что группа Br(X) содержится в когомологической ..."
 
Том 23, № 4 (2016) Об алгебраических циклах на расслоенных произведениях неизотривиальных семейств регулярных поверхностей с геометрическим родом Аннотация  PDF (Rus)  похожие документы
О. В. Никольская
 
Том 23, № 4 (2016) Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... в сети произвольной натуральной кратности к. Определяется три типа дуг в сети: обычная дуга, кратная ..."
 
Том 23, № 5 (2016) Расслоенное произведение коммутативных алгебр: образующие и соотношения Аннотация  похожие документы
Н. В. Тимофеева
"... В работе дан и обоснован метод прямого вычисления универсального (расслоенного) произведения в ..."
 
Том 23, № 5 (2016) Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... Статья посвящена анализу сетей, состоящих из обобщенных нейронных элементов. В первой части статьи ..."
 
Том 23, № 6 (2016) Формализм и языковые инструменты для описания семантики программных библиотек Аннотация  PDF (Rus)  похожие документы
В. М. Ицыксон
"... к языковым средствам спецификации библиотек. В заключении определяются дальнейшие направления ..."
 
Том 14, № 1 (2007) Синхронная модель автоматной программы Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов, В. А. Соколов
"... верификации синхронных программ для проверки автоматных программ. В частности предполагается использование ..."
 
Том 14, № 4 (2007) Исследование модифицированной модели сальтаторного проведения возбуждения Аннотация  PDF (Rus)  похожие документы
В. В. Майоров, С. Е. Ануфриенко
"... В работе рассматривается модель сальтаторного проведения возбуждения, в которой для описания ..."
 
Том 26, № 4 (2019) От редакторов выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Н. В. Шилов
 
Том 17, № 1 (2010) Двухшаговый экстраградиентный метод для задачи управления ресурсами Аннотация  PDF (Rus)  похожие документы
А. В. Зыкина, Н. В. Меленьчук
"... программирования, вариационных неравенств и смежных задач. Доказана сходимость метода в общем случае. Для задач ..."
 
Том 17, № 2 (2010) Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения Аннотация  PDF (Rus)  похожие документы
В. С. Рублев, А. В. Смирнов
"... этой задачи к задаче нахождения максимального потока в кратной сети целочисленного сбалансирования ..."
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация  PDF (Rus)  похожие документы
И. В. Коннов, В. А. Захаров
"... Показано, что метод адаптивной редукции симметричных моделей (ASR), предложенный в статье [9] для ..."
 
Том 22, № 4 (2015) Алгоритмы для мажоритарного декодирования групповых кодов Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
"... декодера для кодов с неравной защитой символов, который в ряде случаев может быть лучше классического. Для ..."
 
Том 22, № 5 (2015) Численное решение уравнения Пуассона в полярных координатах методом коллокаций и наименьших невязок Аннотация  PDF (Rus)  похожие документы
Е. В. Ворожцов, В. П. Шапеев
"... исходное уравнение Пуассона приводится к уравнению Бельтрами. В криволинейных координатах используется ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... многих случаях является трудной задачей. В этой статье мы рассматриваем язык C-light, который является ..."
 
Том 23, № 2 (2016) Криптосистема на индуцированных групповых кодах Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
"... шифрования и расшифрования, приводится анализ стойкости к атаке на ключ, а также выделены слабые ключи, в ..."
 
1 - 75 из 125 результатов 1 2 > >> 

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

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