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.

Weld lines in extrusion: Understanding the role of the flow conditions

This work reports the implemen tation and verification of a new so lver in OpenFOAM® open source computational library, able to cope w ith integral viscoelastic models based on the integral upper-convected Maxwell model. The code is verified through the comparison of its predictions with anal ytical solutions and numerical results obtained with the differential upper-convected Maxwell model

Algorithms and tools for in silico design of cell factories

PhD thesis in Bioengineering

Work engagement e enriquecimento trabalho - família: a influência das características de família

Dissertação de mestrado integrado em Psicologia

Systematics, functional morphology and distribution of a bivalve (Apachecorbula muriatica gen. et sp. nov.) from the rim of the ‘Valdivia Deep’ brine pool in the Red Sea

The deep brine pools of the Red Sea comprise extreme, inhospitable habitats yet house microbial communities that potentially may fuel adjacent fauna. We here describe a novel bivalve from a deep-sea (1525 m) brine pool in the Red Sea, where conditions of high salinity, lowered pH, partial anoxia and high temperatures are prevalent. Remotely operated vehicle (ROV) footage showed that the bivalves were present in a narrow (20 cm) band along the rim of the brine pool, suggesting that it is not only tolerant of such extreme conditions but is also limited to them. The bivalve is a member of the Corbulidae and named Apachecorbula muriatica gen. et sp. nov. The shell is atypical of the family in being modioliform and thin. The semi-infaunal habit is seen in ROV images and reflected in the anatomy by the lack of siphons. The ctenidia are large and typical of a suspension feeding bivalve, but the absence of guard cilia and the greatly reduced labial palps suggest that it is non-selective as a response to low food availability. It is proposed that the low body mass observed is a consequence of the extreme habitat and low food availability. It is postulated that the observed morphology of Apachecorbula is a result of paedomorphosis driven by the effects of the extreme environment on growth but is in part mitigated by the absence of high predation pressures.

Family relationship and parenting practices: a pathway to adolesents’ collectivist and individualist values?

Adolescents’ perceptions of parenting and family relationships are important variables for identifying mechanisms involved in how children acquire values and how these values are transmitted through families. In a sample of 515 adolescents, we investigated whether perceptions of the quality of parental practices would predict adolescents’ collectivist and individualist values. We hypothesized that perceived quality of family relations would mediate the relationship between the quality of parental practices and collectivist values but not of individualist values. The results of structural equation modeling suggested that perception of the quality of parental practices predicted adolescents’ both collectivist and individualist values. The predicted mediation effect was found for collectivist values, but not for individualist values. The results point to different functions of parenting and family relations on value acquisition. Implications for practice, such as the development and implementation of interventions to improve the formation of adolescents’ values by enhancing the quality of parenting and family relationships are discussed.

Adolescent parents’ values: the role played by retrospective perceptions of the family-of-origin

Family-of-origin is an important system in individual’s lives, and its influence is extensive over the life cycle. The aim of this study was to investigate, in a sample of adolescents’ parents, whether their retrospective perceptions of parenting and relationship qualities within their families-of-origin during adolescence predicted their current collectivist and individualist values. Participants included 110 Portuguese adults with a mean age of 46.86 years old. The results of structural equation modeling supported that retrospective perceptions of parenting and relationship qualities in the family-of-origin predicted the adults’ collectivist values but not their individualist values. This study highlights the importance of retrospective perceptions of supporting and non-rejecting parenting for value acquisition. The results also suggest that values that preserve and protect family connections and collaborations are more likely to be socialized by families. Implications for practice and for the theories on parenting, values, family-of-origin influences and family intergenerational transmission are discussed.

Cortisol, family coping and burden in informal caregivers of addicts

