Multi-agent systems and birtual producers in electronic marketplaces

This paper presents an agent-based simulator designed for analyzing agent market strategies based on a complete understanding of buyer and seller behaviours, preference models and pricing algorithms, considering user risk preferences. The system includes agents that are capable of improving their performance with their own experience, by adapting to the market conditions. In the simulated market agents interact in several different ways and may joint together to form coalitions. In this paper we address multi-agent coalitions to analyse Distributed Generation in Electricity Markets

Shopping center tracking and recommendation systems

Shopping centers present a rich and heterogeneous environment, where IT systems can be implemented in order to support the needs of its actors. However, due to the environment complexity, several feasibility issues emerge when designing both the logical and physical architecture of such systems. Additionally, the system must be able to cope with the individual needs of each actor, and provide services that are easily adopted by them, taking into account several sociological and economical aspects. In this sense, we present an overview of current support systems for shopping center environments. From this overview, a high-level model of the domain (involving actors and services) is described along with challenges and possible features in the context of current Semantic Web, mobile device and sensor technologies.

ISEM: a multi-agent system that simulates competitive electronic marketplaces

With the increasing importance of large commerce across the Internet it is becoming increasingly evident that in a few years the Iternet will host a large number of interacting software agents. a vast number of them will be economically motivated, and will negociate a variety of goods and services. It is therefore important to consider the economic incentives and behaviours of economic software agents, and to use all available means to anticipate their collective interactions. This papers addresses this concern by presenting a multi-agent market simulator designed for analysing agent market strategies based on a complete understanding of buyer and seller behaviours, preference models and pricing algorithms, consideting risk preferences. The system includes agents that are capable of increasing their performance with their own experience, by adapting to the market conditions. The results of the negotiations between agents are analysed by data minig algorithms in order to extract rules that give agents feedback to imprive their strategies.

Dynamical behaviour of multi-particle large-scale systems

Collective behaviours can be observed in both natural and man-made systems composed of a large number of elemental subsystems. Typically, each elemental subsystem has its own dynamics but, whenever interaction between individuals occurs, the individual behaviours tend to be relaxed, and collective behaviours emerge. In this paper, the collective behaviour of a large-scale system composed of several coupled elemental particles is analysed. The dynamics of the particles are governed by the same type of equations but having different parameter values and initial conditions. Coupling between particles is based on statistical feedback, which means that each particle is affected by the average behaviour of its neighbours. It is shown that the global system may unveil several types of collective behaviours, corresponding to partial synchronisation, characterised by the existence of several clusters of synchronised subsystems, and global synchronisation between particles, where all the elemental particles synchronise completely.

Fractional Analysis of the DNA Information

Proceedings of the 12th Conference on 'Dynamical Systems -Theory and Applications'

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Perspetivas interdisciplinares na planificação didática de Línguas e Culturas Estrangeiras

O presente Relatório Final de Estágio concretiza-se num trabalho de reflexão crítica sobre as práticas realizadas como professora estagiária de Inglês e de Espanhol no âmbito das Unidades Curriculares de Prática Educativa I, II e III, do Curso de Mestrado em Ensino de Inglês e Francês ou Espanhol, da Escola Superior de Educação, do Instituto Politécnico do Porto. A problemática que se apresenta decorre da perspetiva de que o ensino e aprendizagem de uma língua estrangeira baseados na articulação entre disciplinas do currículo contribui para uma aprendizagem holística, desenvolvendo competências que permitem um entendimento geral e global dos fenómenos humanos proporcionando aos alunos a compreensão do saber escolar como um todo articulável, contribuindo para uma leitura lógica e completa da realidade. A sua concretização na sala de aula impõe que o professor planifique atividades e opte por estratégias de ensino e de aprendizagem diversificadas, onde convergem finalidades, conceitos e metodologias de diversas disciplinas do currículo. Assim, este trabalho descreve a planificação de práticas de ensino e aprendizagem de Inglês e Espanhol em articulação com os conteúdos e os objetivos da disciplina de Estudo do Meio no Primeiro Ciclo. A planificação de práticas de Inglês no Segundo Ciclo foi realizada em articulação com a disciplina de História e Geografia de Portugal, com base na metodologia de projeto. As opções adotadas na planificação didática são consideradas estratégicas para uma aprendizagem significativa. Palavras-chave: perspetiva interdisciplinar do ensino; planificação didática de línguas estrangeiras; compreensão integrada do saber escolar; aprendizagem por projeto

Hybrid fuzzy Monte Carlo and logic programming model for distribution network reconfiguration in the presence of outages

This paper presents a methodology for distribution networks reconfiguration in outage presence in order to choose the reconfiguration that presents the lower power losses. The methodology is based on statistical failure and repair data of the distribution power system components and uses fuzzy-probabilistic modelling for system component outage parameters. Fuzzy membership functions of system component outage parameters are obtained by statistical records. A hybrid method of fuzzy set and Monte Carlo simulation based on the fuzzy-probabilistic models allows catching both randomness and fuzziness of component outage parameters. Once obtained the system states by Monte Carlo simulation, a logical programming algorithm is applied to get all possible reconfigurations for every system state. In order to evaluate the line flows and bus voltages and to identify if there is any overloading, and/or voltage violation a distribution power flow has been applied to select the feasible reconfiguration with lower power losses. To illustrate the application of the proposed methodology to a practical case, the paper includes a case study that considers a real distribution network.

