Computer-implemented method for solving sets of linear arithmetic constraints modelling physical systems
Номер патента: US20170315958A1
Опубликовано: 02-11-2017
Автор(ы): Robert L. M. Nieuwenhuis
Принадлежит: BARCELOGIC SOLUTIONS SL
Получить PDF файл: Открыть в новом окне
Опубликовано: 02-11-2017
Автор(ы): Robert L. M. Nieuwenhuis
Принадлежит: BARCELOGIC SOLUTIONS SL
Получить PDF файл: Открыть в новом окне
Computer-implemented method for estimating the service life of a cracked part and a system for estimating the service life of a part
Номер патента: RU2748411C2. Автор: Рауль Фернандо ДЕ МУРА ПИНО,Дидье Жозе Диего СОРИА. Владелец: Сафран Эркрафт Энджинз. Дата публикации: 2021-05-25.