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.

Influência do fator visão do céu na propagação do ruído em zonas urbanas

Dissertação de mestrado integrado em Engenharia Civil

O papel do transporte público nos padrões de mobilidade no acesso a um campus universitário

Dissertação de mestrado integrado em Engenharia Civil

FluidUM: análise de fluidos de um automóvel

Dissertação de mestrado integrado em Engenharia Mecânica

Die Darstellung von Kindern in der Automobilwerbung : Eine Analyse aktueller Fernsehwerbespots

Management Summary (Deutsch)Werbung ist ein Kulturfaktor, der einerseits als Spiegel der Gesellschaft gesehen werden kann und andererseits an deren Konstruktion beteiligt ist. Durch die Darstellung von Kindern trägt die Werbung dazu bei ein bestimmtes, an den wirtschaftlichen Gesetzmäßigkeiten orientiertes Bild von Kindern massenmedial zu verbreiten. Dabei fungiert insbesondere das Fernsehen als wichtiger Vermittler, da es sich in Deutschland hoher Beliebtheit erfreut und somit viele Menschen erreicht werden können. Ebenfalls hoher Beliebtheit innerhalb der deutschen Gesellschaft erfreut sich das Automobil. Schon von klein auf werden die Kinder auf die automobile Nutzung und Infrastruktur hin sozialisiert. Auch wenn es sich bei einem Auto primär um ein Erwachsenenprodukt handelt, so stellen Kinder für die Automobilhersteller dennoch eine ernst zu nehmende Randzielgruppe dar und finden in den Marketingstrategien Beachtung. Das Kindbild in der Automobilwerbung ist überwiegend positiv und von faszinierten und spielenden Jungen geprägt. Fest steht, dass es sich dabei zunächst nur vordergründig um ein dargestelltes Kindbild handelt und bei genauerer Betrachtung ein facettenreicheres Bild entsteht.Management Summary

Verkehrswertermittlung von Industrieimmobilien unter besonderer Betrachtung des Bodenwertes

Setting: There exists very little supportive valuation literature for the valuation of industrial properties and the present state of research is capable of improvement. Objective: A critical examination of the procedure for the determination of the market value of industrial properties in accordance with § 194 Building Code will be made on the basis of the relevant valuation literature. Based on using standard valuation practices there should be a ground value derived for an industrial estate. Conclusion: When valuing industrial properties economic use is crucial, therefore the income approach is applied in order to attain the market value of the property. Difficulties which may arise include customary approaches for rent, property management costs and interest rates. Based on a Germany-wide cross-comparison with other automobile-producing properties a plausible range for the derivation of the groundvalue was determined. At the time of submission, the determination of the ground value by the expert Committee was unfinished.

The susceptibility of wild caught sand flies to infection by a subspecies of Leishmania mexicana isolated from proechimys iheringi denigratus (Rodentia, echimyidae)

Several species of wild caught sand flies were collected in the same site where a subspecies of leishmania mexicana was isolated from the rodent Proechimys iheringi denigratus. The absence of natural infection in these sand flies permitted us to test, with relative assurance, the susceptibility of wild caught females to infection by this parasite. the success obtained in these experimental infections suggest that one or more of the sand fly species encountered in high numbers in the same site where the infected rodents were captured may be the vector(s) of this subspecies of l. mexicana.

La il·lustració britànica

Estudi elaborat a partir d’una estada a la School of Modern Languages de la University of London, Gran Bretanya, entre agost i desembre del 2006. L’objectiu de la recerca consisteix en exposar el moviment empirista a través de Hume, Locke, Berkeley i altres filòsofs del segle XVIII. A més, s’analitza la filosofia escocesa del sentit comú, ja que va influenciar la filosofia catalana durant la “Renaixença”. El seu fundador, Thomas Reid, és conegut perquè va introduir una filosofia que no seguia l’escepticisme dels filòsofs citats. Sintetitzant, Hume va afirmar que l’experiència del sentit consisteix exclusivament en idees o impressions subjectives en la ment. Una resposta aquest “sistema ideal” va ser la filosofia del sentit comú que es va desenvolupar com a reacció a l’escepticisme de David Hume i altres filòsofs escocesos. Contra aquest “sistema ideal” la nova escola considera que l’experiència ordinària dels homes dona instintivament certes creences de la pròpia existència; de la existència dels objectes reals directament percebuts; i de “principis bàsics” basats en creences morals i religioses. Entre 1816 a 1870 la doctrina escocesa va ser adoptada com a filosofia oficial a França. Els seus principis van obtenir força a través de Víctor Cousin i de la traducció de les obres de Thomas Reid al francès per Jouffroy. Serà doncs, a partir de les traduccions franceses que Ramon Martí d’Eixalà va introduir a Catalunya la filosofia escocesa (no existeix cap prova que Martí d’Eixalà hagués conegut les versions angleses de les obres de Reid). En conclusió, el moviment escocès del sentit comú va influenciar l’escola catalana de filosofia.