Cycle time properties of the PROFIBUS timed-token protocol

A recent trend in distributed computer-controlled systems (DCCS) is to interconnect the distributed computing elements by means of multi-point broadcast networks. Since the network medium is shared between a number of network nodes, access contention exists and must be solved by a medium access control (MAC) protocol. Usually, DCCS impose real-time constraints. In essence, by real-time constraints we mean that traffic must be sent and received within a bounded interval, otherwise a timing fault is said to occur. This motivates the use of communication networks with a MAC protocol that guarantees bounded access and response times to message requests. PROFIBUS is a communication network in which the MAC protocol is based on a simplified version of the timed-token protocol. In this paper we address the cycle time properties of the PROFIBUS MAC protocol, since the knowledge of these properties is of paramount importance for guaranteeing the real-time behaviour of a distributed computer-controlled system which is supported by this type of network.

Timing analysis of a multiple logical ring wired/wireless PROFIBUS network

Recently, there have been a few research efforts towards extending the capabilities of fieldbus networks to encompass wireless support. In previous works we have proposed a hybrid wired/wireless PROFIBUS network solution where the interconnection between the heterogeneous communication media was accomplished through bridge-like interconnecting devices. The resulting networking architecture embraced a multiple logical ring (MLR) approach, thus with multiple independent tokens, to which a specific bridging protocol extension, the inter-domain protocol (IDP), was proposed. The IDP offers compatibility with standard PROFIBUS, and includes mechanisms to support inter-cell mobility of wireless nodes. We advance that work by proposing a worst-case response timing analysis of the IDP.

LNT: a logical neighbor tree secure group communication scheme for wireless sensor networks

Secure group communication is a paradigm that primarily designates one-to-many communication security. The proposed works relevant to secure group communication have predominantly considered the whole network as being a single group managed by a central powerful node capable of supporting heavy communication, computation and storage cost. However, a typical Wireless Sensor Network (WSN) may contain several groups, and each one is maintained by a sensor node (the group controller) with constrained resources. Moreover, the previously proposed schemes require a multicast routing support to deliver the rekeying messages. Nevertheless, multicast routing can incur heavy storage and communication overheads in the case of a wireless sensor network. Due to these two major limitations, we have reckoned it necessary to propose a new secure group communication with a lightweight rekeying process. Our proposal overcomes the two limitations mentioned above, and can be applied to a homogeneous WSN with resource-constrained nodes with no need for a multicast routing support. Actually, the analysis and simulation results have clearly demonstrated that our scheme outperforms the previous well-known solutions.

Modification of cell volume and proliferative capacity of Pseudokirchneriella subcapitata cells exposed to metal stress

The impact of metals (Cd, Cr, Cu and Zn) on growth, cell volume and cell division of the freshwateralga Pseudokirchneriella subcapitata exposed over a period of 72 h was investigated. The algal cells wereexposed to three nominal concentrations of each metal: low (closed to 72 h-EC10values), intermediate(closed to 72 h-EC50values) and high (upper than 72 h-EC90values). The exposure to low metal concen-trations resulted in a decrease of cell volume. On the contrary, for the highest metal concentrations anincrease of cell volume was observed; this effect was particularly notorious for Cd and less pronouncedfor Zn. Two behaviours were found when algal cells were exposed to intermediate concentrations ofmetals: Cu(II) and Cr(VI) induced a reduction of cell volume, while Cd(II) and Zn(II) provoked an oppositeeffect. The simultaneous nucleus staining and cell image analysis, allowed distinguishing three phases inP. subcapitata cell cycle: growth of mother cell; cell division, which includes two divisions of the nucleus;and, release of four autospores. The exposure of P. subcapitata cells to the highest metal concentrationsresulted in the arrest of cell growth before the first nucleus division [for Cr(VI) and Cu(II)] or after thesecond nucleus division but before the cytokinesis (release of autospores) when exposed to Cd(II). Thedifferent impact of metals on algal cell volume and cell-cycle progression, suggests that different toxic-ity mechanisms underlie the action of different metals studied. The simultaneous nucleus staining andcell image analysis, used in the present work, can be a useful tool in the analysis of the toxicity of thepollutants, in P. subcapitata, and help in the elucidation of their different modes of action.

Design of the ISePorto robocup Middle-Size League Robotic Soccer Team: Control, Localisation and Coordination

Proceedings of the 10th Mediterranean Conference on Control and Automation - MED2002 Lisbon, Portugal, July 9-12, 2002

Control and Localisation for the ISePorto Robotic Soccer Team

International Conference on Advanced Robotics, Coimbra, Portugal, Julho 2003