Preview

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

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

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


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

 
Выпуск Название
 
Том 23, № 6 (2016) Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата Аннотация   PDF (Rus)
А. Д. Ермаков, Н. В. Евтушенко
 
Том 23, № 6 (2016) О минимизации конечных автоматов-преобразователей над полугруппами Аннотация   PDF (Rus)
В. А. Захаров, Г. Г. Темербекова
 
Том 23, № 6 (2016) Формализм и языковые инструменты для описания семантики программных библиотек Аннотация   PDF (Rus)
В. М. Ицыксон
 
Том 23, № 6 (2016) Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей Аннотация   PDF (Rus)
В. А. Александров, В. А. Десницкий, Д. Ю. Чалый
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация   PDF (Rus)
Ю. А. Белов, С. И. Вовчок
 
Том 23, № 6 (2016) Бифуркации периодических решений уравнения Мэкки–Гласса Аннотация   PDF (Rus)
Е. П. Кубышкин, А. Р. Морякова
 
Том 23, № 6 (2016) Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик Аннотация   PDF (Rus)
О. Б. Кушнаренко, Ж.-Ф. Вебер
 
Том 23, № 6 (2016) Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки Аннотация   PDF (Rus)
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов
 
Том 23, № 6 (2016) Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями Аннотация   PDF (Rus)
А. А. Кащенко
 
Том 23, № 6 (2016) Устойчивые циклы и торы системы из трех и четырех диффузионно связанных осцилляторов Аннотация   PDF (Rus)
Е. А. Марушкина
 
Том 23, № 6 (2016) Имитационное моделирование для анализа выполнимости приложений реального времени Аннотация   PDF (Rus)
С. Н. Баранов, В. В. Никифоров
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация   PDF (Rus)
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация   PDF (Rus)
Н. О. Гаранина, Е. А. Сидорова
 
Том 23, № 6 (2016) Построение каскадной параллельной композиции временных автоматов с использованием BALM-II Аннотация   PDF (Rus)
М. Л. Громов, Н. В. Шабалдина
 
Том 23, № 5 (2016) Численные методы решения задач Коши с контрастными структурами Аннотация   PDF (Rus)
А. А. Белов, Н. Н. Калиткин
 
Том 23, № 5 (2016) Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред Аннотация   PDF (Rus)
Ж. О. Домбровская
 
Том 23, № 5 (2016) Взаимодействие двух волн в модели Ферми – Паста – Улама Аннотация   PDF (Rus)
С. Д. Глызин, С. А. Кащенко, А. О. Толбей
 
Том 23, № 5 (2016) Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо Аннотация   PDF (Rus)
А. А. Мельникова, Р. Л. Аргун
 
Том 23, № 5 (2016) Численное исследование начально-краевой задачи Неймана для сингулярно возмущенного параболического уравнения Аннотация   PDF (Rus)
Л. П. Шишкина
 
Том 23, № 5 (2016) Компьютерная разностная схема для сингулярно возмущенного параболического уравнения реакции-диффузии при наличии компьютерных возмущений Аннотация   PDF (Rus)
Г. И. Шишкин
 
Том 23, № 5 (2016) Об отсутствии и разрушении решений в некоторых сингулярно возмущённых задачах со сменой устойчивости Аннотация   PDF (Rus)
М. А. Терентьев
 
Том 23, № 5 (2016) Полилогарифмы и асимптотика моментов сингулярной функции Лебега Аннотация   PDF (Rus)
Е. А. Tимофеев
 
Том 23, № 5 (2016) О числовых характеристиках симплекса и их оценках Аннотация   PDF (Rus)
М. В. Невский, А. Ю. Ухалов
 
Том 23, № 5 (2016) Расслоенное произведение коммутативных алгебр: образующие и соотношения Аннотация   PDF (Eng)
Н. В. Тимофеева
 
Том 23, № 5 (2016) Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием Аннотация   PDF (Rus)
П. Н. Нестеров
 
