Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 4 (2014) Автоматическое извлечение терминов из коллекции текстов предметной области с помощью Википедии Аннотация  PDF (Rus)  похожие документы
Н. А. Астраханце
"... кандидатов как положительных примеров для построения модели алгоритма обучения на основе положительных и ..."
 
Том 31, № 2 (2019) Гибридная модель для эффективного обнаружения аномалий в кратковременных последовательностях кривых блеска GWAC и аналогичных наборах данных Аннотация  PDF (Rus)  похожие документы
Инь Сан, Зиджун Жао, Сяобин Ма, Чжихуэй Ду
"... возможность поиска кратковременных событий микролинзирования (ML) в режиме реального времени на основе данных ..."
 
Том 26, № 1 (2014) Тестирование операционных систем Аннотация  PDF (Rus)  похожие документы
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев
"... Работа операционной системы лежит в основе функционирования любой компьютерной системы. Сбои и ..."
 
Том 24 (2013) Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов
"... направления развития компонентных технологий тестирования на основе моделей. ..."
 
Том 18 (2010) Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин
"... В статье представлен подход к построению архитектуры инструментария для тестирования на основе ..."
 
Том 28, № 3 (2016) Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов, В. Ю. Абрамов
"... врачебных решений, когда на процесс принятия решений накладываются ограничения по времени и ресурсам. Чтобы ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
"... , используя для этого более строгие и формальные подходы. На основе опыта ИСП РАН, полученного при выполнении ..."
 
Том 26, № 1 (2014) Статический анализатор Svace для поиска дефектов в исходном коде программ Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов
"... Svace. Инструмент позволяет находить ошибки и потенциальные уязвимости в исходном коде программ на ..."
 
Том 26, № 1 (2014) Развитие подхода к разработке тестов UniTESK Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко
"... создания тестов на основе формальных моделей. Суммируется опыт использования UniTESK в крупных проектах по ..."
 
Том 26, № 6 (2014) Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей Аннотация  PDF (Rus)  похожие документы
Стефан Мааг
"... последовательностей по формальному описанию спецификации и дальнейшего тестирования реальной системы. Несмотря на то ..."
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... памяти, которые могут быть полезны на различных этапах разработки проекта. Представлен пример применения ..."
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
"... контроллер в составе полной системы-на-кристалле. Для верификации системного уровня библиотека и тестовая ..."
 
Том 30, № 4 (2018) К синтезу адаптивных различающих последовательностей для конечных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко
"... основан на ограничении размеров различающего автомата, по которому строится различающий тестовый пример ..."
 
Том 30, № 1 (2018) Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы Аннотация  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... Неполностью описанные объекты могут встретиться в самых разных предметных областях и приложениях ..."
 
Том 28, № 3 (2016) Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров Аннотация  похожие документы
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков
"... свойства, специфичные для кэш-памятей, и метод поддержки согласованности состояния памяти в системе на ..."
 
Том 28, № 3 (2016) Верификация и анализ вариабельных операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко
"... вариабельность кода техники анализа с итеративным уточнением модели поведения системы на основе контрпримеров. ..."
 
Том 27, № 3 (2015) Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей Аннотация  PDF (Rus)  похожие документы
Александр Камкин, Михаил Петроченков
"... состоит в динамическом уточнении поведения модели на основе реакций, полученных от системы. При ..."
 
Том 32, № 1 (2020) Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Аннотация  PDF (Rus)  похожие документы
Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков
"... безопасности. Эта модель является дальнейшим развитием МРОСЛ-ДП-модели, она формализована на языке Event-B и ее ..."
 
Том 27, № 4 (2015) Методы построения социо-демографических профилей пользователей сети Интернет Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, С. Д. Кузнецов
"... основано на использовании методов машинного обучения с учителем. В данной статье отдельно рассмотрен каждый ..."
 
Том 27, № 5 (2015) Современные методы аспектно-ориентированного анализа эмоциональной окраски Аннотация  PDF (Rus)  похожие документы
И. А. Андрианов, В. Д. Майоров, Д. Ю. Турдаков
"... Данная работа посвящена обзору методов решения актуальной на сегодняшний день задачи аспектно ..."
 
Том 32, № 2 (2020) Применение технологии машинного обучения для анализа вероятности выигрыша тендера на выполнение проекта Аннотация  похожие документы
Никита Борисович КУЛЬТИН, Данила Никитич КУЛЬТИН, Роман Владимирович БАУЭР
"... Обоснована и показана на конкретном примере возможность применения технологии машинного обучения ..."
 
