The incorporation of hybrid systems based on renewable sources for the optimization of electricity distribution systems and planning of power supply strategies using genetic algorithms is studied. A series of characteristics of electrical sub-stations was chosen and through simulations, data were obtained for the optimization of the existing infrastructure, which provides reliability, security, economic supply and quality of service. An algorithm was obtained with the optimal configuration of various components: photovoltaic panels, batteries, AC generator, fuel cell and (...) inverter, which in the case of mono-objective optimization, minimized total system costs throughout its useful life. The most appropriate control strategy or combination of control variables was obtained to minimize costs. Keywords: Electrical distribution, Hybrid systems, Genetic algorithms. References [1]D. F. Pinzón, «Diseño óptimo de Sistemas de Distribución,» Universidad Nacional de Colombia, Bogotá, 2014. [2]F. A. Mendoza Lameda, «Diseño multiobjetivo y multietapa de sistemas de distribución de energía eléctrica aplicando algoritmos evolutivos,» Universidad de Zaragoza, Zaragoza, 2010. [3]L. Miró Hernández and R. Vizcón Toledo, «Sistema Hibrido Propuesto Para la Generación de Electricidad en un Policlínico,» Revista Avanzada Científica, vol. 9, nº 2, pp. 50-56, 2006. [4]J. Lagunas M., C. Ortega S. and P. Caratozzolo M., «Control supervisorio para sistemas híbridos de geración eléctrica basado en lógica difusa,» Boletin UE, Monterrey, 2005. [5]J. L. Bernal Agustín, «Aplicación de algoritmos genéticos al diseño óptimo de sistemas de distribución de energía eléctrica,» Universidad de Zaragoza, Zaragoza, 1998. [6]V. MIranda, J. V. Ranito and L. Proenca, «Genetic Algorithms in Optimal Multistage Distribution Network Planning, » IEEE, Porto, 1994. [7]I. Ramirez-Rosado and J. Dominguez-Navarro, «Computer Aided Desing of Power Distribution Systems: Multiobjective Mathematical Simulations» International Journal of Power and Energy Systems, vol. 19, nº 4, pp. 1801-1810, 2004. (shrink)

In this paper, a mathematical model was used to evaluate a dynamical hybrid system for optimizing and controlling the efficacy of plant-based protein in aquafeeds. Fishmeal, raw rapeseed meal, and a fermented meal with yeast and fungi were used as test ingredients for the determination of apparent digestibility coefficients of dry matter, crude protein, crude lipid, energy, and essential amino acids for olive flounder using diets containing 0.5% Cr2O3 as an inert indicator. Among all ingredients tested, FM had the (...) maximum ADC of dry matter, and energy. Fermented meals showed higher ADC. Amino acid digestibility reflects protein digestibility in most cases. Interestingly, protease, lipase, and amylase activities were better expressed in RM-Koji, RM-Yeast, and FM over RM, respectively. The current results deliver important information on nutrients and energy bioavailability in raw and fermented RM, which can be implemented to accurately formulate applied feeds for olive flounder. Compared with other applicable systems, the complexity of the approach implemented has been considerably reduced. (shrink)

We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” which increase while the system evolves but do not constrain the behaviour of the system. In this paper, we prove two main results: optimal o-minimal hybrid games are decidable; the model-checking of WCTL, an extension of CTL which can constrain the cost variables, is decidable over that model. This has to be compared with the (...) same problems in the framework of timed automata where both problems are undecidable in general, while they are decidable for the restricted class of one-clock timed automata. (shrink)

It is widely mooted that a plausible computational cognitive model should involve both symbolic and connectionist components. However, sound principles for combining these components within a hybrid system are currently lacking; the design of such systems is oftenad hoc. In an attempt to ameliorate this we provide a framework of types of hybrid systems and constraints therein, within which to explore the issues. In particular, we suggest the use of system independent constraints, whose source lies in (...) general considerations about cognitive systems, rather than in particular technological or task-based considerations. We illustrate this through a detailed examination of an interruptibility constraint: handling interruptions is a fundamental facet of cognition in a dynamic world. Aspects of interruptions are delineated, as are their precise expression in symbolic and connectionist systems. We illustrate the interaction of the various constraints from interruptibility in the different types of hybrid systems. The picture that emerges of the relationship between the connectionist and the symbolic within a hybrid system provides for sufficient flexibility and complexity to suggest interesting general implications for cognition, thus vindicating the utility of the framework. (shrink)

