Derivation and consistency checking of models in early software product line engineering

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

Predisposition assessment modelling

Dissertation submitted for obtaining the degree of Master in Environmental Engineering

Contributo da curva de débito-volume na detecção da obstrução da via aérea central

RESUMO: Introdução: A obstrução da via aérea central (OVAC) refere-se a um processo patológico que conduz a limitação do fluxo de ar ao nível do espaço glótico e subglótico, traqueia e brônquios principais. O seu correcto diagnóstico e tratamento constituem um território de interesse e preocupação para os profissionais de saúde, e requerem um profundo conhecimento da sua etiologia, fisiologia, diagnóstico e opções terapêuticas dado o potencial em originar significativa morbilidade e mortalidade. A avaliação da OVAC abrange múltiplas vertentes, entre as quais se salienta o componente clínico (sinais e sintomas), a repercussão fisiopatológica (função respiratória) e o estudo imagiológico (TC do tórax e broncoscopia). A compilação destes dados associada à etiologia, constituem factores importantes para estabelecer o prognóstico, determinar a necessidade de tratamento ou delinear uma futura intervenção terapêutica. A broncoscopia é o Gold Standard de avaliação desta condição, mas desde há cerca de 40 anos a curva de débito-volume constitui uma ferramenta não invasiva de detecção de OVAC. Apesar deste método ser utilizado até os nossos dias, poucos têm sido os estudos com o objectivo de verificar a sensibilidade e especificidade da curva de débito-volume na detecção de OVAC, bem como averiguar a relação entre as alterações morfológicas e quantitativas da mesma com a localização, o tipo e o grau da obstrução. Material e Métodos: Entre 1 de Novembro de 2009 e 30 de Abril de 2010, os doentes com indicação para a realização de broncoscopia diagnóstica ou terapêutica na Unidade de Técnicas Invasivas Pneumológicas (UTIP) do Centro Hospitalar Lisboa Norte – Hospital Pulido Valente (CHLN – HPV) foram seleccionados de forma consecutiva de acordo com os critérios de inclusão e exclusão. As avaliações (broncoscopia, curva de débito-volume e avaliação da dispneia) realizaram-se com um intervalo de tempo máximo de sete dias. A broncoscopia flexível foi realizada segundo as normas da British Thoracic Society e as curvas de débito-volume segundo as normas da ATS/ERS TaskForce 2005. Para a avaliação da dispneia recorreu-se à escala de dispneia MRC (Medical Research Council). Um painel de peritos realizou a avaliação da morfologia da curva de débito-volume (sugestiva ou não de OVAC) e um elemento independente a verificação dos critérios quantitativos e morfológicos (variáveis intra e extratorácica e fixa) da curva. O estudo foi aprovado pela Comissão de Ética para a Saúde do CHLN e todos os doentes assinaram um consentimento informado de participação. Resultados: Estudaram-se 82 doentes, 36 (44%) dos quais com OVAC. A predominância foi do género masculino, em relação ao feminino. A sensibilidade e especificidade dos critérios quantitativos da curva de débito-volume na detecção de OVAC foi de 91.3% e 88.9% respectivamente. Quando se utilizaram os critérios morfológicos da curva de débito-volume os valores foram de 93.5% e 30.6%. A agregação dos critérios morfológicos e quantitativos permitiu alcançar uma sensibilidade de 95.7% e especificidade de 86.1%. Nesta amostra, o critério quantitativo com maior ocorrência foi o FEF50/FIF50≥1 (83% dos doentes com OVAC). Este mostrou relacionar-se com todas as localizações de obstrução excepto o terço médio da traqueia. Mostrou, ainda, ter uma relação forte e positiva com o grau e tipo de obstrução (intra e extraluminal). O segundo foi o FEV1/PEF≥8, presente em 36% dos casos de OVAC. Relacionou-se com as obstruções no terço inferior da traqueia e brônquio principal direito (BPD). Também apresentou relação forte e positiva com o grau de obstrução e com os tipos de obstrução anteriormente descritos. Quanto à sintomatologia foi possível associar o grau de obstrução com o de dispneia e a presença de estridor com o grau e localização da obstrução na traqueia. Conclusões: Os resultados deste estudo demonstram que os critérios quantitativos da curva de débito-volume têm elevada sensibilidade e especificidade na detecção de OVAC. O critério FEV50/FIF50≥1 tem um bom poder discriminativo na detecção dessa condição, tendo sido relacionado com a localização, o grau e o tipo de obstrução. O critério FEV1/PEF≥8, embora com menor poder discriminativo, também se relaciona com o grau, a localização e o tipo de obstrução. A morfologia da curva tem uma boa sensibilidade mas baixa especificidade na detecção de OVAC, mas a agregação entre os critérios morfológicos e quantitativos aumenta a sensibilidade e especificidade. A dispneia e o estridor foram relacionados com o grau de obstrução e o último com a localização ao nível da traqueia.-------------ABSTRACT: Introduction: Central airway obstruction (CAO) refers to a pathological process that leads to restriction of airflow at the level of the glottis and subglottis, trachea and main bronchi. It’s proper diagnosis and treatment is an area of interest and concern to health professionals, and requires a deep knowledge of its etiology, physiology, diagnosis and treatment options, concerning the potential to cause significant morbidity and mortality. The evaluation of CAO covers multiple aspects: the clinical component (signs and symptoms), the pathophysiological effect (lung function) and the imaging study (bronchoscopy and chest CT). The compilation of this data associated with the etiology, are important for establishing prognosis, determine the need for treatment or outline a future therapeutic intervention. Bronchoscopy is the gold standard for evaluating this condition, but for the last 40 years the flow-volume loop has been used as a noninvasive tool for detecting CAO. Although this method is still in use, only few studies were made in order to verify its sensitivity and specificity in detecting CAO, and investigate the relation between morphological and quantitative changes of the curve to location, type and degree of obstruction. Methods: Between 1st November 2009 and 30th April 2010, patients with indication to perform diagnostic or therapeutic bronchoscopy in Interventional Pulmonology Unit - Hospital Pulido Valente (CHLN - HPV), were selected consecutively according to the inclusion and exclusion criteria. All assessments (bronchoscopy, flow-volume loop and dyspnea) were carried out within a period of seven days. The flexible bronchoscopy was performed according to the standards of the British Thoracic Society and the flow-volume loops in accordance with the standards of the ATS / ERS Taskforce 2005. For the evaluation of dyspnea was used to MRC dyspnea scale (Medical Research Council). A panel of experts evaluated the morphology of flow-volume loop (suggestive or non-suggestive of CAO) and an independent element established the quantitative criteria and morphological (intra and extrathoracic variables and fixed) of the curve. This study was approved by the Ethics Committee for Health CHLN and all the patients signed an informed consent to participate. Results: We’ve studied 82 patients, 36 (44%) of those with CAO. The majority of the patients were males, compared to females. The sensitivity and specificity of the quantitative criteria of the flow-volume curve in detecting CAO was 91.3% and 88.9% respectively. When we used the morphological criteria of flow-volume loop these values were 93.5% and 30.6%. The combination of quantitative and morphological criteria produced values of 95.7% sensitivity and 86.1% specificity. FEF50/FIF50≥1 was the most representative quantitative criterion (83% of patients with CAO) and it was correlated with all sites of obstruction except in the middle third of the trachea. It has shown a strong and positive association with the degree and type of obstruction (intra and extraluminal). The second was the FEV1/PEF ≥ 8, present in 36% of cases of CAO. It could be correlated with the obstruction in the lower third of the trachea and right main bronchus. It also showed a strong positive relation with the degree and types of obstruction described above. Regarding symptoms, we found a link between the degree of obstruction and dyspnea. The presence of stridor was correlated with the location and the degree of obstruction in the trachea. Conclusion: The results of this study demonstrate that the quantitative criteria of the flow-volume loop have a high sensitivity and specificity in detecting CAO. The criterion FEV50/FIF50 ≥ 1 has a good discriminative power to detect this condition and was related to the location, degree and type of obstruction. The criterion FEV1/PEF ≥ 8, although with a weaker discriminative power, also relates to the degree, location and type of obstruction. The morphology of the curve has a good sensitivity but low specificity in detecting CAO although the combination between the morphological and quantitative criteria increases sensitivity and specificity. Dyspnea and stridor were related to the degree of obstruction and the last one with its location in the trachea.

