Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 6 (2014) Построение прямого и обратного остовов автоматами на графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... машины Тьюринга - ячейки ленты соответствуют вершинам графа, где автомат может сохранять некоторую ..."
 
Том 28, № 1 (2016) Система автоматов: композиция по графу связей Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... автомата. Автомат в вершине графа в каждом состоянии может принимать несколько сообщений по своим входам ..."
 
Том 27, № 2 (2015) Параллельные вычисления на динамически меняющемся графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... , записанных в вершинах ориентированного сильно-связного графа. Вычисление выполняется автоматами, находящимися ..."
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..."
 
Том 27, № 1 (2015) Обход неизвестного графа коллективом автоматов. Недетерминированный случай Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... дугам, достижимым из начальной вершины). Автоматы могут генерироваться в начальной вершине графа ..."
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... коллективом автоматов, расположенных в вершинах графа и обменивающихся сообщениями по рёбрам графа. Автоматы ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... описывается ориентированным графом связей, вершины которого соответствуют автоматам компонентов, а дуги ..."
 
Том 28, № 1 (2016) Система автоматов: условия детерминизма и тестирование Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... каналам связи. Система описывается ориентированным графом связей, вершина которого соответствует автомату ..."
 
Том 27, № 1 (2015) Мониторинг динамически меняющегося графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... . Предлагается алгоритм работы автоматов, который обеспечивает сбор полной информации о графе в каждой вершине ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... , k < n , и n - число вершин графа. В разделе 2 описывается используемая асинхронная модель распределенной системы ..."
 
Том 26, № 6 (2014) Параллельные вычисления автоматами на прямом и обратном остовах графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев, Виктор Кулямин
"... значений, находящихся в вершинах графа. Вычисления выполняются автоматами, размещенными в вершинах графа ..."
 
Том 28, № 6 (2016) Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа Аннотация  PDF (Rus)  похожие документы
Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков
"... , базирующийся на векторном представлении вершин графа и последующем применении алгоритма классификации на основе ..."
 
Том 29, № 2 (2017) Размер памяти для хранения упорядоченного корневого графа Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... основные определения и постановку задачи. Граф корневой, если одна из вершин выделена и названа корнем ..."
 
Том 31, № 4 (2019) Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера Аннотация  PDF (Rus)  похожие документы
Игорь Борисович Бурдонов
"... Рассматривается распределённая сеть, граф связи которой является неориентированным деревом ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... или в каждой вершине, а также, если необходимо, разметке графа (его вершин и/или рёбер). Акцент сделан ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... используются классы языка Си++, реализующие работу с такими объектами, как вершина графа, ребро ..."
 
Том 30, № 1 (2018) Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Аннотация  похожие документы
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман
"... O ( n d log D+), где n - число вершин графа, k - емкость дуги, d - длина максимального пути, D+ - максимальная ..."
 
Том 36, № 5 (2024) Дилемма защитника: совместимы ли методы защиты от разных атак на модели машинного обучения? Аннотация  PDF (Rus)  похожие документы
Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Игорь Николаевич МЕЛЕШИН
"... , отравления, вывод о членстве и т.д.). В этой работе мы сосредотачиваемся на задаче классификации вершин ..."
 
Том 36, № 5 (2024) Так ли безопасна интерпретируемость ИИ: взаимосвязь интерпретируемости и защищенности моделей машинного обучения Аннотация  PDF (Rus)  похожие документы
Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Серафим Константинович БОЯРСКИЙ, Илья Андреевич МАКАРОВ
"... мы сосредотачиваемся на задаче классификации вершин графов, выделяя ее как одну из самых сложных. Эта работа является ..."
 
Том 26, № 4 (2014) Улучшение качества разбиения графа с помощью многоуровневой оптимизации Аннотация  PDF (Rus)  похожие документы
Р. К. Пастухов, А. В. Коршунов, Д. Ю. Турдаков, С. Д. Кузнецов
"... ее решений не подходит для обработки графов с миллиардами вершин на вычислительных кластерах, т.к. эти ..."
 
