Exact and heuristic methods for solving Boolean games

Boolean games are a framework for reasoning about the rational behavior of agents whose goals are formalized using propositional formulas. Compared to normal form games, a well-studied and related game framework, Boolean games allow for an intuitive and more compact representation of the agents’ goals. So far, Boolean games have been mainly studied in the literature from the Knowledge Representation perspective, and less attention has been paid on the algorithmic issues underlying the computation of solution concepts. Although some suggestions for solving specific classes of Boolean games have been made in the literature, there is currently no work available on the practical performance. In this paper, we propose the first technique to solve general Boolean games that does not require an exponential translation to normal-form games. Our method is based on disjunctive answer set programming and computes solutions (equilibria) of arbitrary Boolean games. It can be applied to a wide variety of solution concepts, and can naturally deal with extensions of Boolean games such as constraints and costs. We present detailed experimental results in which we compare the proposed method against a number of existing methods for solving specific classes of Boolean games, as well as adaptations of methods that were initially designed for normal-form games. We found that the heuristic methods that do not require all payoff matrix entries performed well for smaller Boolean games, while our ASP based technique is faster when the problem instances have a higher number of agents or action variables.

Using Answer Set Programming for Solving Boolean Games

Boolean games are a framework for reasoning about the rational behaviour of agents, whose goals are formalized using propositional formulas. They offer an attractive alternative to normal-form games, because they allow for a more intuitive and more compact encoding. Unfortunately, however, there is currently no general, tailor-made method available to compute the equilibria of Boolean games. In this paper, we introduce a method for finding the pure Nash equilibria based on disjunctive answer set programming. Our method is furthermore capable of finding the core elements and the Pareto optimal equilibria, and can easily be modified to support other forms of optimality, thanks to the declarative nature of disjunctive answer set programming. Experimental results clearly demonstrate the effectiveness of the proposed method.

Treatment of natural gas streams with ionic liquids

Being of high relevance for many technological applications, the solubility of sour gases in solvents of low volatility is still poorly described and understood. Aiming at purifying natural gas streams, the present work contributes for a more detailed knowledge and better understanding of the solubility of sour gases in these fluids, in particularly on ionic liquids. A new apparatus, developed and validated specially for phase equilibria studies of this type of systems, allowed the study of the solvent basicity, molecular weight and polarity influence on the absorption of carbon dioxide and methane. The non ideality of carbon dioxide solutions in ionic liquids and other low volatile solvents, with which carbon dioxide is known to form electron donor-acceptor complexes, is discussed, allowing the development of a correlation able to describe the carbon dioxide solubility in low volatile solvents. Furthermore, the non ideality of solutions of light compounds, such as SO2, NH3 and H2S, in ionic liquids is also investigated and shown to present negative deviations to the ideality in the liquid phase, that can be predicted by the Flory-Huggins model. For last, the effect of the ionic liquid polarity, described through the Kamlet-Taft parameters, on the CO2/CH4 and H2S/CH4 selectivities is also evaluated and shown to stand as a viable tool for the selection of ionic liquids with enhanced selectivities.

Biodiesel fuel formulation

