Substituted P-Phenylene Ethynylene trimers as fluorescent sensors for nitroaromatic explosives

New sensory materials based on p-phenylene ethynylene trimers integrating calix[4]arene receptors (CALIX-PET) and tert-butylphenol (TBP-PET) moieties have been synthesized and their sensitivity and selectivity for the detection of nitroaromatic compounds (NACs) such as nitrobenzene (NB), 2,4-dinitrotoluene (2,4-DNT), 2,4,6-trinitrotoluene (TNT) and picric acid (PA) investigated in fluid phase and solid-state. It was found that both fluorophores displayed high sensitivities toward NACs detection in solution as evaluated by the Stern-Volmer formalism. For all the tested explosives, the ratio of fluorescence intensities (F-0/F) is a linear function of the quencher concentration only after appropriate correction of fluorescence quenching data for inner-filter effects. The quenching efficiencies for CALIX-PET and TBP-PET follow the order PA >> TNT > DNT > NB, which correlate well with the quenchers electron affinities as evaluated from their LUMOs energies thereby suggesting a photoinduced electron transfer as the dominant mechanism of fluorescence quenching. The selectivity of these sensors was checked against exemplar interferents possessing differentiated electronic properties (benzoic acid, 2,4-dichlorophenol and benzoquinone) and reduced quenching activity was detected. The quenching efficiencies and response times of the two fluorophores in the solid-state toward NB, 2,4-DNT and TNT vapors were evaluated through steady-state fluorescence quenching experiments with the materials dispersed in polymeric matrices or as neat films. The most significant fluorescence quenching responses were achieved for drop-casted films of TBP-PET upon exposure to nitroaromatics.

Simulation and dynamics of freeway traffic

This paper presents the new package entitled Simulator of Intelligent Transportation Systems (SITS) and a computational oriented analysis of traffic dynamics. The SITS adopts a microscopic simulation approach to reproduce real traffic conditions considering different types of vehicles, drivers and roads. A set of experiments with the SITS reveal the dynamic phenomena exhibited by this kind of system. For this purpose a modelling formalism is developed that embeds the statistics and the Laplace transform. The results make possible the adoption of classical system theory tools and point out that it is possible to study traffic systems taking advantage of the knowledge gathered with automatic control algorithms. A complementary perspective for the analysis of the traffic flow is also quantified through the entropy measure.

Fractional order electromagnetics

The Maxwell equations constitute a formalism for the development of models describing electromagnetic phenomena. The four Maxwell laws have been adopted successfully in many applications and involve only the integer order differential calculus. Recently, a closer look for the cases of transmission lines, electrical motors and transformers, that reveal the so-called skin effect, motivated a new perspective towards the replacement of classical models by fractional-order mathematical descriptions. Bearing these facts in mind this paper addresses the concept of static fractional electric potential. The fractional potential was suggested some years ago. However, the idea was not fully explored and practical methods of implementation were not proposed. In this line of thought, this paper develops a new approximation algorithm for establishing the fractional order electrical potential and analyzes its characteristics.

Petri net model decomposition - a model based approach supporting distributed execution

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

Study of forbidden transitions in atomic systems

A Thesis submitted for the co-tutelle degree of Doctor in Physics at Universidade Nova de Lisboa and Université Pierre et Marie Curie

Electrical Skin Phenomena: A Fractional Calculus Analysis

The internal impedance of a wire is the function of the frequency. In a conductor, where the conductivity is sufficiently high, the displacement current density can be neglected. In this case, the conduction current density is given by the product of the electric field and the conductance. One of the aspects the high-frequency effects is the skin effect (SE). The fundamental problem with SE is it attenuates the higher frequency components of a signal. The SE was first verified by Kelvin in 1887. Since then many researchers developed work on the subject and presently a comprehensive physical model, based on the Maxwell equations, is well established. The Maxwell formalism plays a fundamental role in the electromagnetic theory. These equations lead to the derivation of mathematical descriptions useful in many applications in physics and engineering. Maxwell is generally regarded as the 19th century scientist who had the greatest influence on 20th century physics, making contributions to the fundamental models of nature. The Maxwell equations involve only the integer-order calculus and, therefore, it is natural that the resulting classical models adopted in electrical engineering reflect this perspective. Recently, a closer look of some phenomas present in electrical systems and the motivation towards the development of precise models, seem to point out the requirement for a fractional calculus approach. Bearing these ideas in mind, in this study we address the SE and we re-evaluate the results demonstrating its fractional-order nature.

