Preview

Труды Института системного программирования РАН

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 34, № 1 (2022) Обобщенная контекстно-зависимая теоретико-графовая модель фольклорных и литературных текстов Аннотация  PDF (Rus)  похожие документы
Николай Дмитриевич МОСКИН, Александр Александрович РОГОВ, Роман Владимирович ВОРОНОВ
"... записи и др.). В статье представлена обобщенная контекстно-зависимая теоретико-графовая модель ..."
 
Том 22 (2012) Случайные графы, модели и генераторы безмасштабных графов Аннотация  PDF (Rus)  похожие документы
М. М. Берновски, Н. Н. Кузюрин
"... В статье рассматриваются различные модели случайных графов, описывающие реальные сети, возникающие ..."
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... используемых систем и сетей и, следовательно, размер их моделей и, следовательно, размер исследуемых графов ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... , k < n , и n - число вершин графа. В разделе 2 описывается используемая асинхронная модель распределенной системы ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... 6 для синхронной модели уменьшается время работы алгоритмов с разметкой графа до нижней границы для ..."
 
Том 33, № 4 (2021) Многослойный подход к поиску изоморфных подграфов в HP-графах Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... графовых моделей ранее была представлена новая графовая модель (HP-граф), основным элементом которой ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... используются классы языка Си++, реализующие работу с такими объектами, как вершина графа, ребро ..."
 
Том 27, № 1 (2015) Обход неизвестного графа коллективом автоматов. Недетерминированный случай Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... реально используемых систем и сетей и, следовательно, размер их графовых моделей непрерывно растёт ..."
 
Том 32, № 2 (2020) HP-граф как основа для разработки редактора визуальных моделей DSM-платформы Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... . Визуальные языки обычно основаны на графовых моделях, однако используемые типы графов имеют определенные ..."
 
Том 29, № 6 (2017) Исследование максимального размера плотного подграфа случайного графа Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, Д. О. Лазарев
"... Для описания случайных сетей используется модель случайного графа Эрдёша-Реньи . При исследовании ..."
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... графа, но описание графа может не помещаться в памяти автомата. В разделе 2 классифицируются модели ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... на дугах графа. Сначала рассматривается упрощённая модель системы, в которой циркулирует только одно ..."
 
Том 30, № 1 (2018) Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Аннотация  похожие документы
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман
"... систем. Рассматривается асинхронная модель распределённой системы, представленную сильно связанным ..."
 
Том 36, № 4 (2024) GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей Аннотация  PDF (Rus)  похожие документы
Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН
"... трансформеров и графового представления кода приводит к очень хорошим результатам даже для маленьких моделей. ..."
 
Том 31, № 2 (2019) Выявление характерных особенностей программ для борьбы с компьютерным пиратством на основе интеллектуального анализа графов Аннотация  PDF (Rus)  похожие документы
Сохаил Сарвар, Зия Уль Кайум, Мухаммад Сафьян, Муддессар Икбал, Ясир Махмуд
"... на сочетании методов интеллектуального анализа текстов и графов. Элементы кода программы и их связи с другими ..."
 
Том 31, № 4 (2019) Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик Аннотация  PDF (Rus)  похожие документы
Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев
"... из основных задач, связанных с графовыми моделями, является поиск специфичных путей в графе. Естественным ..."
 
Том 31, № 6 (2019) Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями Аннотация  PDF (Rus)  похожие документы
Антон Александрович Васильев, Вадим Сергеевич Мутилин
"... корректной работы с памятью. Метод основывается на использовании символьных графов для представлении памяти ..."
 
Том 28, № 6 (2016) Метод автоматического определения возраста пользователей с помощью социальных связей Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, С. Д. Кузнецов
"... на распространении меток по графу друзей и подписок пользователей на сообщества. ..."
 
Том 32, № 6 (2020) Моделирование технических и математических задач прикладных областей знаний на ЭВМ Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна ЛАВРИЩЕВА, Игорь Борисович ПЕТРОВ
"... прикладной математики, их моделирование, алгоритмизация и программирование с помощью граф-схемного языка ..."
 
Том 34, № 1 (2022) Программная реализация системы обработки метаграфов на основе подхода Больших Данных Аннотация  похожие документы
Валерий Михайлович ЧЕРНЕНЬКИЙ, Иван Владимирович ДУНИН, Юрий Евгеньевич ГАПАНЮК
"... больших данных. Дается формальное определение метаграфовой модели данных и метаграфового агента ..."
 
