Coalition Formation through Motivation and Trust

Cooperation is the fundamental underpinning of multi-agent systems, allowing agents to interact to achieve their goals. Where agents are self-interested, or potentially unreliable, there must be appropriate mechanisms to cope with the uncertainty that arises. In particular, agents must manage the risk associated with interacting with others who have different objectives, or who may fail to fulfil their commitments. Previous work has utilised the notions of motivation and trust in engendering successful cooperation between self-interested agents. Motivations provide a means for representing and reasoning about agents' overall objectives, and trust offers a mechanism for modelling and reasoning about reliability, honesty, veracity and so forth. This paper extends that work to address some of its limitations. In particular, we introduce the concept of a clan: a group of agents who trust each other and have similar objectives. Clan members treat each other favourably when making private decisions about cooperation, in order to gain mutual benefit. We describe mechanisms for agents to form, maintain, and dissolve clans in accordance with their self-interested nature, along with giving details of how clan membership influences individual decision making. Finally, through some simulation experiments we illustrate the effectiveness of clan formation in addressing some of the inherent problems with cooperation among self-interested agents.

Electronic contracting in aircraft aftercare: A case study

Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This is certainly true in the aerospace domain, where manufacturers, suppliers and operators must coordinate their activities to maximise safety and profit, for example. To address this need, the notion of norms has been proposed which, when incorporated into formal electronic documents, allow for the specification and deployment of contract-driven systems. In this context, we describe the CONTRACT framework and architecture for exactly this purpose, and describe a concrete instantiation of this architecture as a prototype system applied to an aerospace aftercare scenario.

Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain

In the domain of aerospace aftermarkets, which often has long supply chains that feed into the maintenance of aircraft, contracts are used to establish agreements between aircraft operators and maintenance suppliers. However, violations at the bottom of the supply chain (part suppliers) can easily cascade to the top (aircraft operators), making it difficult to determine the source of the violation, and seek to address it. In this context, we have developed a global monitoring architecture that ensures the detection of norm violations and generates explanations for the origin of violations. In this paper, we describe the implementation and deployment of a global monitor in the aerospace domain of [8] and show how it generates explanations for violations within the maintenance supply chain. We show how these explanations can be used not only to detect violations at runtime, but also to uncover potential problems in contracts before their deployment, thus improving them.

Norm-based behaviour modification in BDI agents

While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has attracted less attention. The problem is that traditional agent architectures and their associated languages provide no mechanism to adapt an agent at runtime to norms constraining their behaviour. This is important because if BDI-type agents are to operate in open environments, they need to adapt to changes in the norms that regulate such environments. In response, in this paper we provide a technique to extend BDI agent languages, by enabling them to enact behaviour modification at runtime in response to newly accepted norms. Our solution consists of creating new plans to comply with obligations and suppressing the execution of existing plans that violate prohibitions. We demonstrate the viability of our approach through an implementation of our solution in the AgentSpeak(L) language.

STREAM-AP: um processo para sistematizar a escolha de padrões arquiteturais baseado em requisitos não-funcionais

The importance of non-functional requirements for computer systems is increasing. Satisfying these requirements requires special attention to the software architecture, since an unsuitable architecture introduces greater complexity in addition to the intrinsic complexity of the system. Some studies have shown that, despite requirements engineering and software architecture activities act on different aspects of development, they must be performed iteratively and intertwined to produce satisfactory software systems. The STREAM process presents a systematic approach to reduce the gap between requirements and architecture development, emphasizing the functional requirements, but using the non-functional requirements in an ad hoc way. However, non-functional requirements typically influence the system as a whole. Thus, the STREAM uses Architectural Patterns to refine the software architecture. These patterns are chosen by using non-functional requirements in an ad hoc way. This master thesis presents a process to improve STREAM in making the choice of architectural patterns systematic by using non-functional requirements, in order to guide the refinement of a software architecture

Conducão eletrônica e propriedades termodinâmicas da molécula de DNA

In this thesis, we study the thermo-electronic properties of the DNA molecule. For this purpose, we used three types of models with the DNA, all assuming a at geometry (2D), each built by a sequence of quasiperiodic (Fibonacci and / or Rudin-Shapiro) and a sequence of natural DNA, part of the human chromosome Ch22. The first two models have two types of components that are the nitrogenous bases (guanine G, cytosine C, adenine A and thymine T) and a cluster sugar-phosphate (SP), while the third has only the nitrogenous bases. In the first model we calculate the density of states using the formalism of Dyson and transmittance for the time independent Schr odinger equation . In the second model we used the renormalizationprocedure for the profile of the transmittance and consequently the I (current) versus V (voltage). In the third model we calculate the density of states formalism by Dean and used the results together with the Fermi-Dirac statistics for the chemical potential and the quantum specific heat. Finally, we compare the physical properties found for the quasi-periodic sequences and those that use a portion of the genomic DNA sequence (Ch22).