Nouvelles directives assécurologiques pour la prise en charge de la chirurgie bariatrique: conséquences pratiques [New guidelines for bariatric surgery care: practical implications].

From the 1st of January 2011, new conditions have been validated in which surgery for weight loss is borne by the basic insurance. These are very significant changes compared to the old criteria. Indeed, on one hand, patients with BMI > or = 35 kg/m2 may, without age limit and in the absence of comorbidities benefit from surgery without prior request to the medical council health insurance company concerned. On the other hand, the notion of a minimum casuistry is for the first time introduced in centers performing this type of intervention. In addition, certified centers are required to follow standard procedures for the patients' teaching and follow up.

A priori ratemaking using bivariate poisson regression models

In automobile insurance, it is useful to achieve a priori ratemaking by resorting to gene- ralized linear models, and here the Poisson regression model constitutes the most widely accepted basis. However, insurance companies distinguish between claims with or without bodily injuries, or claims with full or partial liability of the insured driver. This paper exa- mines an a priori ratemaking procedure when including two di®erent types of claim. When assuming independence between claim types, the premium can be obtained by summing the premiums for each type of guarantee and is dependent on the rating factors chosen. If the independence assumption is relaxed, then it is unclear as to how the tari® system might be a®ected. In order to answer this question, bivariate Poisson regression models, suitable for paired count data exhibiting correlation, are introduced. It is shown that the usual independence assumption is unrealistic here. These models are applied to an automobile insurance claims database containing 80,994 contracts belonging to a Spanish insurance company. Finally, the consequences for pure and loaded premiums when the independence assumption is relaxed by using a bivariate Poisson regression model are analysed.

Establishing an association between a peri-operative perfusion score system (PerfSCORE) and post-operative patient morbidity/mortality during CPB cardiac surgery.

BACKGROUND: To date, there is no quality assurance program that correlates patient outcome to perfusion service provided during cardiopulmonary bypass (CPB). A score was devised, incorporating objective parameters that would reflect the likelihood to influence patient outcome. The purpose was to create a new method for evaluating the quality of care the perfusionist provides during CPB procedures and to deduce whether it predicts patient morbidity and mortality. METHODS: We analysed 295 consecutive elective patients. We chose 10 parameters: fluid balance, blood transfused, Hct, ACT, PaO2, PaCO2, pH, BE, potassium and CPB time. Distribution analysis was performed using the Shapiro-Wilcoxon test. This made up the PerfSCORE and we tried to find a correlation to mortality rate, patient stay in the ICU and length of mechanical ventilation. Univariate analysis (UA) using linear regression was established for each parameter. Statistical significance was established when p < 0.05. Multivariate analysis (MA) was performed with the same parameters. RESULTS: The mean age was 63.8 +/- 12.6 years with 70% males. There were 180 CABG, 88 valves, and 27 combined CABG/valve procedures. The PerfSCORE of 6.6 +/- 2.4 (0-20), mortality of 2.7% (8/295), CPB time 100 +/- 41 min (19-313), ICU stay 52 +/- 62 hrs (7-564) and mechanical ventilation of 10.5 +/- 14.8 hrs (0-564) was calculated. CPB time, fluid balance, PaO2, PerfSCORE and blood transfused were significantly correlated to mortality (UA, p < 0.05). Also, CPB time, blood transfused and PaO2 were parameters predicting mortality (MA, p < 0.01). Only pH was significantly correlated for predicting ICU stay (UA). Ultrafiltration (UF) and CPB time were significantly correlated (UA, p < 0.01) while UF (p < 0.05) was the only parameter predicting mechanical ventilation duration (MA). CONCLUSIONS: CPB time, blood transfused and PaO2 are independent risk factors of mortality. Fluid balance, blood transfusion, PaO2, PerfSCORE and CPB time are independent parameters for predicting morbidity. PerfSCORE is a quality of perfusion measure that objectively quantifies perfusion performance.

Device-specific weighted T-score for two quantitative ultrasounds: operational propositions for the management of osteoporosis for 65 years and older women in Switzerland.