Management consulting labs-Galp loyalty

The objective of this consulting project was to assist Galp Energia in its approach to loyalty. In order to do so, two hypotheses were defined. The first assumed there was value to capture in the existing approach. The second held that it was possible to create value through a radically innovative approach. The methodology used to corroborate those hypotheses encompassed several quantitative analyses, as well as desk research and market research. As a result, a compilation of recommendations comprising implementation proposals that considered both hypotheses as valid was presented in order to suggest a paradigm change

New pteridophyte records for the territory of Amapá, Brazil.

Eighteen Pteridophyte taxa in 15 genera are reported as new for the Territory of Amapá, Brazil. The collections area a result of a recent Projeto Flora Amazônica/Programa Flora expedition to that region, and update previous lists of taxa for Amapá.In 1975, Tryon and Conant publised a checklist of the ferns of the Brazilian Amazônia reporting 84 taxa for the Territory of Amapá. The paucity of records for Amapá reflects, at least in part, the amount of botanical exploration. The most complete list of taxa occurring in the Territory is an unpublished list of collection compiled by J. M. Pires. This compilation reports 118 taxas for the Territory of Amapá. The following list is intended to update both the Pires compilation an the Tryon and Conant checklist for the Territor. These records are the result of a Projeto Flora Amazônica/Programa Flora expedition to the region in the latter part of 1979. Species were included in this list is not reportes in the compilation of colections for Amapá, or listed as specifically occurrin in Amapá in the monographs and revisions consulted for listed as specifically occurring in Amapá in the monograohs and revisions consulted for identification (Evans, 1969; Kramer, 1957, 1978; de la Sota, 1960; Lellinger, 1972; Maxon & Morton, 1938; Scamman, 1960, Smith, 1971; Tryon, 1941, 1964).This list reports 18 taxa in 15 genera, increasing the number of taxa in Amapá from the 118 listed by Pires to 136. Most of the taxa reported here might have been predicted to occur in Amapá on the basis of their distribution records for surrounding regions.Each species is followed by a collection number. The collection number is that of D. F. Austin, C. E. Nauman, R. S. Secco, C. Rosario, and M. R. Santos except for four collections in which R. S. Secco was absent and B. V. Rabelo was present, and these are indicated after the collection number. Specimens are deposited in the herbaria of the Museu Paraense Emílio Goeldi, Belém, Brazil and the United States. The family system is essentially that used by Tyron and Conant.

