Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 35, № 4 (2023) Подходы к разработке системы обнаружения дефектов печатных плат на основе технологии АОИ Аннотация  PDF (Rus)  похожие документы
Татьяна Сергеевна ХОДАТАЕВА, Николай Владимирович КАШИРИН, Александра Ивановна АВЕРИНА, Артём Евгеньевич ГУРЬЯНОВ
"... for automating the visual inspection of printed circuits. In addition to ensuring cost efficiency and product ..."
 
Том 29, № 5 (2017) Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем Аннотация  PDF (Rus)  похожие документы
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов
"... developed a method for synthesizing concurrent error detection systems of combinational circuits, based ..."
 
Том 37, № 3 (2025) Контроль комбинационных схем по двум диагностическим признакам на основе логической коррекции сигналов с использованием свойств кодов Хэмминга Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович ЕФАНОВ
"... is described. The method is based on the concurrent error-detection circuit synthesis by signals Boolean ..."
 
Том 30, № 2 (2018) Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» Аннотация  PDF (Rus)  похожие документы
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров
"... The article considers the problem of the synthesis of a self-checking integrated control circuit ..."
 
Том 31, № 1 (2019) Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров
"... A new method of combinational circuits concurrent checking is considered based on Boolean ..."
 
Том 35, № 6 (2023) Классификация текста растрового документа по признаку начертания Аннотация  PDF (Rus)  похожие документы
Даниил Евгеньевич КОПЫЛОВ, Андрей Анатольевич МИХАЙЛОВ
 
Том 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 ..."
 
Том 29, № 4 (2017) Контрактный метод спецификации реактивных требований Аннотация  похожие документы
А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль
"... temporal property, which on further inspection seemed to be wrong in the original published model, even ..."
 
Том 35, № 5 (2023) Открытая система хранения и обработки набора данных комбинационных схем Аннотация  похожие документы
Данил Александрович МЯЧИН, Виктория Павловна ПУГАЧ, Степан Сергеевич АВДЕЮК, Владимир Викторович ЗУНИН, Александр Юрьевич РОМАНОВ
"... circuits. The previously created methods for generating combinational circuits have been optimized ..."
 
Том 36, № 4 (2024) Экспериментальное сравнение методов синтеза логических схем Аннотация  похожие документы
Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ
"... of combinational logic circuits that implement specified Boolean functions. The following methods were considered ..."
 
Том 37, № 2 (2025) Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования Аннотация  PDF (Rus)  похожие документы
Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН
"... of analog integrated circuits, is formulated as an optimization problem for a differentiable smooth function ..."
 
Том 37, № 2 (2025) Применения программного обеспечения с открытым исходным кодом для схемотехнического моделирования при разработке аналоговых интегральных микросхем Аннотация  похожие документы
Вадим Вадимович КУЗНЕЦОВ, Дмитрий Владимирович АНДРЕЕВ, Григорий Константинович ГРИШИН
"... Circuit simulation is an important part of the microelectronics design flow. This paper presents ..."
 
Том 33, № 5 (2021) Методы маркирования текстовых документов при печати посредством вертикального сдвига и изменения яркости фрагментов слов Аннотация  PDF (Rus)  похожие документы
Дмитрий Олегович ОБЫДЕНКОВ, Александр Евгеньевич ФРОЛОВ, Юрий Витальевич МАРКИН, Станислав Александрович ФОМИН, Борис Владимирович КОНДРАТЬЕВ
 
Том 30, № 1 (2018) Тесты на константные неисправности как веб-сервис Аннотация  похожие документы
Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов
"... preliminary experiments with different methods of test generation for digital circuits, in order to check ..."
 
Том 35, № 6 (2023) Параллельная реализация алгоритма исправления нарушений антенных правил в маршруте OpenLane Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович БУЛАХ, Андрей Владимирович КОРШУНОВ
 
Том 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 ..."
 
Том 34, № 1 (2022) Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем Аннотация  похожие документы
Дарья Сергеевна РОМАНОВА, Олег Владимирович НЕПОМНЯЩИЙ, Игорь Николаевич РЫЖЕНКО, Александр Иванович ЛЕГАЛОВ, Наталья Юрьевна СИРОТИНИНА
"... and implementation of digital integrated circuits end-to-end design processes are considered. The method and language ..."
 
Том 32, № 1 (2020) Модель мандатного контроля целостности в операционной системе KasperskyOS Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Буренков, Дмитрий Александрович Кулагин
"... Существующие модели мандатного контроля целостности в операционных системах накладывают ..."
 
Том 30, № 2 (2018) Обзор расширяемого протокола аутентификации и его методов Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
 
Том 36, № 3 (2024) Автоматизация подготовки ответов на требования налоговых органов с использованием обучения со слабым контролем Аннотация  PDF (Rus)  похожие документы
Артур Дмитриевич СОСНОВИКОВ, Денис Юрьевич ТУРДАКОВ
"... В данной статье рассматривается применение методов обучения со слабым контролем для автоматизации ..."
 
Том 37, № 3 (2025) Обзор методов контроля перегрузки с использованием машинного обучения Аннотация  PDF (Rus)  похожие документы
Иван Александрович СТЕПАНОВ, Максим Владимирович ПОПОВ, Александр Игоревич ГЕТЬМАН, Мария Кирилловна ИКОННИКОВА, Андрей Андреевич БЕЛЕВАНЦЕВ
"...     Контроль перегрузки является ключевым аспектом современных сетей. Первые алгоритмы контроля ..."
 
