Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 35, № 5 (2023) Открытая система хранения и обработки набора данных комбинационных схем Аннотация  похожие документы
Данил Александрович МЯЧИН, Виктория Павловна ПУГАЧ, Степан Сергеевич АВДЕЮК, Владимир Викторович ЗУНИН, Александр Юрьевич РОМАНОВ
"... , and a dataset has been formed. The generation of combinational circuits is carried out on various devices ..."
 
Том 30, № 1 (2018) Тесты на константные неисправности как веб-сервис Аннотация  похожие документы
Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов
"... preliminary experiments with different methods of test generation for digital circuits, in order to check ..."
 
Том 29, № 5 (2017) Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем Аннотация  PDF (Rus)  похожие документы
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов
"... developed a method for synthesizing concurrent error detection systems of combinational circuits, based ..."
 
Том 31, № 1 (2019) Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров
"... A new method of combinational circuits concurrent checking is considered based on Boolean ..."
 
Том 37, № 3 (2025) Контроль комбинационных схем по двум диагностическим признакам на основе логической коррекции сигналов с использованием свойств кодов Хэмминга Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович ЕФАНОВ
"... is described. The method is based on the concurrent error-detection circuit synthesis by signals Boolean ..."
 
Том 36, № 4 (2024) Экспериментальное сравнение методов синтеза логических схем Аннотация  похожие документы
Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ
"... of combinational logic circuits that implement specified Boolean functions. The following methods were considered ..."
 
Том 29, № 5 (2017) Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) Аннотация  PDF (Rus)  похожие документы
А. Ю. Матросова, С. А. Останин, Е. А. Николаева
"... , reprogramming components based on FPGA and so on) to cut VLSI cost increases risk of inserting Trojan Circuits ..."
 
Том 37, № 2 (2025) Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования Аннотация  PDF (Rus)  похожие документы
Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН
"... of analog integrated circuits, is formulated as an optimization problem for a differentiable smooth function ..."
 
Том 35, № 5 (2023) Применение нейронных сетей для сегментации изображений в задаче быстрой трассировки интегральных схем Аннотация  PDF (Rus)  похожие документы
Тимур Маратович КАДИРЛИЕВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Роман Александрович СОЛОВЬЁВ
"... of global routing for VLSI ASIC design. An algorithm has been developed for generating a training dataset ..."
 
Том 35, № 6 (2023) Параллельная реализация алгоритма исправления нарушений антенных правил в маршруте OpenLane Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович БУЛАХ, Андрей Владимирович КОРШУНОВ
"... Открытый маршрут проектирования интегральных схем OpenLane позволяет реализовать маршрут ..."
 
Том 34, № 1 (2022) Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем Аннотация  похожие документы
Дарья Сергеевна РОМАНОВА, Олег Владимирович НЕПОМНЯЩИЙ, Игорь Николаевич РЫЖЕНКО, Александр Иванович ЛЕГАЛОВ, Наталья Юрьевна СИРОТИНИНА
"... and implementation of digital integrated circuits end-to-end design processes are considered. The method and language ..."
 
Том 30, № 2 (2018) Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» Аннотация  PDF (Rus)  похожие документы
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров
"... The article considers the problem of the synthesis of a self-checking integrated control circuit ..."
 
Том 37, № 2 (2025) Применения программного обеспечения с открытым исходным кодом для схемотехнического моделирования при разработке аналоговых интегральных микросхем Аннотация  похожие документы
Вадим Вадимович КУЗНЕЦОВ, Дмитрий Владимирович АНДРЕЕВ, Григорий Константинович ГРИШИН
"... Circuit simulation is an important part of the microelectronics design flow. This paper presents ..."
 
Том 33, № 5 (2021) Методика сбора обучающего набора данных для модели обнаружения компьютерных атак Аннотация  PDF (Rus)  похожие документы
Александр Игоревич ГЕТЬМАН, Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ
"... of machine learning methods. The results of the analysis of publicly available training datasets and tools ..."
 