The distinction between such differing approaches to cognition as connectionism and rule-based models is paralleled by a distinction between two basic modes of cognition postulated in the so-called dual-process theories. Integrating these theories with insights from hybrid systems might help solve the dilemma of combining the demands of evolutionary plausibility and computational universality. No single approach alone can achieve this.

The freedom and right to associate carries distinct meanings in different systems of industrial relations, giving rise to distinct institutions. Where bargaining is based on grassroots association, rates of membership in trade unions and coverage of collective agreements are low. Where bargaining is actively endorsed by the state, high rates of membership are matched by considerable coverage. Over the last two decades, some countries, four of which are studied here, have gone through a process that I designate as hybridization, (...) in which a gap emerges between a rapidly declining rate of membership and persistent relatively high level of coverage. The Article accounts for the growing gap between coverage and membership and its implications. On the basis of extensive interviews with trade union officials, organizers, works councils’ members, Labor Chamber representatives, academics and journalists in the four countries, the Article further seeks to document and explain new organizing practices at two levels. First, why do unions seek to organize, despite persistent power accorded to collective agreements by the state? Second, which strategies are used for current recruitment and organizing practices? The discussion highlights the ongoing tension that is folded in the meeting of institutions that are aimed at sustaining the centralized system of bargaining and social partnership, with the dynamics that are characteristic of raising membership levels. Some best practices that seek to address this tension are identified, but are also characterized as difficult to emulate and extend as a general practice. (shrink)

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

Representation of quantum states by statistical ensembles on the quantum phase space in the Hamiltonian form of quantum mechanics is analyzed. Various mathematical properties and some physical interpretations of the equivalence classes of ensembles representing a mixed quantum state in the Hamiltonian formulation are examined. In particular, non-uniqueness of the quantum phase space probability density associated with the quantum mixed state, Liouville dynamics of the probability densities and the possibility to represent the reduced states of bipartite systems by marginal (...) distributions are discussed in detail. These considerations are used to study ensembles of hybrid quantum-classical systems. In particular, nonlinear evolution of a single hybrid system in a pure state and unequal evolutions of initially equivalent ensembles are discussed in the context of coupled hybrid systems. (shrink)

The aim of the paper is to present and analyze problems associated with the mechanisms of auditory perception (especially those responsible for speech perception), their specific disorders and functions. I discuss research on speech perception in the broader theoretical context of the mechanistic model of scientific explanation and the perspective of cognitive implantology that explores the possibilities for building hybrid auditory systems.

This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. (...) This division reflects the division of the book itself. The first type of results concern model-theoretic and complexity properties of hybrid logics. Since hybrid logics which we call standard are quite well investigated, the efforts focused on hybrid logics referred to as non-standard in this book. Non-standard hybrid logics are understood as modal logics with global counting operators ) whose expressive power matches the expressive power of binder-free standard hybrid logics. The relevant results comprise: 1. Establishing a sound and complete axiomatization for the modal logic K with global counting operators ), which can be easily extended onto other frame classes, 2. Establishing tight complexity bounds, namely NExpTime-completeness for the modal logic with global counting operators defined over the classes of arbitrary, reflexive, symmetric, serial and transitive frames ), MT), MD), MB), MK4) with numerical subscripts coded in binary. Establishing the exponential-size model property for this logic defined over the classes of Euclidean and equivalential frames ), MS5).Results of the second type consist of designing concrete deductive systems for standard and non-standard hybrid logics. More precisely, they include: 1. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for a rich class of binder-free standard hybrid logics. An interesting feature of indicated calculi is the nonbranching character of the rule, 2. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for non-standard hybrid logics. The internalization technique applied to a tableau calculus for the modal logic with global counting operators is novel in the literature, 3. Devising the first hybrid algorithm involving an inequality solver for modal logics with global counting operators. Transferring the arithmetical part of reasoning to an inequality solver turned out to be sufficient in ensuring termination.The book is directed to philosophers and logicians working with modal and hybrid logics, as well as to computer scientists interested in deductive systems and decision procedures for logics. Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity. (shrink)

