В статье рассмотрен метод расширенной функциональной верификации проекта, основанный на формальной модели. Данный метод позволяет «выловить» такие ошибки, которые традиционными методами обнаружить очень сложно, а в некоторых случаях и невозможно. В статье приводится пример очень простого, но не поддающегося верификации стандартными методами проекта. Также упоминаются библиотеки формальных моделей, используя которые, разработчик может обнаружить такие ошибки, о возможности существования которых он и не подозревал.
Если вам понравился материал, кликните значок — вы поможете нам узнать, каким статьям и новостям следует отдавать предпочтение. Если вы хотите обсудить материал —не стесняйтесь оставлять свои комментарии : возможно, они будут полезны другим нашим читателям!
Бионический дизайн и SLM-технология в корпусных конструкциях электроники будущего
Роботизированная техника с помощью ИИ и 3D-технологий помогает разрабатывать корпусные изделия для РЭА качественнее, быстрее и эстетичнее. Иногда важен каждый грамм веса без потери надёжности конструкции, как в аэрокосмических разработках или специальной РЭА. Заметна тенденция в создании инновационных корпусов для РЭА: от бытовых переносных систем до монтажных шкафов с модульным размещением электронного оборудования, эффективной системой расположения модулей и вентиляции – для серверных и специальных установок. Статья будет полезна разработчикам РЭА, а также инженерам-конструкторам и технологам в области проектирования модульных, пластиковых и металлопрофильных конструкций корпусов для РЭА, монтажных, в том числе встраиваемых, шкафов, руководителям предприятий и отраслевым аналитикам. 11.06.2026 СЭ №5/2026 155 0 5
Измеритель уровня воды с линейчатым индикатором
В системе водоснабжения дачного дома накопительным элементом служит полиэтиленовая бочка объёмом 160 литров, установленная на чердаке [1]. Весьма полезным дополнением к системе является описываемый в этой статье измеритель уровня воды в бочке. 10.06.2026 СЭ №5/2026 145 0 0
Современные системы управления электроприводов: структура и конструкция. Часть 2
Статья посвящена системам управления электроприводов, которые в настоящее время являются основным средством приведения в движение рабочих машин и других технических устройств. Излагаются основные сведения об электроприводах и их системах управления, предназначенных для управления преобразователем электрической энергии и электродвигателем – главными составными частями электропривода. Рассматриваются различные варианты структуры и конструкции систем управления электроприводов. Приводится описание универсального микроконтроллерного блока управления БУПЧ, который является основой систем управления преобразователями частоты для электроприводов большой и сверхбольшой мощности концерна «Русэлпром». 09.06.2026 СЭ №5/2026 237 0 0
Идеальный прецедент группового управления
Создание автономных систем, особенно групп беспилотных летательных аппаратов, упирается в парадокс: чем сложнее поведение, тем труднее его полноценно испытать и зафиксировать. Дефицит данных о редких или плохо наблюдаемых сценариях ограничивает развитие интеллектуальных алгоритмов, а традиционные подходы к испытаниям не учитывают специфику коллективного взаимодействия. В этой работе предлагается новый подход к формированию базы прецедентов, сочетающий реальные испытания и моделирование «идеальных» ситуаций, что открывает возможности для более надёжного и адаптивного группового управления. 08.06.2026 СЭ №5/2026 218 0 1
