Conceptual analogy for modelling entrapped air action in hydraulic systems

Hydraulic systems are dynamically susceptible in the presence of entrapped air pockets, leading to amplified transient reactions. In order to model the dynamic action of an entrapped air pocket in a confined system, a heuristic mathematical formulation based on a conceptual analogy to a mechanical spring-damper system is proposed. The formulation is based on the polytropic relationship of an ideal gas and includes an additional term, which encompasses the combined damping effects associated with the thermodynamic deviations from the theoretical transformation, as well as those arising from the transient vorticity developed in both fluid domains (air and water). These effects represent the key factors that account for flow energy dissipation and pressure damping. Model validation was completed via numerical simulation of experimental measurements.

Reason Maintenance Systems: Tools for Foundations-based Belief Revision

Dynamic and distributed environments are hard to model since they suffer from unexpected changes, incomplete knowledge, and conflicting perspectives and, thus, call for appropriate knowledge representation and reasoning (KRR) systems. Such KRR systems must handle sets of dynamic beliefs, be sensitive to communicated and perceived changes in the environment and, consequently, may have to drop current beliefs in face of new findings or disregard any new data that conflicts with stronger convictions held by the system. Not only do they need to represent and reason with beliefs, but also they must perform belief revision to maintain the overall consistency of the knowledge base. One way of developing such systems is to use reason maintenance systems (RMS). In this paper we provide an overview of the most representative types of RMS, which are also known as truth maintenance systems (TMS), which are computational instances of the foundations-based theory of belief revision. An RMS module works together with a problem solver. The latter feeds the RMS with assumptions (core beliefs) and conclusions (derived beliefs), which are accompanied by their respective foundations. The role of the RMS module is to store the beliefs, associate with each belief (core or derived belief) the corresponding set of supporting foundations and maintain the consistency of the overall reasoning by keeping, for each represented belief, the current supporting justifications. Two major approaches are used to reason maintenance: single-and multiple-context reasoning systems. Although in the single-context systems, each belief is associated to the beliefs that directly generated it—the justification-based TMS (JTMS) or the logic-based TMS (LTMS), in the multiple context counterparts, each belief is associated with the minimal set of assumptions from which it can be inferred—the assumption-based TMS (ATMS) or the multiple belief reasoner (MBR).

Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Multi-agent Systems

Decentralised co-operative multi-agent systems are computational systems where conflicts are frequent due to the nature of the represented knowledge. Negotiation methodologies, in this case argumentation based negotiation methodologies, were developed and applied to solve unforeseeable and, therefore, unavoidable conflicts. The supporting computational model is a distributed belief revision system where argumentation plays the decisive role of revision. The distributed belief revision system detects, isolates and solves, whenever possible, the identified conflicts. The detection and isolation of the conflicts is automatically performed by the distributed consistency mechanism and the resolution of the conflict, or belief revision, is achieved via argumentation. We propose and describe two argumentation protocols intended to solve different types of identified information conflicts: context dependent and context independent conflicts. While the protocol for context dependent conflicts generates new consensual alternatives, the latter chooses to adopt the soundest, strongest argument presented. The paper shows the suitability of using argumentation as a distributed decentralised belief revision protocol to solve unavoidable conflicts.

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.

Percepção do estado de saúde de doentes com anticoagulação oral