In the field of cybernetic systems and more specifically in robotics, one of the fundamental objectives is the detection of anomalies in order to minimize loss of time. Following this idea, this paper proposes the implementation of a Hybrid Intelligent System in four steps to impute the missing values, by combining clustering and regression techniques, followed by balancing and classification tasks. This system applies regression models to each one of the clusters built on the instances of data set. (...) Subsequently, a variety of balancing techniques are applied to improve the classifier’s ability to discern whether it is in an error or a normal state. These techniques support to obtain better classification ratios in which a robot is close to error and allow us to bring the behavior back to a normal state. The experimentation is performed using a modern and public data set, which has been extracted from a component-based robotic system, in which different anomalies are induced by software in their components. (shrink)

Hybrid deduction-refutation systems are presented for four first degree entailment based logics. The hybrid systems are shown to deductively and refutationally sound and complete with respect to their logics. The proofs of completeness are presented in a uniform way. This paper builds on work in [6], where Goranko presented a deductively and refutationally sound and complete hybrid system for classical logic.

Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining ‘hybrid derivation rules’ that involve both deduction and refutation. The goal of this paper is to develop a basic theory and ‘meta-proof’ theory of hybrid deduction–refutation systems. I then illustrate the concept on a hybrid derivation system of natural deduction (...) for classical propositional logic, for which I show soundness and completeness for both deductions and refutations. (shrink)

The impact of Online Social Networks on human lives is foreseen to be very large with unprecedented amount of data and users. OSN users share their ideas, photos, daily life events, feelings and news. Since OSNs’ security and privacy challenges are more potential than ever before, it is necessary to enhance the protection and filtering approaches of OSNs contents. This paper explores OSNs’ threats and challenges, and categorize them into: account-based, URL-based and content-based threats. In addition, we analyze the existing (...) protection methods and highlight their limitations and weaknesses. Based on that, we propose a comprehensive, user-level, proactive and real-time OSNs’ protection system, called Hybrid Real-time Social Networks Protector. HRSP has three components; a user-level security protocol and two classification models. The protocol defines a structure for OSN’s cryptographic services, including encryption, access control and users’ authentication. The classification models employ machine learning, black lists, white lists and users’ feedback, in order to classify URLs into: Benign, Risk and Inappropriate classes, and contents into: Benign, Hate speech and Inappropriate classes. We constructed two data sets of 150,000 URLs and 22,000 tweets to build and test the two classification models. Results show an overall accuracy of 93.2% for the URL model and 84.4% for the content model, while the protocol implementation produces compatible size and time overhead. The components of HRSP are integrated and have compatible design with OSN platforms. (shrink)

With the stricter environmental regulations and diminishing fossil-fuel reserves, there is now higher emphasis on exploiting various renewable sources of energy. These alternative sources of energy are usually environmentally friendly and emit no pollutants. However, the capital investments for those renewable sources of energy are normally high, and there are also maintenance cost differences to be considered. Furthermore, due to the intermittency of some of these power sources, reliability issues should be addressed when integrating different power sources. In this article, (...) as an example, the design of hybrid generating systems comprising wind turbine generators, photovoltaic panels, and storage batteries is discussed based on multidisciplinary optimization. In this multisource generation system design, three design objectives are considered, that is, system cost, reliability, and pollutant emissions. (shrink)

This article examines the use of organic and mechanistic metaphors that have underpinned the modeling of national governance in the social sciences and also framed the representation of the social impact of migration. It argues that the global patterns of migration and the contemporary forms of hybrid subjectivity do not fit well with these conceptual frameworks. The limits of this framework are examined through Harald Kleinschmidt's theory of residentialism, and the outlines of an alternative conceptual frame is proposed by (...) drawing on key terms that have been developed in complexity theory. (shrink)

This work proposes a hybrid heuristic algorithm to solve the bus rapid transit intelligent scheduling problem, which is a combination of the genetic algorithm, simulated annealing algorithm, and fitness scaling method. The simulated annealing algorithm can increase the local search ability of the genetic algorithm, so as to accelerate its convergence speed. Fitness scaling can reduce the differences between individuals in the early stage of the algorithm, to prevent the genetic algorithm from falling into a local optimum through increasing (...) the diversity of the population. It can also increase the selection probability of outstanding individuals, and speed up the convergence at the late stage of the algorithm, by increasing the differences between individuals. Using real operational data of BRT Line 1 in a city of Zhejiang province, the new scheduling scheme can be obtained through algorithm simulation. The passengers’ total waiting time in a single way will be reduced by 40 h on average under the same operating cost compared with the original schedule scheme in a day. (shrink)