Том 37, № 3 (2025) Применение нейросетей для оценки разводимости при проектировании СБИС с учетом начальных параметров топологии Аннотация  PDF (Rus)  похожие документы
Марат Халитович САЙБОДАЛОВ, Максим Вадимович ДАШИЕВ, Яков Михайлович КАРАНДАШЕВ, Никита Владимирович ЖЕЛУДКОВ, Елизавета Сергеевна КОЧЕВА
"... and the overall circuit design runtime. In this work we propose the use of the initial layout parameters, which ..."
 
Том 33, № 6 (2021) Разрешение неоднозначности на основе псевдоаннотированной коллекции Аннотация  похожие документы
Ангелина Сергеевна БОЛЬШИНА, Наталья Валентиновна ЛУКАШЕВИЧ
 
Том 35, № 5 (2023) Извлечение именованных сущностей из рецензий к исходному коду Аннотация  PDF (Rus)  похожие документы
Владимир Владимирович КАЧАНОВ, Ариана Сергеевна ХИТРОВА, Сергей Игоревич МАРКОВ
 
Том 35, № 5 (2023) Проблема валидации современных систем исправления грамматических ошибок: случай ошибок на уровне символов Аннотация  похожие документы
Владимир Миронович СТАРЧЕНКО, Алексей Миронович СТАРЧЕНКО
"... several datasets. In addition to CoNLL-2014 validation dataset, we contribute a synthetic dataset ..."
 
Том 36, № 1 (2024) Нейросетевые методы сжатия векторов для задачи приближенного поиска ближайших соседей Аннотация  PDF (Rus)  похожие документы
Игорь Олегович БУЯНОВ, Василий Владимирович ЯДРИНЦЕВ, Илья Владимирович СОЧЕНКОВ
"... on several large datasets using various autoencoder architectures and indexes. It has been demonstrated ..."
 
Том 35, № 4 (2023) Подходы к разработке системы обнаружения дефектов печатных плат на основе технологии АОИ Аннотация  PDF (Rus)  похожие документы
Татьяна Сергеевна ХОДАТАЕВА, Николай Владимирович КАШИРИН, Александра Ивановна АВЕРИНА, Артём Евгеньевич ГУРЬЯНОВ
"...  Some modern approaches to detecting defects in printed circuit boards based on automatic optical ..."
 
Том 36, № 5 (2024) Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич КАМКИН, Михаил Юрьевич ЛИТВИНОВ, Иван Александрович ГРИГОРОВ
"... are built from DFCIR descriptions with the use of CIRCT (Circuit IR Compilers and Tools), a subproject ..."
 
Том 36, № 5 (2024) Разработка вредоносного набора данных для защиты больших языковых моделей от атак Аннотация  PDF (Rus)  похожие документы
Ирина Сергеевна АЛЕКСЕЕВСКАЯ, Константин Владимирович АРХИПЕНКО, Денис Юрьевич ТУРДАКОВ
"... . In this study, we aim to expand the existing malicious datasets obtained from attacks so that similar ..."
 
Том 37, № 3 (2025) Нейросетевой метод для стабильного во времени матирования видеопоследовательностей с людьми Аннотация  PDF (Rus)  похожие документы
Иван Андреевич МОЛОДЕЦКИХ, Михаил Викторович ЕРОФЕЕВ, Андрей Викторович МОСКАЛЕНКО, Дмитрий Сергеевич ВАТОЛИН
"... operating on videos in an absence of a large annotated video dataset and provides ground-truth training-clip ..."
 
Том 32, № 5 (2020) Синтез модели машинного обучения для обнаружения компьютерных атак на основе набора данных CICIDS2017 Аннотация  PDF (Rus)  похожие документы
Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ
"... detection based on machine learning methods. Among available public datasets one of the most relevant ..."
 
Том 31, № 2 (2019) Гибридная модель для эффективного обнаружения аномалий в кратковременных последовательностях кривых блеска GWAC и аналогичных наборах данных Аннотация  PDF (Rus)  похожие документы
Инь Сан, Зиджун Жао, Сяобин Ма, Чжихуэй Ду
"... time by 8%. Same models are also applied to MIT-BIH Arrhythmia Databases ECG dataset with similar ..."
 
