Computational Logic
Mostrando 1-12 de 66 artigos, teses e dissertações.
-
1. Construction duration predictive model based on factorial analysis and fuzzy logic
Resumo A definição do prazo de execução de obras residenciais verticais ocorre ainda na fase de estudo de viabilidade econômica e financeira do empreendimento e, na maioria das vezes, de forma empírica, aumentando as incertezas e os riscos para o cumprimento do prazo estabelecido. No entanto, existem ferramentas de inteligência computacional que podem
Ambient. constr.. Publicado em: 03/10/2019
-
2. Os modelos na ciência: traços da evolução histórico-epistemológica
Resumo O que é um modelo? Neste artigo apresentamos alguns aspectos históricos e epistemológicos da noção de modelo desde sua inserção na ciência até a sua concepção mais contemporânea. O cenário é limitado às ciências formais e factuais. Analisando algumas discussões entre filósofos da ciência e cientistas, a respeito das diferentes noç�
Rev. Bras. Ensino Fís.. Publicado em: 10/06/2019
-
3. Fuzzy logic and hospital admission due to respiratory diseases using estimated values by mathematical model
Resumo Internações por doenças respiratórias geram custos financeiros para o Sistema de Saúde além de custos sociais. O objetivo deste estudo foi elaborar e validar um modelo linguístico “fuzzy” para previsão do número de internações por doenças respiratórias. Foi construído um modelo “fuzzy” para predição de internações por pneumon
Ciênc. saúde coletiva. Publicado em: 2019-03
-
4. Estimating the average length of hospitalization due to pneumonia: a fuzzy approach
Exposure to air pollutants is associated with hospitalizations due to pneumonia in children. We hypothesized the length of hospitalization due to pneumonia may be dependent on air pollutant concentrations. Therefore, we built a computational model using fuzzy logic tools to predict the mean time of hospitalization due to pneumonia in children living in São
Braz J Med Biol Res. Publicado em: 29/08/2014
-
5. DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach
Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understan
Mat. Res.. Publicado em: 04/07/2014
-
6. Genoma comparison problems / Problemas de comparação de genomas
Esta tese aborda três aspectos da comparação entre genomas: primeiro, eventos de transposição; segundo, eventos de reversão e de reversão quase-simétrica; terceiro, estudo da distância entre genomas sem ligação com algum tipo específico de rearranjo. O estudo do primeiro aspecto, eventos de transposição, permitiu a criação de um novo algoritm
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/02/2012
-
7. Metodologia para implementação de controle supervisório modular local em controladores lógicos programáveis / Methodology for implementation of supervisory control local modular in programmable logic control
Currently, manufacturing automation has assumed an increasingly important role within the industry and the problems of automated control systems have become increasingly complex. Thus, the traditional use of empirical methods heavily base on the experience of the programmer can lead to inappropriate or ineffective solutions. In this case, the Supervisory Con
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/07/2011
-
8. Virtual boundary method applied to a problem of computational aerolastic analysis / Método da fronteira virtual aplicado em um problema de análise aeroelástica computacional
The behavior study of a profile of a typical aerolastic section, with Reynolds in range of micro aerial vehicle, is the main focus of this work, taking as objective the estimation of parameters of flutter phenomenon. The research analyzes of the flow of a incompressible fluid on a body (cylinder and airfoil profile) at steady state and oscillating with const
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/02/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. Probabilistic approach for yield analysis of dynamic logic circuits
In deep-submicrometer technologies, process variability challenges the design of high yield integrated circuits. While device critical dimensions and threshold voltage shrink, leakage currents drastically increase, threatening the feasibility of reliable dynamic logic gates. Electrical level statistical characterization of this kind of gates is essential for
Publicado em: 2011
-
12. Multi-agent simulation modeling the collective behavior of crowds in panic / Simulação multi-agentes modelando o comportamento coletivo de pânico em multidões
Sociology deals with organized and institucionalized social behavior. However, a distinct type of behavior becomes more relevant in the social studies field. It is an non-institucionalized behavior called Collective Behavior. Since it is not dictated by norms and social rules, its understanding and the building of a computational model present as challenges.
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/03/2010