Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences

The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mechanism takes a scenario describing the constituent interacting components of a system and translates it into a useful mathematical model. This paper presents a novel compositional modelling approach aimed at building model repositories. It furthers the field in two respects. Firstly, it expands the application domain of compositional modelling to systems that can not be easily described in terms of interacting functional components, such as ecological systems. Secondly, it enables the incorporation of user preferences into the model selection process. These features are achieved by casting the compositional modelling problem as an activity-based dynamic preference constraint satisfaction problem, where the dynamic constraints describe the restrictions imposed over the composition of partial models and the preferences correspond to those of the user of the automated modeller. In addition, the preference levels are represented through the use of symbolic values that differ in orders of magnitude.

Hamiltonian constraint analysis of vector field theories with spontaneous Lorentz symmetry breaking

Recent investigations of various quantum-gravity theories have revealed a variety of possible mechanisms that lead to Lorentz violation. One of the more elegant of these mechanisms is known as Spontaneous Lorentz Symmetry Breaking (SLSB), where a vector or tensor field acquires a nonzero vacuum expectation value. As a consequence of this symmetry breaking, massless Nambu-Goldstone modes appear with properties similar to the photon in Electromagnetism. This thesis considers the most general class of vector field theories that exhibit spontaneous Lorentz violation-known as bumblebee models-and examines their candidacy as potential alternative explanations of E&M, offering the possibility that Einstein-Maxwell theory could emerge as a result of SLSB rather than of local U(1) gauge invariance. With this aim we employ Dirac's Hamiltonian Constraint Analysis procedure to examine the constraint structures and degrees of freedom inherent in three candidate bumblebee models, each with a different potential function, and compare these results to those of Electromagnetism. We find that none of these models share similar constraint structures to that of E&M, and that the number of degrees of freedom for each model exceeds that of Electromagnetism by at least two, pointing to the potential existence of massive modes or propagating ghost modes in the bumblebee theories.

Should voters be afraid of hard budget constraint legislation? fiscal responsibility law in brazilian municipalities

This manuscript demonstrates that voters have nothing to be afraid of when new hard budget constraint legislation is implemented. Our claim is that this kind of legislation reduces the asymmetry of information between voters and incumbents over the budget and, as a consequence, the latter have incentives to increase the supply of public goods. As a nationwide institutional innovation, the Fiscal Responsibility Law (FRL) is exogenous to all municipalities; therefore, there is no self-selection bias in its implementation. We show that public goods expenditure increases after the FRL. Second, this increase occurs in municipalities located in the country’s poorest region. Third, our findings can be extended to the supply of public goods because the higher the expenditure with health and education, the greater the probability of incumbents being re-elected. Finally, there exists a “de facto” higher supply of public goods in education (number of per capita classrooms) after the FRL.

Neutralizing the tendency to the overvaluation of the exchange rate or assuming a foreign constraint and asking for foreign savings

The objectives of these notes are two. The first objective is to analyze whether the strategy of growth with absorption of foreign savings leads to a trajectory of the economy that is sustainable in the long run. The second one is to evaluate the possibility of success of a policy of administered devaluation of the exchange rate in Brazil.

Graphical constraints: a graphical user interface for constraint problems

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solutions are assignments of values to all variables that satisfy all the constraints. Many real world problems may be modelled by means of constraints. The range of problems that can use this representation is very diverse and embraces areas like resource allocation, scheduling, timetabling or vehicle routing. Constraint programming is a form of declarative programming in the sense that instead of specifying a sequence of steps to execute, it relies on properties of the solutions to be found, which are explicitly defined by constraints. The idea of constraint programming is to solve problems by stating constraints which must be satisfied by the solutions. Constraint programming is based on specialized constraint solvers that take advantage of constraints to search for solutions. The success and popularity of complex problem solving tools can be greatly enhanced by the availability of friendly user interfaces. User interfaces cover two fundamental areas: receiving information from the user and communicating it to the system; and getting information from the system and deliver it to the user. Despite its potential impact, adequate user interfaces are uncommon in constraint programming in general. The main goal of this project is to develop a graphical user interface that allows to, intuitively, represent constraint satisfaction problems. The idea is to visually represent the variables of the problem, their domains and the problem constraints and enable the user to interact with an adequate constraint solver to process the constraints and compute the solutions. Moreover, the graphical interface should be capable of configure the solver’s parameters and present solutions in an appealing interactive way. As a proof of concept, the developed application – GraphicalConstraints – focus on continuous constraint programming, which deals with real valued variables and numerical constraints (equations and inequalities). RealPaver, a state-of-the-art solver in continuous domains, was used in the application. The graphical interface supports all stages of constraint processing, from the design of the constraint network to the presentation of the end feasible space solutions as 2D or 3D boxes.

Growth performance and energetic metabolism of pacu, Piaractus mesopotamicus (Holmberg, 1887), fed diets supplemented with ammonium metavanadate

