Multi Plataforma
Mostrando 13-24 de 73 artigos, teses e dissertações.
-
13. 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
-
14. Construção de uma plataforma funcional para detecção amperométrica de cisteína / Construction of a functional platform for amperometric detection of cysteine
This work describes the fabrication of an amperometric sensor for electrocatalytical detection of cysteine. The developed sensor is based on a functional platform for complexing copper ions on multi-walled carbon nanotubes (MWCNTs) modified with poly-4-vinylpyridine through an in situ reaction of polymerization. A multivariate analysis using a central compos
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/08/2011
-
15. Caracterização de linhagens recombinantes de Penicillium griseoroseum: análise do cariótipo, da expressão dos genes plg 1 e pgg 2 e da produção de pectina liase e poligalacturonase em resposta ao pH do meio / Characterization of recombinant strains of Penicillium griseoroseum: karyotype analysis, expression of plg1 and pgg2 genes and production of pectin lyase and polygacturonase in response to medium pH
Os estudos genéticos e fisiológicos realizados com o isolado Penicillium griseoroseum CCT6421 ressaltam as vantagens para a sua aplicação como hospedeiro para produção de proteínas. A obtenção e análise de linhagens recombinantes de P. griseoroseum com alta produção de pectina liase (PL) e poligalacturonase (PG) evidenciaram o eficiente sistema d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/05/2011
-
16. Um framework de agentes de recomendação para sistemas Web
A World Wide Web, ou simplesmente Web, se consolidou ao longo dos últimos anos como uma plataforma padrão para disponibilizar sistemas de software de diferentes naturezas na Internet. Atualmente, uma grande variedade de aplicações está disponível na plataforma Web, variando desde aplicações corporativas do domínio bancário, governamental e até com
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/05/2011
-
17. COMPARISON OF AGENT AND OBJECT ORIENTED PROJECTS USING THE GEORISC PLATFORM / COMPARAÇÃO DE PROJETO BASEADO EM AGENTES E ORIENTAÇÃO A OBJETOS NA PLATAFORMA GEORISC
Diversas tecnologias de implementação de software são discutidas na literatura. Duas dessas tecnologias são a orientação a objetos, que se encontra consolidada, e a orientação a agentes, que vem sendo objeto de muitos estudos e experimentos. Esses estudos indicam a orientação a agentes como muito promissora e como uma evolução da orientação a o
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/04/2011
-
18. Estudo de requisitos e especificações para a tolerância a falha simples do sistema de controle de atitude da plataforma multimissão / A study of requirements and specifications for single fault-tolerance of the multi-mission platform attitude control system
Em muitas aplicações de engenharia, a Confiabilidade é uma das mais importantes características. Os aspectos em torno da Confiabilidade desempenham um papel essencial em projetos de aeronaves, espaçonaves, automóveis, sistemas médicos e bancários, etc., evitando perdas de vidas e propriedade. Os sistemas altamente confiáveis são projetados para ope
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/04/2011
-
19. Modelagem matemática e simulação de escoamentos em canais anulares com interação fluido-estrutura / Mathematical modeling and simulation of flow in annular channels with fluid-structure interaction
O objetivo deste trabalho é de dar continuidade ao desenvolvimento de uma plataforma numérica em canais anulares, problemas presentes em engenharia de perfuração e da indústria de gás e petróleo. A plataforma numérica, desenvolvida utilizando o método de discretização dos volumes finitos, emprega métodos e esquemas de segunda ordem. A utilizaçã
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/03/2011
-
20. Análise do modelo de Kiyotaki-Wright em simulações multiagentes que utilizam a plataforma Swarm / Analysis of the Kiyotaki-Wright Model in Multi-Agent Simulations that Use the Swarm Platform
O objetivo deste trabalho é realizar uma repetição metodológica dos trabalhos de Duffy, Ochs e Rouchier. Entretanto, ele possui um enfoque diferente. Dos vários modelos teóricoeconômicos que explicam o surgimento do dinheiro, um se destaca por sua simplicidade, eficiência e robustez: o modelo de Kiyotaki-Wright. Por este motivo, alguns economistas se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/02/2011
-
21. Controle de sistemas robóticos com restrições cinemáticas
Este artigo considera o problema de controle de postura para sistemas robóticos com restrições cinemáticas. A ideia principal é considerar as restrições cinemáticas dos mecanismos a partir de suas equações estruturais, ao invés de usar explicitamente a equação de restrição. Um estudo de caso para robôs paralelos e robôs cooperativos é discu
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2011-12
-
22. Implementação de um protocolo mesh multi-hop baseado em algoritmo de roteamento geográfico para redes de sensores sem fio / Implementation of a multi-hop mesh protocol based on geographic routing algorithm for wireless sensor networks
As tecnologias de redes sem fio passaram a atender não só às aplicações corporativas mais sofisticadas como também àquelas envolvendo desde o rastreamento de animais, monitoramento de estruturas e automação industrial até o gerenciamento de utilidades urbanas. Este projeto de pesquisa aborda o desenvolvimento de um protocolo de rede mesh multi-hop
Publicado em: 2011
-
23. A dynamic scheduling runtime and tuning system for heterogeneous multi and many-core desktop platforms / Um sistema de escalonamento dinâmico e tuning em tempo de execução para plataformas desktop heterogêneas de múltiplos núcleos
Atualmente, o computador pessoal (PC) moderno poder ser considerado como um cluster heterogênedo de um nodo, o qual processa simultâneamente inúmeras tarefas provenientes das aplicações. O PC pode ser composto por Unidades de Processamento (PUs) assimétricas, como a Unidade Central de Processamento (CPU), composta de múltiplos núcleos, a Unidade de P
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011
-
24. Arquiteturas de hardware dedicadas para codificadores de vídeo H.264 : filtragem de efeitos de bloco e codificação aritmética binária adaptativa a contexto / Dedicated hardware architectures for h.64 video encoders – deblocking filter and context adaptive binary arithmetic coding
Novas arquiteturas de hardware desenvolvidas para blocos chave do padrão de codificação de vídeo ISO/IEC 14496-10 são discutidas, propostas, implementadas e validades nesta tese. Também chamado de H.264, AVC (Advanced Video Coder) ou MPEG-4 parte 10, o padrão é o estado da arte em codificação de vídeo, apresentando as mais altas taxas de compress�
Publicado em: 2011