Belief Revision in Multi-Agent Systems

The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distributed Assumption-based Truth Maintenance System (DATMS) appropriate for controlling cooperative problem solving in a dynamic real world multi-agent community. Our DATMS works on the principle of local coherence which means that different agents can have different perspectives on the same fact provided that these stances are appropriately justified. The belief revision algorithm is presented, the meta-level code needed to ensure that all system-wide queries can be uniquely answered is described, and the DATMS’ implementation in a general purpose multi-agent shell is discussed.

Adherend thickness effect on the tensile fracture toughness of a structural adhesive using an optical data acquisition method

Adhesive bonding is nowadays a serious candidate to replace methods such as fastening or riveting, because of attractive mechanical properties. As a result, adhesives are being increasingly used in industries such as the automotive, aerospace and construction. Thus, it is highly important to predict the strength of bonded joints to assess the feasibility of joining during the fabrication process of components (e.g. due to complex geometries) or for repairing purposes. This work studies the tensile behaviour of adhesive joints between aluminium adherends considering different values of adherend thickness (h) and the double-cantilever beam (DCB) test. The experimental work consists of the definition of the tensile fracture toughness (GIC) for the different joint configurations. A conventional fracture characterization method was used, together with a J-integral approach, that take into account the plasticity effects occurring in the adhesive layer. An optical measurement method is used for the evaluation of crack tip opening and adherends rotation at the crack tip during the test, supported by a Matlab® sub-routine for the automated extraction of these quantities. As output of this work, a comparative evaluation between bonded systems with different values of adherend thickness is carried out and complete fracture data is provided in tension for the subsequent strength prediction of joints with identical conditions.

Solvent-free microwave-assisted peroxidative oxidation of alcohols catalyzed by Iron(III)-TEMPO catalytic systems