This paper contributes to the principled construction of tableau-based decision procedures for hybrid logic with global, difference, and converse modalities. We also consider reflexive and transitive relations. For converse-free formulas we present a terminating control that does not rely on the usual chain-based blocking scheme. Our tableau systems are based on a new model existence theorem.

Hybrid renewable energy system arises regularly in real life. By optimizing the capacity and running status of the microgrid, HRES can decrease the running cost and improve the efficiency. Such an optimization problem is generally a constrained mixed-integer programming problem, which is usually solved by linear programming method. However, as more and more devices are added into MG, the mathematical model of HRES refers to nonlinear, in which the traditional method is incapable to solve. To address this issue, we (...) first proposed the mathematical model of an HRES. Then, a coevolutionary multiobjective optimization algorithm, termed CMOEA-c, is proposed to handle the nonlinear part and the constraints. By considering the constraints and the objective values simultaneously, CMOEA-c can easily jump out of the local optimal solution and obtain satisfactory results. Experimental results show that, compared to other state-of-the-art methods, the proposed algorithm is competitive in solving HRES problems. (shrink)

We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be extended with countably many sequents. Thus, although these logics may be non-compact, strong completeness proofs are provided for infinitary hybrid versions of non-compact logics like ancestral logic and Segerberg’s modal logic with the bounded chain condition. This extends the completeness result for hybrid logics by Gargov, Passy, and Tinchev.

With the increasing degrees A.I.s and machines are applied across different social contexts, the need for implementing ethics in A.I.s is pressing. In this paper, we argue for a pluralist hybrid model for the implementation of moral A.I.s. We first survey current approaches to moral A.I.s and their inherent limitations. Then we propose the pluralist hybrid approach and show how these limitations of moral A.I.s can be partly alleviated by the pluralist hybrid approach. The core ethical decision-making (...) capacity of an A.I. based on the pluralist hybrid approach consists of two systems. The first is a deterministic algorithm system that incorporates different moral rules for making explicit moral decisions. The second is a machine learning system that calculates the value of the variables required by the application of moral principles. The pluralist hybrid system is better than the existing proposals as (i) it better addresses the moral disagreement problem of the top-down approach by including different moral principles, while (ii) it reduces the opacity of ethical decision-making compared with a bottom-up system by implementing explicit moral principles for moral decision making. (shrink)

We present an axiom system for basic hybrid logic extended with propositional quantifiers (a second-order extension of basic hybrid logic) and prove its (basic and pure) strong completeness with respect to general models.

There are many studies conducted on recommendation systems, most of which are focused on recommending items to users and vice versa. Nowadays, social networks are complicated due to carrying vast arrays of data about individuals and organizations. In today’s competitive environment, companies face two significant problems: supplying resources and attracting new customers. Even the concept of supply-chain management in a virtual environment is changed. In this article, we propose a new and innovative combination approach to recommend organizational people in (...) social networks based on organizational communication and SCM. The proposed approach uses a hybrid strategy that combines basic collaborative filtering and demographic recommendation systems, using data mining, artificial neural networks, and fuzzy techniques. The results of experiments and evaluations based on a real dataset collected from the LinkedIn social network showed that the hybrid recommendation system has higher accuracy and speed than other essential methods, even substantially has eliminated the fundamental problems with such systems, such as cold start, scalability, diversity, and serendipity. (shrink)

This book develops a general analysis and synthesis framework for impulsive and hybrid dynamical systems.

In this paper a first-order version of hybrid logic is presented. The language is obtained by adding nominals, satisfaction operators and the down-arrow binder to classical first-order modal logic. The satisfaction operators are applied to both formulas and terms. Moreover adding the universal modality is discussed. This first-order hybrid language is interpreted over varying domains and a sound and complete, fully internalized tableau system for this logic is given.

Hybrid languages are expansions of propositional modal languages which can refer to worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work has focussed on a more constrained system called $\mathscr{H}$. We show in detail that $\mathscr{H}$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations and a syntactic characterization. The key result to emerge is that $\mathscr{H}$ corresponds to the fragment of first-order logic which is invariant (...) for generated submodels. We then show that $\mathscr{H}$ enjoys interpolation, provide counterexamples for its finite variable fragments, and show that weak interpolation holds for the sublanguage $\mathscr{H}$. Finally, we provide complexity results for $\mathscr{H}$ and other fragments and variants, and sharpen known undecidability results for $\mathscr{H}$. (shrink)

