User-centric product derivation in software product lines

Software Product Line (SPL) engineering aims at achieving efficient development of software products in a specific domain. New products are obtained via a process which entails creating a new configuration specifying the desired product’s features. This configuration must necessarily conform to a variability model, that describes the scope of the SPL, or else it is not viable. To ensure this, configuration tools are used that do not allow invalid configurations to be expressed. A different concern, however, is making sure that a product addresses the stakeholders’ needs as best as possible. The stakeholders may not be experts on the domain, so they may have unrealistic expectations. Also, the scope of the SPL is determined not only by the domain but also by limitations of the development platforms. It is therefore possible that the desired set of features goes beyond what is possible to currently create with the SPL. This means that configuration tools should provide support not only for creating valid products, but also for improving satisfaction of user concerns. We address this goal by providing a user-centric configuration process that offers suggestions during the configuration process, based on the use of soft constraints, and identifying and explaining potential conflicts that may arise. Suggestions help mitigating stakeholder uncertainty and poor domain knowledge, by helping them address well known and desirable domain-related concerns. On the other hand, automated conflict identification and explanation helps the stakeholders to understand the trade-offs required for realizing their vision, allowing informed resolution of conflicts. Additionally, we propose a prototype-based approach to configuration, that addresses the order-dependency issues by allowing the complete (or partial) specification of the features in a single step. A subsequent resolution process will then identify possible repairs, or trade-offs, that may be required for viabilization.

Application of acoustic emission technique for bond characterization in FRP-masonry systems

The acoustic emission (AE) technique is used for investigating the interfacial fracture and damage propagation in GFRP-and SRG-strengthened bricks during debonding tests. The bond behavior is investigated through single-lap shear bond tests and the fracture progress during the tests is recorded by means of AE sensors. The fracture progress and active debonding mechanisms are characterized in both specimen types with the aim of AE outputs. Moreover, a clear distinction between the AE outputs of specimens with different failure modes, in both SRG-and GFRP-strengthened specimens, is found which allows characterizing the debonding failure mode based on acoustic emission data.

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

Cost-effective energy and carbon emission optimization in building renovation – A case-study in a low income neighbourhood

Construction sector is one of the major responsible for energy consumption and carbon emissions and renovation of existing buildings plays an important role in the actions to mitigate climate changes. Present work is based on the methodology developed in IEA Annex 56, allowing identifying cost optimal and cost effective renovation scenarios improving the energy performance. The analysed case study is a residential neighbourhood of the municipality of Gaia in Portugal. The analysis compares a reference renovation scenario (without improving the energy performance of the building) with a series of alternative renovation scenarios, including the one that is being implemented.

Active magneto-optical control of spontaneous emission in graphene

We investigate the spontaneous emission rate of a two-level quantum emitter near a graphene-coated substrate under the influence of an external magnetic field or strain induced pseudo-magnetic field. We demonstrate that the application of the magnetic field can substantially increase or decrease the decay rate. We show that a suppression as large as 99$\%$ in the Purcell factor is achieved even for moderate magnetic fields. The emitter's lifetime is a discontinuous function of $|{\bf B}|$, which is a direct consequence of the occurrence of discrete Landau levels in graphene. We demonstrate that, in the near-field regime, the magnetic field enables an unprecedented control of the decay pathways into which the photon/polariton can be emitted. Our findings strongly suggest that a magnetic field could act as an efficient agent for on-demand, active control of light-matter interactions in graphene at the quantum level.

Effects of light and temperature on isoprene emission at different leaf developmental stages of eschweilera coriacea in central Amazon

Isoprene emission from plants accounts for about one third of annual global volatile organic compound emissions. The largest source of isoprene for the global atmosphere is the Amazon Basin. This study aimed to identify and quantify the isoprene emission and photosynthesis at different levels of light intensity and leaf temperature, in three phenological phases (young mature leaf, old mature leaf and senescent leaf) of Eschweilera coriacea (Matamatá verdadeira), the species with the widest distribution in the central Amazon. In situ photosynthesis and isoprene emission measurements showed that young mature leaf had the highest rates at all light intensities and leaf temperatures. Additionally, it was observed that isoprene emission capacity (Es) changed considerably over different leaf ages. This suggests that aging leads to a reduction of both leaf photosynthetic activity and isoprene production and emission. The algorithm of Guenther et al. (1999) provided good fits to the data when incident light was varied, however differences among E S of all leaf ages influenced on quantic yield predicted by model. When leaf temperature was varied, algorithm prediction was not satisfactory for temperature higher than ~40 °C; this could be because our data did not show isoprene temperature optimum up to 45 °C. Our results are consistent with the hypothesis of the isoprene functional role in protecting plants from high temperatures and highlight the need to include leaf phenology effects in isoprene emission models.

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.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Prognostic value of technetium-99m-labeled single-photon emission computerized tomography in the follow-up of patients after their first myocardial revascularization surgery

