Meta-models, environment and layers: agent-oriented engineering of complex systems

Traditional software engineering approaches and metaphors fall short when applied to areas of growing relevance such as electronic commerce, enterprise resource planning, and mobile computing: such areas, in fact, generally call for open architectures that may evolve dynamically over time so as to accommodate new components and meet new requirements. This is probably one of the main reasons that the agent metaphor and the agent-oriented paradigm are gaining momentum in these areas. This thesis deals with the engineering of complex software systems in terms of the agent paradigm. This paradigm is based on the notions of agent and systems of interacting agents as fundamental abstractions for designing, developing and managing at runtime typically distributed software systems. However, today the engineer often works with technologies that do not support the abstractions used in the design of the systems. For this reason the research on methodologies becomes the basic point in the scientific activity. Currently most agent-oriented methodologies are supported by small teams of academic researchers, and as a result, most of them are in an early stage and still in the first context of mostly \academic" approaches for agent-oriented systems development. Moreover, such methodologies are not well documented and very often defined and presented only by focusing on specific aspects of the methodology. The role played by meta- models becomes fundamental for comparing and evaluating the methodologies. In fact a meta-model specifies the concepts, rules and relationships used to define methodologies. Although it is possible to describe a methodology without an explicit meta-model, formalising the underpinning ideas of the methodology in question is valuable when checking its consistency or planning extensions or modifications. A good meta-model must address all the different aspects of a methodology, i.e. the process to be followed, the work products to be generated and those responsible for making all this happen. In turn, specifying the work products that must be developed implies dening the basic modelling building blocks from which they are built. As a building block, the agent abstraction alone is not enough to fully model all the aspects related to multi-agent systems in a natural way. In particular, different perspectives exist on the role that environment plays within agent systems: however, it is clear at least that all non-agent elements of a multi-agent system are typically considered to be part of the multi-agent system environment. The key role of environment as a first-class abstraction in the engineering of multi-agent system is today generally acknowledged in the multi-agent system community, so environment should be explicitly accounted for in the engineering of multi-agent system, working as a new design dimension for agent-oriented methodologies. At least two main ingredients shape the environment: environment abstractions - entities of the environment encapsulating some functions -, and topology abstractions - entities of environment that represent the (either logical or physical) spatial structure. In addition, the engineering of non-trivial multi-agent systems requires principles and mechanisms for supporting the management of the system representation complexity. These principles lead to the adoption of a multi-layered description, which could be used by designers to provide different levels of abstraction over multi-agent systems. The research in these fields has lead to the formulation of a new version of the SODA methodology where environment abstractions and layering principles are exploited for en- gineering multi-agent systems.

Bacterial meningitis impairs hippocampal neurogenesis

Bacterial meningitis causes persisting neurofunctional sequelae. Theoccurrence of apoptotic cell death in the hippocampal subgranular zone of the dentate gyrus characterizes the disease in patients and relates to deficits in learning and memory in corresponding experimental models. Here, we investigated why neurogenesis fails to regenerate the damage in the hippocampus associated with the persistence of neurofunctional deficits. In an infant rat model of bacterial meningitis, the capacity of hippocampal-derived cells to multiply and form neurospheres was significantly impaired comparedto that in uninfected littermates. In an in vitro model of differentiating hippocampal cells, challenges characteristic of bacterial meningitis (i.e. bacterial components, tumor necrosis factor [20 ng/mL], or growth factor deprivation) caused significantly more apoptosis in stem/progenitor cells and immature neurons than in mature neurons. These results demonstrate that bacterial meningitis injures hippocampal stem and progenitor cells, a finding that may explain the persistence of neurofunctional deficits after bacterial meningitis.

Tracking the implicit self using event-related potentials