Urban dwellers’ food and nutritional wellbeing are both dependent on infrastructure and can be indicative of wider wellbeing in urban contexts and societal health. This paper focuses on the multiple relationships that exist between food and infrastructure to provide a thorough theoretical and empirical grounding to urgent work on urban food security and nutrition in the context of rapid urban and nutrition transitions in the South. We argue that urban systems and food systems thinking have not been well (...) aligned, but that such alignment is not only timely and overdue but also fruitful for both thematic areas of research and policy. We draw in particular on work within wider urban political economy and political ecology that can be classified as part of the ‘infrastructural turn’ that is influential with urban studies but little acknowledged within food studies. Drawing on these literatures helps us to better understand the interrelationships between people, things and ideas that make up both infrastructure and food systems. Policy, planning and research relating to both food and urban systems cannot afford to ignore such interlinkages, though much policy still operates on the neat assumptions of progressive connectivity to ‘the grid’ and formal food retail. Instead we argue how in many urban governance systems, a variety of hybrid mechanisms—on and off the grid, public and private formal and informal—better represent how urban residents, particularly the most marginalised, meet their everyday food and infrastructural needs along a continuum of gridded and off-grid access. (shrink)

Holobionts are symbiotic assemblages composed by a macrobe host plus its symbiotic microbiota. In recent years, the ontological status of holobionts has created a great amount of controversy among philosophers and biologists: are holobionts biological individuals or are they rather ecological communities of independent individuals that interact together? Chiu and Eberl have recently developed an eco-immunity account of the holobiont wherein holobionts are neither biological individuals nor ecological communities, but hybrids between a host and its microbiota. According to their account, (...) the microbiota is not a proper part of the holobiont. Yet, it should be regarded as a set of scaffolds that support the individuality of the host. In this paper, we approach Chiu and Eberl’s account from a metaphysical perspective and argue that, contrary to what the authors claim, the eco-immunity account entails that the microorganisms that compose the host’s microbiota are proper parts of the holobiont. Second, we argue that by claiming that holobionts are hybrids, and therefore, not biological individuals, the authors seem to be assuming a controversial position about the ontology of hybrids, which are conventionally characterized as a type of biological individual. In doing so, our paper aligns with the contemporary tendency to incorporate metaphysical resources to shed light on current biological debates and builds on that to provide additional support to the consideration of holobionts as biological individuals from an eco-immunity perspective. (shrink)

From a subjective point of view, we take the existence of integrated entities, i.e., ourselves as the most unproblematic given, and blithely project such integrity onto untold many “entities” far and wide. However, from a naturalistic perspective, accounting for anything more integral than the attachments and attractions that are explicable in terms of the four fundamental forces of physics has been anything but straightforward. If we take it that the universe begins as an integral unity and explodes into progressive stages (...) of internal detachment, then we can also fathom the idea that eddies of relative detachment becoming increasingly integral. Helmuth Plessner made a powerful case for the onset of “positionality” constituting one of the major transitions in nature. Surely, the emergence of “entities” that position themselves in relation to their surround marks a decisive transition in relative levels of detachment and some would say “autonomy.” It would follow, with no less force, that where and when entities can be seen to be normatively integrated, and indeed to be the agents of their own normativity, that another threshold of detachment has been crossed. The paper introduces and explores the idea that normativity, embedded in a wide-ranging theory of natural detachment, can be considered an emergent force of nature that is requisite to accounting for levels of integration beyond that which is explicable in terms of the four fundamental forces of physics. Following this line of enquiry, we argue that the first expression of a fully, normatively-integrated life-form is neither a spoken language user nor for that matter an individual but rather the neoteny-based, Homo erectus Group. In so doing we claim to have made an inroad into embedding the force of normativity into a wide-ranging naturalist framework, to have provided philosophical anthropology with a new point of departure, and at least playfully, to have given some naturalistic grist to Hegel’s proclamation that spirit is the truth of nature. (shrink)

