Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 24, № 4 (2017) О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар
"... , необходимо иметь представление о скоростях передачи данных внутри процессора и на шинах, подходящих к нему ..."
 
Том 22, № 2 (2015) Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый
"... предлагается новая архитектура, основанная на беспроводном доступе к кеш-памяти в многоядерных процессорах. В ..."
 
Том 20, № 4 (2013) Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах Аннотация  PDF (Rus)  похожие документы
Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый
"... системах. Описанное решение основано на применении беспроводных ключей — специальных устройств, которые ..."
 
Том 21, № 2 (2014) Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Иванов
 
Том 19, № 2 (2012) Потоки в обобщенных сетях со связанными дугами Аннотация  PDF (Rus)  похожие документы
Владимир Александрович Скороходов
 
Том 21, № 6 (2014) Инкрементальный подход к технологии создания тестов для индустриальных проектов Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский
"... Статья посвящена описанию технологии, позволяющей сократить трудозатраты на создание тестов для ..."
 
Том 24, № 5 (2017) Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Балабаев
"... Построены эллиптические системы первого порядка с любым возможным числом неизвестных функций и ..."
 
Том 19, № 2 (2012) Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло Аннотация  PDF (Rus)  похожие документы
Лев Юрьевич Бараш, Лев Николаевич Щур
"... параметры, при которых это свойство выполняется на длине до логарифма размера сетки. ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... пополнения онтологий. Агенты системы на основе входных данных устанавливают значения элементов объектов ..."
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация  PDF (Rus)  похожие документы
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
"... сети AFDX и FC-AE-ASM-RT, реализующие основанный на виртуальных каналах подход к передаче данных в ..."
 
Том 22, № 2 (2015) Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин
"... В работе исследуется устойчивость решений начально-краевой задачи для линейной гибридной системы ..."
 
Том 25, № 2 (2018) Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов
"... человеческой деятельности. В частности, системы теплоснабжения имеют значительное экономическое, экологическое ..."
 
Том 19, № 2 (2012) Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL Аннотация  PDF (Rus)  похожие документы
Павел Валерьевич Лебедев
"... time). Алгоритм позволяет найти вероятность истинности формулы на заданной цепи Маркова, а также ..."
 
Том 18, № 2 (2011) Разбиение железнодорожного состава на отдельные вагоны Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Малков, Геннадий Павлович Штерн, Иван Александрович Михайлов
"... железнодорожных составов, а именно: разбиение состава на отдельные вагоны (цистерны). Приводится описание ..."
 
Том 24, № 6 (2017) К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций Аннотация  похожие документы
Томас Баар
"... Система обозначений диаграмм состояний (state machines) широко применяется в качестве формального ..."
 
Том 25, № 2 (2018) Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам Аннотация  PDF (Rus)  похожие документы
Татьяна Рудольфовна Шмелёва
"... злонамеренного трафика типа «дуэль трафика» на параметры качества обслуживания решетки. Проведен сравнительный ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... предлагается использовать платформенно-независимую модель, которая строится на основе ядра системы, отвечающего ..."
 
Том 19, № 3 (2012) Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александрович Марушкина
 
Том 24, № 4 (2017) Исследование одной марковской модели угроз безопасности компьютерных систем Аннотация  PDF (Rus)  похожие документы
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
"... случаи и анализируется динамика системы на больших временах. Отдельно исследуется зависимость вероятности ..."
 
Том 24, № 6 (2017) Поэтология: задачи построения тезауруса и спецификации стихового текста Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков, Мария Сергеевна Каряева
"... Представлено краткое изложение доклада авторов на семинаре “Моделирование и анализ информационных ..."
 
Том 19, № 4 (2012) Обобщенные асинхронные системы Аннотация  PDF (Rus)  похожие документы
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов
"... Работа посвящена математической модели параллельной системы, частным случаем которой является ..."
 
Том 21, № 1 (2014) Уравнения движения твердого тела с двумя упругими стержнями Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин
"... В работе построена математическая модель механической системы, состоящей из твердого тела и двух ..."
 
Том 20, № 6 (2013) Общие знания в хорошо структурированных системах с абсолютной памятью Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... µPLCn в хорошо структурированных мультиагентных системах с абсолютной памятью. Показано, что среда с ..."
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация  PDF (Rus)  похожие документы
Андрей Валентинович Климов
"... итеративной процедуры применения суперкомпилятора (специализатора программ, основанного на методе ..."
 
Том 16, № 4 (2009) Хаотическая синхронизация каскадно-связанных систем фазовой автоподстройки частоты Аннотация  PDF (Rus)  похожие документы
А. В. Ходунин, Л. Н. Казаков
"... методика регистрации хаотической фазовой синхронизации на основе непрерывного вейвлет-преобразования ..."
 
Том 25, № 4 (2018) Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров Аннотация  PDF (Rus)  похожие документы
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов
"... построения сообщений. Для получения ответов на вопросы, которых нет в корпусе системы, привлекаются ..."
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
"... представления моделируемой системы, что позволяет ему не работать с чисто текстовым форматом гибридных программ ..."
 
