IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

A systematic procedure to enhance reproducibility of SWASV cycles in the determination of toxic metals in real samples

This work presents for the first time a systematic study on the optimization of the electrochemical cleaning time of a mercury film when it is used as a working electrode material in the analysis of toxic metals, such as Pb2+, used as model metal, in real samples by SWASV. The optimization study for the film’s cleaning time aimed at attaining a Pb2+ minimum value in the film after the re-oxidation step of the pre-concentrated metal, given the impossibility of complete removal of traces of the electroactive species from the film. This value was kept constant in each concentration range studied ensuring thus that all assays were performed in initial identical conditions. An assay performed on a synthetic sample was taken as reference. In it, given the absence of matrix effects, and after the electrochemical cleaning step, a direct proportionality was observed between the residual amounts of Pb2+ in the film (which for the cleaning time used was never completely removed) and Pb2+ concentration in the solution. This fact determined a high correlation between Pb2+ peak current and Pb2+ concentration which was not observed when real samples (tree leaves) were analyzed. This behavior may result from the presence of the interfering surfactants always present in real samples of complex matrix. Cleaning time optimization was performed for the following Pb2+ concentration ranges in the real samples of complex matrix: 0.006-0.020, 0.020-0.080, 0.060-0.200 and 0.100-0.600 ppb. As expected, in order to obtain identical levels of film’s cleaning efficiency, the need for longer cleaning times has been observed for higher concentrations. The optimized cleaning times for the concentration ranges under study were 120, 150, 180 e 300 s, respectively.

Sistema de contagem de tráfego e classificação automática de veículos, em tempo real e sem fios

Esta tese tem por objectivo o desenho e avaliação de um sistema de contagem e classificação de veículos automóveis em tempo-real e sem fios. Pretende, também, ser uma alternativa aos actuais equipamentos, muito intrusivos nas vias rodoviárias. Esta tese inclui um estudo sobre as comunicações sem fios adequadas a uma rede de equipamentos sensores rodoviários, um estudo sobre a utilização do campo magnético como meio físico de detecção e contagem de veículos e um estudo sobre a autonomia energética dos equipamentos inseridos na via, com recurso, entre outros, à energia solar. O projecto realizado no âmbito desta tese incorpora, entre outros, a digitalização em tempo real da assinatura magnética deixada pela passagem de um veículo, no campo magnético da Terra, o respectivo envio para servidor via rádio e WAN, Wide Area Network, e o desenvolvimento de software tendo por base a pilha de protocolos ZigBee. Foram desenvolvidas aplicações para o equipamento sensor, para o coordenador, para o painel de controlo e para a biblioteca de Interface de um futuro servidor aplicacional. O software desenvolvido para o equipamento sensor incorpora ciclos de detecção e digitalização, com pausas de adormecimento de baixo consumo, e a activação das comunicações rádio durante a fase de envio, assegurando assim uma estratégia de poupança energética. Os resultados obtidos confirmam a viabilidade desta tecnologia para a detecção e contagem de veículos, assim como para a captura de assinatura usando magnetoresistências. Permitiram ainda verificar o alcance das comunicações sem fios com equipamento sensor embebido no asfalto e confirmar o modelo de cálculo da superfície do painel solar bem como o modelo de consumo energético do equipamento sensor.

Completion problems for real matrices, II

Thirty years ago, G.N. de Oliveira has proposed the following completion problems: Describe the possible characteristic polynomials of [C-ij], i,j is an element of {1, 2}, where C-1,C-1 and C-2,C-2 are square submatrices, when some of the blocks C-ij are fixed and the others vary. Several of these problems remain unsolved. This paper gives the solution, over the field of real numbers, of Oliveira's problem where the blocks C-1,C-1, C-2,C-2 are fixed and the others vary.

Dynamical behaviour on the parameter space: new populational growth models proportional to beta densities

We present new populational growth models, generalized logistic models which are proportional to beta densities with shape parameters p and 2, where p > 1, with Malthusian parameter r. The complex dynamical behaviour of these models is investigated in the parameter space (r, p), in terms of topological entropy, using explicit methods, when the Malthusian parameter r increases. This parameter space is split into different regions, according to the chaotic behaviour of the models.

Tilted boxes on inclined planes

We propose the study of a box placed on an inclined plane, with an initial tilt with respect to the plane. This is a paradigmatic example of the role played by friction as a link between translational and rotational motion. This example has two advantages over the usual example of a sphere (or cylinder) rolling down an inclined plane. First, it provides a good model for a much greater variety of "real-life" situations. Second, it exhibits a much richer structure in parameter space, even when the box starts from rest. (C) 2000 American Association of Physics Teachers.

A soft origin for CKM-type CP violation

We present a two-Higgs-doublet model, with a Z(3) symmetry, in which CP violation originates solely in a soft (dimension-2) coupling in the scalar potential, and reveals itself solely in the CKM (quark mixing) matrix. In particular, in the mass basis the Yukawa interactions of the neutral scalars are all real. The model has only eleven parameters to fit the six quark masses and the four independent CKM-matrix observables. We find regions of parameter space in which the flavour-changing neutral couplings are so suppressed that they allow the scalars to be no heavier than a few hundred GeV. (C) 2011 Elsevier B.V. All rights reserved.