Negative biases in implicit self-evaluation are thought to be detrimental to subjective well-being and have been linked to various psychological disorders, including depression. An understanding of the neural processes underlying implicit self-evaluation in healthy subjects could provide a basis for the investigation of negative biases in depressed patients, the development of differential psychotherapeutic interventions, and the estimation of relapse risk in remitted patients. We thus studied the brain processes linked to implicit self-evaluation in 25 healthy subjects using event-related potential (ERP) recording during a self-relevant Implicit Association Test (sIAT). Consistent with a positive implicit self-evaluation in healthy subjects, they responded significantly faster to the congruent (self-positive mapping) than to the incongruent sIAT condition (self-negative mapping). Our main finding was a topographical ERP difference in a time window between 600 and 700 ms, whereas no significant differences between congruent and incongruent conditions were observed in earlier time windows. This suggests that biases in implicit self-evaluation are reflected only indirectly, in the additional recruitment of control processes needed to override the positive implicit self-evaluation of healthy subjects in the incongruent sIAT condition. Brain activations linked to these control processes can thus serve as an indirect measure for estimating biases in implicit self-evaluation. The sIAT paradigm, combined with ERP, could therefore permit the tracking of the neural processes underlying implicit self-evaluation in depressed patients during psychotherapy.

Full Cups, Full Coffers: Tax Strategies and Consumer Culture in the Early Modern German Cities

During the sixteenth and seventeenth centuries, the excise taxes (Ungeld) paid by town residents on the consumption of beer, wine, mead and brandy represented the single most important source of civic revenue for many German cities. In a crisis, these taxes could spike to 70–80% of civic income. This paper examines civic budgets and ‘behind-the-scenes’ deliberations in a sample of towns in southern Germany in order to illuminate how decisions affecting consumer taxes were made. Even during the sobriety movements of the Reformation and post-Reformation period, tax income from drinkers remained attractive to city leaders because the bulk of the excise tax burden could easily be shifted away from privileged members of society and placed on the population at large. At the same time, governments had to maintain a careful balance between what they needed in order to govern and what the consumer market could bear, for high taxes on drinks were also targeted in many popular revolts. This led to nimble politicking by those responsible for tax decisions. Drink taxes were introduced, raised, lowered and otherwise manipulated based not only on shifting fashions and tastes but also on the degree of economic stress faced by the community. Where civic rulers were successful in striking the right balance, the rewards were considerable. The income from drink sales was a major factor in how the cities of the Empire survived the wars and other crises of the early modern period without going into so much debt that they lost their independence.

Differential expression of TGFbeta-stimulated clone 22 in normal prostate and prostate cancer

The transforming growth factor-beta (TGFbeta) superfamily and its downstream effector genes are key regulators of epithelial homeostasis. Altered expression of these genes may be associated with malignant transformation of the prostate gland. The cDNA array analysis of differential expression of the TGFbeta superfamily and functionally related genes between patient-matched noncancerous prostate (NP) and prostate cancer (PC) bulk tissue specimens highlighted two genes, namely TGFbeta-stimulated clone-22 (TSC-22) and Id4. Verification of their mRNA expression by real-time PCR in patient-matched NP and PC bulk tissue, in laser-captured pure epithelial and cancer cells and in NP and PC cell lines confirmed TSC-22 underexpression, but not Id4 overexpression, in PC and in human PC cell lines. Immunohistochemical analysis showed that TSC-22 protein expression in NP is restricted to the basal cells and colocalizes with the basal cell marker cytokeratin 5. In contrast, all matched PC samples lack TSC-22 immunoreactivity. Likewise, PC cell lines do not show detectable TSC-22 protein expression as shown by immunoblotting. TSC-22 should be considered as a novel basal cell marker, potentially useful for studying lineage determination within the epithelial compartment of the prostate. Conversely, lack of TSC-22 seems to be a hallmark of malignant transformation of the prostate epithelium. Accordingly, TSC-22 immunohistochemistry may prove to be a diagnostic tool for discriminating benign lesions from malignant ones of the prostate. The suggested tumour suppressor function of TSC-22 warrants further investigation on its role in prostate carcinogenesis and on the TSC-22 pathway as a candidate therapeutic target in PC.

Upregulation of endothelin converting enzyme-1 in host liver during chronic cardiac allograft rejection

