Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 18, № 1 (2011) Резонанс собственных частот в задаче о флаттере пластинки в сверхзвуковом потоке газа Аннотация  PDF (Rus)  похожие документы
А. Н. Куликов, Г. В. Пилипенко
"... The paper deals with a linear formulation of the problem of plane vibrations in a supersonic gas ..."
 
Том 19, № 5 (2012) Автоколебания решеток нелинейных элементов в опыте Скотта Аннотация  PDF (Rus)  похожие документы
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин
 
Том 20, № 3 (2013) Параметрический резонанс в гармоническом осцилляторе с переменной частотой собственных колебаний Аннотация  PDF (Rus)  похожие документы
Павел Николаевич Нестеров
"... В статье изучается явление возникновения новых резонансов в гармоническом осцилляторе с переменной ..."
 
Том 20, № 3 (2013) Параметрический резонанс при двухчастотном возмущении в логистическом уравнении с запаздыванием Аннотация  PDF (Rus)  похожие документы
Надежда Дмитриевна Быкова, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко
"... динамика в случае параметрического резонанса при двухчастотном возмущении принципиально сложнее по ..."
 
Том 14, № 2 (2007) Локальная динамика уравнения Хатчинсона с двумя запаздываниями в критическом случае резонанса 1:2 Аннотация  PDF (Rus)  похожие документы
Е. О. Киселева
"... уравнения имеет две пары чисто мнимых корней, связанных резонансом 1:2. В близком к критическому случае ..."
 
Том 20, № 5 (2013) Особенности колебания решений адиабатических осцилляторов с запаздыванием Аннотация  PDF (Rus)  похожие документы
Павел Николаевич Нестеров, Евгений Николаевич Агафончиков
"... резонанса одного адиабатического осциллятора при изменении величины запаздывания. ..."
 
Том 26, № 1 (2019) Анализ эффективности демультиплексирования транспортных потоков Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Степанов
"... Известно, что разделение отдельного транспортного потока на несколько независимых транспортных ..."
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
А. Н. Носков, И. А. Манов
 
Том 19, № 2 (2012) Потоки в обобщенных сетях со связанными дугами Аннотация  PDF (Rus)  похожие документы
Владимир Александрович Скороходов
"... , что для таких сетей не выполняется теорема Форда и Фалкерсона о том, что величина максимального потока ..."
 
Том 20, № 1 (2013) Несмещенная оценка энтропии для бинарных потоков Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
"... : секретными и открытыми. Статический анализ безопасности информационных потоков программ идентифицирует ..."
 
Том 21, № 6 (2014) Управляемые тупики в параллельных ресурсно-ограниченных потоках работ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова
"... Работа посвящена проблеме проверки правильной организованности (бездефектности) сетей потоков ..."
 
Том 20, № 4 (2013) О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Ирина Александровна Ломазова
"... Рассматривается моделирование схем потоков работ (workflow) при помощи сетей Петри. Определяется ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... проверить, что конфиденциальные информационные потоки не смешиваются с не конфиденциальными. Мы показываем ..."
 
Том 27, № 2 (2020) Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова
"... вычислений, которая за счет использования асинхронных последовательных потоков обеспечивает представление ..."
 
Том 27, № 1 (2020) Определение расстояний между изображениями методом потоков де Рама Аннотация  похожие документы
Сергей Николаевич Чуканов
"... геометрическом методе потоков де Рама и предварительном аффинном преобразовании исходной формы изображения. При ..."
 
Том 16, № 3 (2009) Задача целочисленного сбалансирования трехмерной матрицы и сетевая модель Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... сведения к задаче нахождения максимального потока в сети. ..."
 
Том 17, № 1 (2010) A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers Аннотация  PDF (Rus)  похожие документы
П. Е. Ефимова
 
Том 22, № 4 (2015) Задача о наибольшем кратном потоке в делимой сети и ее частные случаи Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... В статье рассматривается задача о наибольшем кратном потоке в сети произвольной натуральной ..."
 
