944 resultados para Logic, Medieval.
Resumo:
A lógica fuzzy admite infinitos valores lógicos intermediários entre o falso e o verdadeiro. Com esse princípio, foi elaborado neste trabalho um sistema baseado em regras fuzzy, que indicam o índice de massa corporal de animais ruminantes com objetivo de obter o melhor momento para o abate. O sistema fuzzy desenvolvido teve como entradas as variáveis massa e altura, e a saída um novo índice de massa corporal, denominado Índice de Massa Corporal Fuzzy (IMC Fuzzy), que poderá servir como um sistema de detecção do momento de abate de bovinos, comparando-os entre si através das variáveis linguísticas )Muito BaixaM, ,BaixaB, ,MédiaM, ,AltaA e Muito AltaM. Para a demonstração e aplicação da utilização deste sistema fuzzy, foi feita uma análise de 147 vacas da raça Nelore, determinando os valores do IMC Fuzzy para cada animal e indicando a situação de massa corpórea de todo o rebanho. A validação realizada do sistema foi baseado em uma análise estatística, utilizando o coeficiente de correlação de Pearson 0,923, representando alta correlação positiva e indicando que o método proposto está adequado. Desta forma, o presente método possibilita a avaliação do rebanho, comparando cada animal do rebanho com seus pares do grupo, fornecendo desta forma um método quantitativo de tomada de decisão para o pecuarista. Também é possível concluir que o presente trabalho estabeleceu um método computacional baseado na lógica fuzzy capaz de imitar parte do raciocínio humano e interpretar o índice de massa corporal de qualquer tipo de espécie bovina e em qualquer região do País.
Resumo:
A concepção filosófica do mundo se inicia com os gregos sintetizados por Platão e Aristóteles. Para o primeiro o mundo físico é aparente e para se chegar à verdade é preciso se lembrar das idéias originais que determinam seu significado. Para o segundo as coisas físicas são dirigidas pelas idéias e para entendê-las é preciso a lógica. Durante o helenismo a escola de Alexandria elabora o neoplatonismo, a base da Patrística. Após a queda de Roma, os filósofos bizantinos guardam a herança clássica. A Igreja constrói uma visão neoplatônica da cristandade, a Escolástica. No oriente os persas também sofreram a influência grega. Entre os árabes do Oriente o pensamento neoplatônico orienta filósofos e religiosos de forma que para eles a razão e a fé não se separam. Aí a ciências se desenvolvem na física, na alquimia, na botânica, na medicina, na matemática e na lógica, até serem subjugadas pela doutrina conservadora dos otomanos. Na Espanha mulçumana sem as restrições da teologia, a filosofia de Aristóteles é mais bem compreendida do que no resto do Islã. Também aí todas as ciências se desenvolvem rápido. Mas a Espanha sucumbe aos cristãos. Os árabes e judeus apresentam Aristóteles à Europa Ocidental que elabora um Aristóteles cristão. A matemática, a física experimental, a alquimia e a medicina dos árabes influenciam intensamente o Ocidente. Os artesãos constroem instrumentos cada vez mais precisos, os navegadores constroem navios e mapas mais eficientes e minuciosos, os armeiros calculam melhor a forma de lançamento e pontaria de suas armas e os agrimensores melhor elaboram a medida de sua área de mapeamento. Os artistas principalmente italianos, a partir dos clássicos gregos e árabes, criam a perspectiva no desenho, possibilitando a matematização do espaço. Os portugueses, junto com cientistas árabes, judeus e italianos, concluem um projeto de expansão naval e ampliam os horizontes do mundo. Os pensadores italianos, como uma reação à Escolástica, constroem um pensamento humanista influenciado pelo pensamento grego clássico original e pelos últimos filósofos bizantinos. Por todas essas mudanças se inicia a construção de um novo universo e de um novo método, que viria décadas mais tarde.
Resumo:
The aim of this study was to develop a laboratory method for time response evaluation on electronically controlled spray equipment using Programmable Logic Controllers (PLCs). For that purpose, a PLC controlled digital drive inverter was set up to drive an asynchronous electric motor linked to a centrifugal pump on a experimental sprayer equipped with electronic flow control. The PLC was operated via RS232 serial communication from a PC computer. A user program was written to control de motor by adjusting the following system variables, all related to the motor speed: time stopped; ramp up and ramp down times, time running at a given constant speed and ramp down time to stop the motor. This set up was used in conjunction with a data acquisition system to perform laboratory tests with an electronically controlled sprayer. Time response for pressure stabilization was measured while changing the pump speed by +/-20%. The results showed that for a 0.2 s ramp time increasing the motor speed, as an example, an AgLogix Flow Control system (Midwest Technologies Inc.) took 22 s in average to readjust the pressure. When decreasing the motor speed, this time response was down to 8 s. General results also showed that this kind of methodology could make easier the definition of standards for tests on electronically controlled application equipment.
Resumo:
The philosophical discussion has been present throughout the whole history of reason, for philosophy and reason have been always closely linked. In the following work, Reason, origin, crises and contemporary answers I go into the history of the rational and demonstrative thought, focusing on how rationality can be thought about in contemporary philosophy. To answer this question I discuss the principle of philosophy, the mythical period and the thoughts of Heraclito , Parmenides , Plato and Aristotle in relation to reason and rationality. Also discussed is the medieval period and the philosophical use of logic and the criticism of Aristotle s thoughts, especially focusing on the criticism of Hegel and Luckasiewicz of the non contradiction principle. Lastly I discuss the development of reason in present day philosophy, mainly how modern logics could be putting at stake Aristotle s model of reason
Resumo:
This paper describes a novel approach for mapping lightning processes using fuzzy logic. The estimation process is carried out using a fuzzy system based on Sugeno's architecture. Simulation results confirm that proposed approach can be efficiently used in these types of problem.
Resumo:
From the geotechnical standpoint, it is interesting to analyse the soil texture in regions with rough terrain due to its relation with the infiltration and runoff processes and, consequently, the effect on erosion processes. The purpose of this paper is to present a methodology that provides the soil texture spatialization by using Fuzzy logic and Geostatistic. The results were correlated with maps drawn specifically for the study area. The knowledge of the spatialization of soil properties, such as the texture, can be an important tool for land use planning in order to reduce the potential soil losses during rain seasons. (c) 2011 Published by Elsevier Ltd. Selection and peer-review under responsibility of Spatial Statistics 2011
Resumo:
O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados
Resumo:
O texto pretende realizar uma interpretação da narrativa de viagem ao Paraíso Terrestre cistercience Vida de Santo Amaro, à luz da história portuguesa entre os séculos XIII e XV, apontando as relações existentes entre pensamento histórico e pensamento mítico na passagem do processo de Reconquista para os Descobrimentos, vivenciados ao longo da história das diferentes versões escritas da fonte analisada.
Resumo:
Este artigo objetiva apresentar, de forma introdutória, a possibilidade e a necessidade de diálogo entre a linguagem pictórica e o discurso científico da Geografia. Para tal, apresenta alguns elementos do alfabeto das pinturas de imagens a partir tanto da semiótica quanto da gestalt, analisadas por Fayga Ostrower e Donis Dondis. O exercício interpretativo dá-se a partir do conceito de paisagem aplicado sobre as imagens elaboradas artisticamente por grandes pintores da humanidade, contextualizando-as a partir dos elementos técnicos e tecnológicos que existiam na época e no lugar, e da forma como esses interferem nos processos de elaboração e interpretação das obras. Para exemplificar isso, utilizam-se três pinturas elaboradas em diferentes períodos, a partir da Europa medieval até o mundo moderno, apresentando, assim, os aspectos gerais que levavam à mudança de leitura espacial do território produzido a partir da consolidação do mundo urbano, industrial e baseado na lógica da mercadoria.
Resumo:
Os últimos séculos da Idade Média, nomeadamente os séculos XIII, XIV e XV, são marcados na Europa por uma crescente preocupação em fixar por escrito os diversos saberes e eventos, preocupação que, ligada às tentativas de sistematizar a organização dos reinos, contribui significativamente para a ascensão das línguas vulgares como línguas dos mais variados gêneros - de documentos jurídicos e administrativos a textos de caráter filosófico e histórico. em Portugal, o empenho em deixar registrado o passado numa língua acessível tem início no século XIV e culmina no século XV, quando se procura organizar a memória através da escrita e se começa a construir uma perspectiva portuguesa sobre o passado. O objetivo do presente texto é mapear alguns índices que revelam a importância que os portugueses dos séculos XIV e XV conferem à ordenação do passado, sobretudo a partir da escolha do que devia e do que não podia cair no esquecimento.
Resumo:
The crossflow filtration process differs of the conventional filtration by presenting the circulation flow tangentially to the filtration surface. The conventional mathematical models used to represent the process have some limitations in relation to the identification and generalization of the system behavior. In this paper, a system based on fuzzy logic systems is developed to overcome the problems usually found in the conventional mathematical models. Imprecisions and uncertainties associated with the measurements made on the system are automatically incorporated in the fuzzy approach. Simulation results are presented to justify the validity of the proposed approach.
Resumo:
It can be observed that the number and the complexity of the application's domains, where the Paraconsistent Annotated Logic has been used, have grown a lot in the last decade. This increase in the complexity of the application's domain is an extra challenge for the designers of such systems, once there are not suitable computer hardware to run paraconsistent systems. This work proposes a new hardware architecture for the building Paraconsistent system.