Orientador: Luís Roberto Almeida Gabriel Filho / Coorientador: Fernando Ferrari Putti / Coorientadora: Camila Pires Cremasco Gabriel / Resumo: Normalmente a horticultura utiliza de irrigação artificial para suprir as demandas hídricas das plantas, mas os produtores, em geral, não são criteriosos na utilização das lâminas de reposição, o que acarreta desperdício de água e energia elétrica aumentando os custos de produção. Outro fato é a crescente quantidade de pesquisas sobre a utilização de água tratada magneticamente (ATM) empregada nas atividades agrícolas. Estas pesquisas têm mostrado aprimoramentos produtivos para diversas culturas. Este trabalho apresenta um Sistema Baseado em Regras Fuzzy (SBRF) para avaliação da cultura do rabanete para a lâmina de irrigação a 100% da evapotranspiração. Foram utilizados para o SBRF dados experimentais obtidos por experimento que avaliou a influência da água tratada magneticamente no desenvolvimento de rabanetes. O experimento foi realizado durante os meses de setembro a novembro de 2013, em uma casa de vegetação nas dependências do Departamento de Engenharia Rural da UNESP, Faculdade Ciências Agronômicas, Fazenda Experimental Lageado, localizada no município de Botucatu, São Paulo. Para a elaboração do SBRF, definiu-se um processador de entrada (fuzzificador), um conjunto de regras linguísticas, um método de inferência fuzzy e um processador de saída (defuzzificador), gerando um número real como saída. Este SBRF representa uma função F:X_1×X_2⊆R⟶R^10. O contradomínio R^10 representa as dez variáveis de saída avaliadas: Número de Folhas (NF), Comprimento da Raiz (CR), Diâmetro... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Normally the horticulture uses artificial irrigation to meet the water demands of the plants, but the producers, in General, are not careful in the use of replacement blades, which carries waste of water and electricity by increasing the production costs. Another fact is the growing amount of research on the use of magnetically treated water (MTW) employed in agricultural activities. These researches have shown production enhancements to diverse cultures. This paper presents a Fuzzy rule-based System (FRBS) for evaluation of the culture of radish in two production cycles for the blade of the 100% irrigation of evapotranspiration. Were used for the FRBS the experimental data obtained by experiment that evaluated the influence of magnetically treated water in the development of radishes. The experiment was conducted during the months of September to November 2013, in a greenhouse on the premises of the Department of Rural Engineering of UNESP, Agronomic Sciences College, the Experimental Farm Lageado, located in the city of Botucatu, São Paulo. For FRBS, defined an input processor (fuzzificator), a set of linguistic rules, a fuzzy inference method and an output processor (defuzzificator), generating a real number as output. This FRBS represents a function F: X × X ⊆ ℝ⟶ℝ . The codomain ℝ, represents the ten evaluated output variables: number of leaves (NF), length of root (CR), diameter of the bulb (DB), length of the bulb (CB), Green root Weight (PVR), Green Leaf Weight (... (Complete abstract click electronic access below) / Mestre

El presente trabajo -Intuición y rigor en la resolución de problemas de optimización. Un análisis desde el enfoque ontosemiótico de la cognición e instrucción matemática- proporciona un aporte teórico con un estudio de la intuición, en particular de lo que llamo “intuición optimizadora”, en el marco del enfoque ontosemiótico de la cognición e instrucción matemática; y un aporte práctico, con el propósito de contribuir a mejorar la calidad de la educación matemática, haciendo propuestas concretas con fundamento matemático y didáctico para la inclusión de problemas de optimización en la educación básica, de modo que desde la niñez se estimule una intuición optimizadora sin descuidar el rigor, como parte de una formación científica integral. / Tesis

\"As Investigações lógicas\", de Edmund Husserl, têm sua origem na busca por uma nova fundamentação para a lógica. Tal objetivo resulta, em grande parte, de insatisfações em relação à compreensão da lógica como ramificação da psicologia, que, para Husserl, culminaria em contradição. Em oposição a essa teoria, o autor argumenta em prol de uma lógica verdadeira em si, possível apenas a partir de uma compreensão da verdade como ideia, independente de toda facticidade empírica. Husserl recusa-se, contudo, a subscrever à noção de uma idealidade hipostatizada, parte de uma realidade própria, separada do mundo sensível. Como é possível, então, sustentar simultaneamente essas duas posições? Para responder a essa questão e clarificar a relação entre as esferas do real e do ideal na obra, examinarei o texto das Investigações dando especial atenção ao lugar ocupado pela idealidade. Mostrarei, assim, que a compreensão husserliana de conceitos como expressão, ato mental e intencionalidade permite ao autor atribuir uma posição peculiar aos objetos ideais, que existem como objetos legítimos, sem situá-los num domínio totalmente separado daquele dos objetos da sensibilidade. / Edmund Husserl\'s \"Logical Investigations\" have their starting point in the search for a new foundation for Logic. This goal springs to a great extent from dissatisfactions regarding the prevailing theory of Logic as a branch of Psychology, which results, to the author, in blatant contradiction. Opposing this theory, Husserl argues for a logical science that is true in itself, possible only when truth is taken as an idea, free from all empirical facticity. At the same time, the author refuses to subscribe to the idea of a hypostatized ideality, pertaining to its own realm, separate from the world of sensibility. How is it possible, then, to concurrently support these two positions? To answer this question and clarify the relationship between the spheres of real and ideal, we will delve into the Logical Investigations with an eye to the role fulfilled by ideality in their pages. In doing this, I will show that Husserl\'s understanding of concepts such as expression, act and intentionality allow him to assign a special role to ideal objects, which exist as legitimate objects, without consigning them to a realm completely foreign to that of the objects of sensory perception.

Made available in DSpace on 2019-03-29T23:38:57Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-05-29 / The Wireless Sensor Networks (WSN) are composed of sensor nodes capable of collecting (feeling), processing and transmitting data related to some phenomena in the environment. Despite their several potential uses, the WSN have strict limitations, mainly related to energy consumption during data transmission. One of the possible approaches to optimize the use of limited resources in WSN is to improve the performance of routing protocols. In this research, the fuzzy inference system is used to estimate the degree of quality of the routes, based on the number of hops and on the energy level of the nodes that make up a route. Thus, the routing protocols can use the degree of quality of the routes at the time of selecting one of several possible paths. An ant colony optimization algorithm is used to adjust, automatically, the rule base of the fuzzy system in order to improve the estimation strategy of the quality of routes with the objective of increasing the energy efficiency of the network. Simulations using routing protocols with multiple paths, Directed Diffusion, Location Aware Routing Protocol and Ad hoc On-Demand Multipath Distance Vector, show that the proposal is effective from the standpoint of four relevant metrics: number of messages delivered to the sink node, the average cost per message, packet loss rate and life span of the first sensor node. Keywords: Wireless Sensor Networks. Multipath Routing Protocols. Fuzzy Inference Systems. Ant Colony Optimization. Energy Efficiency. / As Redes de Sensores sem Fio (RSSF) são compostas por nós sensores capazes de coletar (sentir), processar e transmitir dados relacionados a algum fenômeno no ambiente. Apesar das várias possibilidades de uso, as RSSF possuem rigorosas limitações, principalmente com o consumo de energia durante a transmissão dos dados. Uma das possíveis abordagens para a otimização do uso dos recursos limitados em RSSF é a melhoria do desempenho dos protocolos de roteamento. Nesta pesquisa, um sistema de inferência fuzzy é usado para estimar o grau de qualidade das rotas, com base no número de saltos e no nível de energia dos nós que compõem uma rota. Dessa forma, os protocolos de roteamento podem utilizar o grau de qualidade das rotas no momento da seleção de um dos vários caminhos possíveis. Um algoritmo de otimização por colônia de formigas é utilizado para ajustar, de forma automática, a base de regras do sistema fuzzy, a fim de melhorar a estratégia de estimação da qualidade das rotas, com o objetivo de aumentar a eficiência de energia da rede. As simulações, utilizando os protocolos de roteamento com múltiplos caminhos, Directed Diffusion, Location Aware Routing Protocol e Ad hoc On-Demand Distance Vector Multipath, evidenciam que a proposta é eficaz do ponto de vista de quatro relevantes métricas: número de mensagens entregues ao nó sorvedouro, custo médio por mensagem, taxa de perda de pacotes e tempo de vida do primeiro nó sensor. Palavras-chave: Redes de Sensores sem Fio. Protocolos com Múltiplos Caminhos. Sistemas de Inferência Fuzzy. Otimização por Colônia de Formigas. Eficiência de Energia.

O controle de flutter é um problema cuja solução é almejada ao longo de décadas e que ainda se apresenta como um desafio considerável. Os desafios residem basicamente no projeto de dispositivos de atuação eficientes e na síntese das leis de controle. A lógica difusa se mostra como uma técnica promissora e efetiva de controle. Neste trabalho é proposto um controlador difuso para o controle de flutter em uma asa com aerofólio do tipo NACA 0012, tendo como superfície de controle um flap. Este modelo físico é acoplado a um dispositivo elástico de sustentação da asa - DESA, que possibilita os movimentos de arfagem e deslocamento vertical. Para o desenvolvimento do modelo matemático são utilizadas as Equações de Lagrange e o Princípio do Trabalho Virtual. A determinação dos parâmetros estruturais do conjunto ASA/DESA é realizada a partir de um modelo em elementos finitos e de uma análise modal experimental. Os modos de vibrar são determinados através do ERA - Eigensystem Realization Algorithm. O estudo da atuação do controlador difuso é realizado através de simulação computacional e de análise experimental. Dois modelos difusos são utilizados na construção do controlador, o de Mamdani e o de Takagi-Sugeno-Kang. Os resultados obtidos mostram que o controlador difuso, para os dois modelos, é bastante eficiente no controle do flutter. / Flutter control is a problem for which solution has been longed for decades and still is a considerable challenge. The challenges reside basically in the development of devices with efficient performance and in the synthesis of the control laws. Fuzzy logic appears as a promising and effective technique of control. In this work, a fuzzy controller is proposed for flutter control of a wing with NACA 0012 airfoil section, having as control surface a trailing edge flap. This physical model is coupled to the elastic support device of the wing - DESA, which allows plunge and pitch displacements. For the development of the mathematical modeI, the Lagrange Equations and the Principle of the Virtual Work are used. The determination of the structural parameters of the Wing/DESA device is accomplished starting from a finite element model and from an experimental modal analysis. The vibrating modes are obtained using the Eigensystem Realization AIgorithm - ERA. The study of the fuzzy controllers performance is accomplished through simulation and experimental analysis. Two fuzzy models are used for the controller: the Mamdani and the Takagi- Sugeno-Kang. The results show that both fuzzy controllers are quite efficient in the control of flutter.

Made available in DSpace on 2016-12-23T14:33:36Z (GMT). No. of bitstreams: 1 dissertacao.pdf: 1887742 bytes, checksum: f51c09ec0938d73cd3ba9127f01996a1 (MD5) Previous issue date: 2006-10-20 / New mobile computing technologies and the increasing use of portable devices make computers more present on human life activities with each passing day. This favors the rising of a new computing paradigm: the Ubiquitous Computing. In this scenario, context-aware mobile applications stand out among others, improving user interaction by supporting new adaptive behavior according to context changes. Recent research points out the need for developing specialized middleware infrastructure for the management of dynamic contextual information. These new infrastructures provide the adequate facilities for the development of a large range of contextaware mobile applications, in several domains. This work proposes the design of a middleware to support the development and execution of context-aware applications. The architecture is defined by using relevant functional requirements of this new class of applications. Related aspects of the middleware s main components are presented. This work also presents the design and implementation of an essential component of the proposed middleware, responsable for the inference of new context information and context perception. / O desenvolvimento de novas tecnologias de computação móvel e o crescente emprego de dispositivos portáteis têm tornado a computação cada vez mais presente na realização de diversas atividades humanas, favorecendo o surgimento de um novo paradigma computacional: a Computação Ubíqua. Nesse novo cenário, destacam-se as aplicações móveis sensíveis ao contexto, que aprimoram a interação com os seus usuários ao se beneficiarem do uso de informações contextuais. Pesquisas recentes destacam a necessidade do desenvolvimento de infra-estruturas especializadas de middleware para o gerenciamento de informações contextuais dinâmicas. Essas novas infra-estruturas fornecem facilidades adequadas ao desenvolvimento de uma ampla variedade de aplicações móveis, sensíveis ao contexto, em domínios diversos. Este trabalho propõe uma arquitetura de middleware para suporte ao desenvolvimento e execução de aplicações móveis sensíveis ao contexto. A arquitetura é definida a partir do levantamento de requisitos funcionais representativos para essa nova classe de aplicações. Aspectos relacionados aos principais componentes da arquitetura são apresentados. O trabalho também apresenta o projeto e implementação de um dos componentes essenciais da arquitetura proposta, responsável pela inferência de novas informações contextuais e pela percepção de contexto.

Made available in DSpace on 2014-06-12T17:38:10Z (GMT). No. of bitstreams: 2 arquivo5618_1.pdf: 3048249 bytes, checksum: 5404a746aa7aac46d2fad86ada13af25 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O conhecimento prévio do comportamento do consumo de energia é de grande importância para uma distribuidora de energia. Com base nesta informação, é possível definir estratégias para operação e planejamento de seu sistema elétrico, além de possibilitar o acompanhamento da relação entre contratos e consumo de energia, evitando com isso a ocorrência de penalidades. O consumo de energia é influenciado por diversas variáveis. Notadamente, em horizontes de curto prazo o consumo de energia é influenciado por variáveis climáticas, como temperatura e precipitação. Este trabalho apresenta modelos que utilizam a temperatura como variável de entrada para solucionar o problema de previsão de carga diária no horizonte de curto prazo, realizada em 7 e 14 dias para um conjunto de barramentos do sistema de distribuição da CELPE Companhia Energética de Pernambuco. As técnicas aplicadas no desenvolvimento dos modelos de previsão foram: Redes Neurais Artificiais com topologia de MLP (Multi Layer Perceptrons) totalmente conectadas e treinadas com algoritmo Levenberg-Marquardt; e ANFIS (Adaptive Networkbased Fuzzy Inference System) com o método subctrative clustering . Os métodos Média Simples e Ensemble foram aplicados para combinação dos resultados dos modelos propostos. Os modelos criados foram avaliados para previsão de carga do ano de 2009 e comparados entre si. Os resultados encontrados demonstram que os modelos apresentaram performances satisfatórias

Orientador: Hércules de Araújo Feitosa / Banca: Edélcio Gonçalves de Souza / Banca: Mauri Cunha do Nascimento / Resumo: Dentre as diversas lógicas não-clássicas, que complementam o cálculo de predicados de primeira ordem, destacamos as lógicas moduladas. As lógicas moduladas são caracterizadas pela inclusão de um novo quantificador, chamado modulado, que tem a incumbência de interpretar aspectos indutivos de quantificadores das linguagens naturais. Como um caso particular de lógica modulada, a lógica do muito formaliza a noção intuitiva de "muitos". O quantificador do muito é representado por G. Assim, uma sentença do tipo Gxα(x) deve ser entendida como "muitos indivíduos satisfazem a propriedade α". Semanticamente, a noção de muitos está associada a uma estrutura matemática denominada família fechada superiormente e própria. Seja E um conjunto não vazio. Uma família própria fechada superiormente F em E é tal que: (i) F ⊆ P(E); (ii) E ∈ F; (iii) ∅ ∉ F; (iv) A ∈ F e A ⊆ B ⇒ B ∈ F. Intuitivamente, F caracteriza os conjuntos que possuem 'muitos' elementos. E, assim, o universo E possui muitos elementos; o ∅ não possui muitos elementos; e se A possui muitos elementos, então todo conjunto que contém A também possui muitos elementos. Com elementos sintáticos que caracterizam linguisticamente estas propriedades de F, pode-se verificar que a lógica do muito é correta e completa para uma estrutura de primeira ordem estendida por uma família própria fechada superiormente. A lógica do muito foi originalmente introduzida em um sistema dedutivo hilbertiano, baseado apenas em axiomas e regras de dedução. Neste trabalho, desenvolvemos um outro sistema dedutivo para a lógica do muito, porém num sistema de tablôs. Demonstramos, naturalmente, que esse novo sistema é equivalente ao sistema axiomático original. / Abstract: Among the several non classical logics that complement the classical first-order logic, we detach the Modulated Logics. This class of logics is characterized by extending the classical logic by the introduction of a new generalized quantifier, called modulated quantifier, that has the attribution of interpreting some inductive aspects of quantifiers in any natural language. As a particular case of Modulated Logic, the Logic of Many formalize the intuitive notion of "many". The quantifier of many is represented by G. Thus, a sentence of the type Gxα(x) must be understood like "many individuals satisfy the property α". Semantically, the notion of many is associated with a mathematical structure named proper superiorly closed family. Let E be a non empty set. A proper superiorly closed family F in E is such that: (i) F ⊆ P(E); (ii) E ∈ F; (iii) ∅ ∉ F; (iv) A ∈ F e A ⊆ B ⇒ B ∈ F. Intuitively, F characterizes the sets which have "many" elements. The empty set ∅ does not have many elements. And if A has many elements, then any set which contains A, also has many elements. The logic of many has syntactical elements that caracterize linguisticaly these properties of F. We can verify that the Logic of Many is correct and complete for a first order structure extended by a proper superiorly closed family. The Logic of Many was originally introduced in a Hilbertian deductive system, based only on axioms and rules. In this work, we developed another deductive system for the Logic of Many, but in a tableaux system. We proof that this new system is equivalent to the original one. / Mestre

O controle de flutter é um problema cuja solução é almejada ao longo de décadas e que ainda se apresenta como um desafio considerável. Os desafios residem basicamente no projeto de dispositivos de atuação eficientes e na síntese das leis de controle. A lógica difusa se mostra como uma técnica promissora e efetiva de controle. Neste trabalho é proposto um controlador difuso para o controle de flutter em uma asa com aerofólio do tipo NACA 0012, tendo como superfície de controle um flap. Este modelo físico é acoplado a um dispositivo elástico de sustentação da asa - DESA, que possibilita os movimentos de arfagem e deslocamento vertical. Para o desenvolvimento do modelo matemático são utilizadas as Equações de Lagrange e o Princípio do Trabalho Virtual. A determinação dos parâmetros estruturais do conjunto ASA/DESA é realizada a partir de um modelo em elementos finitos e de uma análise modal experimental. Os modos de vibrar são determinados através do ERA - Eigensystem Realization Algorithm. O estudo da atuação do controlador difuso é realizado através de simulação computacional e de análise experimental. Dois modelos difusos são utilizados na construção do controlador, o de Mamdani e o de Takagi-Sugeno-Kang. Os resultados obtidos mostram que o controlador difuso, para os dois modelos, é bastante eficiente no controle do flutter. / Flutter control is a problem for which solution has been longed for decades and still is a considerable challenge. The challenges reside basically in the development of devices with efficient performance and in the synthesis of the control laws. Fuzzy logic appears as a promising and effective technique of control. In this work, a fuzzy controller is proposed for flutter control of a wing with NACA 0012 airfoil section, having as control surface a trailing edge flap. This physical model is coupled to the elastic support device of the wing - DESA, which allows plunge and pitch displacements. For the development of the mathematical modeI, the Lagrange Equations and the Principle of the Virtual Work are used. The determination of the structural parameters of the Wing/DESA device is accomplished starting from a finite element model and from an experimental modal analysis. The vibrating modes are obtained using the Eigensystem Realization AIgorithm - ERA. The study of the fuzzy controllers performance is accomplished through simulation and experimental analysis. Two fuzzy models are used for the controller: the Mamdani and the Takagi- Sugeno-Kang. The results show that both fuzzy controllers are quite efficient in the control of flutter.

Texture is one of the most primitive characteristics of objects. Digital images represent this property as local intensity variations in the image. Consequently, texture is an attribute that is innately present in virtually every digital image; mathematically describing this information leads to a myriad of different applications, from food qualities processing up to medical image analysis. It comes as no surprise that texture has been one of the most researched topics in the computer vision community, and it continues to receive a great deal of attention. One of the most classic approaches to model texture is the statistically-based co-occurrence matrix method. The present dissertation work revolves around a clever variation of the co- occurrence matrix that incorporates rotation-invariance, a very desirable property for texture classification. This variation is taken from previous work in the literature and is used to propose a robust fuzzy orthoimage classifier. Moreover, the original rotation- invariant approach is modified though a generalization and benchmarked with one of the most widely-used texture description methods in the recent literature: the Local Binary Patterns approach. The results indicate that Fuzzy Logic is a powerful tool to build texture-based classifiers that have to deal with diversely-sourced image samples; the results also indicate that the generalization proposal, which originates the here named CCM and RCM texture description methods, offers a significant performance boost that is comparable, and even better than Local Binary Patterns approach when comparing accuracy scores. / A textura é uma das características mais básicas dos objetos. As imagens digitais representam esta propriedade como variações de intensidade locais na imagem. Consequentemente, a textura é um atributo que se encontra presente de forma inerente em praticamente todas as imagens digitais; descrever matematicamente esta informação produz uma série de inúmeras aplicações, desde processamento da qualidade dos alimentos até análise de imagens médicas. Não é surpreendente que a pesquisa em textura seja um dos tópicos mais pesquisados pela comunidade de visão por computador, e ainda continua recebendo muita atenção. Um dos modelos mais clássicos para modelar textura é o método estatístico da matriz de co- ocorrência. Esta dissertação gira em torno a uma modificação inteligente da matriz de co-ocorrência que inclui invariância à rotação, uma característica muito desejável para a classificação de texturas. Esta variação toma-se de um trabalho na literatura e é utilizada para propor um classificador nebuloso de imagens aéreas. Além disso, a definição matemática original é modificada através da generalização dos descritores e se realiza um estudo comparativo com um dos métodos de descrição de textura mais usados na literatura recente: o método Local Binary Patterns. Os resultados indicam que a Lógica Nebulosa é uma ferramenta poderosa para construir classificadores baseados em textura que precisem trabalhar com amostras tomadas de diversas fontes; os resultados também indicam que a proposta de generalização, que leva o nome de método CCM e RCM, oferece um incremento significativo no desempenho que é comparável, inclusive superior, ao método Local Binary Patterns, quando comparadas as taxas de acerto para ambos os métodos.