Spatio-temporal modelling of environmental data

Programa Doutoral em Matemática e Aplicações.

Effect of short chain fructooligosaccharides (scFOS) on immunological status and gut microbiota of gilthead sea bream (Sparus aurata) reared at two temperatures

The effects of dietary short chain fructooligosaccharides (scFOS) incorporation on hematology, fish immune status, gut microbiota composition, digestive enzymes activities, and gut morphology, was evaluated in gilthead sea bream (Sparus aurata) juveniles reared at 18 °C and 25 °C. For that purpose, fish with 32 g were fed diets including 0, 0.1, 0.25 and 0.5% scFOS during 8 weeks. Overall, scFOS had only minor effects on gilthead sea bream immune status. Lymphocytes decreased in fish fed the 0.1% scFOS diet. Fish fed the 0.5% scFOS diet presented increased nitric oxide (NO) production, while total immunoglobulins (Ig) dropped in those fish, but only in the ones reared at 25 °C. Red blood cells, hemoglobin, bactericidal activity and NO were higher at 25 °C, whereas total white blood cells, circulating thrombocytes, monocytes and neutrophils were higher at 18 °C. In fish fed scFOS, lymphocytes were higher at 18 °C. Total Ig were also higher at 18 °C but only in fish fed 0.1% and 0.5% scFOS diets. No differences in gut bacterial profiles were detected by PCR-DGGE (polymerase chain reaction denaturing gradient gel electrophoresis) between dietary treatments. However, group's similarity was higher at 25 °C. Digestive enzymes activities were higher at 25 °C but were unaffected by prebiotics incorporation. Gut morphology was also unaffected by dietary prebiotic incorporation. Overall, gut microbiota composition, digestive enzymes activities and immunity parameters were affected by rearing temperature whereas dietary scFOS incorporation had only minor effects on these parameters. In conclusion, at the tested levels scFOS does not seem worthy of including it in gilthead sea bream juveniles diets.

“Learning-by-producing” in the fashion value chain

Proceedings da AUTEX 2015, Bucareste, Roménia.

Dynamic modelling and analysis of hydraulic forces in radial blood pumps

Dissertação de mestrado integrado em Biomedical Engineering Biomaterials, Biomechanics and Rehabilitation

Modelling tyre-road noise with data mining techniques

The research aimed to establish tyre-road noise models by using a Data Mining approach that allowed to build a predictive model and assess the importance of the tested input variables. The data modelling took into account three learning algorithms and three metrics to define the best predictive model. The variables tested included basic properties of pavement surfaces, macrotexture, megatexture, and uneven- ness and, for the first time, damping. Also, the importance of those variables was measured by using a sensitivity analysis procedure. Two types of models were set: one with basic variables and another with complex variables, such as megatexture and damping, all as a function of vehicles speed. More detailed models were additionally set by the speed level. As a result, several models with very good tyre-road noise predictive capacity were achieved. The most relevant variables were Speed, Temperature, Aggregate size, Mean Profile Depth, and Damping, which had the highest importance, even though influenced by speed. Megatexture and IRI had the lowest importance. The applicability of the models developed in this work is relevant for trucks tyre-noise prediction, represented by the AVON V4 test tyre, at the early stage of road pavements use. Therefore, the obtained models are highly useful for the design of pavements and for noise prediction by road authorities and contractors.

Effect of the alkyl chain length of the ionic liquid anion on polymer electrolytes properties

New polymer electrolytes (PEs) based on chitosan and three ionic liquid (IL) families ([C2mim][CnSO3], [C2mim][CnSO4] and [C2mim][diCnPO4]) were synthesized by the solvent casting method. The effect of the length of the alkyl chain of the IL anion on the thermal, morphological and electrochemical properties of the PEs was studied. The solid polymer electrolytes (SPE) membranes were analyzed by differential scanning calorimetry (DSC), thermogravimetric analysis (TGA), X-ray diffraction (XRD), scanning electron microscopy (SEM), energy dispersive X-ray (EDX), polarized optical microscopy (POM), atomic force microscopy (AFM), complex impedance spectroscopy (ionic conductivity) and cyclic voltammetry (CV). The obtained results evidenced an influence of the alkyl chain length of the IL anion on the temperature of degradation, birefringence, surface roughness and ionic conductivity of the membranes. The DSC, XRD and CV results showed independency from the length of the IL-anion-alkyl chain. The PEs displayed an predominantly amorphous morphology, a minimum temperature of degradation of 135 °C, a room temperature (T = 25 °C) ionic conductivity of 7.78 × 10−4 S cm−1 and a wide electrochemical window of ∼ 4.0 V.