Inventário e valorização do património arqueológico do concelho da Chamusca : da época Romana à época Moderna

O presente relatório resulta do estágio efetuado na Câmara Municipal da Chamusca. O mesmo teve como objetivo a realização de um inventário do património arqueológico do concelho da Chamusca, centrado nos períodos da época Romana à Moderna, elaborando conjuntamente uma observação sobre o respetivo povoamento do território. O inventário realizado compilou toda a informação identificada nas fontes bibliográficas nos documentos da época já publicados e nas informações orais que se foram recolhendo. Posteriormente, procedeu-se à confirmação dos dados no terreno, através de uma prospeção dirigida aos sítios nos quais havia indícios de ocorrências patrimoniais. O desenvolvimento deste projeto e deste tipo de investigação possibilitou a identificação/relocalização de um número muito significativo de sítios e potenciais sítios arqueológicos, num total de 136 sítios. O seu inventário foi sistematizado e permitiu, assim, a compilação do conhecimento do património arqueológico deste município, contribuindo diretamente para a sua salvaguarda, preservação e valorização junto da comunidade. A autarquia passou agora a ter um instrumento essencial para a definição das políticas de salvaguarda do património, bem como para a definição das estratégias de desenvolvimento do seu território.

Portuguese strengths and fragilities on safety and health practices