Том 23, № 5 (2016) Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов Аннотация   PDF (Rus)
Е. В. Коновалов
 
Том 23, № 5 (2016) От редактора специального выпуска Аннотация   PDF (Rus)
С. Д. Глызин
 
Том 23, № 5 (2016) Сингулярно возмущенная эллиптическая задача Дирихле с кратным корнем вырожденного уравнения Аннотация   PDF (Rus)
В. Ф. Бутузов, В. А. Белошапко
 
Том 23, № 4 (2016) Сравнение алгоритмов удвоения размера изображения Аннотация   PDF (Rus)
С. Е. Ваганов, С. И. Хашин
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация   PDF (Rus)
В. В. Васильчиков
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация   PDF (Rus)
А. С. Величко, В. В. Грибова, Л. А. Федорищев
 
Том 23, № 4 (2016) Компьютерное моделирование "Интеллектуального здания" Аннотация   PDF (Rus)
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков
 
Том 23, № 4 (2016) Об алгебраических циклах на расслоенных произведениях неизотривиальных семейств регулярных поверхностей с геометрическим родом Аннотация   PDF (Rus)
О. В. Никольская
 
Том 23, № 4 (2016) Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы Аннотация   PDF (Rus)
А. В. Смирнов
 
Том 23, № 4 (2016) Резервное копирование с хранением в базе данных Аннотация   PDF (Rus)
С. М. Таранин
 
Том 23, № 4 (2016) Вероятностный анализ систем организации турниров Аннотация   PDF (Rus)
А. М. Цирлин, Ал. А. Ахременков
 
Том 23, № 3 (2016) Существование и устойчивость периодических решений уравнения реакция-диффузия в двумерном случае Аннотация   PDF (Eng)
Н. Н. Нефедов, Е. И. Никулин
 
Том 23, № 3 (2016) Численное решение одной сингулярно возму- щённой задачи в круговой области Аннотация   PDF (Eng)
А. Ф. Хегарти, Ю. О’Риордан
 
Том 23, № 3 (2016) Оценки погрешности в сбалансированных нормах методов ко- нечных элементов на сетках Шишкина для задач реакции-диффузии Аннотация   PDF (Rus)
Р. Ханс-Гёрг
 
Том 23, № 3 (2016) Робастная оценка погрешности в сингулярно возмущённых задачах четвертого порядка Аннотация   PDF (Eng)
С. Франц, Р. Х.-Г.
 
Том 23, № 3 (2016) От редактора специального выпуска Аннотация   PDF (Rus)
С. Д. Глызин
 
Том 23, № 3 (2016) Двухточечная краевая задача Капуто: существование, единствен- ность и регулярность решения Аннотация   PDF (Eng)
М. Стайнс
 
Том 23, № 3 (2016) Аделаида Борисовна Васильева (к девяностолетию со дня рождения) Аннотация   PDF (Rus)
В. Ф. Бутузов, Н. Н. Нефедов
 
Том 23, № 3 (2016) Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение Аннотация   PDF (Eng)
А. И. Задорин
 
Том 23, № 3 (2016) МКЭ-анализ на адаптированных к слою сетках в задачах с точкой по- ворота, имеющих внутренний слой Аннотация   PDF (Eng)
С. Бехер
 
Том 23, № 3 (2016) Асимптотика, устойчивость и область притяжения периодического решения сингулярно возмущённой параболической задачи с двукратным корнем вырожденного уравнения Аннотация   PDF (Rus)
В. Ф. Бутузов, Н. Н. Нефедов, Л. Реке, К. Р. Шнайдер
 
Том 23, № 3 (2016) Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем Аннотация   PDF (Rus)
А. А. Быков
 
Том 23, № 3 (2016) Асимптотический анализ в задаче моделирования процесса переноса газовой примеси в приповерхностном слое атмосферы Аннотация   PDF (Rus)
М. А. Давыдова, Н. Т. Левашова, С. А. Захарова
 
