Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 2 (2020) Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT Аннотация  PDF (Rus)  похожие документы
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН
"... инстанцирования лемм для трансляции формул в теории ограниченных целых без переполнения в логику QF_UFLIA. Для ..."
 
Том 22 (2012) Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, Д. В. Сидоров
"... В статье предложена оптимизация алгоритма проверки выполнимости булевых формул DPLL (Davis - Putnam ..."
 
Том 29, № 6 (2017) Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... В 2012 году М. А. Трушников предложил принципиально новый онлайновый алгоритм упаковки ..."
 
Том 30, № 2 (2018) Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом Аннотация  PDF (Rus)  похожие документы
Е. В. Смирнова, И. К. Марчевский, В. О. Бондарчук
"... решения плоских задач. Была проведена валидация осесимметричной модели на тестовых задачах. В качестве ..."
 
Том 26, № 4 (2014) Ранжирование в задаче извлечения ключевых фраз: есть ли польза от использования частотных характеристик слов фраз-претендентов? Аннотация  PDF (Rus)  похожие документы
С. В. Попова, И. А. Ходырев
"... В работе исследуется задача извлечения ключевых фраз из отдельных текстов, таких как аннотации к ..."
 
Том 30, № 6 (2018) Алгоритм построения расписаний выполнения параллельных задач на группах кластеров с процессорами различной производительности и его анализ в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... В работе рассмотрена задача построения расписаний выполнения параллельных вычислительных задач на ..."
 
Том 30, № 4 (2018) Об онлайновых алгоритмах для задач упаковки в контейнеры и полосы, их анализе в худшем случае и в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... В работе рассмоторены онлайновые алгоритмы для классических задач упаковки Bin Packing и Strip ..."
 
Том 30, № 3 (2018) Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации Аннотация  похожие документы
М. К. Горденко, С. М. Авдошин
"... быть преобразованы в другие проблемы маршрутизации. Это продемонстрировано на примере задачи китайского ..."
 
Том 29, № 4 (2017) Смешанная задача китайского почтальона Аннотация  похожие документы
М. К. Горденко, С. М. Авдошин
"... Задачи маршрутизации важны для областей логистики и управления трансортом. Задачи маршрутизации в ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... Описывается подход к тестированию искусственных нейронных сетей, реализованный в программе на ..."
 
Том 29, № 2 (2017) Математическая формализация задач проектного планирования в расширенной постановке Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... Задачи теории расписаний и проектного планирования находят широкое применение в научных и ..."
 
Том 26, № 1 (2014) Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, Д. А. Грушин, C. A. Фомин
"... В статье рассмотрена задача управления потоками параллельных программ на группе вычислительных ..."
 
Том 30, № 1 (2018) Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата Аннотация  похожие документы
Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез
"... Задача идентификации состояний в конечном автомате была и остается актуальной, поскольку ..."
 
Том 30, № 3 (2018) Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения Аннотация  похожие документы
Е. Н. Береснева, С. М. Авдошин
"... , используя ограниченное количество транспортных средств. В данной работе анализируется особый вид задачи ..."
 
Том 27, № 6 (2015) Сравнительный анализ методов оценки производительности многоуровневых облачных приложений Аннотация  PDF (Rus)  похожие документы
Г. Р. Гарай, А. Черных, А. Ю. Дроздов
"... : основанным на теории очередей и основанным на теории управления. В центре внимания находятся возможности этих ..."
 
Том 29, № 4 (2017) Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов Аннотация  похожие документы
С. М. Авдошин, Е. Н. Береснева
"... Задача коммивояжера - одна из важнейших задач теории графов и комбинаторной оптимизации, суть ..."
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... . На основе этих процедур предлагается строить алгоритмы решения задач на графах, что демонстрируется в ..."
 
Том 27, № 6 (2015) Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах Аннотация  PDF (Rus)  похожие документы
С. В. Поляков, А. В. Выродов, Д. В. Пузырьков, М. В. Якобовский
"... В работе представлены структура и отдельные компоненты облачного сервиса, предназначенного для ..."
 
Том 20 (2011) Планирование строго периодических задач в системах реального времени Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов
"... . Классические алгоритмы планирования периодических задач работают лишь в случае, когда время запуска каждой ..."
 
Том 31, № 3 (2019) Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Аннотация  похожие документы
Сергей Михайлович Авдошин, Екатерина Николаевна Береснева
"... Задача маршрутизации – одна из широко известных задач комбинаторной оптимизации. Она состоит в ..."
 
Том 31, № 4 (2019) Регуляризация Байеса при подборе весовых коэффициентов в ансамблях предикторов Аннотация  PDF (Rus)  похожие документы
Антон Сергеевич Нужный
"... В статье рассматривается задача обучения с учителем: требуется восстановить зависимость ..."
 
Том 25 (2013) Оптимальное упорядочение конфликтующих объектов и задача коммивояжера Аннотация  PDF (Rus)  похожие документы
А. В. Воеводин, С. А. Косяченко
"... В работе представлена постановка задачи оптимального упорядочения конфликтующих объектов и ее связь ..."
 
