Grid structure impact in sparse point representation of derivatives

In the Sparse Point Representation (SPR) method the principle is to retain the function data indicated by significant interpolatory wavelet coefficients, which are defined as interpolation errors by means of an interpolating subdivision scheme. Typically, a SPR grid is coarse in smooth regions, and refined close to irregularities. Furthermore, the computation of partial derivatives of a function from the information of its SPR content is performed in two steps. The first one is a refinement procedure to extend the SPR by the inclusion of new interpolated point values in a security zone. Then, for points in the refined grid, such derivatives are approximated by uniform finite differences, using a step size proportional to each point local scale. If required neighboring stencils are not present in the grid, the corresponding missing point values are approximated from coarser scales using the interpolating subdivision scheme. Using the cubic interpolation subdivision scheme, we demonstrate that such adaptive finite differences can be formulated in terms of a collocation scheme based on the wavelet expansion associated to the SPR. For this purpose, we prove some results concerning the local behavior of such wavelet reconstruction operators, which stand for SPR grids having appropriate structures. This statement implies that the adaptive finite difference scheme and the one using the step size of the finest level produce the same result at SPR grid points. Consequently, in addition to the refinement strategy, our analysis indicates that some care must be taken concerning the grid structure, in order to keep the truncation error under a certain accuracy limit. Illustrating results are presented for 2D Maxwell's equation numerical solutions.

Improving Remote Voting Security with Code Voting

One of the major problems that prevents the spread of elections with the possibility of remote voting over electronic networks, also called Internet Voting, is the use of unreliable client platforms, such as the voter's computer and the Internet infrastructure connecting it to the election server. A computer connected to the Internet is exposed to viruses, worms, Trojans, spyware, malware and other threats that can compromise the election's integrity. For instance, it is possible to write a virus that changes the voter's vote to a predetermined vote on election's day. Another possible attack is the creation of a fake election web site where the voter uses a malicious vote program on the web site that manipulates the voter's vote (phishing/pharming attack). Such attacks may not disturb the election protocol, therefore can remain undetected in the eyes of the election auditors. We propose the use of Code Voting to overcome insecurity of the client platform. Code Voting consists in creating a secure communication channel to communicate the voter's vote between the voter and a trusted component attached to the voter's computer. Consequently, no one controlling the voter's computer can change the his/her's vote. The trusted component can then process the vote according to a cryptographic voting protocol to enable cryptographic verification at the server's side.

Scheduling of head-dependent cascaded reservoirs considering discharge ramping constraints and start/stop of units

This paper is on the problem of short-term hydro scheduling (STHS), particularly concerning head-dependent reservoirs under competitive environment. We propose a novel method, based on mixed-integer nonlinear programming (MINLP), for optimising power generation efficiency. This method considers hydroelectric power generation as a nonlinear function of water discharge and of the head. The main contribution of this paper is that discharge ramping constraints and start/stop of units are also considered, in order to obtain more realistic and feasible results. The proposed method has been applied successfully to solve two case studies based on Portuguese cascaded hydro systems, providing a higher profit at an acceptable computation time in comparison with classical optimisation methods based on mixed-integer linear programming (MILP).

Periodic dynamic systems for infected hosts and mosquitoes

A mathematical model for the purpose of analysing the dynamic of the populations of infected hosts anf infected mosquitoes when the populations of mosquitoes are periodic in time is here presented. By the computation of a parameter lambda (the spectral radius of a certain monodromy matrix) one can state that either the infection peters out naturally) (lambda <= 1) or if lambda > 1 the infection becomes endemic. The model generalizes previous models for malaria by considering the case of periodic coefficients; it is also a variation of that for gonorrhea. The main motivation for the consideration of this present model was the recent studies on mosquitoes at an experimental rice irrigation system, in the South-Eastern region of Brazil.

Nonlinear optimization method for short-term hydro scheduling considering head-dependency

This paper is on the problem of short-term hydro scheduling, particularly concerning head-dependent reservoirs under competitive environment. We propose a new nonlinear optimization method to consider hydroelectric power generation as a function of water discharge and also of the head. Head-dependency is considered on short-term hydro scheduling in order to obtain more realistic and feasible results. The proposed method has been applied successfully to solve a case study based on one of the main Portuguese cascaded hydro systems, providing a higher profit at a negligible additional computation time in comparison with a linear optimization method that ignores head-dependency.