This study focuses on the prospective mediation role of family coping between burden and cortisol levels in informal caregivers of addicts as well as on the feasible use of two different ways to analyse the salivary cortisol levels. Participants were 120 Portuguese informal caregivers of addicts. The cortisol samples were collected at awakening, 45 minutes later and after a 30 minute presentation of images taken from the International Affective Picture System. Family coping and caregiver burden were measured using the Portuguese versions of the Caregiver Reaction Assessment, and the Family Crisis Oriented Personal Evaluation Scale. Cortisol samples were collected in salivettes and the results were computed in order to determine the Area Under the Curve scores (AUCg, AUCi). Results found family coping to be negatively correlated with burden and AUCg levels (i.e. overall intensity) and positively correlated with either AUCg and AUCi (i.e. change over time). The mediation model revealed that family coping was a partial mediator in the relationship between the burden and AUCg levels. Therefore, Family Coping appears to be an essential variable in understanding the stress response and should be considered in further studies and interventions. In addition, the use of two different formulas for calculating cortisol levels provided important new information concerning the relationship between cortisol, burden and family coping. It seems that burden has a more profound effect on the overall intensity of the neuroendocrine response to caregiver stress and not so much on the sensitivity of the system.

Aplicação de princípios e ferramentas Lean numa empresa de produção de cablagens

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Biological markers in noninvasive brain stimulation trials in major depressive disorder: a systematic review

Objectives: The therapeutic effects of transcranial magnetic stimulation (TMS) and transcranial direct current stimulation in patients with major depression have shown promising results; however, there is a lack of mechanistic studies using biological markers (BMs) as an outcome. Therefore, our aim was to review noninvasive brain stimulation trials in depression using BMs. Methods: The following databases were used for our systematic review: MEDLINE, Web of Science, Cochrane, and SCIELO. We examined articles published before November 2012 that used TMS and transcranial direct current stimulation as an intervention for depression and had BM as an outcome measure. The search was limited to human studies written in English. Results: Of 1234 potential articles, 52 articles were included. Only studies using TMS were found. Biological markers included immune and endocrine serum markers, neuroimaging techniques, and electrophysiological outcomes. In 12 articles (21.4%), end point BM measurements were not significantly associated with clinical outcomes. All studies reached significant results in the main clinical rating scales. Biological marker outcomes were used as predictors of response, to understand mechanisms of TMS, and as a surrogate of safety. Conclusions: Functional magnetic resonance imaging, single-photon emission computed tomography, positron emission tomography, magnetic resonance spectroscopy, cortical excitability, and brain-derived neurotrophic factor consistently showed positive results. Brain-derived neurotrophic factor was the best predictor of patients’ likeliness to respond. These initial results are promising; however, all studies investigating BMs are small, used heterogeneous samples, and did not take into account confounders such as age, sex, or family history. Based on our findings, we recommend further studies to validate BMs in noninvasive brain stimulation trials in MDD.

Performance assessment of electrically small antennas for implantable microsystems with wireless power and communications

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Eletrónica Médica)

Bombyx mori Silk Fibers: An outstanding family of materials

Designing novel multifunctional materials from natural resources is a challenging goal that has increasingly attracted researchers. Recently, the great potential of silk fibers has been recognized. The target readers for this review are researchers from different backgrounds (i.e., non-specialists in silk research) with special interests on the physical–chemical characterization of silk fibers, since their knowledge is crucial for the improvement of existent silk-based biomaterials and the basis for the development of new products. Examples of usual applications of Bombyx mori silk fibers are given and some of the most recent and exciting progress in new technological fields, is presented.

Evaluation of natural fibers from brazilian malvaceae family and its potential as reinforced composites

This study compares the physicochemical characteristics of six species from Brazilian Malvaceae family with natural fibers of recognized applicability in the industry. The objective of the present study is present the physicochemical characterization of six Brazilian vegetal fibers: Sida rhombifolia L.; Sida carpinifolia L. f.; Sidastrum paniculatum (L.) Fryxell; Sida cordifolia L.; Malvastrum coromandelianum (L.) Gurck; Wissadula subpeltata (Kuntze) R.E.Fries. Respectively the two first species are from Brazilian Atlantic Forest biome and the four remaining from Brazilian Cerrado biome, despite of present in other regions of the plane

Cognitive functioning and efficacy of cognitive intervention in Multiple Sclerosis

Tese de Doutoramento em Psicologia Clínica / Psicologia

Evolution of the gene regulatory network controlling flower dorsoventral asymmetry

Tese de Doutoramento em Biologia de Plantas.