Singularities of the dynamical structure factors of the spin-1/2 XXX chain at finite magnetic field

We study the longitudinal and transverse spin dynamical structure factors of the spin-1/2 XXX chain at finite magnetic field h, focusing in particular on the singularities at excitation energies in the vicinity of the lower thresholds. While the static properties of the model can be studied within a Fermi-liquid like description in terms of pseudoparticles, our derivation of the dynamical properties relies on the introduction of a form of the ‘pseudofermion dynamical theory’ (PDT) of the 1D Hubbard model suitably modified for the spin-only XXX chain and other models with two pseudoparticle Fermi points. Specifically, we derive the exact momentum and spin-density dependences of the exponents ζτ(k) controlling the singularities for both the longitudinal  and transverse (τ = t) dynamical structure factors for the whole momentum range  , in the thermodynamic limit. This requires the numerical solution of the integral equations that define the phase shifts in these exponents expressions. We discuss the relation to neutron scattering and suggest new experiments on spin-chain compounds using a carefully oriented crystal to test our predictions.

Vanishing spin stiffness in the spin-1/2 Heisenberg chain for any nonzero temperature

Whether at the zero spin density m = 0 and finite temperatures T > 0 the spin stiffness of the spin-1/2 XXX chain is finite or vanishes remains an unsolved and controversial issue, as different approaches yield contradictory results. Here we explicitly compute the stiffness at m = 0 and find strong evidence that it vanishes. In particular, we derive an upper bound on the stiffness within a canonical ensemble at any fixed value of spin density m that is proportional to m2L in the thermodynamic limit of chain length L → ∞, for any finite, nonzero temperature, which implies the absence of ballistic transport for T > 0 for m = 0. Although our method relies in part on the thermodynamic Bethe ansatz (TBA), it does not evaluate the stiffness through the second derivative of the TBA energy eigenvalues relative to a uniform vector potential. Moreover, we provide strong evidence that in the thermodynamic limit the upper bounds on the spin current and stiffness used in our derivation remain valid under string deviations. Our results also provide strong evidence that in the thermodynamic limit the TBA method used by X. Zotos [Phys. Rev. Lett. 82, 1764 (1999)] leads to the exact stiffness values at finite temperature T > 0 for models whose stiffness is finite at T = 0, similar to the spin stiffness of the spin-1/2 Heisenberg chain but unlike the charge stiffness of the half-filled 1D Hubbard model.

Modelling Z→ττ processes in ATLAS with τ-embedded Z→μμ data

This paper describes the concept, technical realisation and validation of a largely data-driven method to model events with Z→ττ decays. In Z→μμ events selected from proton-proton collision data recorded at s√=8 TeV with the ATLAS experiment at the LHC in 2012, the Z decay muons are replaced by τ leptons from simulated Z→ττ decays at the level of reconstructed tracks and calorimeter cells. The τ lepton kinematics are derived from the kinematics of the original muons. Thus, only the well-understood decays of the Z boson and τ leptons as well as the detector response to the τ decay products are obtained from simulation. All other aspects of the event, such as the Z boson and jet kinematics as well as effects from multiple interactions, are given by the actual data. This so-called τ-embedding method is particularly relevant for Higgs boson searches and analyses in ττ final states, where Z→ττ decays constitute a large irreducible background that cannot be obtained directly from data control samples.

Nanocomposites: the contribution of multiscale modelling to improve the dispersion levels

Tese de Doutoramento em Ciência e Engenharia de Polímeros e Compósitos

Development of procedures for the design, optimization and manufacturing of customized orthopaedic and trauma implants: Geometrical/anatomical modelling from 3D medical imaging

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

Joint modelling of longitudinal and survival data on breast cancer

Tese de Doutoramento em Ciências (Especialidade em Matemática)

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

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.

Production of medium-chain fatty acids and higher alcohols by a synthetic co-culture grown on carbon monoxide or syngas

Synthesis gas, a mixture of CO, H2, and CO2, is a promising renewable feedstock for bio-based production of organic chemicals. Production of medium-chain fatty acids can be performed via chain elongation, utilizing acetate and ethanol as main substrates. Acetate and ethanol are main products of syngas fermentation by acetogens. Therefore, syngas can be indirectly used as a substrate for the chain elongation process.