Evaluating Tsunami Impact on the Gulf of Cadiz Coast (Northeast Atlantic).

The Gulf of Cadiz coasts are exposed to tsunamis. Emergency planning tools are now taking into account this fact, especially because a series of historical occurrences were strikingly significant, having left strong evidence behind, in the mareographic records, the geological evidence or simply the memory of the populations. The study area is a strip along the Algarve coast, south Portugal, an area known to have been heavily impacted by the 1 November 1755 event. In this study we use two different tsunami scenarios generated by the rupture of two thrust faults identified in the area, corresponding to 8.1-8.3 magnitude earthquakes. Tsunami propagation and inundation computation is performed using a non-linear shallow water code with bottom friction. Numerical modeling results are presented in terms of flow depth and current velocity with maximum values of 7 m and 8 m/s for inundation depth and flow speed, respectively. These results constitute a valuable tool for local authorities, emergency and decision planners to define the priority zones where tsunami mitigation measures must be implemented and to develop tsunami-resilient communities.

More than maternal sensitivity shapes attachment : infant coping and temperament

The aim of this longitudinal studywas to investigate the effect of a set of factors from multiple levels of influence: infant temperament, infant regulatory behavior, and maternal sensitivity on infant’s attachment. Our sample consisted of 48 infants born prematurely and their mothers. At 1 and 3 months of age, mothers described their infants’behavior using the Escala de Temperamento do Beb´e. At 3 months of age, infants’ capacity to regulate stress was evaluated during Tronick’s Face-to-Face Still-Face (FFSF) paradigm. At 9 months of age, mothers’ sensitivity was evaluated during free play using the CARE-Index. At 12 months of age, infants’ attachment security was assessed during Ainsworth’s Strange Situation. A total of 16 infants were classified as securely attached, 17 as insecure-avoidant, and 15 as insecure-resistant. Mothers of securely attached infantswere more likely than mothers of insecure infants to describe their infants as less difficult and to be more sensitive to their infants in free play. In turn, secure infants exhibited more positive responses during the Still-Face. Infants classified as insecureavoidant were more likely to self-comfort during the Still-Face and had mothers who were more controlling during free play. Insecure-resistant exhibited higher levels of negative arousal during the Still-Face and had mothers who were more unresponsive in free play. These findings show that attachment quality is influenced bymultiple factors, including infant temperament, coping behavior, and maternal sensitivity.

Cuidados de saúde primários: as regras do jogo

Enquadramento – A reforma dos Cuidados de Saúde Primários (CSP) é um facto irreversível. Uma “onda” de reforma percorre igualmente grande parte dos países ocidentais exigindo uma reflexão sobre o processo. Objetivo – Descrever a reforma em curso nos CSP e identificar os potenciais factores de sucesso e insucesso dos serviços públicos de cuidados de saúde primários. Metodologia – Análise crítica da literatura. Resultados e conclusões – A eficiência, eficácia e equidade de acesso aos cuidados de saúde são insuficientes. Mudanças organizacionais estão a ser operadas alterando as relações e a cooperação inter‑profissional e inter‑organizacional. É evidente a tensão que existe entre as partes envolvidas. Novas formas organizacionais estão a ser criadas para garantir a viabilidade das reformas e equilíbrio dos sistemas. O novo modelo organizacional, se pretender garantir a sustentabilidade e a viabilidade dos cuidados primários, deverá assentar num equilíbrio de gestão de recursos e numa estratégia de saúde para todos que não significa saúde para tudo. ABSTRACT: Background – Primary Health Care (PHC) reform is a fact in several countries and is happening also in Portugal demanding a reflection on the process. Aim – To describe the PHC reform and to identify the factors of success or potential failure in PHC public services. Methods – Critical appraisal of the literature. Results and Conclusions – The efficiency, efficacy and access to health care are insufficient. Organizational changes are taking place altering inter‑professional and inter‑organizational cooperation and relationship. Tension among the parts involved is evident. New organizational models are being created to secure the sustainability of the reforms and the systems. The new models should provide a balanced management of the available resources, in a strategy of health for all that doesn’t mean health for everything.

A checkpointing-enabled and resource-aware Java Virtual Machine for efficient and robust e-Science applications in grid environments