Том 36, № 4 (2024) Объединение графов непосредственного следования и диаграмм Санкей для визуализации ациклических процессов Аннотация  похожие документы
Илья Денисович ДЕРЕЗОВСКИЙ, Никита Денисович ШАИМОВ, Ирина Александровна ЛОМАЗОВА, Алексей Александрович МИЦЮК
"... В данной статье предлагается метод визуализации моделей ациклических процессов, основанный ..."
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
"... Модели процессов и графы широко используются для моделирования и визуализации процессов ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... извлечения таких семейств моделей, как графы потока и зависимостей, а также автоматные модели. Подробно ..."
 
Том 36, № 5 (2024) Дилемма защитника: совместимы ли методы защиты от разных атак на модели машинного обучения? Аннотация  PDF (Rus)  похожие документы
Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Игорь Николаевич МЕЛЕШИН
"... , в которой исследуется взаимосвязь методов защиты моделей ИИ от разных типов угроз на графовых данных. Наши ..."
 
Том 26, № 5 (2014) Стохастическая модель процесса идентификации сервисов информационной системы Аннотация  PDF (Rus)  похожие документы
Г. Н. Циперман
"... построения связного случайного графа в модели Эрдеша-Реньи. Предсказания модели подтверждаются проверкой ..."
 
Том 30, № 6 (2018) Статическая верификация ошибок использования памяти в модулях ядра ОС Linux Аннотация  PDF (Rus)  похожие документы
А. А. Васильев
"... модель окружения. Эта модель вносит некоторую неточность, но позволяет проводить статическую верификацию ..."
 
Том 34, № 5 (2022) Оценка сверху числа активных таймеров в сетях Петри с временными дугами с помощью динамических систем точек на графах Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ
"... позволяет присваивать таймеры фишкам. Система динамических точек на метрическом графе (DP-система) это ..."
 
Том 36, № 5 (2024) Так ли безопасна интерпретируемость ИИ: взаимосвязь интерпретируемости и защищенности моделей машинного обучения Аннотация  PDF (Rus)  похожие документы
Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Серафим Константинович БОЯРСКИЙ, Илья Андреевич МАКАРОВ
"... методики построения атак черного ящика графовых моделей на основании результатов интерпретации, показываем ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... взаимодействия, моделей и конформностей. Необходимость такого обобщения диктовалась, прежде всего, требованиями ..."
 
Том 32, № 6 (2020) Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ
"... позволяет присваивать таймеры фишкам. Система динамических точек на метрическом графе (DP-система) это ..."
 
Том 37, № 2: март-апрель Поиск именованных сущностей в инструкциях по медицинскому применению лекарственных средств с использованием глубокого обучения и методов обработки естественного языка Аннотация  PDF (Rus)  похожие документы
Юрий Павлович ТИТОВ, Никита Владимирович КИЛЬМИШКИН, Дмитрий Дмитриевич КУБРАКОВ, Полина Михайловна ИВАНОВА
"... качества обучения модели. В дальнейшем планируется использовать источник grls.rosminzdrav.ru, как более ..."
 
Том 38, № 3: часть 1. май-июнь К организации системы запросов в распределённой сети с кластерами-кликами Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ, Вера Николаевна ПОНОМАРЕНКО
"... В статье предложена модель кластеризованной распределённой сети для обработки запросов. В такой ..."
 
Том 36, № 3 (2024) Разработка алгоритма формирования команд ИТ-проектов на основе данных цифрового следа студентов Аннотация  PDF (Rus)  похожие документы
Антонина Владимировна МЕЛЬНИКОВА, Марина Сергеевна ВОРОБЬЕВА, Елизавета Владимировна ЕГОРОВА, Елизавета Дмитриевна ЧЕКАНОВА
"... с применением графов. Был предложен алгоритм, в основе которого лежит графовая модель, позволяющая построить ..."
 
Том 35, № 1 (2023) Сравнение графовых векторных представлений исходного кода с текстовыми моделями на основе архитектур CNN и CodeBERT Аннотация  PDF (Rus)  похожие документы
Виталий Анатольевич РОМАНОВ, Владимир Владимирович ИВАНОВ
"... исследованию методов предварительного обучения графовых векторных представлений исходного кода, где граф ..."
 
Том 37, № 6: часть 2. ноябрь-декабрь Применение контрастного обучения для семантической интерпретации русскоязычных таблиц Аннотация  PDF (Rus)  похожие документы
Кирилл Владимирович ТОБОЛА, Никита Олегович ДОРОДНЫХ
"... интерпретация таблиц является ключевой задачей для интеграции структурированных данных с графами знаний, однако ..."
 
Том 37, № 6: часть 1. ноябрь-декабрь Сегментация документов на основе графовых нейронных сетей: от строк к словам Аннотация  PDF (Rus)  похожие документы
Даниил Евгеньевич КОПЫЛОВ, Андрей Анатольевич МИХАЙЛОВ, Роман Игоревич ТРИФОНОВ
"... на строки или локальные области. Предложенная модель WordGLAM, основанная на модифицированных графовых ..."
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
"... . Входное HDL-описание автоматически транслируется в формальную модель на языке, являющемся входным для ..."
 