The World Health Organization (WHO) criteria for the diagnosis of osteoporosis are mainly applicable for dual X-ray absorptiometry (DXA) measurements at the spine and hip levels. There is a growing demand for cheaper devices, free of ionizing radiation such as promising quantitative ultrasound (QUS). In common with many other countries, QUS measurements are increasingly used in Switzerland without adequate clinical guidelines. The T-score approach developed for DXA cannot be applied to QUS, although well-conducted prospective studies have shown that ultrasound could be a valuable predictor of fracture risk. As a consequence, an expert committee named the Swiss Quality Assurance Project (SQAP, for which the main mission is the establishment of quality assurance procedures for DXA and QUS in Switzerland) was mandated by the Swiss Association Against Osteoporosis (ASCO) in 2000 to propose operational clinical recommendations for the use of QUS in the management of osteoporosis for two QUS devices sold in Switzerland. Device-specific weighted "T-score" based on the risk of osteoporotic hip fractures as well as on the prediction of DXA osteoporosis at the hip, according to the WHO definition of osteoporosis, were calculated for the Achilles (Lunar, General Electric, Madison, Wis.) and Sahara (Hologic, Waltham, Mass.) ultrasound devices. Several studies (totaling a few thousand subjects) were used to calculate age-adjusted odd ratios (OR) and area under the receiver operating curve (AUC) for the prediction of osteoporotic fracture (taking into account a weighting score depending on the design of the study involved in the calculation). The ORs were 2.4 (1.9-3.2) and AUC 0.72 (0.66-0.77), respectively, for the Achilles, and 2.3 (1.7-3.1) and 0.75 (0.68-0.82), respectively, for the Sahara device. To translate risk estimates into thresholds for clinical application, 90% sensitivity was used to define low fracture and low osteoporosis risk, and a specificity of 80% was used to define subjects as being at high risk of fracture or having osteoporosis at the hip. From the combination of the fracture model with the hip DXA osteoporotic model, we found a T-score threshold of -1.2 and -2.5 for the stiffness (Achilles) determining, respectively, the low- and high-risk subjects. Similarly, we found a T-score at -1.0 and -2.2 for the QUI index (Sahara). Then a screening strategy combining QUS, DXA, and clinical factors for the identification of women needing treatment was proposed. The application of this approach will help to minimize the inappropriate use of QUS from which the whole field currently suffers.

Prise en charge par une équipe pluridisciplinaire des patients avec multiples vulnérabilités dans un service d'urgence

Introduction: Les centres d'urgence se trouvent régulièrement confrontés à des patients avec de multiples vulnérabilités médico-sociales qui recourent préférentiellement aux urgences pour y recevoir des soins de bases. Leurs fréquentes consultations contribuent à encombrer les urgences : dans notre service d'urgence entre avril 2008 et mars 2009, une étude ayant pour but de caractériser ces patients a montré que 14 % de l'ensemble des consultations ont été causées par 5 % des patients admis > 4 x/an.Matériel et méthode: Cohorte prospective des patients admis aux urgences et présentant des critères touchant > 3 axes de vulnérabilités sur les 5 axes reconnus habituellement (déterminants somatiques, de santé mentale, comportemental, social, de consommation de soins). Les patients inclus ont été soit signalés par le personnel médico-infirmier des urgences, soit dépistés par une équipe pluridisciplinaire (2 infirmières, 1 assistant social, 1 médecin) durant les jours ouvrables du 1.9.2010 au 14.12.2010.Résultats: 75 patients ont été inclus (65 % d'hommes). La moyenne d'âge était de 43 ans. 59 % étaient des migrants en provenance de : Europe (22 %), Afrique (22 %), Asie (12 %), Amériques du Sud (6 %) et du Nord (1 %). Les vulnérabilités les plus fréquentes étaient: somatiques 76 % (maladies aiguës/chroniques sévères 50 %, mauvaise adhérence thérapeutique 40 %), liées à la santé mentale 65 % (troubles anxieux et dépressifs 54 %), comportementales 80 % (addictions aux substances 73 %), sociales 93 % (absence de domicile fixe 31 %, absence d'assurance-maladie 15 %, barrières linguistiques 24 %, à l'assistance sociale 46 %) et consommation de soins (> 4 visites aux urgences/an 57 %, absence de médecin de premier recours 33 %). La charge de travail moyenne pour orienter ces patients vers des structures de santé primaire était de 3 heures/cas. Les interventions ont été d'évaluer le réseau de soins déjà impliqué (98 %), de réorienter dans le réseau ambulatoire (64 %) ou vers les services sociaux (37 %).Conclusion: Les vulnérabilités multiples sont relativement peu fréquentes dans notre service d'urgence mais leur complexité requiert des ressources qui dépassent ce que peuvent offrir des équipes de soins habituelles aux urgences. Une prise en charge individuelle par une équipe pluridisciplinaire est susceptible de fournir ces ressources et de réorienter ces patients vers des structures ambulatoires adaptées à leurs besoins.

