Verificacao Automatica
Mostrando 1-12 de 51 artigos, teses e dissertações.
-
1. Quais as diretrizes básicas de esterilização e desinfecção de artigos clínicos e médico-hospitalares?
A escolha e organização dos métodos de desinfecção e esterilização deve ser baseada em recomendações de cunho científico e reconhecidas a nível nacional e internacional. Para adequada escolha nos processos de utilização e tratamento dos materiais, estes devem ser divididos nas categorias críticos, semicríticos e não críticos. Materiais cr
Núcleo de Telessaúde Rio Grande do Sul. Publicado em: 12/06/2023
-
2. Development and analysis of an automated performance code checking workflow
Resumo Este estudo visou avaliar a aplicabilidade, precisão e desafios envolvidos na verificação automática dos requisitos de projeto especificados pela Norma de Desempenho utilizando um software de checagem de modelos BIM (Building Information Modeling). Os objetivos específicos incluem: (a) definição de um processo de parametrização de um conjunto
Ambiente Construído. Publicado em: 2022
-
3. Aspecto prescritivo das normas de sistemas prediais hidráulicos e sanitários e sua relação com a verificação automática de modelos BIM
Resumo É prática comum a divisão de projetos de edifícios em subsistemas, o que resulta em dificuldades no gerenciamento do processo. O emprego de modelos BIM propicia a visualização da interação desses subsistemas e a verificação automática de critérios normativos. O objetivo deste artigo é analisar a viabilidade da verificação automática de
Ambient. constr.. Publicado em: 2018-04
-
4. Repetibilidade e reprodutibilidade da segmentação automática de camadas retinianas em sujeitos saudáveis com tomografia de coerência óptica Spectralis
RESUMO Objetivo: Avaliar a repetibilidade e a reprodutibilidade da segmentação automática com tomografia de coerência óptica Spectralis em indivíduos saudáveis. Métodos: Foram incluídos neste estudo prospectivo um total de 60 olhos de 60 pacientes. As imagens de tomografia de coerência óptica de domínio espectral (SD-OCT) foram geradas com Spec
Arq. Bras. Oftalmol.. Publicado em: 2017-12
-
5. Implantação de critérios de liberação automática de resultados de bioquímica em um laboratório de hospital público universitário
RESUMO Introdução: A verificação automática dos resultados consiste na liberação dos resultados dos exames diretamente do equipamento, sem intervenção humana. São inseridas regras para avaliar os resultados no middleware e/ou no sistema de informação laboratorial (SIL), com base em critérios estabelecidos pelo laboratório. A autoverificação
J. Bras. Patol. Med. Lab.. Publicado em: 27/06/2016
-
6. 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
-
7. Classificação de pontos LIDAR para a geração do MDT
Nos últimos anos tem se observado uma representativa evolução da tecnologia LIDAR (Light Detection and Ranging) na aquisição automática do MDT (Modelo Digital do Terreno) em áreas urbanas e rurais. Os métodos existentes na literatura remetem a regiões para casos específicos no hemisfério norte, onde as condições de vegetação e uso do solo são
Bol. Ciênc. Geod.. Publicado em: 2011-09
-
8. Evolução do desmatamento no planalto de Corumbá pela análise de imagens de satélite.
O desmatamento tem sido uma das causas principais da degradação ambiental. A prática do desmatamento sem um planejamento, traz prejuízos que muitas vezes são irreversíveis ao ambiente, e a longo prazo ao homem, devido a diminuição da diversidade e dos recursos naturais. A quantificação do desmatamento por meio da tecnologia de sensoriamento remoto
Corumbá: Embrapa Pantanal. Publicado em: 2011
-
9. Sistema integrado para geração, análise e dimensionamento de estruturas de aço
O presente trabalho apresenta um sistema computacional, denominado ST_SuperFrame, desenvolvido para assistir ao projeto de estruturas de aço. Esse sistema contempla a geração de dados, análise e dimensionamento de estruturas reticuladas de aço, utilizando as formas estruturais e os perfis mais empregados na construção metálica brasileira. O exigente
Publicado em: 2011
-
10. Esqueletotipação : um método para desenvolvimento de software embarcado baseado em modelos.
Esta pesquisa aborda a concepção e implementação do Método de Esqueletotipação, visando aumentar a qualidade das transformações de modelos em códigos-fonte no desenvolvimento de software embarcado baseado em modelos. A partir da experimentação em um estudo de caso de sistemas embarcados, envolvendo três experimentos, foi possível constatar tant
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/07/2010
-
11. Sistema integrado para caracterização automática de conversores analógico-digitais / Integrated system for automated characterization of analog-digital converters
Este trabalho descreve um sistema constituído de diversos instrumentos, que se encontram interligados e gerenciados por um aplicativo de software, implementando um ambiente compacto para a caracterização de conversores analógico-digitais, de acordo com os procedimentos descritos nas normas IEEE 1057-1994 e IEEE 1241-2000. O sistema desenvolvido possui li
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/05/2010
-
12. A model-based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models
Esta dissertação de mestrado apresenta um editor gráfico baseado em modelos para o suporte à criação, verificação e validação de modelos conceituais e ontologias de domínio em uma linguagem de modelagem filosoficamente e cognitivamente bem-fundada chamada OntoUML. O editor é projetado para proteger o usuário da complexidade dos princípios ontol
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/02/2010