Programas De Sistemas De Computadores
Mostrando 1-12 de 108 artigos, teses e dissertações.
-
1. Como realizar o cadastro de dados no Sistema de Vigilância Alimentar e Nutricional?
Segundo o Ministério da Saúde, o cadastro no Sistema de Vigilância Alimentar e Nutricional (SISVAN) deve ser realizado no SISVAN WEB, que pode ser acessado através do seguinte endereço eletrônico: http://dabsistemas.saude.gov.br/sistemas/sisvan/login.php?acesso_negado=true.
Nesse endereço também é possível realizar o cadastro de gestores,
Núcleo de Telessaúde Santa Catarina. Publicado em: 12/06/2023
-
2. 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
-
3. 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
-
4. Proposta de uma infraestrutura de baixo custo com multiprocessamento e utilizando software aberto
Esta dissertação visa identificar os aspectos técnicos e teóricos que envolvem a utilização de cluster de computadores, tratando especialmente de plataformas com o sistema operacional Linux. Serão apresentados alguns modelos de cluster em Linux, reconhecendo suas vantagens e desvantagens e por fim indicando o modelo escolhido com a devida justificativ
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/05/2012
-
5. AppRecommender: um recomendador de aplicativos GNU/Linux / AppRecommender: a recommender system for GNU/Linux applications
A crescente oferta de programas de código aberto na rede mundial de computadores expõe potenciais usuários a muitas possibilidades de escolha. Em face da pluralidade de interesses desses indivíduos, mecanismos eficientes que os aproximem daquilo que buscam trazem benefícios para eles próprios, assim como para os desenvolvedores dos programas. Este trab
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/09/2011
-
6. 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
-
7. 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
-
8. Arquitetura TBoot para inicialização confiável de sistemas dedicados
Alguns problemas em engenharia de segurança de informações não podem ser resolvidos somente por software: um hardware confiável (trusted hardware) é necessário para garantir mecanismos de inicialização segura. Uma entidade é considerada confiável se sempre opera conforme esperado. Para converter uma plataforma convencional em confiável, é necess
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/03/2011
-
9. 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
-
10. 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
-
11. DOSE GLANDULAR E CONTROLE DE QUALIDADE DA IMAGEM EM SERVIÇOS DE MAMOGRAFIA COM SISTEMA DE RADIOGRAFIA COMPUTADORIZADA / GLANDULAR DOSE AND IMAGE QUALITY CONTROL IN MAMMOGRAPHY FACILITIES WITH COMPUTED RADIOGRAPHY SYSTEM
O câncer de mama é o câncer mais comum entre as mulheres, e a detecção precoce é crucial para seu diagnóstico e tratamento. Atualmente, o método mais efetivo para a detecção precoce do câncer de mama é a mamografia, onde o sistema tela/filme é o padrão ouro. Entretanto, apesar do sistema tela/filme ter sido melhorado e otimizado ao longo dos an
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/03/2010
-
12. ProposiÃÃo de modelo teÃrico para avaliar a coesÃo interna de comunidades virtuais de aprendizagem (CVA) no ensino superior. / PROPOSITION OF THEORETICAL MODEL FOR ASSESSING INTERNAL COHESION OF THE VIRTUAL LEARNING IN HIGHER EDUCATION.
Na Ãltima dÃcada, em relaÃÃo à educaÃÃo superior, o surgimento de ambientes de aprendizagem, acessÃveis atravÃs da grande rede, deu suporte para a formaÃÃo de comunidades virtuais. Estas comunidades que se formam em instituiÃÃes sÃo formaÃÃes sociais que necessitam ser pesquisadas e compreendidas dentro da acepÃÃo da ideia que representam p
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/02/2010