Том 29, № 1 (2017) Тестирование возможностей открытого кода BEM++ по решению задач акустики Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов
"... решению задач акустики в области средних и высоких частот. Пакет BEM++, аналогично пакету OpenFOAM ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... Рассматриваются распределённые алгоритмы решения задач на неориентированных графах. В разделе 2 ..."
 
Том 29, № 6 (2017) Критерий существования бесконфликтного расписания для системы строго периодических задач Аннотация  PDF (Rus)  похожие документы
С. А. Зеленова, С. В. Зеленов
"... В критических системах выполнение жестких требований по времени взаимодействия между задачами ..."
 
Том 29, № 3 (2017) Комбинация методов статической верификации композиции требований Аннотация  PDF (Rus)  похожие документы
В. О. Мордань
"... выбирать более подходящий метод и настраивать его под конкретную задачу. В данной статье предлагается ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... задача создания на графе структуры, позволяющей передавать сообщение из конца любой дуги в ее начало по ..."
 
Том 26, № 5 (2014) Оценка сложности крупноблочных облачных вычислений, использующих арифметику повышенной точности Аннотация  PDF (Rus)  похожие документы
С. С. Толстых, В. Е. Подольский
"... точностью. Данная разработка направлена на решение в облаке задач математического моделирования с особыми ..."
 
Том 27, № 6 (2015) Методы коррекции профильной информации в процессе компиляции Аннотация  PDF (Rus)  похожие документы
О. А. Четверина
"... для качественной работы последующих оптимизаций. В работе рассматриваются два способа представления ..."
 
Том 23 (2012) О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью Аннотация  PDF (Rus)  похожие документы
С. Н. Жук
"... Предложен онлайновый алгоритм распределения параллельных задач на группе кластеров с различными ..."
 
Том 22 (2012) Автоматизация построения расписаний для периодических систем реального времени Аннотация  PDF (Rus)  похожие документы
Андрей Третьяков
"... В статье рассматривается проблема построения расписаний для систем, имеющих жёсткие ограничения по ..."
 
Том 31, № 2 (2019) Виртуальный Эрудит для решения задачи о рюкзаке: обучение автоматическому распределению ресурсов Аннотация  похожие документы
Рензо Массобрио, Бернаре Дорронзоро Диаз, Серджо Энрике Несмачнов Кановас
"... В этой статье представлено применение метода Виртуального Эрудита (Virtual Savant) для решения ..."
 
Том 26, № 3 (2014) Современные модели и методы теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... особенностей решаемой задачи. Использование типовых решателей в составе математических библиотек общего ..."
 
Том 29, № 5 (2017) Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан
"... В статье описывается практический опыт разработки перспективной системы визуального планирования ..."
 
Том 29, № 3 (2017) Объектно-ориентированный каркас для программной реализации приложений теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... приложений теории расписаний и, в частности, перспективных систем календарно-сетевого планирования и ..."
 
Том 27, № 1 (2015) Сервисные средства интернет для решения бизнес-задач Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин
"... бизнес-задач. Приведен пример решения бизнес задачи обработки данных в калькуляторе, реализованном с ..."
 
Том 26, № 1 (2014) Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов
"... для завершения проекта за минимальное время в рамках отведённых ресурсов. Традиционные методы поиска ..."
 
Том 29, № 2 (2017) Фрактальный анализ растущих городов и его взаимосвязь с распределением центров здоровья Аннотация  похожие документы
К. Е. Лейтон-Павес, Х. М. Редондо, А. М. Таркус-Альфонсо, Х. К. Джил-Мартин, Дж. Д. Теллес-Альварес
"... областях, например, изучают поведение растущих городов в соответствии с теорией фракталов. Теория фракталов ..."
 
Том 31, № 4 (2019) Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Аннотация  похожие документы
Сергей Михайлович Авдошин, Екатерина Николаевна Береснева
"... Задача маршрутизации – одна из широко известных задач комбинаторной оптимизации. Она состоит в ..."
 
Том 19 (2010) Многопараметрическое управление на основе прецедентов Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... Ведущаяся разработка связана с решением задачи многопараметрического управления объектом со сложным ..."
 
Том 27, № 6 (2015) Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев Аннотация  PDF (Rus)  похожие документы
Л. В. Иваничкина, А. П. Непорада
"... В настоящей работе рассматривается подход к расчёту надёжности хранилища данных, учитывающий как ..."
 
Том 27, № 5 (2015) Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время Аннотация  PDF (Rus)  похожие документы
А. С. Асратян, Н. Н. Кузюрин
"... Известно что если P≠NP то задача аппроксимации суммарной раскраски двудольных графов не может быть ..."
 
Том 30, № 3 (2018) Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем Аннотация  похожие документы
В. Ю. Чепцов, А. В. Хорошилов
"... возможностей целевой платформы, эмулируемого протокола и иных требований к задаче. В качестве ..."
 
Том 22 (2012) Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
М. А. Трушников
"... Предложен новый онлайновый алгоритм упаковки прямоугольников в полосу, существенно превосходящий ..."
 
1 - 44 из 60 результатов 1 2 > >> 

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

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