A Novel Runtime Monitoring Architecture

Poster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 25 to 28, Mar, 2015, Poster Session. Porto, Portugal.

Towards the Certification of Multicore Platforms in the Avionics Domain

Poster presented in Work in Progress Session, The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks

Paper/Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks

Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Towards the Certification of Multicore Platforms in the Avionics Domain

Presented at Work in Progress Session, The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.

Esclonamento de máquinas de cogeração utilzando programação inteira mista

As centrais termoelétricas convencionais convertem apenas parte do combustível consumido na produção de energia elétrica, sendo que outra parte resulta em perdas sob a forma de calor. Neste sentido, surgiram as unidades de cogeração, ou Combined Heat and Power (CHP), que permitem reaproveitar a energia dissipada sob a forma de energia térmica e disponibilizá-la, em conjunto com a energia elétrica gerada, para consumo doméstico ou industrial, tornando-as mais eficientes que as unidades convencionais Os custos de produção de energia elétrica e de calor das unidades CHP são representados por uma função não-linear e apresentam uma região de operação admissível que pode ser convexa ou não-convexa, dependendo das caraterísticas de cada unidade. Por estas razões, a modelação de unidades CHP no âmbito do escalonamento de geradores elétricos (na literatura inglesa Unit Commitment Problem (UCP)) tem especial relevância para as empresas que possuem, também, este tipo de unidades. Estas empresas têm como objetivo definir, entre as unidades CHP e as unidades que apenas geram energia elétrica ou calor, quais devem ser ligadas e os respetivos níveis de produção para satisfazer a procura de energia elétrica e de calor a um custo mínimo. Neste documento são propostos dois modelos de programação inteira mista para o UCP com inclusão de unidades de cogeração: um modelo não-linear que inclui a função real de custo de produção das unidades CHP e um modelo que propõe uma linearização da referida função baseada na combinação convexa de um número pré-definido de pontos extremos. Em ambos os modelos a região de operação admissível não-convexa é modelada através da divisão desta àrea em duas àreas convexas distintas. Testes computacionais efetuados com ambos os modelos para várias instâncias permitiram verificar a eficiência do modelo linear proposto. Este modelo permitiu obter as soluções ótimas do modelo não-linear com tempos computationais significativamente menores. Para além disso, ambos os modelos foram testados com e sem a inclusão de restrições de tomada e deslastre de carga, permitindo concluir que este tipo de restrições aumenta a complexidade do problema sendo que o tempo computacional exigido para a resolução do mesmo cresce significativamente.

Design of multidimensional compact constellations with high power efficiency

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

Dental and facial characteristics of patients with juvenile idiopathic arthritis

OBJECTIVE: It has been shown that the temporomandibular joint is frequently affected by juvenile idiopathic arthritis, and this degenerative disease, which may occur during facial growth, results in severe mandibular dysfunction. However, there are no studies that correlate oral health (tooth decay and gingival diseases) and temporomandibular joint dysfunction in patients with juvenile idiopathic arthritis. The aim of this study is to evaluate the oral and facial characteristics of the patients with juvenile idiopathic arthritis treated in a large teaching hospital. METHOD: Thirty-six patients with juvenile idiopathic arthritis (26 female and 10 male) underwent a systematic clinical evaluation of their dental, oral, and facial structures (DMFT index, plaque and gingival bleeding index, dental relationship, facial profile, and Helkimo's index). The control group was composed of 13 healthy children. RESULTS: The mean age of the patients with juvenile idiopathic arthritis was 10.8 years; convex facial profile was present in 12 juvenile idiopathic arthritis patients, and class II molar relation was present in 12 (P = .032). The indexes of plaque and gingival bleeding were significant in juvenile idiopathic arthritis patients with a higher number of superior limbs joints involved (P = .055). Anterior open bite (5) and temporomandibular joint noise (8) were present in the juvenile idiopathic arthritis group. Of the group in this sample, 94% (P = .017) had temporomandibular joint dysfunction, 80% had decreased mandibular opening (P = 0.0002), and mandibular mobility was severely impaired in 33% (P = .015). CONCLUSION: This study confirms that patients with juvenile idiopathic arthritis a) have a high incidence of mandibular dysfunction that can be attributed to the direct effect of the disease in the temporomandibular joint and b) have a higher incidence of gingival disease that can be considered a secondary effect of juvenile idiopathic arthritis on oral health.

Global vs. local nonlinear optimization techniques for human-like movement of an anthropomorphic robot

In this paper a comparison between using global and local optimization techniques for solving the problem of generating human-like arm and hand movements for an anthropomorphic dual arm robot is made. Although the objective function involved in each optimization problem is convex, there is no evidence that the admissible regions of these problems are convex sets. For the sequence of movements for which the numerical tests were done there were no significant differences between the optimal solutions obtained using the global and the local techniques. This suggests that the optimal solution obtained using the local solver is indeed a global solution.

Modelação numérica de uma solução de reforço de solos para fundações de aerogeradores

Dissertação de mestrado integrado em Engenharia Civil

New species of Cyclodontina from Bahia, Brazil (Gastropoda, Pulmonata, Odontostomidae)

A new species of pulmonate snail was recently collected in a small forest fragment in the city of Bom Jesus da Lapa, Bahia state, Brazil. Bahia is known for a high diversity of land snails and Bom Jesus da Lapa is an interesting locality, since it is close to the interface between two major Brazilian biomes: Cerrado and Caatinga. The new species is described as Cyclodontina tapuia sp. nov. and can be easily identified by its brown shell, conical spire, convex whorls, a sculpture comprised of strong ribs, and an aperture with four barriers: a median parietal tooth, a median palatal tooth, a median basal tooth and a strong columellar lamella. This discovery is also a reminder of how little the Brazilian continental molluscan fauna is known and of the urgency in studying and preserving the rich (though usually overlooked) fauna of the Caatinga.

Clarke critical values of subanalytic Lipschitz continuous functions

We prove that any subanalytic locally Lipschitz function has the Sard property. Such functions are typically nonsmooth and their lack of regularity necessitates the choice of some generalized notion of gradient and of critical point. In our framework these notions are defined in terms of the Clarke and of the convex-stable subdifferentials. The main result of this note asserts that for any subanalytic locally Lipschitz function the set of its Clarke critical values is locally finite. The proof relies on Pawlucki's extension of the Puiseuxlemma. In the last section we give an example of a continuous subanalytic function which is not constant on a segment of "broadly critical" points, that is, points for which we can find arbitrarily short convex combinations of gradients at nearby points.

Contractions in the 2-wasserstein lenght space and thermalization of granular media

An algebraic decay rate is derived which bounds the time required for velocities to equilibrate in a spatially homogeneous flow-through model representing the continuum limit of a gas of particles interacting through slightly inelastic collisions. This rate is obtained by reformulating the dynamical problem as the gradient flow of a convex energy on an infinite-dimensional manifold. An abstract theory is developed for gradient flows in length spaces, which shows how degenerate convexity (or even non-convexity) | if uniformly controlled | will quantify contractivity (limit expansivity) of the flow.

On games corresponding to sequencing situations with precedence relations

In this paper we study a class of cooperative sequencing games that arise from one-machine sequencing situations in which chain precedence relations are imposed on the jobs. It is shown that these sequencing games are convex.