Object-oriented programming languages presently are the dominant paradigm of application development (e. g., Java,. NET). Lately, increasingly more Java applications have long (or very long) execution times and manipulate large amounts of data/information, gaining relevance in fields related with e-Science (with Grid and Cloud computing). Significant examples include Chemistry, Computational Biology and Bio-informatics, with many available Java-based APIs (e. g., Neobio). Often, when the execution of such an application is terminated abruptly because of a failure (regardless of the cause being a hardware of software fault, lack of available resources, etc.), all of its work already performed is simply lost, and when the application is later re-initiated, it has to restart all its work from scratch, wasting resources and time, while also being prone to another failure and may delay its completion with no deadline guarantees. Our proposed solution to address these issues is through incorporating mechanisms for checkpointing and migration in a JVM. These make applications more robust and flexible by being able to move to other nodes, without any intervention from the programmer. This article provides a solution to Java applications with long execution times, by extending a JVM (Jikes research virtual machine) with such mechanisms. Copyright (C) 2011 John Wiley & Sons, Ltd.

Short-term electricity prices forecasting in a competitive market by a hybrid PSO-ANFIS approach

In this paper, a novel hybrid approach is proposed for electricity prices forecasting in a competitive market, considering a time horizon of 1 week. The proposed approach is based on the combination of particle swarm optimization and adaptive-network based fuzzy inference system. Results from a case study based on the electricity market of mainland Spain are presented. A thorough comparison is carried out, taking into account the results of previous publications, to demonstrate its effectiveness regarding forecasting accuracy and computation time. Finally, conclusions are duly drawn. (C) 2012 Elsevier Ltd. All rights reserved.

A generalized notion of compliance

It is a known fact in structural optimization that for structures subject to prescribed non-zero displacements the work done by the loads is not agood measure of compliance, neither is the stored elastic energy. We briefly discuss a possible alternative measure of compliance, valid for general boundary conditions. We also present the adjoint states (necessary for the computation of the structural derivative) for the three functionals under consideration. (C) 2011 Academie des sciences. Published by Elsevier Masson SAS. All rights reserved.

A congestion management and transmission price simulator for competitive electricity markets

In a liberalized electricity market, the Transmission System Operator (TSO) plays a crucial role in power system operation. Among many other tasks, TSO detects congestion situations and allocates the payments of electricity transmission. This paper presents a software tool for congestion management and transmission price determination in electricity markets. The congestion management is based on a reformulated Optimal Power Flow (OPF), whose main goal is to obtain a feasible solution for the re-dispatch minimizing the changes in the dispatch proposed by the market operator. The transmission price computation considers the physical impact caused by the market agents in the transmission network. The final tariff includes existing system costs and also costs due to the initial congestion situation and losses costs. The paper includes a case study for the IEEE 30 bus power system.

Multi-criteria short-term maintenance outage scheduling in smart distribution systems

Effective legislation and standards for the coordination procedures between consumers, producers and the system operator supports the advances in the technologies that lead to smart distribution systems. In short-term (ST) maintenance scheduling procedure, the energy producers in a distribution system access to the long-term (LT) outage plan that is released by the distribution system operator (DSO). The impact of this additional information on the decision-making procedure of producers in ST maintenance scheduling is studied in this paper. The final ST maintenance plan requires the approval of the DSO that has the responsibility to secure the network reliability and quality, and other players have to follow the finalized schedule. Maintenance scheduling in the producers’ layer and the coordination procedure between them and the DSO is modelled in this paper. The proposed method is applied to a 33-bus distribution system.

Contexts-management strategy in considering the security in urban computing based on urban design

Urban Computing (UrC) provides users with the situation-proper information by considering context of users, devices, and social and physical environment in urban life. With social network services, UrC makes it possible for people with common interests to organize a virtual-society through exchange of context information among them. In these cases, people and personal devices are vulnerable to fake and misleading context information which is transferred from unauthorized and unauthenticated servers by attackers. So called smart devices which run automatically on some context events are more vulnerable if they are not prepared for attacks. In this paper, we illustrate some UrC service scenarios, and show important context information, possible threats, protection method, and secure context management for people.

Estudo dosimétrico comparativo do Acuros® XB: algoritmo avançado de cálculo de dose com o AAA – Anisotropic Analytical Alghorithm, em tratamentos de radioterapia externa com a técnica de RapidArc™

Mestrado em Radioterapia.