Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models

Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013

A study on security grade assignment model for mobile users in urban computing

The relation between the information/knowledge expression and the physical expression can be involved as one of items for an ambient intelligent computing [2],[3]. Moreover, because there are so many contexts around user/spaces during a user movement, all appplcation which are using AmI for users are based on the relation between user devices and environments. In these situations, it is possible that the AmI may output the wrong result from unreliable contexts by attackers. Recently, establishing a server have been utilizes, so finding secure contexts and make contexts of higher security level for save communication have been given importance. Attackers try to put their devices on the expected path of all users in order to obtain users informationillegally or they may try to broadcast their SPAMS to users. This paper is an extensionof [11] which studies the Security Grade Assignment Model (SGAM) to set Cyber-Society Organization (CSO).

Controlo e optimização de sistemas AVAC recorrendo a técnicas de inteligência artificial

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

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

A feedback-based decentralised coordination model for distributed open real-time systems

Moving towards autonomous operation and management of increasingly complex open distributed real-time systems poses very significant challenges. This is particularly true when reaction to events must be done in a timely and predictable manner while guaranteeing Quality of Service (QoS) constraints imposed by users, the environment, or applications. In these scenarios, the system should be able to maintain a global feasible QoS level while allowing individual nodes to autonomously adapt under different constraints of resource availability and input quality. This paper shows how decentralised coordination of a group of autonomous interdependent nodes can emerge with little communication, based on the robust self-organising principles of feedback. Positive feedback is used to reinforce the selection of the new desired global service solution, while negative feedback discourages nodes to act in a greedy fashion as this adversely impacts on the provided service levels at neighbouring nodes. The proposed protocol is general enough to be used in a wide range of scenarios characterised by a high degree of openness and dynamism where coordination tasks need to be time dependent. As the reported results demonstrate, it requires less messages to be exchanged and it is faster to achieve a globally acceptable near-optimal solution than other available approaches.

Reabilitação de um imóvel industrial em Marvila: projeto de investimento

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Civil

Wind resource modelling in complex terrain using different mesoscale–microscale coupling techniques

Wind resource evaluation in two sites located in Portugal was performed using the mesoscale modelling system Weather Research and Forecasting (WRF) and the wind resource analysis tool commonly used within the wind power industry, the Wind Atlas Analysis and Application Program (WAsP) microscale model. Wind measurement campaigns were conducted in the selected sites, allowing for a comparison between in situ measurements and simulated wind, in terms of flow characteristics and energy yields estimates. Three different methodologies were tested, aiming to provide an overview of the benefits and limitations of these methodologies for wind resource estimation. In the first methodology the mesoscale model acts like “virtual” wind measuring stations, where wind data was computed by WRF for both sites and inserted directly as input in WAsP. In the second approach, the same procedure was followed but here the terrain influences induced by the mesoscale model low resolution terrain data were removed from the simulated wind data. In the third methodology, the simulated wind data is extracted at the top of the planetary boundary layer height for both sites, aiming to assess if the use of geostrophic winds (which, by definition, are not influenced by the local terrain) can bring any improvement in the models performance. The obtained results for the abovementioned methodologies were compared with those resulting from in situ measurements, in terms of mean wind speed, Weibull probability density function parameters and production estimates, considering the installation of one wind turbine in each site. Results showed that the second tested approach is the one that produces values closest to the measured ones, and fairly acceptable deviations were found using this coupling technique in terms of estimated annual production. However, mesoscale output should not be used directly in wind farm sitting projects, mainly due to the mesoscale model terrain data poor resolution. Instead, the use of mesoscale output in microscale models should be seen as a valid alternative to in situ data mainly for preliminary wind resource assessments, although the application of mesoscale and microscale coupling in areas with complex topography should be done with extreme caution.

Solid-State bipolar Marx modulator modeling

A mathematical model that simulates the operation of a solid-state bipolar Marx modulator topology, including the influence of parasitic capacitances is presented and discussed as a tool to analyze the circuit behavior and to assist the design engineer to select the semiconductor components and to enhance the operating performance. Simulations show good agreement with experimental results, considering a four stage circuit assembled with 1200 V isolated gate bipolar transistors and diodes, operating at 1000 V dc input voltage and 1-kHz frequency, giving 4 kV and 10-mu s output pulses into several resistive loads. Results show that parasitic capacitances between Marx cells to ground can significantly load the solid-state switches, adding new operating circuit conditions.

A theoretical study on modelling the respiratory tract with ladder networks by means of intrinsic fractal geometry

