Validacao De Programas De Computador
Mostrando 13-24 de 28 artigos, teses e dissertações.
-
13. Desenvolvimento e avaliação de um software de controle de atendimentos e apoio à decisão, para diagnóstico diferencial de disfunções do trato urinário inferior, baseado em lógica fuzzy / Development and evaluation of a software control and decision support calls for differential diagnosis lower urinary tract dysfunction, based on fuzzy logic
Introduction: The use of informatics tools is seen as a facilitator of the process of compiling, recording and analyzing data. Competence of nurses, the Nursing Process helps provide individualized care to the patient. In addition, the use of expert systems, decision support can help general practitioners or without experience in the area to determine the di
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/07/2011
-
14. 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
-
15. 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
-
16. Dimensionamento informatizado de profissionais de enfermagem: avaliação de um software
A complexidade para operacionalizar o método de dimensionamento de profissionais de enfermagem, diante das inúmeras variáveis relativas à identificação da carga de trabalho, do tempo efetivo de trabalho dos profissionais e do Índice de Segurança Técnica (IST), evidenciou a necessidade de desenvolver um software, denominado: Dimensionamento Informati
Revista da Escola de Enfermagem da USP. Publicado em: 2011-12
-
17. Avaliação de ferramentas de simulação de iluminação natural por meio de mapeamento digital de luminâncias da abóboda celeste e entorno
Entre os métodos de maior potencial para a análise do fenômeno da iluminação natural no ambiente construído, encontram-se a simulação computacional e a medição em modelos em escala reduzida expostos a ambientes de teste (céu artificial e real). Atualmente existem dezenas de programas disponíveis no mercado, alguns disponibilizados gratuitamente,
Publicado em: 2009
-
18. Validação do algoritmo do programa netuno para avaliação do potencial de economia de água potável e dimensionamento de reservatórios de sistemas de aproveitamento de água pluvial em edificações
Rainwater use for non-potable purposes in buildings is a measure that provides the reduction of potable water demand and the minimization of problems related to availability of water resources. The efficiency of rainwater harvesting systems is affected mostly by the sizing of the storage cistern. The appropriate sizing is essential to avoid the superfluous r
Publicado em: 2009
-
19. Implementação computacional de uma gramática gerativa para música tonal
O presente trabalho apresenta a implementação computacional de uma gramática gerativa que visa a análise automática de trechos musicais. É baseado na Teoria Gerativa de Música Tonal (Lerdahl, F. &Jackendoff, R., 1996, A Generative Theory of Tonal Music, second ed., MIT Press, Cambridge, Massachusets), daqui por diante chamada de TGMT, a qual tem por o
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/05/2008
-
20. Desenvolvimento de um sistema para estimativa de bem-estara aprtir de dados de vocalização de suinos / Development of a system to estimate of wefare from data vocalization of pigs
As atuais tendências de mercado e exigências dos consumidores, juntamente com regulamentações de normas e padronizações relacionadas ao bem-estar animal têm provocado um forte impacto sobre a produção suinícola brasileira e podem afetar as exportações. Na mesma medida, a preocupação com a produção de alimentos está cada vez mais voltada para
Publicado em: 2008
-
21. Astrha : um ambiente gráfico, dinâmico e interativo para internet baseado em hiper-animações e na teoria dos autômatos
Esta pesquisa, batizada Astrha (Automata Structured Hyper-Animation), tem suas raízes no projeto “Hyper Seed - Framework, Ferramentas e Métodos para Sistemas Hipermídia voltados para EAD via WWW” que possui, entre seus objetivos e metas: (a) o desenvolvimento de uma fundamentação matemática para a unificação, de maneira coerente e matematicamente
Publicado em: 2007
-
22. Método computadorizado para medida da acuidade visual
OBJETIVO: Elaborar e validar teste computadorizado para medida da acuidade visual de escolares. MÉTODOS: Foi elaborado teste computadorizado para determinação da acuidade visual utilizando os padrões das tabelas logarítmicas impressas adotadas na clínica oftalmológica. Foram avaliados 90 alunos da primeira série do ensino básico, oito estudantes do
Arquivos Brasileiros de Oftalmologia. Publicado em: 2006-12
-
23. Utilidade de regras booleanas aplicadas à liberação de resultados de exames hormonais e marcadores tumorais
INTRODUÇÃO: A avaliação de perfis hormonais exige, tradicionalmente, a participação de especialistas para adequada liberação setorial. A análise desses resultados através de regras booleanas é alternativa interessante para minimizar os resultados a serem avaliados manualmente. MATERIAL E MÉTODO: Avaliamos a utilização de regras booleanas constr
Jornal Brasileiro de Patologia e Medicina Laboratorial. Publicado em: 2006-08
-
24. Posture and postural control: development and application of a quantitative method for postural evaluation / "Postura e controle postural: desenvolvimento e aplicação de método quantitativo de avaliação postural"
The postural evaluation methodology is widely used in physiotherapy to understand the alignment of body segments and to guide the therapeutic approach. Body alignment is meant to maintain the body balanced, or else to project the centre of gravity onto the base of support, hence managing the gravity force. The objective of this study was the evaluation of po
Publicado em: 2006