3,635 research outputs found

    Web Queries: From a Web of Data to a Semantic Web?

    Get PDF

    Model predictive control techniques for hybrid systems

    Get PDF
    This paper describes the main issues encountered when applying model predictive control to hybrid processes. Hybrid model predictive control (HMPC) is a research field non-fully developed with many open challenges. The paper describes some of the techniques proposed by the research community to overcome the main problems encountered. Issues related to the stability and the solution of the optimization problem are also discussed. The paper ends by describing the results of a benchmark exercise in which several HMPC schemes were applied to a solar air conditioning plant.Ministerio de Eduación y Ciencia DPI2007-66718-C04-01Ministerio de Eduación y Ciencia DPI2008-0581

    Distributed associative memories for high-speed symbolic reasoning

    Get PDF
    This paper briefly introduces a novel symbolic reasoning system based upon distributed associative memories which are constructed from correlation matrix memories (CMM). The system is aimed at high-speed rule-based symbolic operations. It has the advantage of very fast rule matching without the long training times normally associated with neural-network-based symbolic manipulation systems. In particular, the network is able to perform partial matching on symbolic information at high speed. As such, the system is aimed at the practical use of neural networks in high-speed reasoning systems. The paper describes the advantages and disadvantages of using CMM and shows how the approach overcomes those disadvantages. It then briefly describes a system incorporating CMM

    Predicting birth-rates through German micro-census data: a comparison of probit and Boolean regression

    Get PDF
    This paper investigates the complex interrelationships of qualitative socio-economic variables in the context of Boolean Regression. The data forming the basis for this investigation are from the German Micro-census waves of 1996 2002 and comprise about 400 000 observations. Boolean Regression is used to predict how birth events depend on the socio-economic characteristics of women and their male partners. Boolean Regression is compared to Probit. The data set is split into two halves in order to determine which method yields more accurate predictions. It turns out that Probit is superior, if a given socio-economic type is substantiated by less than about 30 observations, whereas Boolean Regression is superior to Probit, if a given socio-economic type is verified by more than about 30 observations. Therefore a "hybrid" estimation method, combining Probit and Boolean Regression, is proposed and used in the remainder of the paper. Different methods of interpreting the results of the estimations are introduced, relying mainly on simulation techniques. With respect to the reasons for the prevailing low German fertility rates, it is evident that these could be decisively higher if people had higher incomes and earned more with relative ease. From a methodological perspective, the paper demonstrates that Scientific Use Files of socio-economic data comprising hundred thousands or even millions of observations, and which have been made available recently, are the natural field of application for Boolean Regression. Possible consequences for future social and economic research are discussed. --

    A Deep Study of Fuzzy Implications

    Get PDF
    This thesis contributes a deep study on the extensions of the IMPLY operator in classical binary logic to fuzzy logic, which are called fuzzy implications. After the introduction in Chapter 1 and basic notations about the fuzzy logic operators In Chapter 2 we first characterize In Chapter 3 S- and R- implications and then extensively investigate under which conditions QL-implications satisfy the thirteen fuzzy implication axioms. In Chapter 4 we develop the complete interrelationships between the eight supplementary axioms FI6-FI13 for fuzzy implications satisfying the five basic axioms FI1-FI15. We prove all the dependencies between the eight fuzzy implication axioms, and provide for each independent case a counter-example. The counter-examples provided in this chapter can be used in the applications that need different fuzzy implications satisfying different fuzzy implication axioms. In Chapter 5 we study proper S-, R- and QL-implications for an iterative boolean-like scheme of reasoning from classical binary logic in the frame of fuzzy logic. Namely, repeating antecedents nn times, the reasoning result will remain the same. To determine the proper S-, R- and QL-implications we get a full solution of the functional equation I(x,y)=I(x,I(x,y))I(x,y)=I(x,I(x,y)), for all xx, y[0,1]y\in[0,1]. In Chapter 6 we study for the most important t-norms, t-conorms and S-implications their robustness against different perturbations in a fuzzy rule-based system. We define and compare for these fuzzy logical operators the robustness measures against bounded unknown and uniform distributed perturbations respectively. In Chapter 7 we use a fuzzy implication II to define a fuzzy II-adjunction in F(Rn)\mathcal{F}(\mathbb{R}^{n}). And then we study the conditions under which a fuzzy dilation which is defined from a conjunction C\mathcal{C} on the unit interval and a fuzzy erosion which is defined from a fuzzy implication II^{'} to form a fuzzy II-adjunction. These conditions are essential in order that the fuzzification of the morphological operations of dilation, erosion, opening and closing obey similar properties as their algebraic counterparts. We find out that the adjointness between the conjunction C\mathcal{C} on the unit interval and the implication II or the implication II^{'} play important roles in such conditions
    corecore