Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22, № 3 (2015) ПЕРЕХОД К ХАОСУ В КОМПЛЕКСНОМ УРАВНЕНИИ ГИНЗБУРГА–ЛАНДАУ С БОЛЬШОЙ ДИСПЕРСИЕЙ ТРЕТЬЕГО ПОРЯДКА Аннотация  похожие документы
И. И. Овсянников, Д. В. Тураев, С. В. Зелик
 
Том 14, № 2 (2007) Построение асимптотического разложения решения уравнения нейрона, описываемого дифференциальным уравнением с переменным запаздыванием Аннотация  PDF (Rus)  похожие документы
И. В. Парамонов
 
Том 14, № 2 (2007) Динамические свойства уравнений первого порядка с большим запаздыванием Аннотация  PDF (Rus)  похожие документы
И. С. Кащенко
"... случаи соотношения порядка отклонения коэффициентов от кри¬тических значений и порядка запаздывания. ..."
 
Том 14, № 4 (2007) Об одном методе распознавания изображений Аннотация  PDF (Rus)  похожие документы
И. А. Михайлов
"... изображениях и сравнение с метрикой Хаусдорфа. ..."
 
Том 16, № 3 (2009) О неравенстве типа неравенства Джексона в диадическом пространстве BMO Аннотация  PDF (Rus)  похожие документы
И. П. Иродова
"... . Вместе с обратной теоремой это позволяет решить задачу интерполяции между диадическим ВМО и диадическим ..."
 
Том 16, № 4 (2009) Нормализация уравнения с линейно распределенным запаздыванием Аннотация  PDF (Rus)  похожие документы
И. С. Кащенко
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация  PDF (Rus)  похожие документы
В. И. Шелехов
"... Дедуктивная верификация и синтез программ двоичного сложения проводятся на базе системы правил ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... разрабатываемого программного обеспечения и гарантировать соответствие задаваемой спецификации. Предлагаемая ..."
 
Том 18, № 1 (2011) Динамические свойства одной модели пассивного захвата мод Аннотация  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)  похожие документы
И. Г. Игнатова, Н. Ю. Соколова
"... В статье рассматривается механизм совместного использования методов бизнес-моделирования и объектно ..."
 
Том 17, № 3 (2010) Верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
 
Том 23, № 6 (2016) Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки Аннотация  PDF (Rus)  похожие документы
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов
"... алгоритм генерации состоит из трех шагов: отбор и предварительная обработка корпуса текстов, формирование ..."
 
Том 14, № 2 (2007) Однородные супермногообразия с ретрактом CP (1|4, k1k2 11) Аннотация  PDF (Rus)  похожие документы
М. А. Башкин, Л. И. Хабадзе
"... ,1,1), где к >= к2 >= 1. Необходимые сведения по теории комплексных супермногообразий можно найти в [3] и [4]. ..."
 
Том 14, № 2 (2007) О характеристическом наборе коэффициентов черно-белых цифровых изображений, построенных на основе гексагональной решетки Аннотация  PDF (Rus)  похожие документы
И. А. Каплий, П. Г. Парфенов
 
Том 14, № 4 (2007) Формальная модель семантики художественного текста (на материале русских пословиц) Аннотация  PDF (Rus)  похожие документы
А. C. Малкова, В. И. Январев
"... .н. "мифологическое" тождество и конфигурацию связи. Модель позволяет применять процедуры интеллектуальной обработки ..."
 
Том 16, № 4 (2009) Оценки оператора Кордобы - Фернандеса в пространствах Марцинкевича Аннотация  PDF (Rus)  похожие документы
Е. И. Бережной, Д. С. Гладких
"... В работах А. Кордобы и П. Фернандеса о расходимости жадных алгоритмов в пространствах Лебега ..."
 
Том 15, № 1 (2008) Интегральные близкие к эйлеровой характеристики полутоновых цифровых изображений Аннотация  PDF (Rus)  похожие документы
П. Г. Парфенов, И. А. Каплий
"... , определенной на полутоновых фрагментах размера 2 х 2. Приведенный пример и компьютерная модель показывают, что ..."
 