Prognostic importance of hyponatremia in patients with acute pulmonary embolism

Rapport de synthèse Enjeux et contexte: L'hyponatrémie est un trouble électrolytique fréquent et associé à un pronostic défavorable dans de nombreuses affections card iovascu lai res (1-5), pour lesquelles il est un marqueur de l'activation neurohumorale (6). Sa valeur pronostique chez les patients se présentant avec une emboîie pulmonaire était jusque là inconnue ; elle fait l'objet de la présente étude.Objectifs: Examiner chez les patients hospitalisés pour une embolie pulmonaire, les associations entre hyponatrémie et mortalité ainsi qu'avec le taux de réhospitalisation. Méthodes: Nous avons étudié les données de 13728 patients avec un diagnostic principal d'embolie pulmonaire provenant de 185 hôpitaux en Pennsylvanie (janvier 2000 à novembre 2002.) Nous avons utilisé un modèle de régression logistique afin d'établir l'association indépendante entre le niveau de sodium lors de la présentation aux urgences et la mortalité ainsi que le taux de ^hospitalisation durant 30 jours. Nous avons ajusté pour les caractéristiques du patient (race, assurance, sévérité de la maladie, usage de la thrombolyse) et de l'hôpital (région, taille, avec ou sans médecins en formation.)Résultats principaux: Une hyponatrémie (sodium £ 135 mmol/l) était présente chez 2907 patients (21.1%). Les patients avec un sodium >135, 130-135, et <130 mmol/l avaient une mortalité cumulée à 30 jours de 8.0%, 13.6%, et 28.5% (P <0.001), et un taux de réadmission de 11.8%, 15.6%, et 19.3% (P <0.001), respectivement. Comparés aux patients avec un sodium >135 mmol/l, les odd ratios ajustés concernant la mortalité étaient significativement plus important pour les patients avec un sodium compris entre 130 et 135 mmol/l (OR 1.53, 95% Cl: 1.33-1.76) ou <130 mmol/l (OR 3.26, 95% Cl: 2.48-4.29). Les odd ratios ajustés concernant la réhospitalisation étaient également augmentés pour les patients présentant un sodium entre 130 et 135 mmol/l (OR 1.28, 95% Cl: 1.12-1.46) ou <130 mmol/l (OR 1.44, 95% Cl: 1.02-2.02). Conclusions et perspectives: L'hyponatrémie est fréquente chez les patients se présentant avec une embolie pulmonaire, de plus elle est un prédicateur indépendant de la mortalité à court terme, ainsi que du taux de réhospitalisation. La natrémie est une information généralement disponible lors de l'établissement d'un pronostic. Bien que cette association soit compatible avec une activation neurohumorale, nous ne pouvons pas attester des mécanismes impliqués, du fait que notre étude ne donne pas d'informations sur d'autres étapes de la physiologie de cette association.

Sorting out measures and definitions of screening participation to improve comparability: The example of colorectal cancer.

Participation is a key indicator of the potential effectiveness of any population-based intervention. Defining, measuring and reporting participation in cancer screening programmes has become more heterogeneous as the number and diversity of interventions have increased, and the purposes of this benchmarking parameter have broadened. This study, centred on colorectal cancer, addresses current issues that affect the increasingly complex task of comparing screening participation across settings. Reports from programmes with a defined target population and active invitation scheme, published between 2005 and 2012, were reviewed. Differences in defining and measuring participation were identified and quantified, and participation indicators were grouped by aims of measure and temporal dimensions. We found that consistent terminology, clear and complete reporting of participation definition and systematic documentation of coverage by invitation were lacking. Further, adherence to definitions proposed in the 2010 European Guidelines for Quality Assurance in Colorectal Cancer Screening was suboptimal. Ineligible individuals represented 1% to 15% of invitations, and variable criteria for ineligibility yielded differences in participation estimates that could obscure the interpretation of colorectal cancer screening participation internationally. Excluding ineligible individuals from the reference population enhances comparability of participation measures. Standardised measures of cumulative participation to compare screening protocols with different intervals and inclusion of time since invitation in definitions are urgently needed to improve international comparability of colorectal cancer screening participation. Recommendations to improve comparability of participation indicators in cancer screening interventions are made.