Интеллектуальные видеокамеры решают задачи контроля
Высокоскоростное сжатие данных является только одним из преимуществ постоянно совершенствующейся технологии машинного зрения. Компании-интеграторы интеллектуальных систем расширяют области применения...
View ArticleОбновление платформы Prognoz Platform
Международная компания «Прогноз» продолжает совершенствовать системы визуализации данных и углубленной аналитики для клиентов, ориентированных на повышение эффективности управления и внедрение...
View ArticleКомпания 4moms использует ANSYS
4moms (США) является инновационной компанией по производству товаров для детей, которая, используя возможности современной робототехники, вывела отрасль на новый уровень. Постоянно растущий спрос...
View ArticleАнализ надежности грузоподъемных кранов
Специалисты Konecranes, группы компаний с торговой маркой Lifting BusinessesTM, разработали программу проверки технического состояния грузоподъемных кранов. Crane Reliability Study (CRS) — это...
View ArticleПрограммное обеспечение без ошибок:язык Ada 2012
Язык программирования Ada был разработан в начале 1980-х гг. с целью создать язык для встраиваемых систем реального времени с повышенными требованиями к надежности программного обеспечения (ПО). В 1983...
View ArticleПрограммное обеспечение ракеты-носителя Vega-C разрабатывается на языке Ada
Ракета-носитель Vega легкого класса (1500 кг полезной нагрузки) Европейского космического агентства предназначена для выведения на орбиту малых спутников и за время коммерческой эксплуатации с 2012...
View ArticleКомпиляторы Ada и C компании AdaCore квалифицированы по МЭК 61508 и ИСО 26262
Компания AdaCore, производитель средств разработки и верификации ПО критически важных для безопасности встраиваемых систем, провела квалификацию своих компиляторов и других инструментальных средств по...
View ArticleJTEKT выбрала язык SPARK для верификации ПО электроусилителей рулевого...
Японская корпорация JTEKT, производитель систем усиления рулевого управления, выбрала язык программирования SPARK и инструментальные средства компании AdaCore для разработки и верификации критического...
View ArticleMViewer — программная среда для управления микропроцессорными устройствами
Программа MViewer устанавливается на ПК под операционной системой Windows (начиная с Windows 7). Устройство соединяется с ПК по интерфейсам USB, RS-485, CAN, Bluetooth и Ethernet. Одной из особенностей...
View ArticleИнтеллектуальные видеокамеры решают задачи контроля
Анализ изображений для систем машинного зрения сводится, в основном, к задаче сжатия данных. Поток необработанных данных является исключительно объемным. Одно черно-белое изображение от датчика...
View ArticleПрограммное обеспечение без ошибок:язык Ada 2012
Язык программирования Ada был разработан в начале 1980-х гг. с целью создать язык для встраиваемых систем реального времени с повышенными требованиями к надежности программного обеспечения (ПО). В 1983...
View ArticleОсновы стандарта программирования ПЛК
В третьей редакции стандарт языков программирования ПЛК IEC 61131-3 предоставляет пользователям надежную структуру для разработки эффективных решений на всех этапах автоматизации процессов. Здесь...
View Article