Том 19, № 2 (2012) Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло Аннотация  PDF (Rus)  похожие документы
Лев Юрьевич Бараш, Лев Николаевич Щур
"... качества, а также генерации параллельных потоков случайных чисел, для использования в расчетах Монте-Карло ..."
 
Том 26, № 1 (2019) Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов
"... подход в обработке и управлении потоков данных в КС за счет разделения плоскости управления и передачи ..."
 
Том 20, № 2 (2013) Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов Аннотация  PDF (Rus)  похожие документы
Вильгельм Александрович Битнер, Никита Владимирович Заборовский
"... В работе рассматривается вариант построения универсального линеаризованного графа потока ..."
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
 
Том 28, № 4 (2021) Алгоритм оценивания частоты сигнала на выходе канала с управляемым информационным потоком в условиях фазового шума Аннотация  PDF (Rus)  похожие документы
Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Илья Викторович Лукьянов
"... можно отнести, например, задачу адаптивного распределения информационных потоков радиосети. Сюда же ..."
 
Том 20, № 4 (2013) Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 Аннотация  PDF (Rus)  похожие документы
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов
"... гарантируется целостность информационных потоков, то есть функционирование всех зависимых сервисов не нарушается ..."
 
Том 20, № 2 (2013) Некоторые классы разрешимости задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... наибольшем потоке в кратной сети и алгоритм решения соответствующей потоковой задачи. Кроме того, для ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... программы. Данный подход позволяет представить модель потока управления всей программы в целом как ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
 
Том 23, № 4 (2016) Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... получается по обычным правилам округления. В статье рассматривается также задача о наибольшем кратном потоке ..."
 
Том 29, № 1 (2022) Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС Аннотация  PDF (Rus)  похожие документы
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров
 
Том 31, № 3 (2024) Синтез иерархических моделей процессов: подход на основе разбиения событий на множества Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров
"... двухуровневых сетей потоков работ. Алгоритм основан на предопределенном разбиении событий на множества, которые ..."
 
Том 21, № 4 (2014) Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
 
Том 21, № 1 (2014) Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... этих уравнений в случае резонанса 1 : 3. С помощью сочетания аналитических и численных методов ..."
 
Том 17, № 2 (2010) Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения Аннотация  PDF (Rus)  похожие документы
В. С. Рублев, А. В. Смирнов
"... этой задачи к задаче нахождения максимального потока в кратной сети целочисленного сбалансирования ..."
 
Том 22, № 3 (2015) ИССЛЕДОВАНИЕ КОЛЕБАТЕЛЬНЫХ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНО-РАЗНОСТНОГО УРАВНЕНИЯ ВТОРОГО ПОРЯДКА В ОДНОМ КРИТИЧЕСКОМ СЛУЧАЕ Аннотация  PDF (Rus)  похожие документы
Е. П. Кубышкин, А. Р. Морякова
"... через мнимую ось двух пар чисто мнимых корней характеристического квазиполинома, находящихся в резонансе ..."
 
Том 19, № 5 (2012) TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
"... позволяет TCP TIPS уступать требуемую долю пропускной способности сети потокам, передающим данные реального ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... алгоритм после двадцатиминутного обучения способен идентифицировать за одну минуту потоки процессов с ..."
 
Том 24, № 6 (2017) Семантические средства обеспечения безопасности в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый
"... программное обеспечение позволяет динамически настраивать маршрутизацию информационных потоков внутри сети в ..."
 
Том 26, № 3 (2019) Об автоматическом анализе практической стойкости обфусцирующих преобразований Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов
"... программ, как граф потока управления, время символьного выполнения и степень покрытия при символьном ..."
 
Том 27, № 4 (2020) О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени Аннотация  PDF (Rus)  похожие документы
Евгений Максимович Винарский, Владимир Анатольевич Захаров
"... состоят в непрерывном взаимодействии с внешней средой, от которой они получают потоки входных сигналов ..."
 
Том 30, № 3 (2023) Применение алгоритма поиска внешней медианы графа в задачах определения надежности технических систем Аннотация  PDF (Rus)  похожие документы
Юрий Андреевич Плакса, Светлана Алексеевна Курочкина, Наталия Александровна Прусова
"... потоков отказов. Даная задача решалась с помощью минисуммного алгоритма теории графов. Получена ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... счет разделения потоков данных (пакетов) и потоков управления (сообщений и команд), циркулирующих в ..."
 
