Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 37, № 2 (2025) Применения программного обеспечения с открытым исходным кодом для схемотехнического моделирования при разработке аналоговых интегральных микросхем Аннотация  похожие документы
Вадим Вадимович КУЗНЕЦОВ, Дмитрий Владимирович АНДРЕЕВ, Григорий Константинович ГРИШИН
"... Circuit simulation is an important part of the microelectronics design flow. This paper presents ..."
 
Том 37, № 3 (2025) Макромоделирование компонентов защиты от электростатического разряда с применением программного обеспечения с открытым исходным кодом Аннотация  похожие документы
Вадим Вадимович КУЗНЕЦОВ, Владимир Викторович АНДРЕЕВ, Семён Андреевич ЛОМАКИН
"... of ESD diode and GGMOS macro models using open-source circuit simulation tools (Qucs-S and Ngspice ..."
 
Том 28, № 2 (2016) Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS Аннотация  похожие документы
С. Тул, П. Г. Ларсен
"... -simulation, as it can help to identify undesired behaviour. The Functional Mock-up Interface describes a tool ..."
 
Том 20 (2011) Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции Аннотация  PDF (Rus)  похожие документы
А. C. Камкин, М. M. Чупилко
"... It is known that at different design stages different representations of a target system are used ..."
 
Том 32, № 4 (2020) Общие подходы к проектированию подсистемы доступа высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Сергей Юрьевич МОКШИН
"... for solving problems of computer simulation of various physical processes is a difficult time-consuming task ..."
 
Том 29, № 5 (2017) Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) Аннотация  PDF (Rus)  похожие документы
А. Ю. Матросова, С. А. Останин, Е. А. Николаева
"... . The approach to partially programmable circuit design from gates, programmable LUTs and MUXs oriented ..."
 
Том 37, № 3 (2025) Опыт отраслевого применения программного обеспечения с открытым исходным кодом при аэродинамическом проектировании и проверочном моделировании обтекания летательных аппаратов Аннотация  PDF (Rus)  похожие документы
Андрей Леонидович ПАВЛЕВИЧ
"... design process. The article focuses on workflow organization, aerodynamical design and CFD simulation ..."
 
Том 35, № 5 (2023) Разработка методов автоматизации высокоуровневого моделирования сетей на кристалле Аннотация  PDF (Rus)  похожие документы
Александр Александрович АМЕРИКАНОВ, Тимофей Владимирович ТАРЖАНОВ, Ирина Ивановна РОМАНОВА, Александр Юрьевич РОМАНОВ
"... of calculations in the high-level simulation of networks-on-chip. The description of parameters ..."
 
Том 36, № 4 (2024) Экспериментальное сравнение методов синтеза логических схем Аннотация  похожие документы
Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ
"... of combinational logic circuits that implement specified Boolean functions. The following methods were considered ..."
 
Том 30, № 5 (2018) Численное моделирование качки судна с шахтным устройством на встречном волнении Аннотация  PDF (Rus)  похожие документы
К. Д. Овчинников
"... . Numerical simulation should be advised for calculations during the ship design process. ..."
 
Том 30, № 6 (2018) Тестирование различных методов моделирования внутренних течений несжимаемой жидкости Аннотация  PDF (Rus)  похожие документы
В. Г. Мельникова
"... Numerical simulation plays an important role in the design of new hydraulic units. It allows ..."
 
Том 31, № 3 (2019) Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” Аннотация  похожие документы
Павел Алексеевич Порошин, Алексей Николаевич Мешков
"... Software simulation is of a big importance during development of processors as they provide access ..."
 
Том 37, № 2 (2025) Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования Аннотация  PDF (Rus)  похожие документы
Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН
"... of analog integrated circuits, is formulated as an optimization problem for a differentiable smooth function ..."
 
Том 32, № 5 (2020) Моделирование инфразвукового пистонфона Аннотация  PDF (Rus)  похожие документы
Дмитрий Витальевич ГОЛОВИН
"... There are presented the results of numerical simulation of an applied acoustic problem – modeling ..."
 
Том 34, № 3 (2022) Модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов Аннотация  PDF (Rus)  похожие документы
Андрей Владимирович ГЛАДКОВ, Виктор Андреевич КУЧУКОВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Виктор Васильевич БЕРЕЖНОЙ, Александр Юльевич ДРОЗДОВ
"... This article presents the design of the modified error detection and localization algorithm ..."
 
Том 27, № 3 (2015) Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Аннотация  PDF (Rus)  похожие документы
И. . Мельниченко, А. . Камкин, С. . Смолов
"... Model-based test generation is widely spread in functional verification of hardware designs ..."
 
Том 29, № 1 (2017) Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
В. Г. Мельникова, О. С. Коцур, Г. А. Щеглов
"... CFD toolbox OpenFOAM in the field of simulation of hydraulic units’ dynamics using Finite Volume ..."
 
Том 36, № 2 (2024) Набор методических тестовых программ для численного моделирования параметров высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Александр Викторович ЕРШОВ, Артем Владимирович КАРПЕЕВ, Рим Фанавиевич МУХАМАДИЕВ, Елена Михайловна РОМАНОВА, Денис Александрович УШАКОВ, Вадим Олегович АНИСОВ
"... with the characteristics stated during their design. At the same time, there is a problem of evaluating the performance ..."
 
Том 36, № 5 (2024) Программная среда выполнения методических прикладных тестов для численного исследования параметров высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН
"... with the characteristics stated during their design. The article discusses a script-based runtime environment developed ..."
 