O consumo de energia a nível mundial aumenta a cada dia, de forma inversa aos recursos fósseis que decrescem de dia para dia. O sector dos transportes é o maior consumidor deste recurso. Face ao actual cenário urge encontrar uma solução renovável e sustentável que permita não só, diminuir a nossa dependência de combustíveis fósseis mas fundamentalmente promover a sua substituição por energias de fontes renováveis. O biodiesel apresenta-se na vanguarda das alternativas aos combustiveis derivados do petróleo, para o sector dos transportes, sendo considerado uma importante opção a curto prazo, uma vez que o seu preço pode ser competitivo com o diesel convencional, e para a sua utilização o motor de combustão não necessita de alterações. O biodiesel é uma mistura líquida, não tóxica, biodegradável de ésteres de ácidos gordos, sem teor de enxofre ou compostos aromáticos, apresenta boa lubricidade, alto número de cetano, e origina emissões gasosas mais limpas. O presente trabalho contribui para um melhor conhecimento da dependência das propriedades termofisicas do biodiesel com a sua composição. A publicação de novos dados permitirá o desenvolvimento de modelos mais fiáveis na previsão do comportamento do biodiesel. As propriedades densidade e viscosidade são o espelho da composição do biodiesel, uma vez que dependem directamente da matéria prima que lhe deu origem, mais do que do processo de produção. Neste trabalho os dados medidos de densidade e viscosidade de biodiesel foram testados com vários modelos e inclusivamente foram propostos novos modelos ajustados para esta família de compostos. Os dados medidos abrangem uma ampla gama de temperaturas e no caso da densidade também foram medidos dados a alta pressão de biodiesel e de alguns ésteres metilico puros. Neste trabalho também são apresentados dados experimentais para o equilíbrio de fases sólido-liquído de biodiesel e equlibrio de fases líquidolíquido de alguns sistemas importantes para a produção de biodiesel. Ambos os tipos de equilíbrio foram descritos por modelos desenvolvidos no nosso laboratório. Uma importância especial é dado aqui a propriedades que dependem do perfil de ácidos gordos da matéria-prima além de densidade e viscosidade; o índice de iodo e temperature limite de filtrabalidade são aqui avaliados com base nas considerações das normas. Os ácidos gordos livres são um sub-produto de refinação de óleo alimentar, que são removidos na desodoração, no processo de purificação do óleo. A catálise enzimática é aqui abordada como alternativa para a conversão destes ácidos gordos livres em biodiesel. Estudou-se a capacidade da lipase da Candida antartica (Novozym 435) para promover a esterificação de ácidos gordos livres com metanol ou etanol, utilizando metodologia de superfície de resposta com planeamento experimental. Avaliou-se a influência de diversas variáveis no rendimento da reacção.

Mercaptans extraction from jet-fuel streams using ionic liquids

Desulfurization is one of the most important processes in the refining industry. Due to a growing concern about the risks to human health and environment, associated with the emissions of sulfur compounds, legislation has become more stringent, requiring a drastic reduction in the sulfur content of fuel to levels close to zero (< 10 ppm S). However, conventional desulfurization processes are inefficient and have high operating costs. This scenario stimulates the improvement of existing processes and the development of new and more efficient technologies. Aiming at overcoming these shortcomings, this work investigates an alternative desulfurization process using ionic liquids for the removal of mercaptans from "jet fuel" streams. The screening and selection of the most suitable ionic liquid were performed based on experimental and COSMO-RS predicted liquid-liquid equilibrium data. A model feed of 1-hexanethiol and n-dodecane was selected to represent a jet-fuel stream. High selectivities were determined, as a result of the low mutual solubility between the ionic liquid and the hydrocarbon matrix, proving the potential use of the ionic liquid, which prevents the loss of fuel for the solvent. The distribution ratios of mercaptans towards the ionic liquids were not as favorable, making the traditional liquid-liquid extraction processes not suitable for the removal of aliphatic S-compounds due to the high volume of extractant required. This work explores alternative methods and proposes the use of ionic liquids in a separation process assisted by membranes. In the process proposed the ionic liquid is used as extracting solvent of the sulfur species, in a hollow fiber membrane contactor, without co-extracting the other jet-fuel compound. In a second contactor, the ionic liquid is regenerated applying a sweep gas stripping, which allows for its reuse in a closed loop between the two membrane contactors. This integrated extraction/regeneration process of desulfurization produced a jet-fuel model with sulfur content lower than 2 ppm of S, as envisaged by legislation for the use of ultra-low sulfur jet-fuel. This result confirms the high potential for development of ultra-deep desulfurization application.

Detection of non-steroidal anti-inflammatory drugs in aqueous effluents using ionic liquids