Losing identity: structural diversity of transposable elements belonging to different classes in the genome of Anopheles gambiae

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Analysis of secondary phases segregated and precipitated in SnO2-based varistors

Transmission and scanning electron microscopy techniques were used to study the heterogeneities found in the microstructure of (SnO2Co3O4Nb2O5Fe2O3)-Co-.-Nb-.-Fe-. and (SnO2ZnONb2O5FC2O3)-Zn-.-Nb-.-F-. varistors. Second phases encountered both inside the grains and ingrain boundary regions were identified using energy dispersive spectrometry and electron diffraction patterns. Through the electrical characterisation, the presence of iron oxide among the additives was determined to highlight the non-linear properties of the specimens. A discussion on the influence of second phases on the non-linear features of these systems is also addressed. (C) 2004 Elsevier Ltd. All rights reserved.

Growth Curves and Genetic Parameters in Colombian Buffaloes (Bubalus bubalis Artiodactyla, Bovidae)

Non-linear mathematical functions proposed by Brody, Gompertz, Richards, Bertalanffy and Verhulst were compared in several buffalo production systems in Colombia. Herds were located in three provinces: Antioquia, Caldas, and Cordoba. Growth was better described by the curves proposed by Brody and Gompertz. Using the datasets from herds from Caldas, heritabilities for traits such as weaning weight (WW), weight and maturity at one year of age (WY and MY, respectively), age at 50% and 75% of maturity (A50% and A75%, respectively), adult weight (beta(0)), and other characteristics, were also estimated. Direct and maternal heritabilities for WW were 0.19 and 0.12, respectively. Direct heritabilities for WY, MY, A50%, A75% and beta(0) were 0.39, 0.15, 0.09, 0.20 and 0.09, respectively. The genetic correlation for beta(0) and WY was -0.47, indicating that selection for heavy weight at one year of age will lead to lower weight at adult age. These data suggest that selection based on maturity traits can generate changes in characteristics of economic importance in beef-type buffalo farms.

Steel bars identification in reinforced concrete structures by using ANN and magnetic fields

This work proposes a methodology for non destructive testing (NDT) of reinforced concrete structures, using superficial magnetic fields and artificial neural networks, in order to identify the size and position of steel bars, embedded into the concrete. For the purposes of this paper, magnetic induction curves were obtained by using a finite element program. Perceptron Multilayered (PML) ANNs, with Levemberg-Marquardt training algorithm were used. The results presented very good agreement with the expect ones, encouraging the development of real systems based upon the proposed methodology.

Growth curves and genetic parameters in colombian buffaloes (Bubalus bubalis Artiodactyla, Bovidae): Curvas de crecimiento y parámetros genéticos en búfalos (Bubalus bubalis Artiodactyla, Bovidae) en Colombia

Non-linear mathematical functions proposed by Brody, Gompertz, Richards, Bertalanffy and Verhulst were compared in several buffalo production systems in Colombia. Herds were located in three provinces: Antioquia, Caldas, and Cordoba. Growth was better described by the curves proposed by Brody and Gompertz. Using the datasets from herds from Caldas, heritabilities for traits such as weaning weight (WW), weight and maturity at one year of age (WY and MY, respectively), age at 50% and 75% of maturity (A50% and A75%, respectively), adult weight (β0), and other characteristics, were also estimated. Direct and maternal heritabilities for WW were 0.19 and 0.12, respectively. Direct heritabilities for WY, MY, A50%, A75% and β0 were 0.39, 0.15, 0.09, 0.20 and 0.09, respectively. The genetic correlation for β0 and WY was -0.47, indicating that selection for heavy weight at one year of age will lead to lower weight at adult age. These data suggest that selection based on maturity traits can generate changes in characteristics of economic importance in beef-type buffalo farms. © 2012 Universidad de Antioquia.

Plasma confinement in tokamaks with robust torus

We present a non-linear symplectic map that describes the alterations of the magnetic field lines inside the tokamak plasma due to the presence of a robust torus (RT) at the plasma edge. This RT prevents the magnetic field lines from reaching the tokamak wall and reduces, in its vicinity, the islands and invariant curve destruction due to resonant perturbations. The map describes the equilibrium magnetic field lines perturbed by resonances created by ergodic magnetic limiters (EMLs). We present the results obtained for twist and non-twist mappings derived for monotonic and non-monotonic plasma current density radial profiles, respectively. Our results indicate that the RT implementation would decrease the field line transport at the tokamak plasma edge. © 2010 Elsevier B.V. All rights reserved.

Heterochromatin and molecular characterization of DsmarMITE transposable element in the beetle Dichotomius schiffleri (Coleoptera: Scarabaeidae)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)