Despite improvements over the years, accidents continue to be a scourge in the construction sector, leading to an increase in the number of journal articles addressing the issue, in an attempt to help construction industry to increase safety performance [1]. This paper aims to, helping construction industry and particulary tunneling community, describe the Portuguese approach to most typical health and safety problems in underground excavations performed with the Sequential Excavation Method (SEM). The article will address various topics, from safety management and organizational practices, to collective and personal protection equipment, to emergency planning. nt problems in safety and health matters are similar to several other countries, the paper will expose a compilation of Portuguese best practices used to solve that problems. This enunciation of best practices describes experience from most important and recognized Project Owners and Contractors in Portugal. In a second phase it will be analysed Portuguese weaknesses, identifying preventive measures, and their comparative importance, that should be adopted in Portugal in order to reduce accidents and health diseases.

Avaliação de programas de inovação: a importância dos impactos indiretos

Programa Doutoral em Engenharia Industrial e de Sistemas

Piezoelectric polymers as biomaterials for tissue engineering applications

Tissue engineering often rely on scaffolds for supporting cell differentiation and growth. Novel paradigms for tissue engineering include the need of active or smart scaffolds in order to properly regenerate specific tissues. In particular, as electrical and electromechanical clues are among the most relevant ones in determining tissue functionality in tissues such as muscle and bone, among others, electroactive materials and, in particular, piezoelectric ones, show strong potential for novel tissue engineering strategies, in particular taking also into account the existence of these phenomena within some specific tissues, indicating their requirement also during tissue regeneration. This referee reports on piezoelectric materials used for tissue engineering applications. The most used materials for tissue engineering strategies are reported together with the main achievements, challenges and future needs for research and actual therapies. This review provides thus a compilation of the most relevant results and strategies and a start point for novel research pathways in the most relevant and challenging open questions.

Mangrove vegetation in Amazonia: a review of studies from the coast of Pará and Maranhão States, north Brazil

The present study is a compilation of the literature about vegetation of mangrove forest of the north coast of Brazil. It synthesizes the knowledge about this important ecosystem and lists the currently available literature. The study focuses on the coast of Pará and Maranhão states, which are covered by a continuous belt of mangroves. The mangrove flora comprises six mangrove tree species and several associated species. Mangrove tree height and stem diameter vary as a function of abiotic local stand parameters. Seasonal variation in rainfall and salinity affect the species' phenology and litter fall. Local population use products derived from mangrove plants for different purposes (e.g. fuel; medicinal; rural construction). The increase in the coastal population has given rise to conflicts, which impact on mangrove forest.

Piezoelectric poly(vinylidene fluoride) microstructure and poling state in active tissue engineering

Tissue engineering often rely on scaffolds for supporting cell differentiation and growth. Novel paradigms for tissue engineering include the need of active or smart scaffolds in order to properly regenerate specific tissues. In particular, as electrical and electromechanical clues are among the most relevant ones in determining tissue functionality in tissues such as muscle and bone, among others, electroactive materials and, in particular, piezoelectric ones, show strong potential for novel tissue engineering strategies, in particular taking also into account the existence of these phenomena within some specific tissues, indicating their requirement also during tissue regeneration. This referee reports on piezoelectric materials used for tissue engineering applications. The most used materials for tissue engineering strategies are reported together with the main achievements, challenges and future needs for research and actual therapies. This review provides thus a compilation of the most relevant results and strategies and a start point for novel research pathways in the most relevant and challenging open questions.

Towards an engine for coordination-based architectural reconfigurations