Significant improvements in human health have been achieved through the increased consumption of pharmaceutical drugs. However, most of these active pharmaceutical ingredients (APIs) are excreted by mammals (in a metabolized or unchanged form) into the environment. The presence of residual amounts of these contaminants was already confirmed in aqueous streams since treatment processes either wastewater treatment plants (WWTPs) or sewage treatment plants (STPs) are not specifically designed for this type of pollutants. Although they are present in aqueous effluents, they are usually at very low concentrations, most of the times below the detection limits of analytical equipment used for their quantification, hindering their accurate monitoring. Therefore, the development of a pre-concentration technique in order to accurately quantify and monitor these components in aqueous streams is of major relevance. This work addresses the use of liquid-liquid equilibria, applying ionic liquids (ILs), for the extraction and concentration of non-steroidal anti-inflammatory drugs (NSAIDs) from aqueous effluents. Particularly, aqueous biphasic systems (ABSs) composed of ILs and potassium citrate were investigated in the extraction and concentration of naproxen, diclofenac and ketoprofen from aqueous media. Both the extraction efficiency and concentration factor achievable by these systems was determined and evaluated. Within the best conditions, extraction efficiencies of 99.4% and concentration factors up to 13 times were obtained.

Presidential power and congressional acquiescence in the "war" on terrorism: a new constitutional equilibrium?