Том 25 (2013) Определение демографических атрибутов пользователей микроблогов Аннотация  PDF (Rus)  похожие документы
Антон Коршунов, Иван Белобородов, Андрей Гомзин, Кристина Чуприна, Никита Астраханцев, Ярослав Недумов, Денис Турдаков
"... сообщений и другой доступной информации из профилей. Метод основан на алгоритме машинного обучения, его ..."
 
Том 24 (2013) Гибридный подход к построению систем поддержки решений Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... поддержке решений для второй очереди исследовательской системы ИСП РАН и созданной на ее основе системе ..."
 
Том 32, № 3 (2020) Подходы к отладке и обеспечению качества статического анализатора Аннотация  похожие документы
Максим Александрович МЕНЬШИКОВ
"... работоспособности и производительности в форме отпечатков журнала. Эти методы реализованы на основе Equid, платформы ..."
 
Том 29, № 4 (2017) Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения Аннотация  похожие документы
О. Москалёва, А. Громова
"... обучения. Поэтому в последние несколько лет системы контроля и мониторинга рынка начинают внедрять модули ..."
 
Том 31, № 5 (2019) Примеры использования машинного обучения в кибербезопасности Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Авдошин, Александр Вячеславович Лазаренко, Наталия Игоревна Чичилева, Павел Андреевич Наумов, Петр Георгиевич Ключарев
"... кибератаках, использующие машинное обучение, и представить модель атаки на основе машинного обучения. ..."
 
Том 26, № 1 (2014) Анализ социальных сетей: методы и приложения Аннотация  PDF (Rus)  похожие документы
Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов
"... пользовательских данных из социальных сетей. Особое внимание уделяется задачам, методам и приложениям анализа ..."
 
Том 30, № 3 (2018) Применение глубокого машинного обучения к синтезу цепочки вызовов C# Аннотация  похожие документы
А. Е. Чебыкин, Я. А. Кириленко
"... , основанный на глубоком машинном обучении и реализованный в виде инструмента под названием DeepAPI. По ..."
 
Том 31, № 4 (2019) Регуляризация Байеса при подборе весовых коэффициентов в ансамблях предикторов Аннотация  PDF (Rus)  похожие документы
Антон Сергеевич Нужный
"... В статье рассматривается задача обучения с учителем: требуется восстановить зависимость ..."
 
Том 30, № 2 (2018) Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных Аннотация  PDF (Rus)  похожие документы
Р. А. Гилязев, Д. Ю. Турдаков
"... этого процесса был предложен ряд методов, использующих активное обучение и краудсорсинг. В статье ..."
 
Том 26, № 4 (2014) Лингвистический подход к определению суицида Аннотация  PDF (Rus)  похожие документы
Л. М. Ермакова, С. А. Ермаков
"... форме, поэтому в статье мы предлагаем метод определения склонности к суициду, основанный на анализе ..."
 
Том 30, № 5 (2018) Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах Аннотация  PDF (Rus)  похожие документы
И. С. Алимова, Е. В. Тутубалина
"... наилучших на данный момент моделей, основанной на методе опорных векторов и большом наборе признаков. ..."
 
Том 29, № 6 (2017) Поиск недостающих вызовов библиотечных функций с использованием машинного обучения Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
"... реализована система, реализующая описанный функционал. Экспериментальные исследования, проведенные на примерах ..."
 
Том 28, № 4 (2016) Извлечение и анализ информации в современных предприятиях Аннотация  похожие документы
А. Р. Топчян
"... С ростом объема данных и потребности в них одной из основных проблем организаций становится ..."
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... коллектива автоматов на графе в зависимости от размера памяти автомата, времени срабатывания автомата и ..."
 
Том 20 (2011) Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции Аннотация  PDF (Rus)  похожие документы
А. C. Камкин, М. M. Чупилко
"... оракулов на их основе, который упрощает повторное использование тестовых систем, тем самым снижая затраты ..."
 
Том 29, № 3 (2017) Обзор задач и методов их решения в области классификации сетевого трафика« Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, Е. Ф. Евстропов, Д. О. Обыденков
"... решения, существующие подходы и области их применимости. Перечисляются прикладные задачи, требующие ..."
 
Том 26, № 4 (2014) Автоматическое распознавание предметно-специфичных терминов: экспериментальная проверка Аннотация  PDF (Rus)  похожие документы
Д. Г. Федоренко, Н. А. Астраханцев, Д. Ю. Турдаков
"... предметно-специфичных терминов: подхода на основе машинного обучения и подхода на основе алгоритма ..."
 
1 - 38 из 80 результатов 1 2 3 > >> 

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

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