Verificacao De Codigo
Mostrando 1-12 de 82 artigos, teses e dissertações.
-
1. Numerical simulation of wind-driven ventilation of a three-generic low-rise building in various geometrical configurations
Resumo A ventilação natural é a principal estratégia passiva para a obtenção do conforto térmico no interior das edificações, além de promover a renovação do ar ambiente, tornando-o mais saudável. Nas últimas décadas, a Dinâmica dos Fluidos Computacional mostrou-se uma ferramenta eficiente para estimar a ventilação natural. Diante disso, o
Ambiente Construído. Publicado em: 2022
-
2. O potencial da verificação automatizada baseada em regras para as medidas de segurança contra incêndio em BIM
Resumo Este estudo objetiva a operacionalização do método de Eastman et al. (2009) aplicado à modelagem e à verificação automatizada das regulamentações de incêndio do estado de São Paulo com a Modelagem da Informação da Construção (BIM). O método adotado foi o da pesquisa construtiva. O processo de avaliação da solução aplicou a proposta
Ambient. constr.. Publicado em: 2020-12
-
3. Editorial Comment: Flexible ureterorenoscopy and laser lithotripsy with regional anesthesia vs general anesthesia: A prospective randomized study
Resumo Este estudo objetiva a operacionalização do método de Eastman et al. (2009) aplicado à modelagem e à verificação automatizada das regulamentações de incêndio do estado de São Paulo com a Modelagem da Informação da Construção (BIM). O método adotado foi o da pesquisa construtiva. O processo de avaliação da solução aplicou a proposta
Int. braz j urol.. Publicado em: 2020-12
-
4. Tendência da Mortalidade por Acidente Vascular Cerebral no Município de Maringá, Paraná entre os Anos de 2005 a 2015
Resumo Fundamentos: O Acidente Vascular Cerebral (AVC) é a segunda maior causa de morte no mundo, responsável por 6,7 milhões de óbitos em 2012. No Brasil, entre as principais causas de morte, as doenças cerebrovasculares ocupam o primeiro lugar. Objetivo: Analisar a tendência de óbitos por AVC no município de Maringá-Paraná entre os anos de 2005
Int. J. Cardiovasc. Sci.. Publicado em: 2018-02
-
5. Ideal and Resistive Magnetohydrodynamic Two-Dimensional Simulation of the Kelvin-Helmholtz Instability in the Context of Adaptive Multiresolution Analysis
RESUMO Este trabalho refere-se à simulação numérica da instabilidade de Kelvin-Helmholtz usando um modelo magneto-hidrodinâmico ideal e resistivo bidimensional no contexto de uma abordagem de multirresolução adaptativa. As instabilidades de Kelvin-Helmholtz são causada por uma velocidade de cisalhamento, e normalmente é esperada em uma camadaentre d
TEMA (São Carlos). Publicado em: 2017-08
-
6. Técnicas de profiling para o co-projeto de hardware e software baseado em computação reconfigurável aplicadas ao processador softcore Nios II da Altera / Hardware and software codesing profiling techniques based on reconfigurable computing applied to the Altera´s Nios soft core processor
Como avanço dos paradigmas de desenvolvimento de sistemas eletrônicos, novos conceitos, modelos e técnicas resultaram dessa evolução, gerando ferramentas mais eficientes e objetivas. Entre estas, as de automação de projetos eletrônicos (EDA - Electronic Design Automation) em nível de sistema (ESL - Electronic System Level) trouxeram um incremento co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/09/2012
-
7. Um MPSOC GALS baseado em rede intrachip com geração local de relógio
Devido à evolução das tecnologias nanométricas profundas em semicondutores, hoje é possível a fabricação de sistemas cada vez mais complexos em um único chip. Entretanto, esta evolução está inviabilizando, em alguns casos, práticas de projeto tradi-cionais. O desenvolvimento de sistemas complexos puramente síncronos começa a ser influenciado p
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2012
-
8. Verificação do desempenho da técnica "Hardware-in-the-Loop" aplicada a sistemas mecânicos não-lineares / Verification of the hardware-in-the-loop technique applied to non-linear mechanical systems
Este trabalho tem como objetivo a aplicação da técnica conhecida como Hardware-in-the-Loop (HIL), para a avaliação do comportamento dinâmico de dois sistemas mecânicos não-lineares e assim verificar o desempenho da técnica nestes casos. O primeiro estudo consiste na avaliação de um componente, no caso uma engrenagem bi-partida, sujeito a contatos
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/06/2012
-
9. Um framework de simulação para verificação de requisitos de desempenho de sistemas computacionais de tempo real
Os métodos tradicionais de validação de requisitos de desempenho de software, baseados em testes do código, permitem a detecção de problemas somente nas fases finais do ciclo de desenvolvimento de software. Mudanças no software nas fases finais do desenvolvimento são em geral mais custosas e demoradas para serem efetivadas do que aquelas identificada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/06/2012
-
10. Paralelização em CUDA/GLSL do algoritmo SIFT para reconhecimento de íris / A CUDA/GLSL parallelization of SIFT algorithm for iris recognition
Neste trabalho é estudada a viabilidade de uma implementação em paralelo do algoritmo scale invariant feature transform (SIFT) para identificação de íris. Para a implementação do código foi utilizada a arquitetura para computação paralela compute unified device architecture (CUDA) e a linguagem OpenGL shading language (GLSL). O algoritmo foi testa
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2012
-
11. Estudo e desenvolvimento de dosímetros opticamente estimulados para aplicações em radioterapia / Study and development of Optically Stimulated Luminescent dosimeters for Radiotherapy applications.
Dosímetros Luminescentes Opticamente Estimulados (OSL) vêm sendo testados como alternativa dosimétrica no controle da qualidade e verificação de tratamentos por possuir características adequadas para esse fim, como elevada sensibilidade à radiação ionizante, alta resolução espacial e facilidade de leitura. Neste trabalho, o óxido de alumínio, do
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/02/2012
-
12. Estudo e desenvolvimento de dosímetros opticamente estimulados para aplicações em radioterapia / Study and development of Optically Stimulated Luminescent dosimeters for Radiotherapy applications.
Dosímetros Luminescentes Opticamente Estimulados (OSL) vêm sendo testados como alternativa dosimétrica no controle da qualidade e verificação de tratamentos por possuir características adequadas para esse fim, como elevada sensibilidade à radiação ionizante, alta resolução espacial e facilidade de leitura. Neste trabalho, o óxido de alumínio, do
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/02/2012