Том 19, № 5 (2012) Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Куликов, Александр Степанович Рудый
"... формирования нанорельефа под воздействием потока ионов. Изучен один из механизмов формирования неоднородного ..."
 
Том 26, № 4 (2019) Анализ безопасности контроллеров продольного движения во время набора высоты Аннотация  похожие документы
Томас Баар, Хорст Шульте
"... становится слишком большим, самолет рискует нарушить воздушный поток на крыльях, что может привести к его ..."
 
Том 23, № 3 (2016) Численное решение одной сингулярно возму- щённой задачи в круговой области Аннотация  похожие документы
А. Ф. Хегарти, Ю. О’Риордан
"... области. С использованием полярных координат, простой схемы с разностями против потока и кусочно ..."
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... Конечные автоматы, задающие преобразования потоков входных сигналов в последовательности ..."
 
Том 27, № 4 (2020) О задаче верификации моделей программ для одного расширения логики CTL* Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... потоками данных и осуществляют преобразование входных потоков данных в выходные потоки. К числу таких ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... проверенную семантику модели и обеспечить проверку всей детальной модели. Детализация проводится как по потоку ..."
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... изображения потока данных от входных переменных к выходам ПЛК. Явным образом демонстрируется зависимость и ..."
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... В работе описана математическая модель торговых потоков между территориями региона или страны в ..."
 
Том 28, № 4 (2021) О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... устройства, которые обрабатывают потоки входных данных или сигналов управления и генерируют на выходе ..."
 
Том 32, № 2 (2025) Моделирование примитивов синхронизации параллельных программ Аннотация  PDF (Rus)  похожие документы
Олег Сергеевич Крюков, Анна Геннадьевна Волошко, Алексей Николаевич Ивутин
"... виды ошибок, связанных с синхронизацией параллельно исполняемых потоков и доступом к общей памяти. К ..."
 
Том 25, № 2 (2018) Измерение накладных расходов на параллелизм и виртуальную память Аннотация  похожие документы
Евгений Иванович Клименков
"... производительности, создаваемых параллелизмом, выраженным в форме легковесных потоков пользовательского режима на ..."
 
Том 26, № 1 (2019) Алгоритм минимизации количества правил маршрутизации в ПКС Аннотация  PDF (Rus)  похожие документы
Иван Сергеевич Петров
"... потоках, ПКС приложения могут устанавливать дополнительные правила маршрутизации, единственной целью ..."
 
Том 26, № 1 (2019) «Общие критерии» и безопасность программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич Петухов, Павел Львович Пилюгин
"... фундаментальными архитектурными принципами самой технологии SDN – в первую очередь разделением потоков управления и ..."
 
Том 22, № 5 (2015) Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии Аннотация  PDF (Rus)  похожие документы
А. М. Ковалева, Д. А. Куликов
"... факторов. Например, от угла падения потока. В работе также показано, что данная нелинейная краевая задача ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... графа потока данных (информационного графа), в котором нет дополнительных управляющих связей, а ..."
 
Том 28, № 2 (2021) Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений Аннотация  PDF (Rus)  похожие документы
Хулио С Карраскель, Халил Мешерауи
"... CPN потоков работ, которые позволяют описывать ожидаемое поведение системы, в которой компоненты ..."
 
Том 31, № 1 (2024) Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев
"... потока управления, конструкции создания процессов и управления их состояниями, а также операторы для ..."
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация  PDF (Rus)  похожие документы
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
"... физические величины, как скорость потока, вязкость и плотность среды и пр. Ситуация осложняется тем ..."
 
Том 24, № 3 (2017) Решения уравнений нестационарного фронта реакции с вырожденными точками равновесия Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Быков, Кристина Евгениевна Ермакова
"... точке со временем (t) определяется разностью потоков слева и справа, а также плотностью источников ..."
 
1 - 61 из 61 результатов

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

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