Том 38, № 3: часть 4. май-июнь Механизмы управления доступом на основе жетонов для микроядра общего назначения Аннотация  PDF (Rus)  похожие документы
Евгений Сергеевич БАСКОВ, Алексей Владимирович ХОРОШИЛОВ, Александр Константинович ПЕТРЕНКО
"... решения влияют на производительность и безопасность конечных систем. Описывается реализация модели доступа ..."
 
Том 37, № 2: март-апрель Усовершенствованный поиск архитектур в автоматическом решении задач графового машинного обучения: расширение и динамическая приоритизация пространства поиска для повышения эффективности Аннотация  PDF (Rus)  похожие документы
Фёдор Михайлович БАЛАБАНОВ, Кирилл Сергеевич ЛУКЬЯНОВ
"... графовых нейронных сетей (ГНС). Мы предлагаем новый подход, основанный на адаптивном изменении пространства ..."
 
Том 27, № 3 (2015) Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Аннотация  PDF (Rus)  похожие документы
И. . Мельниченко, А. . Камкин, С. . Смолов
"... Генерация тестов по моделям широко используется для функциональной верификации аппаратуры ..."
 
Том 37, № 4: часть 1. июль-август Извлечение функциональности из бинарного кода Аннотация  похожие документы
Анна Александровна ИЛЬИНА, Шамиль Фаимович КУРМАНГАЛЕЕВ
"... или выделения подграфов графа вызовов и выделении их функциональности. ..."
 
Том 38, № 3: часть 1. май-июнь Сравнительный анализ методов обучения и архитектур Echo State Network Аннотация  похожие документы
Илья Александрович АНДРОСОВ
"... , которые включают в себя исследование зависимости динамики резервуара от топологии графа связей и спектра ..."
 
Том 28, № 3 (2016) Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Аннотация  похожие документы
П. П. Олейник, С. М. Салибекян
"... специальное виртуальное устройство, а информация о правах доступа привязывается узлу сети (графа), если ..."
 
Том 31, № 6 (2019) Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Аннотация  PDF (Rus)  похожие документы
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян
"... алгоритмы исследования статической модели программы, в том числе графа вызовов, потока управления, потока ..."
 
Том 31, № 5 (2019) Методы оценки популярности новостных материалов на ранних стадиях Аннотация  похожие документы
Арам Арутюнович Аветисян, Михаил Дробышевский, Денис Юрьевич Турдаков
"... прогнозирования распространения информации является структура графа влияния. Однако обычно для новостей она ..."
 
Том 30, № 3 (2018) Статический анализ зависимостей для семантической валидации данных Аннотация  похожие документы
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов
"... автоматического построения графа зависимостей предлагается применять статический анализ спецификаций модели ..."
 
Том 30, № 3 (2018) Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Аннотация  похожие документы
С. Л. Лесовой
"... Модельно-ориентированный подход к разработке позволяет построить архитектурную модель существующей ..."
 
Том 37, № 4: часть 1. июль-август Модель распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ, Вера Николаевна ПОНОМАРЕНКО
"... В работе строится абстрактная модель распределенной сети, содержащей только хосты и коммутаторы ..."
 
Том 30, № 4 (2018) Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Аннотация  похожие документы
Х. С. Карраскель, А. Моралес, М. Е. Виллаполь
"... минимизированного детерминированного конечного автомата из графа достижимости (occurrence graph) раскрашенной сети ..."
 
Том 27, № 6 (2015) Концепция наследования в современных языках программирования Аннотация  PDF (Rus)  похожие документы
А. В. Канатов, Е. А. Зуев
"... , C# и Eiffel и других, анализируются их особенности и ограничения моделей наследования, реализованных в этих ..."
 
Том 37, № 5: сентябрь-октябрь Кластеризация услуг распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ, Вера Николаевна ПОНОМАРЕНКО
"... Статья является продолжением предыдущей статьи авторов, в которой строится абстрактная модель ..."
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
"... анализа: построение графа вызовов и графа потока управления, проведение анализа потоков данных ..."
 
Том 35, № 2 (2023) Об использовании открытых сторонних библиотек при программной реализации вихревых методов вычислительной гидродинамики Аннотация  PDF (Rus)  похожие документы
Илья Константинович МАРЧЕВСКИЙ, Юлия Андреевна ИЗМАЙЛОВА, Мария Александровна ЕРОФЕЕВА, Дарья Юрьевна КОБЗАРЬ
"... моделей, а достижение приемлемой эффективности обеспечивалось «экстенсивным» путем – привлечением ..."
 
1 - 53 из 54 результатов 1 2 > >> 

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

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