Algebraic Models of Digital System Design Debugging Decomposition

Ivannikov A.; Kulagin Vladimir; Romanov Aleksandr; Pozdneev B.

doi:10.1109/EWDTS.2016.7807712

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

15 октября 2026 г.

Ученые НИУ ВШЭ выяснили, куда смотрят дети и взрослые при чтении

Исследователи Центра языка и мозга НИУ ВШЭ совместно с зарубежными коллегами показали, что в конце первого класса у детей уже сформирован один из важных навыков движений глаз при чтении. Они, как и взрослые, быстро адаптируют длину саккад — быстрых скачков взгляда — к длине слов в предложениях. При этом место, куда приземляется взгляд, у детей смещено к началу слова, в отличие от взрослых, которые смотрят в середину слова. Чем выше беглость чтения, тем ближе эта позиция к центру. Результаты исследования опубликованы в Journal of Experimental Child Psychology.

13 октября 2026 г.

Российские ученые поставили под сомнение установление рекорда в замерах свойств сверхпроводников

Топологические изоляторы проводят ток только по поверхности и поэтому рассматриваются как перспективные материалы для будущей электроники и квантовых технологий. Особый интерес представляет их контакт со сверхпроводниками. Физики из НИУ ВШЭ показали, что недавний эксперимент, в котором в такой гибридной структуре якобы наблюдалось объединение электронных пар на рекордном расстоянии 1,5 мкм, допускает более прозаичное объяснение. По их мнению, тот же сигнал может быть обусловлен обычным прохождением электронов через сверхпроводник. Дискуссия исследователей развернулась на страницах Nature Physics.

12 октября 2026 г.

Устойчивое управление и стоимость бизнеса: экономисты ВШЭ выяснили, как они связаны на российском рынке

На российском рынке устойчивое развитие повышает стоимость бизнеса прежде всего тогда, когда становится частью корпоративной стратегии. К такому выводу пришли исследователи НИУ ВШЭ и их зарубежные коллеги, проанализировав практики управления 152 публичных российских компаний. Статья опубликована в журнале Business Strategy and the Environment.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Algebraic Models of Digital System Design Debugging Decomposition

P. 248–251.

Ivannikov A., Kulagin Vladimir, Romanov Aleksandr, Pozdneev B.

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

Язык: английский

Полный текст

DOI

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

Ключевые слова: software model model of digital systems debugging by simulation digital system design semigroup of operators модель сложных цифровых систем отладка методом моделирования на ЭВМ проектирование систем на кристалле логическое моделирование логико-временной анализ алгебраическая модель модель программного обеспечения программа как полугруппа операторов

В книге

Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016)

Yerevan: IEEE, 2016.

Debugging test set generation for digital control system functions

Ivannikov A., Pozdneev B., Романова И. И. и др., , in: 2018 Moscow Workshop on Electronic and Networking Technologies (MWENT). Proceedings.: M.: IEEE, 2018. P. 1–5.

Добавлено: 10 октября 2018 г.

Quasi-Feynman formulas – a method of obtaining the evolution operator for the Schrödinger equation

Ремизов И. Д., Journal of Functional Analysis 2016 Vol. 270 No. 12 P. 4540–4557

Добавлено: 3 марта 2018 г.

PROBLEMS OF ADVANCED MICRO- AND NANOELECTRONIC SYSTEMS DEVELOPMENT (MES) SELECTED ARTICLES of the VII All-Russia Science&Technology Conference MES-2016 Part IV, Design of Electron Component Base

M.: ., 2017.

Часть IV сборника включает избранные статьи на английском языке по материалам лучших докладов секций 9 и 10 («Проектирование электронной компонентной базы» и «Проектирование радиационно-стойких СБИС и элементов для космической техники») VII Всероссийской научно-технической конференции «Проблемы разработки перспективных микро- и наноэлектронных систем – 2016» (Москва, Зеленоград, 03.10-07.10.2016 г.). Материалы сборника отражают современное состояние российской микро- и ...

Добавлено: 17 октября 2017 г.

A Method for Disambiguation of Part-of-Speech Homonymy Based on Application of Syntactic Compatibility in the Russian Language

Кочеткова Н. А., Клышинский Э. С., Литвинов М. И. и др., Automatic Documentation and Mathematical Linguistics 2011 No. 1 P. 15–19

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

Добавлено: 12 апреля 2012 г.