729 resultados para Lógica fuzzy
Resumo:
This paper proposes a methodology to increase the probability of delivering power to any load point through the identification of new investments. The methodology uses a fuzzy set approach to model the uncertainty of outage parameters, load and generation. A DC fuzzy multicriteria optimization model considering the Pareto front and based on mixed integer non-linear optimization programming is developed in order to identify the adequate investments in distribution networks components which allow increasing the probability of delivering power to all customers in the distribution network at the minimum possible cost for the system operator, while minimizing the non supplied energy cost. To illustrate the application of the proposed methodology, the paper includes a case study which considers an 33 bus distribution network.
Resumo:
Optimization methods have been used in many areas of knowledge, such as Engineering, Statistics, Chemistry, among others, to solve optimization problems. In many cases it is not possible to use derivative methods, due to the characteristics of the problem to be solved and/or its constraints, for example if the involved functions are non-smooth and/or their derivatives are not know. To solve this type of problems a Java based API has been implemented, which includes only derivative-free optimization methods, and that can be used to solve both constrained and unconstrained problems. For solving constrained problems, the classic Penalty and Barrier functions were included in the API. In this paper a new approach to Penalty and Barrier functions, based on Fuzzy Logic, is proposed. Two penalty functions, that impose a progressive penalization to solutions that violate the constraints, are discussed. The implemented functions impose a low penalization when the violation of the constraints is low and a heavy penalty when the violation is high. Numerical results, obtained using twenty-eight test problems, comparing the proposed Fuzzy Logic based functions to six of the classic Penalty and Barrier functions are presented. Considering the achieved results, it can be concluded that the proposed penalty functions besides being very robust also have a very good performance.
Resumo:
A avaliação de projectos na área do VIH permite gerar informação pertinente para que os gestores consigam adaptar as intervenções ao tipo de população-alvo. Organizações internacionais como a ONUSIDA e a OMS têm trabalhado na elaboração de documentos de referência que orientem os processos de avaliação, mas continua a existir escassez de estudos sobre os efeitos e impacto das intervenções no âmbito do VIH. À semelhança de muitos países europeus, em Portugal tem-se registado um aumento da proporção de casos de infecção pelo VIH na comunidade de HSH. Este panorama alerta para a necessidade de se investir na intervenção, nomeadamente no acesso à informação, à prevenção da doença e ao acesso aos cuidados de saúde. O presente trabalho teve como principal objectivo realizar um estudo de avaliabilidade do projecto europeu “Investigação epidemiológica e prevenção do VIH/ISTs entre Homens que têm Sexo com Homens – SIALON II”. Para a elaboração deste estudo recorreu-se a uma abordagem de estudo de caso, uma vez que é o tipo de estudo mais indicado na pesquisa qualitativa para a elaboração de avaliações em saúde. A recolha de dados para a realização da análise de contexto, construção do modelo lógico do projecto e respectiva validação foi feita através da análise de dados secundários recolhidos na fase de pesquisa formativa do projecto, de análise documental e da realização de entrevistas a informadores-chave. Da análise de contexto foi possível verificar que as associações da comunidade local têm tido um papel activo na participação em projectos que proporcionaram, nos últimos anos, a recolha de dados bio-comportamentais e na organização de campanhas de prevenção junto da comunidade HSH. A par do contexto legislativo nacional alguns estudos desenvolvidos na temática da discriminação e estigma indicam que ainda existem problemas desta índole contra a comunidade LGBT em Portugal. A construção do modelo lógico e a respectiva validação junto de informadores-chave representou a coerência lógica entre os recursos, as actividades, os produtos e os resultados intermédios e finais do projecto europeu. Os recursos financeiros são escassos e apesar da sobrecarga de trabalho os recursos humanos encontram-se motivados. O ponto forte do projecto é a oportunidade de se conhecer melhor a população HSH, enquanto as fragilidades passam pela questão do financiamento e dos problemas de estigma e preconceito face à homossexualidade e ao VIH. O principal factor do contexto apresentado que podia influenciar a implementação do projecto na área de estudo foi a questão da mentalidade e da pouca abertura por parte da comunidade em falar da sua saúde sexual. Com a implementação do projecto espera-se que a população HSH se sinta sensibilizada para esta problemática e que o teste ao VIH comece a fazer parte de uma rotina de controlo e acompanhamento regular. Recomenda-se o estudo da não aceitação em participar no projecto por parte dos proprietários dos locais de encontro gay; a introdução de avaliação contínua no ciclo de vida dos projectos; a promoção do envolvimento da comunidade na avaliação de impacto das intervenções em saúde; e a reavaliação da alocação de recursos para a sustentabilidade da participação das organizações da comunidade nos projectos. Palavras-chave: VIH, Estudo de avaliabilidade, Análise de Contexto, Análise Lógica, Modelo Lógico.
Resumo:
The following article describes an approach covering the variety of opinions and uncertainties of estimates within the chosen technique of decision support. Mathematical operations used for assessment of options are traced to operations of working with functions that are used for assessment of possible options of decision-making. Approach proposed could be used within any technique of decision support based on elementary mathematical operations. In this article the above-mentioned approach is described under analytical hierarchy process.
Resumo:
Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and program execution using Coq, an interactive theorem prover based on Higher-Order Logic (HOL) with dependent types. This implementation can be used to specify and develop correct software based on L-fuzzy relations such as fuzzy controllers. We give an overview of lattices, L-fuzzy relations, category theory and dependent type theory before describing our implementation. In addition, we provide examples of program executions based on our framework.
Resumo:
Classical relational databases lack proper ways to manage certain real-world situations including imprecise or uncertain data. Fuzzy databases overcome this limitation by allowing each entry in the table to be a fuzzy set where each element of the corresponding domain is assigned a membership degree from the real interval [0…1]. But this fuzzy mechanism becomes inappropriate in modelling scenarios where data might be incomparable. Therefore, we become interested in further generalization of fuzzy database into L-fuzzy database. In such a database, the characteristic function for a fuzzy set maps to an arbitrary complete Brouwerian lattice L. From the query language perspectives, the language of fuzzy database, FSQL extends the regular Structured Query Language (SQL) by adding fuzzy specific constructions. In addition to that, L-fuzzy query language LFSQL introduces appropriate linguistic operations to define and manipulate inexact data in an L-fuzzy database. This research mainly focuses on defining the semantics of LFSQL. However, it requires an abstract algebraic theory which can be used to prove all the properties of, and operations on, L-fuzzy relations. In our study, we show that the theory of arrow categories forms a suitable framework for that. Therefore, we define the semantics of LFSQL in the abstract notion of an arrow category. In addition, we implement the operations of L-fuzzy relations in Haskell and develop a parser that translates algebraic expressions into our implementation.
Resumo:
Lattice valued fuzziness is more general than crispness or fuzziness based on the unit interval. In this work, we present a query language for a lattice based fuzzy database. We define a Lattice Fuzzy Structured Query Language (LFSQL) taking its membership values from an arbitrary lattice L. LFSQL can handle, manage and represent crisp values, linear ordered membership degrees and also allows membership degrees from lattices with non-comparable values. This gives richer membership degrees, and hence makes LFSQL more flexible than FSQL or SQL. In order to handle vagueness or imprecise information, every entry into an L-fuzzy database is an L-fuzzy set instead of crisp values. All of this makes LFSQL an ideal query language to handle imprecise data where some factors are non-comparable. After defining the syntax of the language formally, we provide its semantics using L-fuzzy sets and relations. The semantics can be used in future work to investigate concepts such as functional dependencies. Last but not least, we present a parser for LFSQL implemented in Haskell.
Resumo:
Tesis (Maestría en Ciencias de la Ingeniería Eléctrica con Especialidad en Potencia) - U.A.N.L, 1999
Resumo:
Tesis (Maestría en Ciencias Computacionales con Especialidad en Teleinformática) U.A.N.L.
Resumo:
Tesis (Maestro en Ciencias de la Ingeniería Eléctrica con Especialidad en Control) U.A.N.L.
Resumo:
UANL
Resumo:
UANL
Resumo:
UANL
Resumo:
UANL
Resumo:
UANL