Modelling and Control of Freeway Traffic

This paper presents the most recent developments of the Simulator of Intelligent Transportation Systems (SITS). The SITS is based on a microscopic simulation approach to reproduce real traffic conditions in an urban or non-urban network. In order to analyse the quality of the microscopic traffic simulator SITS a benchmark test was performed. A dynamical analysis of several traffic phenomena, applying a new modelling formalism based on the embedding of statistics and Laplace transform, is then addressed. The paper presents also a new traffic control concept applied to a freeway traffic system.

Type-based protocol conformance and aliasing control in concurrent java programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Lawyers, judges, and judicial reform: A conceptual framework and a quantitative exploration

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Estudo, desenvolvimento de manuais de utilização e colocação em funcionamento da bancada SIMATIC da Siemens

Dissertação de mestrado em Engenharia Mecatrónica

Ionic, paramagnetic and photophysical properties of a new biohybrid material incorporating copper perchlorate

The sol-gel method was employed in the synthesis of di-urethane cross-linked poly(-caprolactone) (d-PCL(530)/siloxane biohybrid ormolytes incorporating copper perchlorate, (Cu(ClO4)2). The highest ionic conductivity of the d PCL(530)/siloxanenCu(ClO4)2 system is that with n = 10 (1.4 x 10-7 and 1.4 x 10-5 S cm-1, at 25 and 100 ºC, respectively). In an attempt to understand the ionic conductivity/ionic association relationship, we decide to inspect the chemical environment experienced by the Cu2+ ions in the d-PCL(530)/siloxane medium. The observed EPR spectra are typical of isolated monomeric Cu2+ ions in axially distorted sites. The molecular orbital coefficients obtained from the EPR spin Hamiltonian parameters and the optical absorption band suggests that bonding between the Cu2+ and its ligand in the ormolytes are moderately ionic. Investigation by photoluminescence spectroscopy did not evidence or allow selective excitation of transitions corresponding to complexed Cu2+ species.

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

A Prova por reconhecimento de pessoas produzida ex novo em sede de audiência de julgamento: fiabilidade e impacto na descoberta da verdade material

Dissertação de mestrado em Direito Judiciário (Direitos Processuais e Organização Judiciária)

Genetic regulatory mechanisms by means of extended interactive Petri nets

In our work we have chosen to integrate formalism for knowledge representation with formalism for process representation as a way to specify and regulate the overall activity of a multi-cellular agent. The result of this approach is XP,N, another formalism, wherein a distributed system can be modeled as a collection of interrelated sub-nets sharing a common explicit control structure. Each sub-net represents a system of asynchronous concurrent threads modeled by a set of transitions. XP,N combines local state and control with interaction and hierarchy to achieve a high-level abstraction and to model the complex relationships between all the components of a distributed system. Viewed as a tool XP,N provides a carefully devised conflict resolution strategy that intentionally mimics the genetic regulatory mechanism used in an organic cell to select the next genes to process.

Object-oriented inheritance of statecharts for control applications

This paper discusses how object-oriented iuheritance can be re-interpreted if statecharts are used for modelling the dynamic behaviour of an object. The support of inheritance of statecharts allows the improvement of systems' development by easing the reutilization of parts of already developed euccessful systems, aad by promoting the iterative and continuous models' refinement advocated by the operatioaal approach. Statechart is the formalism used within UML to specify reactive state.based behaviours. This paper covers the use of statecharts within the modelling of embedded systems for industrial control applxications, where performance and memory usage are main concerns.