OBJECTIVE: To assess the prognostic value of Technetium-99m-labeled single-photon emission computerized tomography (SPECT) in the follow-up of patients who had undergone their first myocardial revascularization. METHODS: We carried out a retrospective study of 280 revascularized patients undergoing myocardial scintigraphy under stress (exercise or pharmacological stress with dipyridamole) and at rest according to a 2-day protocol. A set of clinical, stress electrocardiographic and scintigraphic variables was assessed. Cardiac events were classified as "major" (death, infarction, unstable angina) and "any" (major event or coronary angioplasty or new myocardial revascularization surgery). RESULTS: Thirty-six major events occurred as follows: 3 deaths, 11 infarctions, and 22 unstable anginas. In regard to any event, 22 angioplasties and 7 new surgeries occurred in addition to major events, resulting a total of 65 events. The sensitivity of scintigraphy in prognosticating a major event or any event was, respectively, 55% and 58%, showing a negative predictive value of 90% and 83%, respectively. Diabetes mellitus, inconclusive stress electrocardiography, and a scintigraphic visualization of left ventricular enlargement were significant variables for the occurrence of a major event. On multivariate analysis, abnormal myocardial scintigraphy was a predictor of any event. CONCLUSION: Myocardial perfusion tomography with Technetium-99m may be used to identify high-risk patients after their first myocardial revascularization surgery.

Aspectos moleculares del desarrollo de biofilms, la colonización de la planta y la emisión de compuestos orgánicos volátiles en bacterias rizosféricas. Molecular aspects of biofilm development, plant colonization and microbial volatile organic emission in rhizospheric bacteria.

Las bacterias que habitan la rizosfera y que poseen la capacidad de provocar un efecto positivo sobre las plantas son denominadas en su conjunto como Rizobacterias Promotoras del Crecimiento Vegetal (PGPR). Estas bacterias han desarrollado diferentes estrategias para adaptarse a diversas condiciones ambientales. La capacidad para responder a variaciones en la disponibilidad nutricional permite la persistencia de la bacteria en el suelo y mejora sus posibilidades para colonizar la planta hospedadora. En la naturaleza, a menudo las bacterias se encuentran en estructuras de comunidades de microorganismos interconectados denominados biofilms, con un estilo de vida diferente al de la vida en forma planctónica. La formación del biofilm podría representar una estrategia de supervivencia de la rizobacteria a condiciones adversas del suelo. Por Microscopía Confocal de Barrido Láser (CLSM), hemos observado que Rhizobium leguminosarum desarrolla un biofilm característico sobre una superficie abiótica. Hemos identificado algunos de los factores genéticos que influyen en su formación. El presente proyecto propone avanzar en el conocimiento de los factores ambientales y genéticos que influyen sobre la capacidad de las rizobacterias para formar biofilms y su impacto en la interacción con las plantas. A través de enfoques genéticos (mutacionales y de expresión génica) y análisis por CLSM nos proponemos acercarnos a un modelo de los factores de superficie, extracelulares y regulatorios propios de la bacteria que influyen en las propiedades de adhesión y la formación de biofilms. Por último, se intentará correlacionar la emisión de compuestos orgánicos volátiles por las bacterias rizosféricas con ciertos aspectos de la promoción del crecimiento de las plantas.

Espectroscopía de emisión de rayos x. Aplicación a la caracterización de materiales. X-ray emission spectroscopy. Application to materials characterization

