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

  • El suicida
    El suicida Bienestar Espiritual por Joselito Montero
    El suicida
    El suicida

    Downloads:
    1

    Páginas:
    29

    Publicado:
    Feb 2014

    Si eres de las personas que a lo largo de sus vidas todo les ha salido bien, no leas este libro, porque lo más probable es que no puedas entender su contenido...

    Formatos: PDF, TXT

  • Hitler in Central America
    Hitler in Central America Novela Historica por Jacobo Schifter
    Hitler in Central America
    Hitler in Central America

    Downloads:
    2

    Páginas:
    283

    Publicado:
    Feb 2014

    BEST SELLER. MORE THAN 100,000 DOWNLOADS "It was so interesting with the facts and fictions, also I liked this satirical and ironic approach. Even more as a ...

    Formatos: PDF, Epub, Kindle, TXT

  • Los privilegiados del azar
    Los privilegiados del azar Acción, Aventura por Carlos Alberto Felipe Martell
    Los privilegiados del azar
    Los privilegiados del azar

    Downloads:
    1

    Páginas:
    606

    Publicado:
    Nov 2013

    Isidro León, un profesor de Estadística aficionado a la composición musical, que tiene “colgadas” sus melodías como fondo en su web (http://webpages.ull.es/us...

    Formatos: PDF, Epub, Kindle, TXT

  • Yo amé a William Shakespeare
    Yo amé a William Shakespeare Novela Historica por Ana Giner
    Yo amé a William Shakespeare
    Yo amé a William Shakespeare

    Downloads:
    1

    Páginas:
    272

    Publicado:
    Feb 2014

    SI QUIERES ESTE LIBRO IMPRESO, NOS ESCRIBES. Helen, quería contarme su historia, con respeto, sin adornos, de la manera más sencilla y veraz, para no manc...

    Formatos: PDF, Epub, Kindle, TXT