Том 27, № 1 (2020) Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... точке, основанное на соответствующего порядка бесконечно малом отличии функции от приближающего её ..."
 
Том 19, № 1 (2012) Моделирование систем автоматического управления на основе полиномов Вольтерра Аннотация  PDF (Rus)  похожие документы
Светлана Витальевна Солодуша
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация  PDF (Rus)  похожие документы
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
"... часто применяется средство UPPAAL, разработанное для проверки формул логики TCTL на сети временных ..."
 
Том 20, № 5 (2013) Статистические характеристики управляемых систем, возникающие в различных моделях естествознания Аннотация  PDF (Rus)  похожие документы
Яна Юрьевна Ларина, Людмила Ивановна Родина
 
Том 26, № 2 (2019) Система распределения ключей на дизайнах Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Алексей Александрович Таран
"... недобросовестные пользователи системы могут объединиться в коалицию и на основе всей имеющейся у них ключевой ..."
 
Том 26, № 3 (2019) Динамическая модель развития пиринговой файлообменной сети Аннотация  PDF (Rus)  похожие документы
Александра Игоревна Кононова, Лариса Геннадьевна Гагарина
"... торрент-трекером. Модель построена на основе обыкновенных дифференциальных уравнений. Определены фазовые ..."
 
Том 26, № 4 (2019) Анализ безопасности контроллеров продольного движения во время набора высоты Аннотация  похожие документы
Томас Баар, Хорст Шульте
"... представляем исполняемую модель, написанную на Matlab/Simulink® для системы управления пассажирским самолетом ..."
 
Том 17, № 4 (2010) Проверка моделей распределенных систем с помощью аффинного представления данных Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина
 
Том 23, № 3 (2016) Применение метода дифференциальных неравенств для обоснования решения системы параболических уравнений в виде движущегося фронта Аннотация  PDF (Rus)  похожие документы
Н. Т. Левашова, А. А. Мельникова, С. В. Быцюра
"... системы параболических уравнений при различных условиях квазимонотонности. ..."
 
Том 23, № 4 (2016) Компьютерное моделирование "Интеллектуального здания" Аннотация  PDF (Rus)  похожие документы
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков
"... , что система должна уметь распознавать конкретные ситуации, происходящие в доме, и соответствующим ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... задавать процессы, которые определяются слиянием базовых процессов системы, в то время как нетерминалы ..."
 
Том 23, № 6 (2016) О минимизации конечных автоматов-преобразователей над полугруппами Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Г. Г. Темербекова
 
Том 23, № 6 (2016) Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик Аннотация  PDF (Rus)  похожие документы
О. Б. Кушнаренко, Ж.-Ф. Вебер
"... новые охраняемые реконфигурирования на базе логики Хоара, которые построены на основе примитивных ..."
 
Том 24, № 4 (2017) Разложение самоподобных функций в системе Фабера–Шаудера Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... ), (n=0,1,dots) является системой Фабера-Шаудера в пространстве (C([0, 1])) непрерывных функций на ..."
 
Том 25, № 4 (2018) Динамическая модель процессов информационных обменов в пиринговой сети Аннотация  PDF (Rus)  похожие документы
Александра Игоревна Кононова
"... обмене. На основе анализа записана система дифференциальных уравнений, описывающая эволюцию раздачи ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... опыт программирования на классических языках Си и FORTRAN для ускорения вычислений, избегая конфликтов ..."
 
Том 19, № 1 (2012) Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Ольга Анатольевна Хребтюгова
"... Дано определение обобщенного решения начально-краевой задачи для линейной системы дифференциальных ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... взаимодействия объектов. Благодаря своей выразительности и простоте MSC-диаграммы широко применяются на практике ..."
 
Том 21, № 5 (2014) Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов
"... системы, состоящей из твердого тела и жестко связанного с ним упругого стержня. Для начально-краевой ..."
 
Том 21, № 1 (2014) Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... Рассматриваются так называемые конечномерные флаттерные системы, т.е. системы обыкновенных ..."
 
Том 19, № 6 (2012) Дедуктивная верификация телекоммуникационных систем, представленных на языке Си Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... Предложен дедуктивный подход к верификации телекоммуникационных систем, представленных на языке C ..."
 
Том 18, № 4 (2011) Статический анализ с использованием систем типов и эффектов на основе LLVM Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Беляев, Вадим Александрович Цесько
"... , таким образом, давая возможность анализировать программы на любых языках, поддерживаемых системой LLVM ..."
 
Том 18, № 4 (2011) Оптимизационные процедуры в аффинной проверке моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... Символьная проверка на модели основана на компактном представлении множеств. На данный момент есть ..."
 
Том 26, № 3 (2019) GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Аникин, Александр Юрьевич Мускатин, Михаил Борисович Кузьминский, Александр Ильич Русаков
"... CMLформата на базе программных средств dCache реализовано единое дерево виртуальной файловой GRID-системы ..."
 