Vanadium compounds mimic most of the metabolic effects of insulin, suggesting that it might be useful to improve utilization of dietary carbohydrate. This work evaluated the effect of dietary ammonium metavanadate (H(4)NO(3)V) on the growth performance and energy metabolism of pacu, an omnivorous South America characin. Two hundred and eighty-eight fish were distributed into four blocks according to the body weight (21.8 +/- 1.7, 28.5 +/- 2.0, 28.4 +/- 1.9, 35.7 +/- 1.9 g), stocked in 24 plastic tanks and fed twice daily with isonitrogenous and isoenergetic diets containing six levels of H(4)NO(3)V (0, 10, 50, 100, 300 and 1000 mg kg(-1)) for 60 days. Increasing levels of dietary ammonium metavanadate did not improve growth (P > 0.05), and the highest level of inclusion (1000 mg kg(-1)) reduced performance (P < 0.05). Blood glucose levels decreased (P < 0.05) in fish fed 300 and 1000 mg kg(-1) H(4)NO(3)V, but no differences were observed in other blood metabolites. A slight increase in muscle lipid content was observed in fish fed a diet containing 300 mg kg(-1) H(4)NO(3)V. Based on the results of this study, there is no benefit in supplementing pacu diets with metavanadate.

Electricity, hot water and cold water production from biomass. Energetic and economical analysis of the compact system of cogeneration run with woodgas from a small downdraft gasifier

Wood gasification technologies to convert the biomass into fuel gas stand out. on the other hand, producing electrical energy from stationary engine is widely spread, and its application in rural communities where the electrical network doesn't exist is very required. The recovery of exhaust gases (engine) is a possibility that makes the system attractive when compared with the same components used to obtain individual heat such as electric power. This paper presents an energetic alternative to adapt a fixed bed gasifier with a compact cogeneration system in order to cover electrical and thermal demands in a rural area and showing an energy solution for small social communities using renewable fuels. Therefore, an energetic and economical analysis from a cogeneration system producing electric energy, hot and cold water, using wooden gas as fuel from a small-sized gasifier was calculated. The energy balance that includes the energy efficiency (electric generation as well as hot and cold water system; performance coefficient and the heat exchanger, among other items), was calculated. Considering the annual interest rates and the amortization periods, the costs of production of electrical energy, hot and cold water were calculated, taking into account the investment, the operation and the maintenance cost of the equipments. Crown Copyright (C) 2010 Published by Elsevier Ltd. All rights reserved.

Energetic efficiency programs and power quality

This paper presents the results of the investigations that were done to identify and to quantify the power quality problems resultant from the actions done to improve the efficiency on electric energy consumption. The efficiencies of several electric devices were evaluated, among them: fluorescent bulb, electronic ballast, soft-starter, temperature controller for showers, dimmer and others. This evaluation allowed to establish a cause/effect analysis of the power quality.

Growth hormone and heart failure: Oxidative stress and energetic metabolism in rats

Several evidences point for beneficial effects of growth hormone (GH) in heart failure (HF). Taking into account that HF is related with changes in myocardial oxidative stress and in energy generation from metabolic pathways, it is important to clarify whether GH increase or decrease myocardial oxidative stress and what is its effect on energetic metabolism in HF condition. Thus, this study investigated the effects of two different doses of GH on energetic metabolism and oxidative stress in myocardium of rats with HF. Male Wistar rats (n = 25) were submitted to aortic stenosis (AS). The HF was evidenced by tachypnea and echocardiographic criteria around 28 weeks of AS. The rats were then randomly divided into three groups: (HF) with HF, treated with saline (0.9% NaCl); (HF-GHI), treated with 1 mk/kg/day recombinant human growth hormone (rhGH), and (HF-GH2) treated with 2 mg/kg/day rhGH. GH was injected, subcutaneously, daily for 2 weeks. A control group (sham; n = 12), with the same age of the others rats was evaluated to confirm data for AS. HF had lower IGF-I (insulin-like growth factor-I) than sham-operated rats, and both GH treatments normalized IGF-I level. HF-GH1 animals had lower lipid hydroperoxide (LH), LH/total antioxidant substances (TAS) and glutathione-reductase than HF. Glutathione peroxidase (GSH-Px), hydroxyacyl coenzyme-A dehydrogenase, lactate dehydrogenase(LDH) were higher in HF-GH1 than in HF. HF-GH2 compared with HF, had increased LH/TAS ratio, as well as decreased oxidized glutathione and LDH activity. Comparing the two GH doses, GSH-Px, superoxide dismutase and LDH were lower in HF-GH2 than in HF-GHI. In conclusion, GH effects were dose-dependent and both tested doses did not aggravate the heart dysfunction. The higher GH dose, 2 mg/kg exerted detrimental effects related to energy metabolism and oxidative stress. The lower dose, 1 mg/kg GH exerted beneficial effects enhancing antioxidant defences, reducing oxidative stress and improving energy generation in myocardium of rats with heart failure. (c) 2007 Elsevier Ltd. All rights reserved.