US presidents have expanded executive power in times of war and emergency,sometimes aggressively so. This article builds on the application of punctuated equilibria theory by Burnham (1999 and Ackerman (1999). Underpinning this theory is the notion that rapid changes in - or external shocks to - domestic and international society impose new and insistent demands on the state. In so doing, they produce important and decisive moments of institutional mobilization and creativity, disrupt a pre-existing, relatively stable, equilibrium between the Congress and the president, and precipitate decisions or nondecisions by the electorate and political leaders that define the contours for action when the next crisis or external shock occurs. The article suggests that the combination of President George W. Bush's presidentialist doctrine, 9/11 and the 'war' on terror has consolidated a new, constitutional equilibrium. While some members of Congress contest the new order, the Congress collectively has acquiesced in its own marginalization. The article surveys a wide range of executive power assertions and legislative retreats. It argues that power assertions generally draw on precedent: on, for example, a tradition of wartime presidential extraconstitutional leadership extending to presidents, such as John Adams and Abraham Lincoln,as well as to Cold War and post-Cold War presidentialism.

Introduction: the impact of the 'War on Terror' on executive–legislative relations: a global perspective

In democratic polities, constitutional equilibria or balances of power between the executive and the legislature shift over time. Normative and empirical political theorists have long recognised that war, civil unrest, economic and political crises, terrorist attacks, and other events strengthen the power of the executive, disrupt and threaten constitutional politics, and damage democratic institutions: crises require swift action and executives are thought to be more capable than parliaments and legislatures of taking such actions. The terrorist attacks on New York and Washington on 11 September 2001 and the ensuing so-called 'war on terror' declared by President Bush clearly constituted a crisis, not only in the United States but also in other political systems, in part because of the US's hegemonic position in defining and shaping many other states' foreign and domestic policies. Dicey, Schmitt, and Rossiter suggest that critical events and political crises inevitably trigger the concentration of (emergency) powers in the hands of the executive. Aristotle and Machiavelli questioned the inevitability of this process. This article and the articles that follow in this Special Issue utilise empirical evidence, through the use of case studies of the United States, the United Kingdom, Russia, Australia, Israel, Italy and Indonesia, to address this debate. Specifically, the issue explores to what extent the external shock or crisis of 9/11 (and other terrorist attacks) and the ensuing 'war on terror' significantly changed the balance of executive-legislative relations from t (before the crisis) to t+1 (after the crisis) in these political systems, all of which were the targets of actual or foiled terrorist attacks. The most significant findings are that the shock of 9/11 and the 'war on terror' elicited varied responses by national executives and legislatures/parliaments and thus the balance of executive-legislative relations in different political systems; that, therefore, executive-legislative relations are positive rather than zero-sum; and that domestic political contexts conditioned these institutional responses.

Estratégias de comercialização de energia elétrica em mercados liberalizados

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Exciting dynamical behavior in a network of two coupled rings of Chen oscillators

We study exotic patterns appearing in a network of coupled Chen oscillators. Namely, we consider a network of two rings coupled through a “buffer” cell, with Z3×Z5 symmetry group. Numerical simulations of the network reveal steady states, rotating waves in one ring and quasiperiodic behavior in the other, and chaotic states in the two rings, to name a few. The different patterns seem to arise through a sequence of Hopf bifurcations, period-doubling, and halving-period bifurcations. The network architecture seems to explain certain observed features, such as equilibria and the rotating waves, whereas the properties of the chaotic oscillator may explain others, such as the quasiperiodic and chaotic states. We use XPPAUT and MATLAB to compute numerically the relevant states.

A coinfection model for HIV and HCV

We study a mathematical model for the human immunodeficiency virus (HIV) and hepatites C virus (HCV) coinfection. The model predicts four distinct equilibria: the disease free, the HIV endemic, the HCV endemic, and the full endemic equilibria. The local and global stability of the disease free equilibrium was calculated for the full model and the HIV and HCV submodels. We present numerical simulations of the full model where the distinct equilibria can be observed. We show simulations of the qualitative changes of the dynamical behavior of the full model for variation of relevant parameters. From the results of the model, we infer possible measures that could be implemented in order to reduce the number of infected individuals.

Strategic trade policy and signaling costs with differentiated goods

We consider a trade policy model, where the costs of the home firm are private information but can be signaled through the output levels of the firm to a foreign competitor and a home policymaker. We compute the separating equilibrium and the Bayesian Nash equilibrium, and we compare the subsidies, firms’ expected profits and home government’s welfare in both equilibria, for different values of the own price effect parameter.

Cournot model with investments to change the market size

We present a new deterministic dynamical model on the market size of Cournot competitions, based on Nash equilibria of R&D investment strategies to increase the size of the market of the firms at every period of the game. We compute the unique Nash equilibrium for the second subgame and the profit functions for both firms. Adding uncertainty to the R&D investment strategies, we get a new stochastic dynamical model and we analyse the importance of the uncertainty to reverse the initial advantage of one firm with respect to the other.

Symmetry and order parameter dynamics of the human odometer

Bipedal gaits have been classified on the basis of the group symmetry of the minimal network of identical differential equations (alias cells) required to model them. Primary bipedal gaits (e.g., walk, run) are characterized by dihedral symmetry, whereas secondary bipedal gaits (e.g., gallop-walk, gallop- run) are characterized by a lower, cyclic symmetry. This fact has been used in tests of human odometry (e.g., Turvey et al. in P Roy Soc Lond B Biol 276:4309–4314, 2009, J Exp Psychol Hum Percept Perform 38:1014–1025, 2012). Results suggest that when distance is measured and reported by gaits from the same symmetry class, primary and secondary gaits are comparable. Switching symmetry classes at report compresses (primary to secondary) or inflates (secondary to primary) measured distance, with the compression and inflation equal in magnitude. The present research (a) extends these findings from overground locomotion to treadmill locomotion and (b) assesses a dynamics of sequentially coupled measure and report phases, with relative velocity as an order parameter, or equilibrium state, and difference in symmetry class as an imperfection parameter, or detuning, of those dynamics. The results suggest that the symmetries and dynamics of distance measurement by the human odometer are the same whether the odometer is in motion relative to a stationary ground or stationary relative to a moving ground.

Effects of treatment, awareness and condom use in a coinfection model for HIV and HCV in MSM

We develop a new a coinfection model for hepatitis C virus (HCV) and the human immunodeficiency virus (HIV). We consider treatment for both diseases, screening, unawareness and awareness of HIV infection, and the use of condoms. We study the local stability of the disease-free equilibria for the full model and for the two submodels (HCV only and HIV only submodels). We sketch bifurcation diagrams for different parameters, such as the probabilities that a contact will result in a HIV or an HCV infection. We present numerical simulations of the full model where the HIV, HCV and double endemic equilibria can be observed. We also show numerically the qualitative changes of the dynamical behavior of the full model for variation of relevant parameters. We extrapolate the results from the model for actual measures that could be implemented in order to reduce the number of infected individuals.