The yeast two‐hybrid system is a genetic method that detects protein‐protein interactions. One application is the detection by library screening of new interactors of a protein of known function. In the August issue of Nature Genetics, Fromont‐Racine et al.1 showed for the first time that the construction of the protein interaction map of a complex pathway, such as that of the mRNA splicing machinery, is now possible, because of the combination of recent technical improvements elaborated in several laboratories. With (...) a yeast cell mating procedure that increases screen efficiency, they used their complex yeast genomic library of 5 × 106 clones to test 700 × 106 interactions against 15 proteins. They identified and classified 170 potential interactors, including approximately 70 proteins of previously unknown function. More than 25% of the interactors are probably biologically relevant. The achievements of Fromont‐Racine et al. have opened the way to the systematic analysis of the protein interaction networks of the 6,000 open reading frames‐yeast proteome. This task requires, however, automation of the library screens and creation of a two‐hybrid library database. BioEssays 20:1–5, 1998. © 1998 John Wiley & Sons, Inc. (shrink)

A personalized recommender system is broadly accepted as a helpful tool to handle the information overload issue while recommending a related piece of information. This work proposes a hybrid personalized recommender system based on affinity propagation, namely, APHPRS. Affinity propagation is a semisupervised machine learning algorithm used to cluster items based on similarities among them. In our approach, we first calculate the cluster quality and density and then combine their outputs to generate a new ranking score among clusters for (...) the personalized recommendation. In the first phase, user preferences are collected and normalized as items rating matrix. This generated matrix is then clustered offline using affinity propagation and kept in a database for future recommendations. In the second phase, online recommendations are generated by applying the offline model. Negative Euclidian similarity and the quality of clusters are used together to select the best clusters for recommendations. The proposed APHPRS system alleviates problems such as sparsity and cold-start problems. The use of affinity propagation and the hybrid recommendation technique used in the proposed approach helps in improving results against sparsity. Experiments reveal that the proposed APHPRS performs better than most of the existing recommender systems. (shrink)

The hybridization of two or more energy sources into a single power station is one of the widely discussed solutions to address the demand and supply havoc generated by renewable production, heating power, and cooling power) and its energy storage issues. Hybrid energy sources work based on the complementary existence of renewable sources. The combined cooling, heating, and power is one of the significant systems and shows a profit from its low environmental impact, high energy efficiency, low economic (...) investment, and sustainability in the industry. This paper presents an economic model of a microgrid system containing the CCHP system and energy storage considering the energy coupling and conversion characteristics, the effective characteristics of each microsource, and energy storage unit is proposed. The random forest regression model was optimized by the gravitational search algorithm. The test results show that the GSA-RFR model improves prediction accuracy and reduces the generalization error. The detail of the MG network and the energy storage architecture connected to the other renewable energy sources is discussed. The mathematical formulation of energy coupling and energy flow of the MG network including wind turbines, photovoltaic, CCHP system, fuel cell, and energy storage devices are presented. The testing system has been analysed under load peak cutting and valley filling of energy utilization index, energy utilization rate, the heat pump, the natural gas consumption of the microgas turbine, and the energy storage unit. The energy efficiency costs were observed as 88.2% and 86.9% with heat pump and energy storage operation comparing with GSA-RFR-based operation costs as 93.2% and 93% in summer and winter season, respectively. The simulation results extended the rationality and economy of the proposed model. (shrink)

This article focuses on Latin American constitutionalism with two goals in mind. The first goal is to identify narratives of constitutional mixity or hybridity that have been influential in Latin America, something that habilitates a comparative analysis with references to mixed or hybrid constitutionalism in other scenarios. One narrative underlines the combination of U.S.-inspired constitutionalism with background civil law systems. Another narrative highlights the way classic regional constitutional designs feature a liberal-conservative hybridation that, some claim, continue to influence (...) constitutional dynamics up to this day. And the third narrative is associated with the establishment in regional countries of hybrid or mixed systems of judicial review. The second goal of the article, more methodological in kind, is to explore what do Latin American narratives on mixity teach in the way to clarifying the nature and implications of exercises constitutional taxonomy. As it emerges, constitutional taxonomy is a way of organizing and generating knowledge which is useful to describe, but most meaningful when addressed to provide an explanation, which is often just an antechamber to normative evaluation. Whether a particular exercise of constitutional taxonomy makes sense in a particular scenario, however, is a different matter, and the article suggests that describing, explaining and evaluating Latin American constitutions as hybrid is illuminating but also problematic in a number of ways. (shrink)