Correcao Automatica
Mostrando 13-24 de 35 artigos, teses e dissertações.
-
13. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
14. Um método baseado em inteligência computacional para a geração automática de casos de teste de caixa preta. / A method based on computational intelligence for automatic Black Box test cases generation.
Este trabalho de dissertação apresenta um método baseado em técnicas de inteligência computacional, como aprendizado de conjunto de regras, redes neurais artificiais e lógica fuzzy, para propor o desenvolvimento de ferramentas capazes de gerar e classificar casos de testes de caixa preta com as finalidades de auxiliar na atividade de preparação de te
Publicado em: 2010
-
15. Angiogênese em tumores epiteliais de ovário : estudo de variáveis metodológicas / Angiogenesis in ovarian epithelial neoplasms : study of methodological variables
Em neoplasias malignas, a angiogênese parece favorecer não só o crescimento celular como a disseminação sistêmica, tendo, potencialmente, valor diagnóstico, prognóstico e para o desenvolvimento de novas estratégias terapêuticas. Contudo, que este papel é variável de um tumor para outro, o que provavelmente reflete diferenças biológicas entre as
Publicado em: 2010
-
16. Planejamento estrutural e simulação de partes de controle de circuitos integrados
Este trabalho tem como objetivo principal apresentar o estudo comparativo de diversas arquiteturas para a implementação de partes de controle de sistemas digitais, propondo um método de concepção orientado para a etapa de síntese no domínio estrutural. E apresentada uma descrição geral dos sistemas digitais que aborda os seguintes aspectos: a classi
Publicado em: 2010
-
17. Fundamentação computacional da matemática intervalar
A Matemática Intervalar se assenta em dois conceitos fundamentais, a propriedade da inclusão-monotonicidade de sua aritmética e uma topologia de Hausdorff definida no conjunto dos intervalos. A propriedade da inclusão-monotonicidade tem se revelado uma ferramenta útil na elaboração de algoritmos intervalares, enquanto a topologia de Hausdorff não con
Publicado em: 2010
-
18. Modelagem, verificação formal e codificação de sistemas reativos autônomos
Os sistemas computacionais são utilizados nas mais variadas áreas da vida cotidiana, desde o controle das contas bancárias até os pacientes nos hospitais. Nas aplicações onde vidas humanas ou altos investimentos estão em risco, a qualidade dos sistemas computacionais tem uma importância fundamental para eliminar ou reduzir as falhas. A utilização d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/12/2009
-
19. Desenvolvimento de um Sistema Capacitivo para Medição de Umidade de Sementes Embarcado em uma Colhedora / An Capacitive System Design to Seed Moisture Measurement embedded on a Combine
O objetivo deste trabalho foi o desenvolvimento do prototipo de um sistema de medicao de umidade de sementes, que possa ser embarcado em uma colhedora para colheita e analise de parcelas experimentais e que atenda `as necessidades das empresas de pesquisa que atuam no melhoramento de plantas. Este sistema esta disponıvel no comercio, porem e importado a
Publicado em: 2009
-
20. Autodepuração de cursos d´água: um programa de modelagem Streeter Phelps com calibração automática e correção de anaerobiose
Foi desenvolvido um programa usando Object Pascal e Matlab, para o modelo de Streeter Phelps de autodepuração. Foram incorporadas condições de contorno, sugeridas por Chapra, que propiciam: a simulação do perfil de OD e DBO5 considerando várias entradas de efluentes ao longo do curso d'água e a correção para condições de anaerobiose, condições
Rem: Revista Escola de Minas. Publicado em: 2008-06
-
21. Análise da morfometria nuclear: descrição da metodologia e o papel dos softwares de edição de imagem
A análise morfométrica de imagens é utilizada em patologia para se obter dados precisos de componentes celulares e teciduais, por meio da mensuração e contagem, que são importantes para o diagnóstico e prognóstico de vários tumores. Essa técnica, mesmo sendo ferramenta útil e de baixo custo, mantém-se restrita a poucos centros de diagnóstico ou
Jornal Brasileiro de Patologia e Medicina Laboratorial. Publicado em: 2008-02
-
22. Uma aplicação stand-alone multiplataforma para a quantificação semi-automatica da perfusão miocardica em imagens de ecocardiografia com contraste / A stand-alone multiplatform software apllication for semiautomatic quantification of myocardial perfusion on contrast echocardiografic images
Os scanners ultra-sônicos atuais oferecem ferramentas específicas para estudos de Ecocardiografia do Miocárdio por Contraste de Microbolhas (ECM) e apesar do potencial comprovado para a análise quantitativa não invasiva da perfusão miocárdica, seu uso se restringe praticamente à interpretação qualitativa (visual) das imagens clínicas. O objetivo d
Publicado em: 2008
-
23. LABSQL: Teaching of SQL Laboratory / LABSQL: laboratório de ensino de SQL
Este trabalho apresenta uma nova abordagem para avaliação automática de consultas SQL. Essa abordagem propõe uma solução para o desafio de estimular o aprendiz a aperfeiçoar a sua solução: buscando, além de uma resposta que retorna o resultado correto, uma consulta com complexidade próxima da solução ótima. Essa proposta pode ser utilizada em a
Publicado em: 2007
-
24. Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π
O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes s
Publicado em: 2007