Том 17, № 4 (2010) Безопасное тестирование симуляции систем с отказами и разрушением Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... распространяется на случай (слабой) симуляции, основанной на соответствии состояний реализации и спецификации ..."
 
Том 17, № 4 (2010) О сложности верификации недетерминированных вероятностных мультиагентных систем Аннотация  PDF (Rus)  похожие документы
М. К. Валиев, М. И. Дехтярь
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация  PDF (Rus)  похожие документы
И. В. Коннов, В. А. Захаров
 
Том 22, № 3 (2015) СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? Аннотация  похожие документы
А. К. Бегичева, И. А. Ломазова
"... предоставляет различные методы для исследования реального процесса, его улучшения и контроля над ним. В данной ..."
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
А. Н. Носков, И. А. Манов
"... гигантов и операторов связи. К настоящему времени создано большое количество динамических протоколов ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... для произвольных языков программирования и допускает частичную автоматизацию процесса. Однако ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... предложены двухуровневый подход [19, 20] и метод смешанной аксиоматической семантики [1, 3, 11]. На первой ..."
 
Том 23, № 3 (2016) Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Д. И. Синельщиков
"... многих процессов и явлений в физике, механике и биологии. В работе рассматривается семейство нелинейных ..."
 
Том 23, № 3 (2016) Существование и устойчивость периодических решений уравнения реакция-диффузия в двумерном случае Аннотация  похожие документы
Н. Н. Нефедов, Е. И. Никулин
"... большим количеством практических применений: химическая кинетика, синергетика, астрофизика, биология и т ..."
 
Том 23, № 4 (2016) Сравнение алгоритмов удвоения размера изображения Аннотация  PDF (Rus)  похожие документы
С. Е. Ваганов, С. И. Хашин
"... использовалась величина среднеквадратичного отклонения. Артефакты (алиасинг, эффект Гиббса, размытие и др ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... пересечения сообществ и другие. В данном алгоритме учтены проблемы, присутствующие в подобных работах других ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
"... Представлена расширяемая мультиязыковая система анализа и верификации СПЕКТР, разрабатываемая в ..."
 
Том 14, № 1 (2007) Расстояния и другие меры близости на множестве черно-белых цифровых изображений Аннотация  PDF (Rus)  похожие документы
П. Г. Парфенов, И. А. Каплий, О. С. Куликов
 
Том 16, № 3 (2009) О спектральной задаче, возникающей в механике манипуляционных роботов Аннотация  PDF (Rus)  похожие документы
В. И. Войтицкий, М. Ю. Злобина, Е. П. Кубышкин
 
Том 17, № 2 (2010) Мультистабильность в модели лазера с большим запаздыванием Аннотация  PDF (Rus)  похожие документы
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко
 
Том 17, № 2 (2010) Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 Аннотация  PDF (Rus)  похожие документы
И. В. Алексеев, С. А. Меркулов, А. А. Сивов
"... Уточняется формат заголовка ARTCP и описывается алгоритм установки ARTCP соединения. Рассмотрены ..."
 
Том 22, № 3 (2015) ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ Аннотация  похожие документы
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко
"... – прямой и обратный. При этом часть объектов обслуживается в прямом рейсе, остальные объекты – в обратном ..."
 
Том 22, № 5 (2015) Фазовая модель Курамото с инерцией: бифуркации потери синхронности и перехода к хаосу Аннотация  PDF (Rus)  похожие документы
В. Н. Белых, М. И. Болотов, Г. В. Осипов
"... седлового состояния равновесия, так и седловой периодической орбиты. В случае гомоклинической петли седла ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... Традиционная архитектура сети передачи данных является негибкой и сложной. Данное обстоятельство ..."
 
Том 17, № 1 (2010) Тезаурус как инструмент поэтологии Аннотация  PDF (Rus)  похожие документы
В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, . М. Сысоев
"... всестороннее теоретическое и историческое изучение поэзии. Этот тезаурус мыслится как предметно-ориентированный ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... использоваться для разработки и оптимизации алгоритмов композиции и декомпозиции сетей Петри, построения дерева ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... ) и Model Driven Development (MDD). Описаны преимущества использования подходов в промышленности ..."
 
1 - 43 из 43 результатов

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

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