In a realistic environment, intentions of belief-desire-intention (BDI) agents may be threatened by exogenous change. Subsequent activity failure may incur debilitative consequences that hinder both recovery and subsequent goal achievement. Capability aware, maintaining plans (CAMP-BDI) embodies BDI agents with capability knowledge, allowing anticipation of threats to activity success and stimu...

Software reading is a key technical activity that aims at achieving whatever degree of understanding is needed to accomplish a particular objective. The various work documents associated with software development (e.g., requirements, design, code, and test plans) often require continual understanding, review and modification throughout the development life cycle. Thus software reading, i.e., th...

A Manutenção Centrada em Confiabilidade (MCC) é uma das principais técnicas utilizadas na busca de maiores níveis confiabilidade dos equipamentos, o que reforça sua aplicação nas indústrias requerem elevados produtividade. O presente trabalho propõe a da MCC, para identificar possíveis melhorias nos planos manutenção máquina Bengaleira 1. metodologia proposta compreende as seguintes etapas: sel...

This paper presents a new methodology based on AHP and ANP (Saaty, 1980, 1996) to estimate the value and transfer fees of professional football players. The paper extends the AHP multicriteria methodology proposed by Moreno-Jiménez et al. (2010) for estimating the value of these sportsmen. The new approach multiplicatively combines the (intrinsic) value of the player (estimated by means of AHP ...

Electoral systems are complex entities composed of a set of phases that form a process to which performance parameters can be associated. One of the key points of every electoral system is represented by the electoral formula that can be characterized by a wide spectrum of properties that, according to Arrow’s Impossibility Theorem and other theoretical results, cannot be all satisfied at the s...

The lattice Boltzmann (LB) method is used to study the kinetics of domain growth of a binary fluid in a number of geometries modeling porous media. Unlike the traditional methods which solve the Cahn-Hilliard equation, the LB method correctly simulates fluid properties, phase segregation, interface dynamics and wetting. Our results, based on lattice sizes of up to 4096× 4096, do not show eviden...

We derive an exact nonlinear nonlocal macroscopic equation for the time evolution of the conserved order parameter rsr, td of a microscopic model binary alloy undergoing phase segregation: a d-dimensional lattice gas evolving via Kawasaki exchange dynamics, satisfying detailed balance for a Hamiltonian with a long range pair potential gdJsgjxjd. The macroscopic evolution is on the spatial scale...

In this paper, we reformulate the diffuse interface model of the tumor growth (S.M. Wise et al., Three-dimensional multispecies nonlinear tumor growth-I: model and numerical method, J. Theor. Biol. 253 (2008) 524--543). In the new proposed model, we use the conservative second-order Allen--Cahn equation with a space--time dependent Lagrange multiplier instead of using the fourth-order Cahn--Hil...