Computational Logic
Mostrando 13-24 de 66 artigos, teses e dissertações.
-
13. Computational impementation of Zadehs extension principle / Implementação computacional do princípio de extensão de Zadeh
In this work it will be presented a computational method, that allows to apply the fuzzy logic to the general mathematical functions, through the extension principle. This principle is used to extend the concepts of the classical theory for the theory of the fuzzy sets, that allow to treat mathematical expressions including uncertain quantity in their parame
Publicado em: 2010
-
14. Metodologia de análise de ferramentas computacionais segundo os princípios da lógica operatória / Methodology for the analysis of computational tools according to the principles of operative logic
O presente estudo é um dos resultados obtidos pelo grupo de pesquisa que realiza a Análise de Ambientes Computacionais, do ponto de vista da lógica operatória, no Nuted — Núcleo de Tecnologia Digital aplicada à Educação Faced/UFRGS. Utiliza-se a lógica operatória piagetiana como base teórica para a construção de uma metodologia de análise de
Publicado em: 2010
-
15. SIGWEB BUILDER: UMA FERRAMENTA PARA DESENVOLVIMENTO DE SIG WEB EM AMBIENTES LIVRES E GRATUITOS / SIGWEB BUILDER: A TOOL FOR DEVELOPMENT OF GIS BASED ON FREE ENVIRONMENTS
The growing volume of georeferenced data and the interest of organizations in the distribution and presentation of this data in the Internet has led to a great demand for Web Geographic Information Systems (WebGIS) development. In general, the Web GIS are characterized by simple and intuitive interface for the presentation, manipulation and creation of maps
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/12/2009
-
16. Paraconsisted computation : a logic approach to quantum / Computação paraconsistente : uma abordagem logica a computação quantica
This work provides evidences to view computational complexity as logic-relative, by introducing new models of computation through non-classical logics and by studying their features with respect to computational expressivity and efficiency. From this point of view, we suggest a new way to study the efficiency of quantum computational models consisting in the
Publicado em: 2009
-
17. Aspectos ontológicos da web-semântica: investigação para a utilização do histórico da web-semântica como contribuição para a melhoria da navegação na web
This study presents a framework for considering the problems related to web-semantics and logic as applied to the cyberspace computational context, its agents and engines for searching purposes. Highlighting some historical issues concerning the philosophy of language and logic, the theoretical background contemplates the problems and methods tackled by webs
Publicado em: 2009
-
18. Fuzzy logic applied to the modeling of the transfer of water in soils / LÃgica fuzzy aplicada à modelagem da transferÃncia de Ãgua em solos
Modeling water movement in the unsaturated soil requires a great number of parameters and variables such as the initial soil-water content, the saturated soil-water content, and the saturated hydraulic conductivity, which can relatively easily be assessed. Other functions such as hydraulic conductivity and matric potential which are nonlinear functions of th
Publicado em: 2009
-
19. Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST
This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IE
Publicado em: 2009
-
20. DECISION SUPPORT SYSTEM FOR THE DIAGNOSIS OF FAULTS IN POWER TRANSFORMERS / SISTEMA DE APOIO À DECISÃO PARA O DIAGNÓSTICO DE FALTAS EM TRANSFORMADORES DE POTÊNCIA
Given the complexity of the Brazilian energy matrix and in particular of the whole interconnected electrical power system, it is essential to ensure that the equipment, from generation to final consumers, operates in a satisfactory way and high levels of reliability. In accordance with the restructuring of the sector and its integration in a competitive mark
Publicado em: 2009
-
21. A study on computer simulation of cross ventilation in dwellings and its application in architectural design. / Um estudo sobre a simulação computacional da ventilação cruzada em habitações e sua aplicação no projeto arquitetônico.
Nos últimos anos, devido à crescente preocupação com a sustentabilidade, foram despendidos mundialmente grandes esforços para a redução do consumo de energia pelos sistemas prediais. Em países tropicais como o Brasil, a ventilação natural é uma maneira efetiva e econômica para melhorar o conforto térmico dentro de habitações. Ela contribui par
Publicado em: 2009
-
22. Decision making system with the purpose to buy and sell equities using Fuzzy logic. / Sistema de tomada de decisão para compra e venda de ativos financeiros utilizando lógica fuzzy.
O Sistema Proteu Fuzzy é um sistema de tomada de decisão para compra e venda de ativos financeiros que visa auxiliar a figura do analista técnico (de modo imparcial e racional), informando quando existe uma boa oportunidade para se comprar ou vender um determinado ativo (e.g. ações). Utilizaram-se, como base para as suas decisões, técnicas de intelig�
Publicado em: 2008
-
23. The Interval Constructor on classes of ML-algebras
Monoidal logic, ML for short, which formalized the fuzzy logics of continuous t-norms and their residua, has arisen great interest, since it has been applied to fuzzy mathematics, artificial intelligence, and other areas. It is clear that fuzzy logics basically try to represent imperfect or fuzzy information aiming to model the natural human reasoning. On th
Publicado em: 2008
-
24. Xenia: a security system for grid computing based on trust chains / Xenia: um sistema de segurança para grades computacionais baseado em cadeias de confiança
Grid Computing Systems are inherently more vulnerable to security threats than traditional systems, since they potentially encompass a large number of users, resources, and applications managed by different administrative domains. Authentication and authorization are imperative for grid systems. Since scalability and distribution are major concerns on grid e
Publicado em: 2008