Programas De Aplicacao Computadores
Mostrando 1-12 de 46 artigos, teses e dissertações.
-
1. Desenvolvimento de instrumentos virtuais para obtenção e caracterização de propriedades físicas
Cada vez mais, o uso de computadores (especialmente utilizando programas de acesso livre) é aproveitado no ensino de ciências em geral e, em particular, de física. Por outro lado, a instrumentação científica continua sendo cara e de difícil manutenção. Finalmente, é desejável que os estudantes consigam ir além da simples reprodução de resultado
Rev. Bras. Ensino Fís.. Publicado em: 05/04/2016
-
2. ChipCflow - uma ferramenta para execução de algoritmos utilizando o modelo a fluxo de dados dinâmico em hardware reconfigurável / ChipCflow - a tool to executing algorithms using dynamic dataflow architecture in FPGA
Devido à complexidade das aplicações, a demanda crescente por sistemas que usam milhões de transistores e hardware complexo; tem sido desenvolvidas ferramentas que convertem C em Linguagem de Descrição de Hardware, tais como VHDL e Verilog. Neste contexto, esta tese apresenta o projeto ChipCflow, o qual usa arquitetura a fluxo de dados, para implementa
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/06/2012
-
3. Use for computer simulation model of quality of water distribution network involving multiple species / Emprego de modelo computacional para simulação da qualidade de água em redes de distribuição envolvendo múltiplas espécies
Um estudo detalhado dos programas EPANET versão padrão e EPANET-MSX tornam-se relevante, no cenário nacional, como uma importante ferramenta, para avaliação da qualidade do produto transportado ao longo da rede de distribuição. Simulações de casos hipotéticos foram realizadas tendo por base as condições de: decaimento de cloro de múltiplas orige
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/09/2011
-
4. 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
-
5. Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
A crescente participação do software embarcado nas causas dos últimos acidentes espaciais evidencia a importância dos processos e técnicas de verificação e validação no desenvolvimento do software embarcado espacial. Neste contexto, este trabalho investiga a contribuição de duas técnicas de verificação para aplicações espaciais. A primeira t�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/02/2011
-
6. Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
A crescente participação do software embarcado nas causas dos últimos acidentes espaciais evidencia a importância dos processos e técnicas de verificação e validação no desenvolvimento do software embarcado espacial. Neste contexto, este trabalho investiga a contribuição de duas técnicas de verificação para aplicações espaciais. A primeira t�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/02/2011
-
7. Injeção de falhas de comunicação para validação de aplicações no ambiente android / Communication fault Injection for validation of applications in android environment
Dispositivos móveis como celulares, palm tops e smartphones estão cada vez mais presentes em nossas vidas. Eles estão evoluindo muito depressa e, a cada nova versão, os aparelhos são lançados com muito mais recursos. Isto proporciona novos horizontes para os desenvolvedores de software. Hoje, devido a iniciativas de alguns fabricantes, muitas empresas
Publicado em: 2011
-
8. Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas / Yali, an extension to the linda model intended for parallel programming in heterogeneous computer networks
Com a disponibilidade de redes que ligam estações cada vez mais poderosas a baixos custos, o interesse em torno de ferramentas que suportam a programação paralela em arquiteturas deste tipo tem aumentado significativamente. Esta dissertação trata do projeto e implementação de YALI (Yet Another Linda Implementation), uma ferramenta destinada ao desenv
Publicado em: 2010
-
9. A contribuição da logística reversa na gestão de resíduos sólidos: uma análise dos canais reversos de microcomputadores.
O objetivo desse trabalho é analisar as atividades de logística reversa na gestão de resíduos sólidos entre as empresas usuárias de computadores e que estão se adequando às leis na esfera municipal, estadual e federal do Brasil que tratam sobre a correta destinação de produtos pós-consumo. Essa pesquisa começou a ser desenvolvida com o método da
Publicado em: 2010
-
10. Um modelo de documentação ativa de frameworks.
Este trabalho propõe um modelo de documentação ativa de frameworks que visa facilitar o desenvolvimento de aplicações que deles fazem uso, pela redução do tempo gasto na análise de sua viabilidade e aumento da qualidade no desenvolvimento destes aplicativos. O modelo é composto por uma estrutura de documentação em árvore hierárquica, abrangendo
Publicado em: 2009
-
11. O uso do SimQuest como ferramenta de modelagem computacional no ensino de física.
O presente trabalho teve como proposta principal, apresentar o uso do programa de modelagem computacional denominado SimQuest, que pode ser usado como uma ferramenta auxiliar de apoio ao ensino de física. O SimQuest é um programa que está estruturado de forma a facilitar a criação de ambientes que possuam: simulações, gráficos, exercícios, textos or
Publicado em: 2009
-
12. Grid Computing and Cloud Computing: analysis of the social,environmental and economic impacts of the collaboration through the resources sharing. / Grid computing e cloud computing: análise dos impactos sociais, ambientais e econômicos da colaboração por meio do compartilhamento de recursos computacionais
Esta dissertação discute o excesso de recursos computacionais disponíveis mundialmente com capacidade de processamento excedente e também debate como o emprego dos conceitos de compartilhamento e colaboração influenciam a integração desses dispositivos para constituir um ambiente econômico e com alta capacidade de processamento. Atualmente, é poss�
Publicado em: 2009