Endothelin regulates cytokine expression in vitro and in vivo. This study investigated the effects of chronic allograft rejection on hepatic endothelin-converting enzyme-1 (ECE-1) gene expression and endothelin-1 (ET-1) plasma clearance. Using the Lewis-F344 minor histocompatibility mismatch model of heterotopic cardiac transplantation, hepatic ECE-1 gene expression was measured by real-time polymerase chain reaction and host plasma clearance of ET-1 was measured 8 weeks after transplantation in the absence of immunosuppression. In animals undergoing allograft rejection, hepatic ECE-1 gene expression increased 2-fold (P < 0.05), whereas no effect of rejection on ET-1 clearance from plasma was observed. In summary, upregulation of ECE-1 gene expression occurs in the liver of the host during chronic allograft rejection. Because the liver represents both a key organ for cytokine production and for endothelin metabolism, increased hepatic ECE-1-mediated ET-1 synthesis may contribute to host responses and cytokine production during allograft rejection.

Hemoglobin vesicles reduce hypoxia-related inflammation in critically ischemic hamster flap tissue

OBJECTIVES: The aim of this study was to investigate the effect of a highly viscous, left-shifted hemoglobin vesicle solution (HbV) on the hypoxia-related inflammation and the microcirculation in critically ischemic peripheral tissue. DESIGN: Randomized prospective study. SETTING: University laboratory. SUBJECTS: Twenty-four male golden Syrian hamsters. INTERVENTIONS: Island flaps were dissected from the back skin of anesthetized hamsters for assessment with intravital microscopy. The flap included a critically ischemic, hypoxic area that was perfused via a collateralized vasculature. One hour after completion of the preparation, the animals received an injection of 25% of total blood volume of 0.9% NaCl or NaCl suspended with HbVs at a concentration of 5 g/dL (HbV5) or 10 g/dL (HbV10). MEASUREMENTS AND MAIN RESULTS: Plasma viscosity was increased from 1.32 cP to 1.61 cP and 2.14 cP after the administration of HbV5 and HbV10, respectively (both p < .01). Both HbV solutions raised partial oxygen tension (Clark-type microprobes) in the ischemic tissue from approximately 10 torr to 17 torr (p < .01), which was paralleled by an increase in capillary perfusion by > 200% (p < .01). The 50% increase in macromolecular capillary leakage found over time in the control animals was completely abolished by the HbV solutions (p < .01), which was accompanied by a > 50% (p < .01) reduction in cells immunohistochemically stained for tumor necrosis factor-alpha and interleukin-6 and in leukocyte counts, whereas no such changes were observed in the anatomically perfused, normoxic tissue. CONCLUSIONS: Our study suggests that in critically ischemic, hypoxic peripheral tissue, hypoxia-related inflammation may be reduced by a top-load infusion of HbV solutions. We attributed this effect to a restoration of tissue oxygenation and an increase in plasma viscosity, both of which may have resulted in attenuation of secondary microcirculatory impairments.

OUT-OF-STEP DETECTION BASED ON ZUBOV’S APPROXIMATION BOUNDARY METHOD

Disturbances in power systems may lead to electromagnetic transient oscillations due to mismatch of mechanical input power and electrical output power. Out-of-step conditions in power system are common after the disturbances where the continuous oscillations do not damp out and the system becomes unstable. Existing out-of-step detection methods are system specific as extensive off-line studies are required for setting of relays. Most of the existing algorithms also require network reduction techniques to apply in multi-machine power systems. To overcome these issues, this research applies Phasor Measurement Unit (PMU) data and Zubov’s approximation stability boundary method, which is a modification of Lyapunov’s direct method, to develop a novel out-of-step detection algorithm. The proposed out-of-step detection algorithm is tested in a Single Machine Infinite Bus system, IEEE 3-machine 9-bus, and IEEE 10-machine 39-bus systems. Simulation results show that the proposed algorithm is capable of detecting out-of-step conditions in multi-machine power systems without using network reduction techniques and a comparative study with an existing blinder method demonstrate that the decision times are faster. The simulation case studies also demonstrate that the proposed algorithm does not depend on power system parameters, hence it avoids the need of extensive off-line system studies as needed in other algorithms.