The iron(III) complexes [H(EtOH)][FeCl2(L)(2)] (1), [H(2)bipy](1/2)[FeCl2(L)(2)].DMF (2) and [FeCl2(L)(2,2'-bipy)] (3) (L = 3-amino-2-pyrazinecarboxylate; H(2)bipy = doubly protonated 4,4'-bipyridine; 2,2'-bipy = 2,2'-bipyridine, DMF = dimethylformamide) have been synthesized and fully characterized by IR, elemental and single-crystal X-ray diffraction analyses, as well as by electrochemical methods. Complexes 1 and 2 have similar mononuclear structures containing different guest molecules (protonated ethanol for 1 and doubly protonated 4,4'-bipyridine for 2) in their lattices, whereas the complex 3 has one 3-amino-2-pyrazinecarboxylate and a 2,2'-bipyridine ligand. They show a high catalytic activity for the low power (10 W) solvent-free microwave assisted peroxidative oxidation of 1-phenylethanol, leading, in the presence of TEMPO, to quantitative yields of acetophenone [TOFs up to 8.1 x 10(3) h(-1), (3)] after 1 h. Moreover, the catalysts are of easy recovery and reused, at least for four consecutive cycles, maintaining 83 % of the initial activity and concomitant rather high selectivity. 3-Amino-2-pyrazinecarboxylic acid is used to synthesize three new iron(III) complexes which act as heterogeneous catalysts for the solvent-free microwave-assisted peroxidative oxidation of 1-phenylethanol.

TV Recommendation and Personalization Systems: Integrating Broadcast and Video On-demand Services

he expansion of Digital Television and the convergence between conventional broadcasting and television over IP contributed to the gradual increase of the number of available channels and on demand video content. Moreover, the dissemination of the use of mobile devices like laptops, smartphones and tablets on everyday activities resulted in a shift of the traditional television viewing paradigm from the couch to everywhere, anytime from any device. Although this new scenario enables a great improvement in viewing experiences, it also brings new challenges given the overload of information that the viewer faces. Recommendation systems stand out as a possible solution to help a watcher on the selection of the content that best fits his/her preferences. This paper describes a web based system that helps the user navigating on broadcasted and online television content by implementing recommendations based on collaborative and content based filtering. The algorithms developed estimate the similarity between items and users and predict the rating that a user would assign to a particular item (television program, movie, etc.). To enable interoperability between different systems, programs characteristics (title, genre, actors, etc.) are stored according to the TV-Anytime standard. The set of recommendations produced are presented through a Web Application that allows the user to interact with the system based on the obtained recommendations.

Petri nets based components within globally asynchronous locally synchronous systems

Dissertação apresentada na Faculdade de Ciências e Tecnologias da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e Computadores

The role of the efflux mechanisms in multidrug resistance in Mycobacterium tuberculosis

Abstract The emergence of multi and extensively drug resistant tuberculosis (MDRTB and XDRTB) has increased the concern of public health authorities around the world. The World Health Organization has defined MDRTB as tuberculosis (TB) caused by organisms resistant to at least isoniazid and rifampicin, the main first-line drugs used in TB therapy, whereas XDRTB refers to TB resistant not only to isoniazid and rifampicin, but also to a fluoroquinolone and to at least one of the three injectable second-line drugs, kanamycin, amikacin and capreomycin. Resistance in Mycobacterium tuberculosis is mainly due to the occurrence of spontaneous mutations and followed by selection of mutants by subsequent treatment. However, some resistant clinical isolates do not present mutations in any genes associated with resistance to a given antibiotic, which suggests that other mechanism(s) are involved in the development of drug resistance, namely the presence of efflux pump systems that extrude the drug to the exterior of the cell, preventing access to its target. Increased efflux activity can occur in response to prolonged exposure to subinhibitory concentrations of anti-TB drugs, a situation that may result from inadequate TB therapy. The inhibition of efflux activity with a non-antibiotic inhibitor may restore activity of an antibiotic subject to efflux and thus provide a way to enhance the activity of current anti-TB drugs. The work described in this thesis foccus on the study of efflux mechanisms in the development of multidrug resistance in M. tuberculosis and how phenotypic resistance, mediated by efflux pumps, correlates with genetic resistance. In order to accomplish this goal, several experimental protocols were developed using biological models such as Escherichia coli, the fast growing mycobacteria Mycobacterium smegmatis, and Mycobacterium avium, before their application to M. tuberculosis. This approach allowed the study of the mechanisms that result in the physiological adaptation of E. coli to subinhibitory concentrations of tetracycline (Chapter II), the development of a fluorometric method that allows the detection and quantification of efflux of ethidium bromide (Chapter III), the characterization of the ethidium bromide transport in M. smegmatis (Chapter IV) and the contribution of efflux activity to macrolide resistance in Mycobacterium avium complex (Chapter V). Finally, the methods developed allowed the study of the role of efflux pumps in M. tuberculosis strains induced to isoniazid resistance (Chapter VI). By this manner, in Chapter II it was possible to observe that the physiological adaptation of E. coli to tetracycline results from an interplay between events at the genetic level and protein folding that decrease permeability of the cell envelope and increase efflux pump activity. Furthermore, Chapter III describes the development of a semi-automated fluorometric method that allowed the correlation of this efflux activity with the transport kinetics of ethidium bromide (a known efflux pump substrate) in E. coli and the identification of efflux inhibitors. Concerning M. smegmatis, we have compared the wild-type M. smegmatis mc2155 with knockout mutants for LfrA and MspA for their ability to transport ethidium bromide. The results presented in Chapter IV showed that MspA, the major porin in M. smegmatis, plays an important role in the entrance of ethidium bromide and antibiotics into the cell and that efflux via the LfrA pump is involved in low-level resistance to these compounds in M. smegmatis. Chapter V describes the study of the contribution of efflux pumps to macrolide resistance in clinical M. avium complex isolates. It was demonstrated that resistance to clarithromycin was significantly reduced in the presence of efflux inhibitors such as thioridazine, chlorpromazine and verapamil. These same inhibitors decreased efflux of ethidium bromide and increased the retention of [14C]-erythromycin in these isolates. Finaly, the methods developed with the experimental models mentioned above allowed the study of the role of efflux pumps on M. tuberculosis strains induced to isoniazid resistance. This is described in Chapter VI of this Thesis, where it is demonstrated that induced resistance to isoniazid does not involve mutations in any of the genes known to be associated with isoniazid resistance, but an efflux system that is sensitive to efflux inhibitors. These inhibitors decreased the efflux of ethidium bromide and also reduced the minimum inhibitory concentration of isoniazid in these strains. Moreover, expression analysis showed overexpression of genes that code for efflux pumps in the induced strains relatively to the non-induced parental strains. In conclusion, the work described in this thesis demonstrates that efflux pumps play an important role in the development of drug resistance, namely in mycobacteria. A strategy to overcome efflux-mediated resistance may consist on the use of compounds that inhibit efflux activity, restoring the activity of antimicrobials that are efflux pump substrates, a useful approach particularly in TB where the most effective treatment regimens are becoming uneffective due to the increase of MDRTB/XDRTB.

Multiple Roots of Systems of Equations by Repulsion Merit Functions

In this paper we address the problem of computing multiple roots of a system of nonlinear equations through the global optimization of an appropriate merit function. The search procedure for a global minimizer of the merit function is carried out by a metaheuristic, known as harmony search, which does not require any derivative information. The multiple roots of the system are sequentially determined along several iterations of a single run, where the merit function is accordingly modified by penalty terms that aim to create repulsion areas around previously computed minimizers. A repulsion algorithm based on a multiplicative kind penalty function is proposed. Preliminary numerical experiments with a benchmark set of problems show the effectiveness of the proposed method.

Efficient schedulability tests for real-time embedded systems with urgent routines

Task scheduling is one of the key mechanisms to ensure timeliness in embedded real-time systems. Such systems have often the need to execute not only application tasks but also some urgent routines (e.g. error-detection actions, consistency checkers, interrupt handlers) with minimum latency. Although fixed-priority schedulers such as Rate-Monotonic (RM) are in line with this need, they usually make a low processor utilization available to the system. Moreover, this availability usually decreases with the number of considered tasks. If dynamic-priority schedulers such as Earliest Deadline First (EDF) are applied instead, high system utilization can be guaranteed but the minimum latency for executing urgent routines may not be ensured. In this paper we describe a scheduling model according to which urgent routines are executed at the highest priority level and all other system tasks are scheduled by EDF. We show that the guaranteed processor utilization for the assumed scheduling model is at least as high as the one provided by RM for two tasks, namely 2(2√−1). Seven polynomial time tests for checking the system timeliness are derived and proved correct. The proposed tests are compared against each other and to an exact but exponential running time test.

PV systems linked to the grid: parameter identification with a heuristic procedure

This paper focuses on a PV system linked to the electric grid by power electronic converters, identification of the five parameters modeling for photovoltaic systems and the assessment of the shading effect. Normally, the technical information for photovoltaic panels is too restricted to identify the five parameters. An undemanding heuristic method is used to find the five parameters for photovoltaic systems, requiring only the open circuit, maximum power, and short circuit data. The I- V and the P- V curves for a monocrystalline, polycrystalline and amorphous photovoltaic systems are computed from the parameters identification and validated by comparison with experimental ones. Also, the I- V and the P- V curves under the effect of partial shading are obtained from those parameters. The modeling for the converters emulates the association of a DC-DC boost with a two-level power inverter in order to follow the performance of a testing commercial inverter employed on an experimental system. © 2015 Elsevier Ltd.

Spectral invariants of periodic nonautonomous discrete dynamical systems

For an interval map, the poles of the Artin-Mazur zeta function provide topological invariants which are closely connected to topological entropy. It is known that for a time-periodic nonautonomous dynamical system F with period p, the p-th power [zeta(F) (z)](p) of its zeta function is meromorphic in the unit disk. Unlike in the autonomous case, where the zeta function zeta(f)(z) only has poles in the unit disk, in the p-periodic nonautonomous case [zeta(F)(z)](p) may have zeros. In this paper we introduce the concept of spectral invariants of p-periodic nonautonomous discrete dynamical systems and study the role played by the zeros of [zeta(F)(z)](p) in this context. As we will see, these zeros play an important role in the spectral classification of these systems.

Planning smart cities using wireless low energy monitoring systems

Thesis to obtain the Master Degree in Electronics and Telecommunications Engineering

Numerical analysis of the initial conditions in fractional systems

Fractional dynamics is a growing topic in theoretical and experimental scientific research. A classical problem is the initialization required by fractional operators. While the problem is clear from the mathematical point of view, it constitutes a challenge in applied sciences. This paper addresses the problem of initialization and its effect upon dynamical system simulation when adopting numerical approximations. The results are compatible with system dynamics and clarify the formulation of adequate values for the initial conditions in numerical simulations.

Is there space for senior civil servants hybrid management models across political- administrative systems?

Comunicação apresentada na 17.ª conferência anual da NISPACee, realizada de 14 a 16 de Maio de 2009.

How are top officials hybrid management models present across political-administrative systems?

Comunicação apresentada na 4th Annual ICPA - International Conference on Public Administration "Building bridges to the future: leadership and collaboration in public administration", na Universidade de Minnesota nos Estados Unidos, de 24 a 26 de setembro de 2008

Energy evaporation: the new concept of indoor systems for WPT and EH embedded into the floor

This work introduces a novel idea for wireless energy transfer, proposing for the first time the unit-cell of an indoor localization and RF harvesting system embedded into the floor. The unit-cell is composed by a 5.8 GHz patch antenna surrounded by a 13.56 MHz coil. The coil locates a device and activate the patch which, connected to a power grid, radiates to wirelessly charge the localized device. The HF and RF circuits co-existence and functionality are demonstrated in this paper, the novelty of which is also in the adoption of low cost and most of all ecofriendly materials, such as wood and cork, as substrates for electronics.