Том 23, № 3 (2016) Сходимость сеточного решения задачи Дирихле с разрывной про- изводной граничной функции для сингулярно возмущенного уравнения конвекции- диффузии Аннотация   PDF (Eng)
Т. Я. Ершова
 
Том 23, № 3 (2016) Численное моделирование процессов формирования полос адиабатического сдвига в композитах Аннотация   PDF (Rus)
Н. А. Кудряшов, Р. В. Муратов, П. Н. Рябов
 
Том 23, № 3 (2016) Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками Аннотация   PDF (Rus)
Н. А. Кудряшов, Д. И. Синельщиков
 
Том 23, № 3 (2016) Применение метода дифференциальных неравенств для обоснования решения системы параболических уравнений в виде движущегося фронта Аннотация   PDF (Rus)
Н. Т. Левашова, А. А. Мельникова, С. В. Быцюра
 
Том 23, № 3 (2016) Моделирование неизотермического течения аномально вязкой жидкости в каналах с различной геометрией границ Аннотация   PDF (Rus)
К. В. Литвинов
 
Том 23, № 3 (2016) Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток Аннотация   PDF (Eng)
Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация   PDF (Rus)
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
 
Том 23, № 2 (2016) Асимптотика моментов симметричной свертки Бернулли Аннотация   PDF (Eng)
Е. А. Tимофеев
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация   PDF (Rus)
Д. А. Усталов
 
Том 23, № 2 (2016) Задача маршрутизации, осложненная зависимостью функций стоимости и "текущих" ограничений от списка заданий Аннотация   PDF (Rus)
А. Г. Ченцов, А. А. Ченцов
 
Том 23, № 2 (2016) Построение хранилища данных с динамической структурой Аннотация   PDF (Rus)
Ю. Н. Артамонов
 
Том 23, № 2 (2016) Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем Аннотация   PDF (Rus)
Д. Ю. Волканов
 
Том 23, № 2 (2016) Криптосистема на индуцированных групповых кодах Аннотация   PDF (Rus)
В. М. Деундяк, Ю. В. Косолапов
 
Том 23, № 2 (2016) Об эффективности минимизирующего подхода к оптимизации запросов Аннотация   PDF (Rus)
Н. А. Мендкович
 
Том 23, № 2 (2016) О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики Аннотация   PDF (Rus)
Т. В. Прохорова
 
Том 23, № 1 (2016) Асимптотика моментов функции Такаги Аннотация   PDF (Rus)
Е. А. Tимофеев
 
Том 23, № 1 (2016) Продолжение решения на границе разрыва как решение задачи усредненной оптимизации Аннотация   PDF (Rus)
А. М. Цирлин
 
Том 23, № 1 (2016) A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes Аннотация   PDF (Rus)
Александр Николаевич Максименко
 
Том 23, № 1 (2016) Асимптотические разложения собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация   PDF (Rus)
С. А. Кащенко
 
Том 23, № 1 (2016) Асимптотические разложения собственных значений периодической и антипериодической краевых задач для сингулярно возмущенных дифференциальных уравнений второго порядка с точками поворота Аннотация   PDF (Rus)
С. А. Кащенко
 
Том 23, № 1 (2016) Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II Аннотация   PDF (Rus)
П. Н. Нестеров
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация   PDF (Rus)
Н. В. Шилов
 
Том 22, № 6 (2015) Формальная диагонализация схем Лакса–Дарбу Аннотация   PDF (Eng)   PDF (Rus)
А. В. Михайлов
 
Том 22, № 6 (2015) Анализ системных исполнений с помощью Process Mining Аннотация   PDF (Rus)   PDF (Eng)
С. А. Шершаков, В. А. Рубин
 
Том 22, № 6 (2015) Лингвостатистический анализ терминологии для построения тезауруса предметной области Аннотация   PDF (Rus)
М. С. Каряева
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация   PDF (Rus)
А. А. Носков, М. А. Никитинский, И. В. Алексеев
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация   PDF (Rus)   PDF (Eng)
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
 
1 - 75 из 602 результатов 1 2 3 4 5 6 7 8 9 > >>