Новые технологии для выработки «голубой энергии»

Исследователи из Стэнфордского университета (США) разработали технологию, позволяющую более эффективно применять энергию, рождающуюся при смешивании соленой и пресной воды. Таким образом, они предоставили нам еще один колоссальный по объему и возможностям источник возобновляемой энергии, который может быть полезен, например, для энергоснабжения очистных сооружений, ежедневно сбрасывающих миллионы кубометров пресной воды в соленые воды океана, а в перспективе поможет использовать для генерации электроэнергии воду из впадающих в моря рек. Статья подготовлена на основе перевода ряда материалов из зарубежных научных и научно-популярных изданий.

Серия вебинаров «Промышленный Ethernet – тенденции 2020»

К четвертой промышленной революции и промышленному «Интернету вещей» нужно быть готовым уже сейчас – поэтому компания HARTING Technology Group подготовила серию вебинаров о преобразовании промышленности. Современные тенденции развития промышленности предъявляют новые требования к промышленной связи, для выполнения которых идеально подходит промышленный Ethernet. Участники вебинаров смогут узнать, как промышленный Ethernet поможет им успешно провести цифровизацию предприятия, какие возможности он может предоставить и какие решения можно реализовать, используя этот вид связи. Все вебинары ...

Компиляторы C, Ada и SPARK для архитектуры RISC-V

Компания AdaCore, производитель средств разработки и верификации ПО критически важных для безопасности встраиваемых систем, внесла свой вклад в поддержку архитектуры RISC-V, выпустив компиляторы для языков C и Ada, а также для языка SPARK – подмножества языка Ada, позволяющего проводить формальную верификацию. Компиляторы AdaCore GNAT Pro сопровождаются документацией для сертификации по стандартам функциональной безопасности DO-178C (авионика), МЭК 61508 (промышленные системы управления), EN 50128 (железнодорожные системы) и ISO 26262 (автоэлектроника). Компиляторы GNAT Pro поддерживают ...