Том 33, № 4 (2021) Многослойный подход к поиску изоморфных подграфов в HP-графах Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... графовых моделей ранее была представлена новая графовая модель (HP-граф), основным элементом которой ..."
 
Том 34, № 1 (2022) Обобщенная контекстно-зависимая теоретико-графовая модель фольклорных и литературных текстов Аннотация  PDF (Rus)  похожие документы
Николай Дмитриевич МОСКИН, Александр Александрович РОГОВ, Роман Владимирович ВОРОНОВ
"... (примитивом) является слово. Множества слов объединяются в вершины, причем одно и то же слово может иметь ..."
 
Том 28, № 6 (2016) Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами Аннотация  похожие документы
Михаил Дробышевский, Антон Коршунов, Денис Турдаков
"... , масштабируемых на графы с более 104 вершин. ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... извлечения таких семейств моделей, как графы потока и зависимостей, а также автоматные модели. Подробно ..."
 
Том 31, № 4 (2019) Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик Аннотация  PDF (Rus)  похожие документы
Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев
"... из основных задач, связанных с графовыми моделями, является поиск специфичных путей в графе. Естественным ..."
 
Том 30, № 4 (2018) Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Аннотация  похожие документы
Х. С. Карраскель, А. Моралес, М. Е. Виллаполь
"... минимизированного детерминированного конечного автомата из графа достижимости (occurrence graph) раскрашенной сети ..."
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
"... Модели процессов и графы широко используются для моделирования и визуализации процессов ..."
 
Том 27, № 3 (2015) Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Аннотация  PDF (Rus)  похожие документы
И. . Мельниченко, А. . Камкин, С. . Смолов
"... . Расширенные конечные автоматы (extended finite state machines, EFSM) - удобный формализм для моделирования ..."
 
Том 38, № 1: январь-февраль Поиск максимального взвешенного независимого набора вершин на гиперграфе логических ограничений Аннотация  PDF (Rus)  похожие документы
Дарья Игоревна РЫЖОВА, Владислав Игоревич КАСАТКИН
"... в терминах теории графов. Разработанный алгоритм поиска максимального взвешенного независимого набора вершин ..."
 
Том 30, № 2 (2018) Синтаксический анализ графов с использованием конъюнктивных грамматик Аннотация  PDF (Rus)  похожие документы
Р. Ш. Азимов, С. В. Григорьев
"... (A, m , n ), для которых существует путь в графе от вершины m до вершины n такой, что метки на ребрах этого пути ..."
 
Том 31, № 5 (2019) DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей Аннотация  PDF (Rus)  похожие документы
Ахмед Хан
"... подмножества. Далее создается граф кластеров, вершины в котором соответствуют кластерам, а ребра – каналам ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
 
Том 36, № 3 (2024) Разработка алгоритма формирования команд ИТ-проектов на основе данных цифрового следа студентов Аннотация  PDF (Rus)  похожие документы
Антонина Владимировна МЕЛЬНИКОВА, Марина Сергеевна ВОРОБЬЕВА, Елизавета Владимировна ЕГОРОВА, Елизавета Дмитриевна ЧЕКАНОВА
"... с применением графов. Был предложен алгоритм, в основе которого лежит графовая модель, позволяющая построить ..."
 
Том 28, № 5 (2016) Задача глобального распределения регистров во время динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
К. А. Батузов
"... синхронизации. Точки синхронизации являются связными компонентами в неориентированном графе, вершинами которого ..."
 
Том 37, № 5: сентябрь-октябрь Кластеризация услуг распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ, Вера Николаевна ПОНОМАРЕНКО
"... пакеты. Ситуация моделируется с использованием графа физических связей, вершинами которого являются хосты ..."
 
Том 30, № 6 (2018) Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев
"... служебных сервисных функций. В основе сети лежит связный неориентированных граф физических связей (англ ..."
 
Том 37, № 4: часть 1. июль-август Модель распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ, Вера Николаевна ПОНОМАРЕНКО
"... с использованием графа, вершинами которого являются хосты и коммутаторы, а ребра соответствуют физическим связям ..."
 
1 - 37 из 37 результатов

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

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