Sistemas Embarcados
Mostrando 13-24 de 209 artigos, teses e dissertações.
-
13. Extração do conhecimento contido em ocorrências no transporte coletivo urbano usando árvores de decisão
O presente trabalho tem como objetivo extrair conhecimento de um banco de dados que contém as mensagens de alerta geradas pelos computadores embarcados instalados nos veículos de uma grande frota usada no transporte coletivo urbano na cidade de São Paulo. Para tal foi aplicada a técnica de aprendizado de árvores de decisão. Nos experimentos foram usado
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/12/2011
-
14. Projeto de um sistema embarcado de predição de colisão e pedestres baseado em computação reconfigurável / Design of an embedded system of pedestrian collision prediction based on reconfigurable computing
Este trabalho apresenta a construção de um sistema embarcado para detectar pedestres, utilizando computação reconfigurável com captura de imagens através de uma única câmera acoplada a um veículo que trafega em ambiente urbano. A principal motivação é a necessidade de reduzir o número vítimas causadas por acidentes de trânsito envolvendo pedes
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/12/2011
-
15. Desenvolvimento de um ambiente para projeto de controladores fuzzy para dispositivos móveis
Sistemas inteligentes Fuzzy estão presentes nos mais variados equipamentos, desde eletrodomésticos e máquinas industriais até dispositivos de pequeno porte, como máquinas digitais e aparelhos celulares, sendo utilizados principalmente por lidar com as incertezas inerentes a modelagem dos sistemas reais. No entanto, as implementações comerciais de sist
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/09/2011
-
16. Sistema neural reativo para o estacionamento paralelo com uma única manobra em veículos de passeio / Neural reactive system for parallel parking with a single maneuver in passenger vehicles
Graças aos avanços tecnológicos nas áreas da computação, eletrônica embarcada e mecatrônica a robótica está cada vez mais presente no cotidiano da pessoas. Nessas últimas décadas, uma infinidade de ferramentas e métodos foram desenvolvidos no campo da Robótica Móvel. Um exemplo disso são os sistemas inteligentes embarcados nos veículos de pa
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/08/2011
-
17. Implementação eficiente em software de curvas elípticas e emparelhamentos bilineares / Efficient software implementation of elliptic curves and bilinear pairings
O advento da criptografia assimétrica ou de chave pública possibilitou a aplicação de criptografia em novos cenários, como assinaturas digitais e comércio eletrônico, tornando-a componente vital para o fornecimento de confidencialidade e autenticação em meios de comunicação. Dentre os métodos mais eficientes de criptografia assimétrica, a cripto
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/08/2011
-
18. Serviços de comunicação diferenciados em sistemas multiprocessados em chip baseados em redes intra-chip
Sistemas multiprocessados em chip (MPSoCs - Multiprocessor Systems-on-Chip) estão sendo considerados como provável padrão para implementar os sistemas embarcados futuros. O poder computacional destas plataformas possibilita a execução simultânea de diversas aplicações com diferentes requisitos. O emprego de redes intrachip (NoCs Networks-on-Chip) com
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/08/2011
-
19. Métodos formais algébricos para geração de invariantes / Algebraic formal methods for invariant generation
É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
20. Identificação da dinâmica e controle por alocação de autoestrutura para pouso automático de Mini-VANT em pista curta com aproximação 3D
Este trabalho propõe e avalia, através de simulação, um sistema de controle multivariável para o pouso automático de um mini-VANT em pista curta valendo-se de tubo de pitot, sensores girométricos, GPS, altímetro-pressão e altímetro-ultrassom embarcados. A manobra visa automatizar o procedimento de pouso realizado por piloto experiente de aeromodelo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/08/2011
-
21. Estudo e Definição de uma Metodologia de Teste de Software no Contexto de Sistemas Embarcados Críticos / Study and Definition of a Methodology for Software Testing in the Context of Critical Embedded Systems
A computação ganha cada vez mais espaço em aplicações embarcadas críticas e, dependendo do software, seu mau funcionamento pode provocar desde um grave prejuízo financeiro até a perda de vidas humanas. Considerando este cenário, é apresentado uma revisão sistemática com o objetivo de investigar a evolução dos trabalhos relacionados a atividade
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/07/2011
-
22. Study and Definition of a Methodology for Software Testing in the Context of Critical Embedded Systems / Estudo e Definição de uma Metodologia de Teste de Software no Contexto de Sistemas Embarcados Críticos
A computação ganha cada vez mais espaço em aplicações embarcadas críticas e, dependendo do software, seu mau funcionamento pode provocar desde um grave prejuízo financeiro até a perda de vidas humanas. Considerando este cenário, é apresentado uma revisão sistemática com o objetivo de investigar a evolução dos trabalhos relacionados a atividade
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/07/2011
-
23. Arquitetura computacional híbrida baseada em DSP e FPGA para processamento digital de sinais / Hybrid computing architecture based on DSP and FPGA for digital signal processing
Atualmente, aplicações multimídias exigem grande esforço computacional para manipular dados com elevadas taxas de precisão. Visando otimizar a capacidade de processamento sem elevar demasiadamente o custo do desenvolvimento em sistemas embarcados, este trabalho descreve a proposta de uma arquitetura computacional hibrida, para processamento digital de s
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/07/2011
-
24. Aplicabilidade de sistemas operacionais de tempo real (RTOS) para sistemas embarcados de baixo custo e pequeno porte / Real-time operating system aplicability for small and low cost embedded systems
Sistemas embarcados ganham cada vez mais espaço devido ao aumento da demanda por novas funções em equipamentos, às normas regulatórias e às novas necessidades dos consumidores e do mercado. Esse aumento nos requisitos aumenta o tamanho e a complexidade dos softwares embarcados cuja importância cresce significativamente. Sistemas operacionais de tempo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/07/2011