Том 26, № 4 (2019) Операционная семантика аннотированных Reflex программ Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... в нескольких системах управления с повышенными требованиями к надежности, например, в системе ..."
 
Том 26, № 4 (2019) Методы специализации онтологии процессов, ориентированной на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин
"... специализированной онтологии в системе Protege на языке OWL с использованием правил вывода на языке SWRL и построена ..."
 
Том 26, № 4 (2019) Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Горюнов
"... ляпуновским. В данной работе предложены две методики обработки решений линеаризованных на аттракторе систем ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
"... Представлена расширяемая мультиязыковая система анализа и верификации СПЕКТР, разрабатываемая в ..."
 
Том 18, № 3 (2011) Модульная модель мультимедийного документа и особенности ее программной реализации Аннотация  PDF (Rus)  похожие документы
Владислав Игоревич Январев
"... . Рассматривается архитектура соответствующей программной системы управления мультимедийными документами с акцентами ..."
 
Том 18, № 1 (2011) Динамика слабого взаимодействия в системе близких видов Аннотация  PDF (Rus)  похожие документы
Е. В. Горчакова
"... Исследуется динамика системы, описывающей взаимодействие двух близких слабо связанных видов ..."
 
Том 18, № 2 (2011) Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) Аннотация  PDF (Rus)  похожие документы
Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов
"... Изучаются мультиагентные алгоритмы для так называемой задачи о роботах на Марсе. Эту задачу можно ..."
 
Том 18, № 4 (2011) Типовые примеры использования языка Atoment Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
 
Том 20, № 2 (2013) Группы гомологий сети Петри конвейера Аннотация  PDF (Rus)  похожие документы
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина
 
Том 20, № 1 (2013) Влияние деформации области на поведение решений распределенной кинетической системы Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин
"... Рассмотрено поведение распределенной кинетической системы, находящейся в однородном равновесном ..."
 
Том 22, № 1 (2015) Катастрофа голубого неба в системах с неклассическими релаксационными колебаниями Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
 
Том 22, № 1 (2015) Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления Аннотация  PDF (Rus)  похожие документы
Маргарита Александровна Калашникова
"... определяются из решения пяти линейно-квадратичных задач оптимального управления. Показано, что система ..."
 
Том 23, № 2 (2016) Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем Аннотация  PDF (Rus)  похожие документы
Д. Ю. Волканов
"... сбалансированный набор вариантов модулей РВС максимальный по надёжности при ограничениях на стоимость на ..."
 
Том 23, № 5 (2016) Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо Аннотация  PDF (Rus)  похожие документы
А. А. Мельникова, Р. Л. Аргун
"... автоволновых процессов в активных средах часто применяется система уравнений ФитцХью–Нагумо. При решении ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... размеров” (например, площади) активной части системы на протяжении всей её жизни. Определяются три варианта ..."
 
Том 24, № 4 (2017) Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов
"... В данной работе исследуются вопросы построения автоматизированной обучающей системы “Анализ ..."
 
Том 25, № 1 (2018) Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Горюнов
"... проводится локальное исследование окрестности нетривиального состояния равновесия системы, определяется ..."
 
Том 25, № 1 (2018) Периодические изменения автоволнового фронта в двумерной системе параболических уравнений Аннотация  PDF (Rus)  похожие документы
Алина Александровна Мельникова, Наталья Николаевна Дерюгина
"... Работа направлена на исследование решений типа фронта для нелинейной системы параболических ..."
 
Том 27, № 2 (2020) Об одном механизме образования пространственно-неоднородных структур световых волн в оптических системах передачи информации Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Владимир Александрович Куликов
"... информации в системах оптической и волоконно-оптической связи. В работе рассматривается математическая модель ..."
 
Том 20, № 2 (2013) Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты Аннотация  PDF (Rus)  похожие документы
Антон Юрьевич Бернштейн, Николай Вячеславович Шилов
"... . Предлагаемый в статье мультиагентный алгоритм (протокол) ос- нован на централизованном локальном алгоритме Э ..."
 
Том 17, № 4 (2010) Безопасное тестирование симуляции систем с отказами и разрушением Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... безопасного тестирования предложена авторами для конформности, основанной на трассах наблюдений. Эта идея ..."
 
Том 17, № 4 (2010) О сложности верификации недетерминированных вероятностных мультиагентных систем Аннотация  PDF (Rus)  похожие документы
М. К. Валиев, М. И. Дехтярь
"... верификации динамических свойств конечных Марковских процессов на вероятностные мультиагентные системы ..."
 
Том 22, № 5 (2015) Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции Аннотация  PDF (Rus)  похожие документы
В. О. Голубенец
 
Том 25, № 1 (2018) Верхнее и нижнее решения для системы уравнений типа ФицХью–Нагумо Аннотация  PDF (Rus)  похожие документы
Светлана Владимировна Быцюра, Наталия Тимуровна Левашова
"... работах. Приведенный алгоритм может быть в дальнейшем обобщен на более сложные системы с двухмасштабными ..."
 
1 - 75 из 76 результатов 1 2 > >> 

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

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