Fractional order modeling of biological systems has received significant interest in the research community. Since the fractal geometry is characterized by a recurrent structure, the self-similar branching arrangement of the airways makes the respiratory system an ideal candidate for the application of fractional calculus theory. To demonstrate the link between the recurrence of the respiratory tree and the appearance of a fractional-order model, we develop an anatomically consistent representation of the respiratory system. This model is capable of simulating the mechanical properties of the lungs and we compare the model output with in vivo measurements of the respiratory input impedance collected in 20 healthy subjects. This paper provides further proof of the underlying fractal geometry of the human lungs, and the consequent appearance of constant-phase behavior in the total respiratory impedance.

Signalling in an international cournot model

We consider a trade policy model, where the costs of the home firm are private information but can be signaled through the output levels of the firm to a foreign competitor and a home policymaker. We study the influences of the non-homogeneity of the goods and of the uncertainty on the production costs of the home firm in the signalling strategies by the home firm. We show that some results obtained for homogeneous goods are not robust under non-homogeneity.

Optical nonlinearity in Tandem SI-C photodetectors

The behavior of tandem pin heterojunctions based on a-SiC: H alloys is investigated under different optical and electrical bias conditions. The devices are optimized to act as optically selective wavelength filters. Depending on the device configuration (optical gaps, thickness, sequence of cells in the stack structure) and on the applied voltage (positive or negative) and optical bias (wavelength, intensity, frequency) it is possible to combine the wavelength discrimination function with the self amplification of the signal. This wavelength nonlinearity allows the amplification or the rejection of a weak signal-impulse. The device works as an active tunable optical filter for wavelength selection and can be used as an add/drop multiplexer (ADM) which enables data to enter and leave an optical network bit stream without having to demultiplex the stream. Results show that, even under weak transient input signals, the background wavelength controls the output signal. This nonlinearity, due to the transient asymmetrical light penetration of the input channels across the device together with the modification on the electrical field profile due to the optical bias, allows tuning an input channel without demultiplexing the stream. This high optical nonlinearity makes the optimized devices attractive for the amplification of all optical signals. Transfer characteristics effects due to changes in steady state light, control d.c. voltage and applied light pulses are presented. Based on the experimental results and device configuration an optoelectronic model is developed. The transfer characteristics effects due to changes in steady state light, dc control voltage or applied light pulses are simulated and compared with the experimental data. A good agreement was achieved.

Influência da variabilidade dos materiais compósitos na resposta dinâmica de estruturas laminadas

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

An uncertainty and sensitivity analysis applied to the prioritisation of pharmaceuticals as surface water contaminants from wastewater treatment plant direct emissions

In this study, the concentration probability distributions of 82 pharmaceutical compounds detected in the effluents of 179 European wastewater treatment plants were computed and inserted into a multimedia fate model. The comparative ecotoxicological impact of the direct emission of these compounds from wastewater treatment plants on freshwater ecosystems, based on a potentially affected fraction (PAF) of species approach, was assessed to rank compounds based on priority. As many pharmaceuticals are acids or bases, the multimedia fate model accounts for regressions to estimate pH-dependent fate parameters. An uncertainty analysis was performed by means of Monte Carlo analysis, which included the uncertainty of fate and ecotoxicity model input variables, as well as the spatial variability of landscape characteristics on the European continental scale. Several pharmaceutical compounds were identified as being of greatest concern, including 7 analgesics/anti-inflammatories, 3 β-blockers, 3 psychiatric drugs, and 1 each of 6 other therapeutic classes. The fate and impact modelling relied extensively on estimated data, given that most of these compounds have little or no experimental fate or ecotoxicity data available, as well as a limited reported occurrence in effluents. The contribution of estimated model input variables to the variance of freshwater ecotoxicity impact, as well as the lack of experimental abiotic degradation data for most compounds, helped in establishing priorities for further testing. Generally, the effluent concentration and the ecotoxicity effect factor were the model input variables with the most significant effect on the uncertainty of output results.

Gastric acid secretion response in the Cebus apella: a monkey model of chronic Chagas disease

