Andere Kunden interessierten sich auch für
![Irrigação Sustentável na Agricultura usando Bomba Solar Automatizada]( "Irrigação Sustentável na Agricultura usando Bomba Solar Automatizada")
Irrigação Sustentável na Agricultura usando Bomba Solar Automatizada23,99 €![Efeito fotovoltaico em estrutura de película fina ferro-eléctrica]( "Efeito fotovoltaico em estrutura de película fina ferro-eléctrica")
Efeito fotovoltaico em estrutura de película fina ferro-eléctrica36,99 €![Automatização e monitorização de uma máquina de ensacamento semi-automática]( "Automatização e monitorização de uma máquina de ensacamento semi-automática")
Automatização e monitorização de uma máquina de ensacamento semi-automática29,99 €![ArcGIS e ADMS, para o controlo dos sistemas de distribuição eléctrica]( "ArcGIS e ADMS, para o controlo dos sistemas de distribuição eléctrica")
ArcGIS e ADMS, para o controlo dos sistemas de distribuição eléctrica26,99 €![Caracterização e estrutura De reservatórios]( "Caracterização e estrutura De reservatórios")
Caracterização e estrutura De reservatórios29,99 €![Caratterizzazione termochimica dei panetti di semi non commestibili]( "Caratterizzazione termochimica dei panetti di semi non commestibili")
Caratterizzazione termochimica dei panetti di semi non commestibili23,99 €![MONITORIZAÇÃO DO ESTADO DAS CÂMARAS DIGITAIS DURANTE OS TESTES DE COLISÃO DOS VEÍCULOS]( "MONITORIZAÇÃO DO ESTADO DAS CÂMARAS DIGITAIS DURANTE OS TESTES DE COLISÃO DOS VEÍCULOS")
MONITORIZAÇÃO DO ESTADO DAS CÂMARAS DIGITAIS DURANTE OS TESTES DE COLISÃO DOS VEÍCULOS32,99 €
Quantidade e complexidade das características implementadas nos veículos expandem-se rapidamente ao longo dos últimos anos. Actualmente, a visão de um veículo autónomo já não é um filme de sonho ou de fantasia, mas sim uma actualidade que se aproxima. A fim de alcançar a melhor qualidade e alta segurança, são necessárias técnicas de verificação avançadas. O Simulink Design Verifier é uma ferramenta de verificação de modelos baseada na verificação formal, que pode ser utilizada eficazmente para resolver problemas relativos à detecção de erros e testes em fases iniciais do projecto. A transformação dos requisitos escritos na sua forma tradicional em objectivos directos do Simulink Design Verifier pode ser demorada, bem como exigir conhecimento do modelo do sistema e da ferramenta de verificação. A fim de reduzir o consumo de tempo e orientar um utilizador através do modelo do sistema e da ferramenta de verificação, foi desenvolvida uma estrutura semi-automatizada. A implementação de padrões gramaticais ingleses restritos em objectos Simulink suporta a descrição de padrões a engenheiros e reduz o consumo de tempo. A estrutura desenvolvida é flexível e intuitiva, pelo que pode ser uma solução para outros ramos da indústria, mas são necessários testes e verificações futuras.