Сортировать по:
| Выпуск | Название | |
| Том 17, № 4 (2010) | Проверка моделей распределенных систем с помощью аффинного представления данных | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина | ||
| "... Предложено эффективное символьное представление распределенных систем, определяемых линейными ..." | ||
| Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
| И. В. Шошмина | ||
| "... проектирования сложных распределенных программных систем. В качестве центрального объекта проектирования ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... Symbolic model checking is based on a compact representation of sets of states and transition ..." | ||
| Том 27, № 4 (2020) | InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин | ||
| "... . Распространение систем распределенного реестра (СРР), известных также как блокчейн, быстро меняет ситуацию ..." | ||
| Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина, Е. А. Сидорова | ||
| "... В данной работе мы описываем метод верификации для семейств распределенных систем, которые ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... и средств верификации поведенческих свойств параллельных (распределенных) систем. В статье представлен опыт ..." | ||
| Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
| "... Исследуется задача верификации систем реального времени (СРВ). Для описания СРВ удобно ..." | ||
| Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
| "... в сетях. ПКС представляет собой распределенную систему, в которой один или несколько контроллеров ..." | ||
| Том 20, № 1 (2013) | Влияние деформации области на поведение решений распределенной кинетической системы | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин | ||
| "... Рассмотрено поведение распределенной кинетической системы, находящейся в однородном равновесном ..." | ||
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... Рассматривается задача проверки допустимости конфигураций модульных вычислительных систем ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... систем обработки информации относятся контроллеры, драйверы устройств, компьютерные интерпретаторы ..." | ||
| Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Миронов | ||
| "... и распределенного процесса. Параллельная программа моделируется распределенным процессом, в котором последовательные ..." | ||
| Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
| "... области систем автоматического управления, моделирующих типовые функциональные элементы системы ..." | ||
| Том 27, № 4 (2020) | Архитектура формально-верифицированной системы распределенного реестра InnoChain | Аннотация PDF (Rus) похожие документы |
| Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев | ||
| "... В настоящей работе рассматривается архитектура системы распределенного реестра (СРР) InnoChain ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки ..." | ||
| Том 18, № 1 (2011) | Хаотические колебания одной распределенной динамическом системы с бесконечным запаздыванием | Аннотация PDF (Rus) похожие документы |
| А. Ю. Коверга, Е. П. Кубышкин | ||
| "... Изучается динамика распределенного ротора из материала с нелинейнонаследственными свойствами, одна ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... систем реального времени, выполняющихся на мультипроцессорных платформах. Чтобы использовать этот метод ..." | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| "... для задания исходной спецификации телекоммуникационных систем, таких как кольцевые протоколы ..." | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... автоматов к проверке разрешимости систем уравнений над полукольцами языков или бинарных отношений. Как ..." | ||
| Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
| Хулио С Карраскель, Халил Мешерауи | ||
| "... программного прототипа. Практическая ценность нашего метода показана на примере моделирования торговых систем ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... возможность построения замкнутых систем «программа-окружение». В настоящей работе для описания поведения ..." | ||
| Том 26, № 3 (2019) | GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Аникин, Александр Юрьевич Мускатин, Михаил Борисович Кузьминский, Александр Ильич Русаков | ||
| "... применение GRID-систем для задач вычислительной химии. Созданная авторами GRID-система объединяет два ..." | ||
| Том 21, № 6 (2014) | Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич Черненок, Валерий Александрович Непомнящий | ||
| "... на всех этапах проектирования и разработки программных систем. В частности, язык MSC используется для ..." | ||
| Том 31, № 4 (2024) | Применение TLA+/TLC для моделирования и верификации криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... состоит в замене системы, состоящей из произвольного количества агентов, на трёхагентную систему. Это ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... . Выполнен переход на более современный инструмент верификации конечных и бесконечных систем — nuXmv ..." | ||
| Том 25, № 6 (2018) | Даже простые процессы π-исчисления трудны для анализа | Аннотация PDF (Rus) похожие документы |
| Марат Мазен Аббас, Владимир Анатольевич Захаров | ||
| "... Математические модели распределенных вычислений, построенные на основе исчисления мобильных ..." | ||
| Том 23, № 4 (2016) | Вероятностный анализ систем организации турниров | Аннотация PDF (Rus) похожие документы |
| А. М. Цирлин, Ал. А. Ахременков | ||
| "... плотности распределения вероятности числа очков, набранных в турнире тем или иным игроком. С использованием ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... В статье рассмотрены особенности применения технологий разработки программных систем на основе ..." | ||
| Том 32, № 1 (2025) | Алгоритм построения асимптотики периодических решений в моделях лазеров с быстро осциллирующей задержкой | Аннотация PDF (Rus) похожие документы |
| Елена Викторовна Григорьева, Дмитрий Владимирович Глазков, Анна Олеговна Толбей | ||
| "... осциллирующими коэффициентами. Построена усредненная по быстрым осцилляциям система с распределенным ..." | ||
| Том 20, № 1 (2013) | Размерностные характеристики диффузионного хаоса | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин | ||
| "... увеличение ляпуновской размерности аттрактора распределенных эволюционных динамических систем при уменьшении ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... систем определяется не только последовательностью значений входных сигналов, но также временем ..." | ||
| Том 25, № 1 (2018) | Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Горюнов | ||
| "... этот цикл распределенной системы теряет устойчивость. ..." | ||
| Том 14, № 1 (2007) | Принципы построения семантической сервис-ориентированной архитектуры | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Кашалкин, В. А. Курчидис | ||
| "... достижения адаптивности и гибкости инфраструктуры распределенных информационных систем. Рассматриваются ..." | ||
| Том 32, № 2 (2025) | Моделирование примитивов синхронизации параллельных программ | Аннотация PDF (Rus) похожие документы |
| Олег Сергеевич Крюков, Анна Геннадьевна Волошко, Алексей Николаевич Ивутин | ||
| "... программирования для систем с общей памятью. В дальнейшем на основе этих моделей будет проводится поиск гонок ..." | ||
| Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
| "... Мы исследуем формальную верификацию управляющего программного обеспечения критических систем ..." | ||
| Том 27, № 1 (2020) | Марковская модель совместных киберугроз и ее применение для выбора оптимального набора средств защиты информации | Аннотация PDF (Rus) похожие документы |
| Адиль Аскарович Касенов, Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... В данной работе исследуется марковская модель киберугроз, действующих на компьютерную систему ..." | ||
| Том 23, № 6 (2016) | Генерация графа социальной сети с использованием Apache Spark | Аннотация PDF (Rus) похожие документы |
| Ю. А. Белов, С. И. Вовчок | ||
| "... социальных сетей. В статье представлен алгоритм для распределенной генерации такого графа. Учитываются ..." | ||
| Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
| К. А. Васильева, Е. В. Кузьмин | ||
| "... достаточно эффективной при создании программного обеспечения для «реактивных» систем и систем логического ..." | ||
| Том 20, № 5 (2013) | Локальная динамика лазера с быстро осциллирующими параметрами | Аннотация PDF (Rus) похожие документы |
| Елена Викторовна Григорьева, Сергей Александрович Кащенко | ||
| "... в модельной системе с быстро осциллирующими коэффициентами. Получена усредненная система с распределенным ..." | ||
| Том 26, № 2 (2019) | Анализ условий возникновения пространственно-неоднородных структур световых волн в оптических системах передачи информации | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Владимир Александрович Куликов | ||
| "... Рассматривается модель распределенных носителей информации в виде устойчивых пространственно ..." | ||
| Том 26, № 4 (2019) | Методы специализации онтологии процессов, ориентированной на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин | ||
| "... используются для описания параллельных и распределенных систем предметных областей. Одним из преимуществ таких ..." | ||
| Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... систем. Это поведение проявляется в соответствии между потоком входных сигналов и последовательностью ..." | ||
| Том 22, № 2 (2015) | Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы | Аннотация PDF (Rus) похожие документы |
| Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин | ||
| "... уравнения в частных производных, которые описывают динамику распределенных элементов механической системы ..." | ||
| Том 14, № 4 (2007) | Сети активных ресурсов | Аннотация PDF (Rus) похожие документы |
| В. А. Башкин | ||
| "... Вводится формализм моделей распределенных систем, названный сетями активных ресурсов. Формализм ..." | ||
| Том 22, № 2 (2015) | Кэширование запросов к реляционной базе данных с использованием областей истинности | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Мосин, Сергей Владимирович Зыкин | ||
| "... В данной статье предлагается новый метод кэширования запросов к реляционной базе данных для систем ..." | ||
| Том 33, № 2 (2026) | Большие цепочки из логистических уравнений с запаздыванием со связями адвективного типа: алгоритм построения квазинормальных форм | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Марушкина, Егор Иванович Толбей | ||
| "... от системы $N$ уравнений с запаздыванием перейти к исследованию пространственно-распределенного интегро ..." | ||
| Том 33, № 2 (2026) | Применение метода деревьев рисков для повышения надежности привязной высотной беспилотной платформы | Аннотация PDF (Rus) похожие документы |
| Ника Михайловна Иванова, Владимир Миронович Вишневский | ||
| "... распределения. Практические выводы, полученные по результатам исследования, показывают, что использование ..." | ||
| 1 - 47 из 47 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
