Разработка методов автоматизации высокоуровневого моделирования сетей на кристалле

А. А. Американов; Т. В. Таржанов; И. И. Романова; А. Ю. Романов

doi:10.15514/ISPRAS-2022-35(5)-5

Публикации

?

Разработка методов автоматизации высокоуровневого моделирования сетей на кристалле

Труды Института системного программирования РАН. 2023. Т. 35. № 5. С. 67–80.

Американов А. А., Таржанов Т. В., Романова И. И., Романов А. Ю.

В статье проведен анализ существующих методов для оптимизации временных затрат и вычислений при высокоуровневом моделировании сетей на кристалле. Приведено описание параметров и характеристик сетей на кристалле, рассчитываемых различными моделями, и проанализировано их влияние на скорость высокоуровневого моделирования. Проведена адаптация существующих методов оптимизации моделирования для внедрения в систему автоматизации проектирования сетей на кристалле.

Научное направление: Компьютерные науки

Язык: русский

Полный текст

DOI

Текст на другом сайте

Ключевые слова: автоматизация проектирования CAD САПР design automation сеть на кристалле high-level modeling высокоуровневое моделирование networks-on-chip

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:

Автоматизация моделирования сетей на кристалле (2023)

Synthesis of Acyclic Models for Processes Without Repeating Events

Joulitov A.K., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 4(2) P. 215–224

В майнинге процессов (process mining) графы непосредственного следования (Directly-Follows Graph, DFG) популярны благодаря своей простоте и наглядности. Однако, если процесс является ациклическим, но содержит параллельные события, стандартные алгоритмы построения DFG-моделей могут генерировать «ложные» циклы, которыe не представлены в журнале событий. Такие циклы мешают анализу информационных процессов, значительно снижая интерпретируемость и точность (precision) модели. Эта проблема ...

Добавлено: 24 сентября 2026 г.

Анализ протокола выработки общего ключа для управления микросхемой интеллектуальной карты

Добрина Д. Н., Нестеренко А. Ю., Прикладная дискретная математика. Приложение 2026 № 19 С. 151–159

Работа содержит результаты формального анализа криптографических механизмов, входящих в состав проекта методических рекомендаций «Защищенный универсальный протокол передачи данных и управления микросхемой интеллектуальной карты» (протокол SECUNDA). Получена формальная модель и перечень трудноразрешимых математических задач, трудоёмкостью решения которых можно оценить стойкость используемых криптографических механизмов. ...

Добавлено: 24 сентября 2026 г.

Discovering object-centric Petri nets with parametric arcs

I.I. Sergeev, I.A. Lomazova, Modeling and Analysis of Information Systems 2026 Vol. 33 No. 3 P. 394–419

Объектно-ориентированный process mining сформировался как эффективная парадигма анализа событийных данных, включающих несколько взаимодействующих бизнес-объектов. Существующие методы обнаружения моделей часто опираются на объектно-ориентированные сети Петри с фиксированными кратностями дуг, что ограничивает их способность представлять параметрические закономерности потребления и производства ресурсов, а также отражать количественные зависимости между взаимодействующими типами объектов. В данной работе предлагается метод обнаружения объектно-ориентированных ...

Добавлено: 24 сентября 2026 г.

Hybrid Graph Retrieval-Augmented Language Agents for Collaborative Recommendation

Ivan Bulychev, Савченко А. В., AI 2026 Vol. 7 No. 9 Article 380

Добавлено: 24 сентября 2026 г.

Risks and the image of the future in the study of AI technologies prospects

Снегирев А. Ю., Сычев С. В., Futures 2026 Vol. 183 P. 1–22

Добавлено: 23 сентября 2026 г.

Choosing Between AI Responses: How Valence, Arousal, and Dominance Shape User Preference

Паршаков П. А., Паклина С. Н., International Journal of Human-Computer Interaction 2026 P. 1–17

Добавлено: 23 сентября 2026 г.

A Two-Stage Deep Reinforcement Learning Framework for Radio Resource Management and Network Slicing in 5G Heterogeneous Networks

Андраби У. М., Wadood E., Ojha S. K. и др., IEEE Access 2026 Vol. 14 P. 103358–103375

Добавлено: 23 сентября 2026 г.

LLM-assisted writing and citation advantage: evidence from scientific publications before and after ChatGPT release

Паклина С. Н., Паршаков П. А., Elena Rapoport, Scientometrics 2026 P. 1–26

Добавлено: 23 сентября 2026 г.

Label-Free Quantification in the Crux Toolkit

Кертес-Фаркаш А., Аквей Ф. Л., Journal of Proteome Research 2026 Vol. 25 P. 3764–3768

Добавлено: 23 сентября 2026 г.

Risk Assessment Models for Heated Tobacco Products

Maddalena L., Yildiz B., Del Vecchio Blanco F. и др., Risk Analysis 2026 Vol. 46 No. 4 P. 1–26

Добавлено: 22 сентября 2026 г.

Segmentation of the Iris and Pupil of the Human Eye in Images from an Infrared Camera

Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 855–862