La idea principal del proyecto abarca el estudio de parámetros y fenómenos físicos. Los avances logrados se aplicarán al desarrollo de software y metodologías para cuantificación de materiales mediante microanálisis con sonda de electrones y microscopía electrónica de barrido. El microanálisis no es una técnica absoluta, sino que requiere de estándares de referencia, para obviar el uso de ciertos parámetros geométricos y atómicos difíciles de conocer con una precisión adecuada. Para contar con un método sin estándares debe abordarse la determinación de parámetros atómicos e instrumentales, que es uno de los aspectos que se desea encarar en este proyecto. Por otro lado, también se pretende incluir los parámetros estudiados en un software de cuantificación desarrollado por integrantes del proyecto. Otro de los propósitos del plan de trabajo es estudiar la potencialidad de la resolución espacial de una microsonda de electrones con el fin de desarrollar una metodología para caracterizar interfases, bordes de granos e inclusiones, con resolución submicrométrica, ya que los métodos tradicionales de cuantificación se restringen al caso de muestras planas y homogéneas dentro del volumen de interacción, pero la caracterización de inhomogeneidades a nivel micrométrico no ha sido desarrollada todavía, salvo algunas excepciones. The main idea of this project involves the study of physical parameters and phenomena. The concretion of the different goals will permit the elaboration of softeare and methodologies for materials characterization by means of electron probe microanalysis and scanning microscopy. Electron probe microanalysis is not an absolute technique, but requires reference standards in order not to involve certain geometrical and atomic parameters for which high uncertainties cannot be avoided. In order to have standardless method, the determination of atomic and instrumental parameters must be accomplished, as will be faced through this project. Complementary, the parameters studied will be included in a quantification software developed in our research group of FaMAF. Another objective of this activity plan is to study the spatial resolution potentiality of a focalized electron beam, with the aim of characterizing interphases, grain boundaries and inclusions with submicron sensitivity, since the traditional quantification procedures are restricted to flat homogeneous samples, whereas the characterization of inhomogeneities has not been developed yet.

Acoustic emission analysis of the effect of a 2D wedge shaped blade on the compact bone cutting process

Surgeons may use a number of cutting instruments such as osteotomes and chisels to cut bone during an operative procedure. The initial loading of cortical bone during the cutting process results in the formation of microcracks in the vicinity of the cutting zone with main crack propagation to failure occuring with continued loading. When a material cracks, energy is emitted in the form of Acoustic Emission (AE) signals that spread in all directions, therefore, AE transducers can be used to monitor the occurrence and development of microcracking and crack propagation in cortical bone. In this research, number of AE signals (hits) and related parameters including amplitude, duration and absolute energy (abs-energy) were recorded during the indentation cutting process by a wedge blade on cortical bone specimens. The cutting force was also measured to correlate between load-displacement curves and the output from the AE sensor. The results from experiments show AE signals increase substantially during the loading just prior to fracture between 90% and 100% of maximum fracture load. Furthermore, an amplitude threshold value of 64dB (with approximate abs-energy of 1500 aJ) was established to saparate AE signals associated with microcracking (41 – 64dB) from fracture related signals (65 – 98dB). The results also demonstrated that the complete fracture event which had the highest duration value can be distinguished from other growing macrocracks which did not lead to catastrophic fracture. It was observed that the main crack initiation may be detected by capturing a high amplitude signal at a mean load value of 87% of maximum load and unsteady crack propagation may occur just prior to final fracture event at a mean load value of 96% of maximum load. The author concludes that the AE method is useful in understanding the crack initiation and fracture during the indentation cutting process.

Instrumentation and software for the VERITAS Project and the detection of TeV Gamma-Ray Emission from the BL Lacertae Object 1ES1959+650

Transmission of Cherenkov light through the atmosphere is strongly influenced by the optical clarity of the atmosphere and the prevailing weather conditions. The performance of telescopes measuring this light is therefore dependent on atmospheric effects. This thesis presents software and hardware developed to implement a prototype sky monitoring system for use on the proposed next-generation gamma-ray telescope array, VERITAS. The system, consisting of a CCD camera and a far-infrared pyrometer, was successfully installed and tested on the ten metre atmospheric Cherenkov imaging telescope operated by the VERITAS Collaboration at the F.L. Whipple Observatory in Arizona. The thesis also presents the results of observations of the BL Lacertae object, 1ES1959+650, made with the Whipple ten metre telescope. The observations provide evidence for TeV gamma-ray emission from the BL Lacertae object, 1ES1959+650, at a level of more than 15 standard deviations above background. This represents the first unequivocal detection of this object at TeV energies, making it only the third extragalactic source seen at such levels of significance in this energy range. The flux variability of the source on a number of timescales is also investigated.

Towards flexible feature composition : static and dynamic binding in software product lines

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Full-wave field interactions of nonuniform transmission lines

Transmission-line supertheory, generalized transmission-line theory, radiation