Том 36, № 6 (2024) Подходы к балансировке классов для улучшения оценок прогнозирования дефектов программного обеспечения Аннотация  похожие документы
Ангел Хуан САНЧЕС-ГАРСИЯ, Рианьо Гектор Ксавьер ЛИМОН, Саул ДОМИНГЕС-ИСИДРО, Дан Хавьер ОЛВЕРА-ВИЙЕДА, Хуан Карлос ПЕРЕС-АРРИАГА
"... balancing methods across seven different classifiers. We used datasets from the PROMISE repository, provided ..."
 
Том 36, № 5 (2024) Применение моделей машинного обучения для многоклассовой классификации дерматоскопических снимков новообразований кожи Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Андрей Андреевич СПИРИН, Олег Ильгисович САМОВАРОВ, Елена Сергеевна КОЗАЧОК
"... of the conducted experiment on the ISIC 2018 dataset are described. The statistics on the categories ..."
 
Том 30, № 2 (2018) Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках Аннотация  PDF (Rus)  похожие документы
В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин
"... помощью МКО. Для задачи Сода приводится сравнение зависимости схемы от выбора численных потоков ..."
 
Том 32, № 2 (2020) Сравнительный анализ алгоритмов гомоморфного шифрования на основе обучения с ошибками Аннотация  похожие документы
Михаил Григорьевич БАБЕНКО, Елена Игоревна ГОЛИМБЛЕВСКАЯ, Егор Михайлович ШИРЯЕВ
 
Том 37, № 3 (2025) Макромоделирование компонентов защиты от электростатического разряда с применением программного обеспечения с открытым исходным кодом Аннотация  похожие документы
Вадим Вадимович КУЗНЕЦОВ, Владимир Викторович АНДРЕЕВ, Семён Андреевич ЛОМАКИН
"... of ESD diode and GGMOS macro models using open-source circuit simulation tools (Qucs-S and Ngspice ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... , cycles, and circuits. The methods are implemented in a C++ program in the form of a set of data ..."
 
Том 27, № 2 (2015) Конечные автоматы в теории алгебраических схем программ Аннотация  PDF (Rus)  похожие документы
Р. И. Подловченко
"... занимает проблема эквивалентности схем программ, заменивших формализованные программы. Доказана ..."
 
Том 32, № 4 (2020) Двухшаговый метод объединения новостей в сюжеты Аннотация  PDF (Rus)  похожие документы
Кирилл Андреевич СКОРНЯКОВ, Анна Сергеевна ЛАСКИНА, Денис Юрьевич ТУРДАКОВ
"... named entity based clusterization is used. Also we present a labeled dataset of news event detection ..."
 
Том 33, № 2 (2021) Новая интеллектуальная система для обнаружения сахарного диабета 2-го типа с модифицированной функцией потерь и регуляризацией Аннотация  PDF (Rus)  похожие документы
Маллика Г.К., Абир АЛЬСАДУН, Дуонг Тху Ханг ФАМ, Сальма Хамиди АБДУЛЛА, Ха Тхи МАЙ, П.В. Чандана ПРАСАД, Чан Куок Винь НГУЕН
"... is used to figure out the final output of the system. The datasets being used for these models include ..."
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
"... circuits (both design and manufacturing ones) cannot be removed. In spite of continuous development ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
 
Том 23 (2012) Об одном методе построения схемы полного гомоморфного шифрования Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров, К. В. Сергеев
 
Том 27, № 2 (2015) Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ Аннотация  PDF (Rus)  похожие документы
А. Э. Молчанов
 
Том 33, № 5 (2021) Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой Аннотация  PDF (Rus)  похожие документы
Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ
"... объектно-ориентированный язык моделирования EXPRESS, предназначенный для формального описания схем данных ..."
 
1 - 39 из 159 результатов 1 2 3 4 5 > >> 

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

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