Livros de Engenharia Mecânica

Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em...

Downloads: 71         Páginas: 144

Publicado há: 3 años

Qualificação:   Calificado: 0 veces Vote

  • 1 estrella
  • 2 estrellas
  • 3 estrellas
  • 4 estrellas
  • 5 estrellas

Autor:

       Publicidad

Descrição HTML

Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais Escola Politécnica / Engenharia de Controle e Automação Mecânica Universidade de São Paulo "O desenvolvimento de arquiteturas de controle para veículos submarinos é uma tarefa complexa. [...] Neste contexto, o modelo comportamental pode levar a fenômenos como deadlocks, livelocks, disputa por recursos, entre outros. A fim de se tentar minimizar os efeitos de tais dificuldades, neste trabalho será apresentado um método para checagem de modelos de arquiteturas de controle de veículos submarinos baseado em Especificações Formais. [...] O desenvolvimento de uma arquitetura de controle reativa para um ROV denominado VSOR (Veículo Submarino Operado Remotamente) é utilizado como exemplo de uso do método proposto. Toda a arquitetura de controle é codificada utilizando a linguagem Ada com o perfil RavenSPARK e embarcada em um computador do tipo PC104 com o sistema operacional de tempo real VxWorks, da Windriver, Inc." Baixar livros de Especificações Formais em formato pdf mobipocket epub txt HTML Download ebooks grátis

SOBRE O AUTOR

Fábio Henrique de Assis

Você pode estar interessado...

eBooks à Venda

  • Hebreo en 20 lecciones
    Hebreo en 20 lecciones Judaísmo por Paya R. Frank
    Hebreo en 20 lecciones
    Hebreo en 20 lecciones

    Downloads:
    1

    Páginas:
    120

    Publicado:
    Feb 2014

    Este programa es uno de los mejores para que aprendas el hebreo y puedas defenderte leyendo la Biblia en hebreo o pasear en Israel.

    Formatos: PDF

  • La conjura romana
    La conjura romana Novela Historica por Iñaki Santamaría Carbajo
    La conjura romana
    La conjura romana

    Downloads:
    4

    Páginas:
    123

    Publicado:
    Feb 2014

    Todo el Imperio llora la muerte del César Augusto. Su sucesor,Tiberio, el nuevo Emperador, debe hacer frente a las sublevaciones en la zona de Asia, así como ...

    Formatos: PDF, Epub, Kindle, TXT

  • Embriaguez
    Embriaguez Novela Filosófica por a.floridolozano@gmail.com
    Embriaguez
    Embriaguez

    Downloads:
    1

    Páginas:
    224

    Publicado:
    May 2014

    Historia de amor y de desengaño ambientada a mediados del siglo XX en la ciudad de San Petersburgo.

    Formatos: PDF, Kindle

  • El Judío en Costa Rica
    El Judío en Costa Rica Genocidio por Jacobo Schifter
    El Judío en Costa Rica
    El Judío en Costa Rica

    Downloads:
    1

    Publicado:
    Nov 2013

    El judío en Costa Rica: Este es un retrato de los inmigrantes judíos de Polonia en Costa Rica y una de las mejores historias de los judíos en América Latina. ...

    Formatos: PDF