Том 35, № 6 (2023) Параллельная реализация алгоритма исправления нарушений антенных правил в маршруте OpenLane Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович БУЛАХ, Андрей Владимирович КОРШУНОВ
"... The open IC design flow OpenLane make available the RTL-to-GDS design flow to be implemented ..."
 
Том 35, № 2 (2023) Разработка и реализация средства диагностики сетей Ethernet Аннотация  PDF (Rus)  похожие документы
Григорий Павлович ОХРИМЕНКО, Сергей Юрьевич МОКШИН, Алексей Олегович ИГНАТЬЕВ
"... numerical simulation problems. This work may be useful to specialists involved in the development ..."
 
Том 27, № 6 (2015) Подходы к оптимизации движка JavaScript V8 Аннотация  PDF (Rus)  похожие документы
Дмитрий Бочарников
"... производительность движков JavaScript не всегда удовлетворительна. Автором разработаны подходы, позволяющие повысить ..."
 
Том 26, № 3 (2014) Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования Аннотация  PDF (Rus)  похожие документы
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов
"... , including tools for the 3D geometric design of the investigated object model; subject libraries subsystem ..."
 
Том 18 (2010) Система моделирования Grid: реализация и возможности применения Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, А. И. Поспелов
"... В статье описывается разработанная в ИСП РАН система моделирования распределенных вычислительных ..."
 
Том 26, № 5 (2014) Численное моделирование стратифицированных течений с использованием OpenFOAM Аннотация  PDF (Rus)  похожие документы
Н. Ф. Димитриева, Я. В. Загуменный
"... .Математическое моделирование проводится на основе фундаментальной системы дифференциальных уравнений механики неоднородных ..."
 
Том 29, № 6 (2017) Моделирование смешанной конвекции над горизонтальной пластиной Аннотация  похожие документы
М. Н. Никитин
"... on Reynolds stress, large eddy simulation (LES) and eddy viscosity approximations. Temperature distributions ..."
 
Том 36, № 5 (2024) Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич КАМКИН, Михаил Юрьевич ЛИТВИНОВ, Иван Александрович ГРИГОРОВ
"... operations (which are usually application-specific ones). This article is devoted to the design automation ..."
 
Том 34, № 5 (2022) Моделирование сопряженного теплообмена в микроканалах в среде OpenFOAM Аннотация  PDF (Rus)  похожие документы
Елена Сергеевна БАЙМЕТОВА, Михаил Евгеньевич ХВАЛЬКО, Алексей Юрьевич АРМЯНИН
"... In this paper, a numerical simulation of forced convective heat transfer in a silicon microchannel ..."
 
Том 31, № 3 (2019) Разработка программной среды для управления интеллектуальными устройствами в реальном времени Аннотация  похожие документы
Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович
"... continuous simulation. The software framework incorporates application programming interface as well ..."
 
Том 37, № 1 (2025) САПР для удаленного высокоуровневого моделирования СтнК Аннотация  PDF (Rus)  похожие документы
Александр Александрович АМЕРИКАНОВ, Лариса Геннадьевна ЕВТУШЕНКО, Владимир Викторович ЗУНИН, Владимир Максимович ВИНАРСКИЙ
"... for high‑level modeling of NoC, as well as the remote flow of NoC design. The paper analyzes the main ..."
 
Том 26, № 1 (2014) Инструментальные средства проектирования систем интегрированной модульной авионики Аннотация  PDF (Rus)  похожие документы
Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов
"... Growth of modern avionics systems makes design of such systems impossible without involvement ..."
 
Том 36, № 5 (2024) Конструирование программных систем, нацеленное на обеспечение безопасности Аннотация  PDF (Rus)  похожие документы
Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА
"... Security-by-Design is an important approach to ensure software security and reliability. It has ..."
 
Том 30, № 6 (2018) О представлении модельного времени при помощи механизмов функционального программирования Аннотация  PDF (Rus)  похожие документы
Д. В. Буздалов, А. К. Петренко, А. В. Хорошилов
"... a simulation system for analysis of temporal behavioural properties of mission-critical systems. As a first ..."
 
Том 28, № 1 (2016) Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт
"... решать задачи моделирования сверхзвукового МГД потока. С его помощью была решена задача обтекания ..."
 
Том 28, № 2 (2016) Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Аннотация  похожие документы
Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков
"... in the tasks of molecular simulation. Considering the large volume of data obtained from such simulations ..."
 
Том 27, № 6 (2015) Автоматизированное оперативное управление техногенными химико-технологическими объектами при возникновении запроектных аварийных ситуаций Аннотация  PDF (Rus)  похожие документы
Ю. Н. Матвеев, Н. А. Стукалова
"... simulation of process of formation of cloud contaminated air at occurrence of beyond design basis emergency ..."
 
Том 28, № 2 (2016) Способ статической оценки времени работы компонентов AADL-моделей Аннотация  похожие документы
А. М. Троицкий, Д. В. Буздалов
"... on the development stage. For modelling of such systems, Architecture Analysis and Design Language (AADL) is widely ..."
 
Том 28, № 1 (2016) Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, М. Н. Никитин
"... . Experimental setup utilized a single spherical dimple which was set at 11 diameters from inlet. Test simulation ..."
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
"... circuits (both design and manufacturing ones) cannot be removed. In spite of continuous development ..."
 
Том 29, № 1 (2017) Численное решение задачи обтекания клина потоком стратифицированной жидкости с использованием OpenFOAM Аннотация  PDF (Rus)  похожие документы
Н. Ф. Димитриева
"... Based on the open source software 2D numerical simulations of incompressible stratified fluids ..."
 
1 - 40 из 375 результатов 1 2 3 4 5 6 7 8 9 10 > >> 

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

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