The objective was to study the secretory pattern, both basal and stimulated either by histamine (0.1 mg/kg) or pentagastrin (64 ug/kg) in eighteen Cebus apella monkeys chronically infected with different T. cruzi strains (CA1, n=10; Colombian, n=4 and Tulahuen, n=4) and to describe the morphological findings in the gastrointestinal tract in twelve infected (6 sacrificed and 6 spontaneously dead) and four healthy monkeys. All infected monkeys and 35 healthy ones were evaluated by contrast X-ray examination. No differences were observed in basal acid output between control and infected groups. Animals infected with the Tulahuen and Colombian strains showed significant lower values of peak acid output in response to histamine or pentagastrin (p<0.01 and p<0.05 respectively; "t" test) in comparison to the controls. Barium contrast studies showed enlargement and dilatation of the colon in three infected animals. Histopathological lesions were seen in 75% of the autopsied animals either in colon alone (33%) or both, in colon and esophagus (42%). The normal secretion observed in the CA1 infected group could be due to a lower virulence of the strain, a lower esophagic tropism or the necessity of a longer post-infection time to cause lesions.

Descending pain modulation in a Kaolin-induced hydrocephalus rat model

Pain transmission at the spinal cord is modulated by descending actions that arise from supraspinal areas which collectively form the endogenous pain control system. Two key areas involved of the endogenous pain control system have a circunventricular location, namely the periaqueductal grey (PAG) and the locus coeruleus (LC). The PAG plays a crucial role in descending pain modulation as it conveys the input from higher brain centers to the spinal cord. As to the LC, it is involved in descending pain inhibition by direct noradrenergic projections to the spinal cord. In the context of neurological defects, several diseases may affect the structure and function of the brain. Hydrocephalus is a congenital or acquired disease characterized by an enlargement of the ventricles which leads to a distortion of the adjacent tissues, including the PAG and LC. Usually, patients suffering from hydrocephalus present dysfunctions in learning and memory and also motor deficits. It remains to be evaluated if lesions of the periventricular brain areas involved in pain control during hydrocephalus may affect descending pain control and, herein, affect pain responses. The studies included in the present thesis used an experimental model of hydrocephalus (the rat injected in the cisterna magna with kaolin) to study descending modulation of pain, focusing on the two circumventricular regions referred above (the PAG and the LC). In order to evaluate the effects of kaolin injection into the cisterna magna, we measured the degree of ventricular dilatation in sections encompassing the PAG by standard cytoarquitectonic stanings (thionin staining). For the LC, immunodetection of the noradrenaline-synthetizing enzyme tyrosine hydroxylase (TH) was performed, due to the noradrenergic nature of the LC neurons. In general, rats with kaolin-induced hydrocephalus presented a higher dilatation of the 4th ventricle, along with a tendency to a higher area of the PAG. Due to the validated role of detection the c-fos protooncogene as a marker of neuronal activation, we also studied neuronal activation in the several subnuclei which compose the PAG, namely the dorsomedial, dorsolateral, lateral and ventrolateral (VLPAG) parts. A decrease in the numbers of neurons immunoreactive for Fos protein (the product of activation of the c-fos protooncogene) was detected in rats injected with kaolin, whereas the remaining PAG subnuclei did not present changes in Fos-immunoreactive nuclei. Increases in the levels of TH in the LC, namely at the rostral parts of the nucleus, were detected in hydrocephalic animals. The following pain-related parameters were measured, namely 1) pain behavioural responses in a validated pain inflammatory test (the formalin test) and 2) the nociceptive activation of spinal cord neurons. A decrease in behavioral responses was detected in rats with kaolin-induced hydrocephalus was detected, namely in the second phase of the test (inflammatory phase). This is the phase of the formalin test in which the motor behaviour is less important, which is important since a semi-quantitative analysis of the motor performance of rats injected with kaolin indicates that these animals may present some motor impairments. Collectively, the results of the behavioral studies indicate that rats with kaolin-induced hydrocephalus exhibit hypoalgesia. A decrease in Fos expression was detected at the superficial dorsal layers of the spinal cord in rats with kaolin-induced hydrocephalus, further indicating that hydrocephalus decreases nociceptive responses. It remains to be ascertained if this is due to alterations in the PAG and LC in the rats with kaolin-induced hydrocephalus, which may affect descending pain modulation. It remains to be evaluated what are the mechanisms underlying the increased pain inhibition at the spinal dorsal horn in the hydrocephalus rats. Regarding the VLPAG, the decrease in neuronal activity may impair descending modulation. Since the LC has higher levels of TH in rats with kaolininduced hydrocephalus, which also appears to increase the noradrenergic innervation in the spinal dorsal horn, it is possible that an increase in the release of noradrenaline at the spinal cord accounts for pain inhibition. Our studies also determine the need to study in detail patients with hydrocephalus namely in what concerns their thresholds to pain and to perform imaging studies focused on the structure and function of pain control areas in the brain.