Software reconfigurability became increasingly relevant to the architectural process due to the crescent dependency of modern societies on reliable and adaptable systems. Such systems are supposed to adapt themselves to surrounding environmental changes with minimal service disruption, if any. This paper introduces an engine that statically applies reconfigurations to (formal) models of software architectures. Reconfigurations are specified using a domain specific language— ReCooPLa—which targets the manipulation of software coordinationstructures,typicallyusedinservice-orientedarchitectures(soa).Theengine is responsible for the compilation of ReCooPLa instances and their application to the relevant coordination structures. The resulting configurations are amenable to formal analysis of qualitative and quantitative (probabilistic) properties.

DNA barcodes de peixes marinhos da Europa: compilação de uma biblioteca de referência validada e investigação de padrões de divergência genética

Dissertação de mestrado em Ecologia

In search of a language textile and text in contemporary women's art

This research uses the textile/text axis concept as a conceptual tool to investigate the role of textile and text in contemporary women’s art practice and theorizing, investigating textile as a largely hitherto unacknowledged element in women’s art practice of the late 20th and early 21st centuries. Textile and text share a common etymological root, from the Latin textere to weave, textus a fabric. The thesis illuminates the pathways whereby textile and text played an important role in women reclaiming a speaking voice as creators of culture and signification during a revolutionary period of renewal in women’s cultural contribution and positioning. The methodological approach used in the research consisted of a comprehensive literature review, the compilation of an inventory of relevant women artists, developing a classificatory system differentiating types of approaches, concerns and concepts underpinning women’s art practice vis a vis the textile/text axis and a series of three in-depth case studies of artists Tracey Emin, Louise Bourgeois and Faith Ringgold. The thesis points to the fact that contemporary women artists and theorists have rounded their art practice and aesthetic discourse in textile as prime visual metaphor and signifier, turning towards the ancient language of textile not merely to reclaim a speaking voice but to occupy a ground breaking locus of signification and representation in contemporary culture. The textile/text axis facilitated women artists in powerfully countering a culturally inscribed status of Lacanian ‘no-woman’ (a position of abjection, absence and lack in the phallocentric symbolic). Turning towards a language of aeons, textile as fertile wellspring, the thesis identifies the methodologies and strategies whereby women artists have inserted their webs of subjectivities and deepest concerns into the records and discourses of contemporary culture. Presenting an anatomy of the textile/text axis, the thesis identifies nine component elements manifesting in contemporary women’s aesthetic practice and discourse. In this cultural renaissance, the textile/text axis, the thesis suggests, served as a complex lexicon, a system of labyrinthine references and signification, a site of layered meanings and ambiguities, a body proxy and a corporeal cartography, facilitating a revolution in women’s aesthetic praxis.

Geographic variation in ectoparasitic mites diversity in Tadarida Brasiliensis (Chiroptera, Molossidae)

Tadarida brasiliensis (Geoffroy, 1824), the Brazilian free-tailed bat, is an insectivorous bat that occurs from southern United States of America to southern South America. In this study we present the first data on diversity of ectoparasitic mites of T. brasiliensis in Brazil. A compilation and analysis of the studies of mite diversity conducted in different points the geographic distribution this bat species are provided. The mites were collected from March 2010 to November 2011 on 160 T. brasiliensis adult bats captured in southern Brazil. Four species of mites have been found: Chiroptonyssus robustipes (Ewing, 1925), Ewingana longa (Ewing, 1938), Ewingana inaequalis (Radford, 1948), and specimens of Cheyletidae. Chiroptonyssus robustipes was the most prevalent species (100%), followed by E. longa (20%), E. inaequalis (10%), and specimens of Cheyletidae (1.25%). The data currently available show that C. robustipes parasitizes T. brasiliensis throughout its region of occurrence, and this mite is highly prevalent and abundant. The two species of Ewingana accompany the geographical distribution of T. brasiliensis, but with much lower prevalence and abundance.