Convex Total Variation Denoising of Poisson Fluorescence Confocal Images With Anisotropic Filtering

Fluorescence confocal microscopy (FCM) is now one of the most important tools in biomedicine research. In fact, it makes it possible to accurately study the dynamic processes occurring inside the cell and its nucleus by following the motion of fluorescent molecules over time. Due to the small amount of acquired radiation and the huge optical and electronics amplification, the FCM images are usually corrupted by a severe type of Poisson noise. This noise may be even more damaging when very low intensity incident radiation is used to avoid phototoxicity. In this paper, a Bayesian algorithm is proposed to remove the Poisson intensity dependent noise corrupting the FCM image sequences. The observations are organized in a 3-D tensor where each plane is one of the images acquired along the time of a cell nucleus using the fluorescence loss in photobleaching (FLIP) technique. The method removes simultaneously the noise by considering different spatial and temporal correlations. This is accomplished by using an anisotropic 3-D filter that may be separately tuned in space and in time dimensions. Tests using synthetic and real data are described and presented to illustrate the application of the algorithm. A comparison with several state-of-the-art algorithms is also presented.

Short-term Feature Space and Music Genre Classification

In music genre classification, most approaches rely on statistical characteristics of low-level features computed on short audio frames. In these methods, it is implicitly considered that frames carry equally relevant information loads and that either individual frames, or distributions thereof, somehow capture the specificities of each genre. In this paper we study the representation space defined by short-term audio features with respect to class boundaries, and compare different processing techniques to partition this space. These partitions are evaluated in terms of accuracy on two genre classification tasks, with several types of classifiers. Experiments show that a randomized and unsupervised partition of the space, used in conjunction with a Markov Model classifier lead to accuracies comparable to the state of the art. We also show that unsupervised partitions of the space tend to create less hubs.

A doença oncológica no fórum da História: breve síntese sobre a evolução da luta anticancerosa em Portugal

Introdução – A doença oncológica tem sido assunto de abordagem historiográfica particularmente abundante no contexto internacional. No caso português só recentemente começaram a surgir os primeiros trabalhos em redor desta ampla temática. Objetivos – Revolvendo em torno da emergência e estruturação da luta anticancerosa no âmbito internacional, pretende-se apresentar uma breve síntese sobre a evolução deste fenómeno em Portugal na primeira metade do século XX. Metodologia – Análise documental. Qualitativa e heurística. Resultados/Discussão/Considerações finais – A luta contra a doença oncológica em Portugal não destoou do contexto médico-científico e do movimento internacional anticanceroso da primeira metade do século XX. No entanto, a emergência e a institucionalização do projeto anticanceroso nacional apresentou algumas particularidades. Inserido entre uma especialidade médica em processo de afirmação e as necessidades assistenciais dos cancerosos, resultou da conjugação de uma série de fatores que ultrapassam a mera assimilação de novas tecnologias médicas ou da criação de um espaço próprio para a prática da oncologia. Tornou-se também num meio para realizar um trabalho intenso de educação para a saúde, num instrumento de ponta na formação médica especializada e numa referência de modernidade científica no contexto do Estado Novo.

Real-time rheology of actively growing bacteria

The population growth of a Staphylococcus aureus culture, an active colloidal system of spherical cells, was followed by rheological measurements, under steady-state and oscillatory shear flows. We observed a rich viscoelastic behavior as a consequence of the bacteria activity, namely, of their multiplication and density-dependent aggregation properties. In the early stages of growth (lag and exponential phases), the viscosity increases by about a factor of 20, presenting several drops and full recoveries. This allows us to evoke the existence of a percolation phenomenon. Remarkably, as the bacteria reach their late phase of development, in which the population stabilizes, the viscosity returns close to its initial value. Most probably, this is caused by a change in the bacteria physiological activity and in particular, by the decrease of their adhesion properties. The viscous and elastic moduli exhibit power-law behaviors compatible with the "soft glassy materials" model, whose exponents are dependent on the bacteria growth stage. DOI: 10.1103/PhysRevE.87.030701.

FMRI 3D registration based on Fourier space subsets using neural networks

In this work, we present a neural network (NN) based method designed for 3D rigid-body registration of FMRI time series, which relies on a limited number of Fourier coefficients of the images to be aligned. These coefficients, which are comprised in a small cubic neighborhood located at the first octant of a 3D Fourier space (including the DC component), are then fed into six NN during the learning stage. Each NN yields the estimates of a registration parameter. The proposed method was assessed for 3D rigid-body transformations, using DC neighborhoods of different sizes. The mean absolute registration errors are of approximately 0.030 mm in translations and 0.030 deg in rotations, for the typical motion amplitudes encountered in FMRI studies. The construction of the training set and the learning stage are fast requiring, respectively, 90 s and 1 to 12 s, depending on the number of input and hidden units of the NN. We believe that NN-based approaches to the problem of FMRI registration can be of great interest in the future. For instance, NN relying on limited K-space data (possibly in navigation echoes) can be a valid solution to the problem of prospective (in frame) FMRI registration.

Inspeção e diagnóstico de edifícios recentes: estudo de um caso real

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Edificações

Projecto de AVAC de um edifício com multiutilização

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

O casamento real de William e Kate : a cobertura jornalística nos jornais The Daily Mail, The Guardian e The Sun

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Jornalismo.