Том 28, № 2 (2016) Моделирование конвейера распознавания людей в системах контроля доступа Аннотация  похожие документы
Ф. Гёссен, Т. Маргариа, Т. Гёке
 
Том 32, № 6 (2020) Формальная верификация модели мандатного контроля целостности в операционной системе KasperskyOS Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич БУРЕНКОВ
"... Модели мандатного контроля целостности в операционных системах, как правило, накладывают ..."
 
Том 35, № 4 (2023) Анализ системы контроля доступа в гетерогенных системах больших данных Аннотация  PDF (Rus)  похожие документы
Мария Анатольевна ПОЛТАВЦЕВА, Максим Олегович КАЛИНИН
"... грануляцию данных и модели контроля доступа. Согласование таких компонентов администратором безопасности и ..."
 
Том 29, № 4 (2017) Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения Аннотация  похожие документы
О. Москалёва, А. Громова
"... , выявления и предупреждения финансовых манипуляций, биржи устанавливают системы контроля и мониторинга данных ..."
 
Том 37, № 2 (2025) Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux Аннотация  PDF (Rus)  похожие документы
Петр Николаевич ДЕВЯНИН, Алексей Александрович СТАРОСТИН, Денис Сергеевич ПАНОВ, Семен Владимирович УСАЧЕВ
"... Механизм мандатного контроля целостности (МКЦ) – фундамент безопасности сертифицированной по ..."
 
Том 36, № 5 (2024) Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич КАМКИН, Михаил Юрьевич ЛИТВИНОВ, Иван Александрович ГРИГОРОВ
"... are built from DFCIR descriptions with the use of CIRCT (Circuit IR Compilers and Tools), a subproject ..."
 
Том 32, № 3 (2020) Анализ загруженности трафика на главных улицах электронного города c применением индекса перегрузки и искусственной нейронной сети (на примере города Хамедан) Аннотация  PDF (Rus)  похожие документы
Мехди ШИРМОХАММАДИ, Мансур ЭСМАИЛПУР
 
Том 37, № 3 (2025) Обзор механизмов усиления защищенности операционных систем и пользовательских приложений Аннотация  PDF (Rus)  похожие документы
Денис Валентинович ЕФРЕМОВ, Александр Константинович ПЕТРЕНКО, Борис Аронович ПОЗИН, Виталий Адольфович СЕМЕНОВ
 
Том 32, № 1 (2020) Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Аннотация  PDF (Rus)  похожие документы
Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков
"... мандатного контроля целостности (mandatory integrity control, MIC) с сохранением их ключевых свойств ..."
 
Том 35, № 5 (2023) Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux Аннотация  PDF (Rus)  похожие документы
Петр Николаевич ДЕВЯНИН
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
"... circuits (both design and manufacturing ones) cannot be removed. In spite of continuous development ..."
 
Том 33, № 6 (2021) Система маркирования документов для проведения расследований при их утечке Аннотация  PDF (Rus)  похожие документы
Дмитрий Олегович ОБЫДЕНКОВ, Алексей Юрьевич ЯКУШЕВ, Юрий Витальевич МАРКИН, Александр Евгеньевич ФРОЛОВ, Станислав Александрович ФОМИН, Сергей Викторович КОЗЛОВ, Дмитрий Дмитриевич ГРОМЕЙ, Александр Васильевич КОЗАЧОК, Борис Владимирович КОНДРАТЬЕВ
"... . Also, intruders may take a photo of printed confidential document or displayed on workstation screen ..."
 
Том 37, № 3 (2025) Применение нейросетей для оценки разводимости при проектировании СБИС с учетом начальных параметров топологии Аннотация  PDF (Rus)  похожие документы
Марат Халитович САЙБОДАЛОВ, Максим Вадимович ДАШИЕВ, Яков Михайлович КАРАНДАШЕВ, Никита Владимирович ЖЕЛУДКОВ, Елизавета Сергеевна КОЧЕВА
"... and the overall circuit design runtime. In this work we propose the use of the initial layout parameters, which ..."
 
Том 35, № 5 (2023) Применение нейронных сетей для сегментации изображений в задаче быстрой трассировки интегральных схем Аннотация  PDF (Rus)  похожие документы
Тимур Маратович КАДИРЛИЕВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Роман Александрович СОЛОВЬЁВ
"... circuit design and machine learning. ..."
 
Том 32, № 5 (2020) Реализация маркирования в подсистеме печати ОС семейства Windows на основе виртуального XPS-принтера Аннотация  PDF (Rus)  похожие документы
Сергей Викторович КОЗЛОВ, Сергей Александрович КОПЫЛОВ, Борис Владимирович КОНДРАТЬЕВ, Дмитрий Олегович ОБЫДЕНКОВ
"... The article presents an approach to electronic documents printed marking by implementing a virtual ..."
 
Том 28, № 2 (2016) Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем Аннотация  PDF (Rus)  похожие документы
И. И. Чукляев
"... by the table of difficult structured data in not the first normal form; structural logic circuit of a method ..."
 
1 - 39 из 75 результатов 1 2 > >> 

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

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