RESUMO - O aumento da incidência das doenças crónicas representa um desafio enorme para todos os Sistemas de Saúde, pelo que a assistência de Saúde a doentes crónicos se tornou num problema das sociedades ocidentais. Os países mais pobres são os que mais sofrem, embora nos países desenvolvidos também se verifique um aumento notável das doenças crónicas. Estima-se que estas representem mais de 60% do total das doenças mundiais no ano 2020 (WHO, 2001). A adaptação dos actuais modelos de saúde aos doentes crónicos não atingiu os objectivos, o que conduziu a que, de há alguns anos a esta parte, se procure alternativas mais eficazes e eficientes. Uma das pressões do mercado que se fazem sentir será caracterizada por uma maior aposta na Promoção da Saúde e Prevenção da doença. O conceito de “Saúde” migrou de “não existência de doença” para “Bem-estar Físico e Psicológico”. Desta forma, o foco dos cuidados de saúde teve que ser adaptado, o que conduziu a uma situação em que o âmbito da prestação de cuidados de saúde é um contínuo de serviços que vai desde a promoção da saúde, medicina preventiva e medicina curativa aos cuidados continuados e cuidados paliativos. As tecnologias de informação e comunicação desempenharão um importante papel nesta tendência, permitindo estabelecer ligações contínuas entre os consumidores e prestadores de cuidados de saúde. Por outro lado, as potencialidades da Internet, das comunicações móveis, dispositivos portáteis e do instrumental electrónico, tornam-se evidentes no desenvolvimento de serviços de e-Saúde: para monitorização, seguimento e controlo dos doentes extra hospitalar - serviços estes centrados no doente. O objectivo geral do presente estudo consiste no desenho de um projecto de investigação para posterior avaliação da percepção do estado de saúde dos doentes seguidos na consulta de hipocoagulação do Hospital de Santa Marta. Devido à escassez de investigação na temática deste trabalho em Portugal, procedeu-se a um trabalho exploratório, descritivo, de carácter comparativo e enquadrado na abordagem quantitativa. O campo de análise consiste em comparar doentes que fazem anticoagulação oral, seguidos na consulta de cardiologia (consulta convencional), com os doentes seguidos no programa Airmed (através das comunicações móveis). 4 Para avaliação da percepção do estado de saúde foi utilizado o questionário SF-36.----ABSTRACT - The increasing incidence of chronic diseases represents an enormous challenge to the Health Systems and on cause of that, the Health Assistance to chronic patients became a concern of the Occidental society. The Countries with lower economical resources are the ones that suffers the most, but also the Developed countries have a noticeable increase of chronic diseases. It is estimated these will represent over 60% of total diseases world wide in 2020 (WHO,2001). The adaptation of the actual Health Models to chronic patients did not achieved it’s goals, what leaded to look for more effective and efficient alternatives. One of the more sensitive market pressure factor is to look for a better Health Promotion and Disease Prevention. The concept of “Health” merged from “Disease absence” to “Physic and Psychic Wellness”. In this way the Health Care focus had to be adapted, what drove to a status where the scope of the Health care is a continuum of services that goes from the Health Promotion, Preventive and Curative to Continued and Palliative Medical Care. The Information and Communication Technologies will play a crucial role in this trend, allowing to establish continued connections between patients and Health Care providers. In parallel the potential of the Internet, mobile communications, portable devices and electronic instruments became evident to deploy e-Health services: to monitor, follow-up and control of patients outside the Hospital. The overall objective of the present study is an Investigation Project Design to further evaluate the health status perception of the patients followed in the consultation for Hypocoagulation in the “Hospital de Santa Marta”. Due to lack of investigation in this thematic, in Portugal, this study is developed in an exploratory way, descriptive, comparative, within a scope of a quantified approach. The analysis field consists on comparing patients prescribed with oral anticoagulants and followed-up at the

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.

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

Fast-to-fed shift in glucose homeostasis: clues to an earlier detection of human prediabetic states

FCM: UC Bioquímica I - PhD Thesis

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.

Foraging at the Edge of Chaos: Internal Clock versus External Forcing

Activity rhythms in animal groups arise both from external changes in the environment, as well as from internal group dynamics. These cycles are reminiscent of physical and chemical systems with quasiperiodic and even chaotic behavior resulting from “autocatalytic” mechanisms. We use nonlinear differential equations to model how the coupling between the self-excitatory interactions of individuals and external forcing can produce four different types of activity rhythms: quasiperiodic, chaotic, phase locked, and displaying over or under shooting. At the transition between quasiperiodic and chaotic regimes, activity cycles are asymmetrical, with rapid activity increases and slower decreases and a phase shift between external forcing and activity. We find similar activity patterns in ant colonies in response to varying temperature during the day. Thus foraging ants operate in a region of quasiperiodicity close to a cascade of transitions leading to chaos. The model suggests that a wide range of temporal structures and irregularities seen in the activity of animal and human groups might be accounted for by the coupling between collectively generated internal clocks and external forcings.

Microencapsulation of herbicide MCPA with native beta-cyclodextrin and its methyl and hydroxypropyl derivatives: An experimental and theoretical investigation

When a pesticide is released into the environment, most of it is lost before it reaches its target. An effective way to reduce environmental losses of pesticides is by using controlled release technology. Microencapsulation becomes a promising technique for the production of controlled release agricultural formulations. In this work, the microencapsulation of chlorophenoxy herbicide MCPA with native b-cyclodextrin and its methyl and hydroxypropyl derivatives was investigated. The phase solubility study showed that both native and b-CD derivatives increased the water solubility of the herbicide and inclusion complexes are formed in a stoichiometric ratio of 1:1. The stability constants describing the extent of formation of the complexes have been determined by phase solubility studies. 1H NMR experiments were also accomplished for the prepared solid systems and the data gathered confirm the formation of the inclusion complexes. 1H NMR data obtained for the MCPA/CDs complexes disclosed noticeable proton shift displacements for OCH2 group and H6 aromatic proton of MCPA provided clear evidence of inclusion complexation process, suggesting that the phenyl moiety of the herbicide was included in the hydrophobic cavity of CDs. Free energy molecular mechanics calculations confirm all these findings. The gathered results can be regarded as an essential step to the development of controlled release agricultural formulations containing herbicide MCPA.

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.

Diagnosis of an EPS module

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

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.