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.

Frequency-domain receiver design for doubly-selective channels

This work is devoted to the broadband wireless transmission techniques, which are serious candidates to be implemented in future broadband wireless and cellular systems, aiming at providing high and reliable data transmission and concomitantly high mobility. In order to cope with doubly-selective channels, receiver structures based on OFDM and SC-FDE block transmission techniques, are proposed, which allow cost-effective implementations, using FFT-based signal processing. The first subject to be addressed is the impact of the number of multipath components, and the diversity order, on the asymptotic performance of OFDM and SC-FDE, in uncoded and for different channel coding schemes. The obtained results show that the number of relevant separable multipath components is a key element that influences the performance of OFDM and SC-FDE schemes. Then, the improved estimation and detection performance of OFDM-based broadcasting systems, is introduced employing SFN (Single Frequency Network) operation. An initial coarse channel is obtained with resort to low-power training sequences estimation, and an iterative receiver with joint detection and channel estimation is presented. The achieved results have shown very good performance, close to that with perfect channel estimation. The next topic is related to SFN systems, devoting special attention to time-distortion effects inherent to these networks. Typically, the SFN broadcast wireless systems employ OFDM schemes to cope with severely time-dispersive channels. However, frequency errors, due to CFO, compromises the orthogonality between subcarriers. As an alternative approach, the possibility of using SC-FDE schemes (characterized by reduced envelope fluctuations and higher robustness to carrier frequency errors) is evaluated, and a technique, employing joint CFO estimation and compensation over the severe time-distortion effects, is proposed. Finally, broadband mobile wireless systems, in which the relative motion between the transmitter and receiver induces Doppler shift which is different or each propagation path, is considered, depending on the angle of incidence of that path in relation to the direction of travel. This represents a severe impairment in wireless digital communications systems, since that multipath propagation combined with the Doppler effects, lead to drastic and unpredictable fluctuations of the envelope of the received signal, severely affecting the detection performance. The channel variations due this effect are very difficult to estimate and compensate. In this work we propose a set of SC-FDE iterative receivers implementing efficient estimation and tracking techniques. The performance results show that the proposed receivers have very good performance, even in the presence of significant Doppler spread between the different groups of multipath components.

Terapia celular com células mesenquimais por via intracoronária: contributos do estudo invasivo da microcirculação coronária

RESUMO: Introdução - A utilização de células e das suas propriedades para o tratamento das doenças cardiovasculares, é uma promessa para o futuro e talvez a única forma de ultrapassar algumas das insuficiências das terapêuticas atuais. A via de entrega das células mais utilizada na investigação tem sido a intracoronária, ganhando a microcirculação especial relevância, por ser onde ocorre a primeira interação com o tecido nativo. As células estaminais mesenquimais (CEM) têm propriedades que as tornam particularmente aptas para a Terapia Celular, mas as suas dimensões, superiores ao diâmetro dos capilares, tem motivado controvérsia quanto à sua entrega intracoronária. A cardiologia de intervenção tem atualmente técnicas que permitem a avaliação em tempo real e in vivo do estado da microcirculação coronária. A determinação do índice da resistência da microcirculação (IRM) fornece informação sobre a circulação dos pequenos vasos, de forma independente da circulação coronária e do estado hemodinâmico, mas a aplicabilidade clínica deste conhecimento encontra-se ainda por definir. Objectivos Esclarecer o potencial do IRM no estudo dos efeitos do transplante de CEM por via intracoronária. População e Métodos . Estudo pré-clínico com modelo animal (suíno) desenvolvido em 3 fases. Na Primeira Fase foram utilizados 8 animais saudáveis para estudar e validar a técnica de determinação de estudo da microcirculação. Efetuou-se a determinação do IRM com duas doses diferentes de papaverina para a indução da resposta hiperémica máxima (5 e 10 mg) e após a disfunção da microcirculação com injeção intracoronária de microesferas de embozene com 40 μm de diâmetro. Na Segunda Fase foram utilizados 18 animais saudáveis, randomizados em grupo controlo e grupo recetor de 30 x 106 CEM por via intracoronária. Foram avaliados de forma cega o IRM, a pressão aórtica, o fluxo coronário epicárdico e a ocorrência de alterações electrocardiográficas. Na Terceira Fase foram utilizados 18 animais, com enfarte agudo do miocárdio provocado (EAM), randomizados em grupo controlo, grupo recetor de CEM expandidas de forma convencional e grupo recetor de CEM expandidas com metodologia inovadora e de menores dimensões. Foi realizada uma exploração da dose/efeito com infusão faseada de 10 x 106, 15 x 106 e 20 x 106 CEM, com determinação do IRM, da pressão aórtica, do fluxo coronário epicárdico e da ocorrência de alterações eletrocardiográficas. Quatro semanas após a entrega das células foi novamente avaliado o IRM e foi efetuado o estudo anatomopatológico dos animais na procura de evidência de neoangiogénese e de regeneração miocárdica, ou de um efeito positivo da resposta reparadora após o enfarte. Resultados Nas 3 fases todos os animais mantiveram estabilidade hemodinâmica e eletrocardiográfica, com exceção da elevação de ST de V1-V3 verificada após a injeção das microesferas. Na Primeira Fase as duas doses de papaverina induziram uma resposta hiperémica eficaz, sem tradução com significado na determinação do IRM (variação da pressão distal de - 11,4 ± 5 e de - 10,6± 5 mmHg com as doses de 5 e 10 mg respetivamente (p=0,5). Com a injeção das microesferas o IRM teve uma elevação média de 310 ± 190 %, para um valor médio de 41,3 ± 16 U (p = 0,001). Na Segunda Fase não houve diferenças significativas dos parâmetros hemodinâmicos, do fluxo epicárdico e da avaliação eletrocardiográfica entre os dois grupos. O IRM de base foi semelhante e após a infusão intracoronária observou-se uma elevação expressiva do IRM nos animais que receberam células em comparação com o grupo controlo (8,8 U ± 1 vs. 14,2 U ± 1,8, P=0,02) e quanto ao seu valor de base (aumento de 112%, p=0,008). Na terceira Fase não houve novamente diferenças significativas dos parâmetros hemodinâmicos, do fluxo epicárdico e da avaliação eletrocardiográfica entre os três grupos. Houve uma elevação do IRM nos animais que receberam células a partir da 2ª dose (72% nas células convencionai e 108% nas células inovadoras) e que se manteve com a 3ª dose (100% nas células convencionais e 88% nas inovadoras) com significado estatístico em comparação com o grupo controlo (p=0,034 com a 2ªdose e p=0,024 com a 3ª dose). Quatro semanas após a entrega das CEM observou-se a descida do IRM nos dois grupos que receberam células, para valores sobreponíveis aos do grupo controlo e aos valores pós-EAM. Na avaliação anatomopatológica e histológica dos corações explantados não houve diferenças entre os três grupos. Conclusões O IRM permite distinguir alterações da microcirculação coronária motivadas pela entrega intracoronária de CEM, na ausência de alterações de outros parâmetros clínicos da circulação coronária utilizados em tempo real. As alterações do IRM são progressivas e passíveis de avaliar o efeito/dose, embora não tenha sido possível determinar diferenças com os dois tipos de CEM. No nosso modelo a injeção intracoronária não se associou a evidência de efeito benéfico na reparação ou regeneração miocárdica após o EAM.---------------------------- ABSTRACT: ABSTRACT Introduction The use of cells for the treatment of cardiovascular disease is a promise for the future and perhaps the only option to overcome some of the shortcomings of current therapies. The strategy for the delivery of cells most often used in current research has been the intracoronary route and due to this microcirculation gains special relevance, mainly because it is the first interaction site of transplanted cells with the native tissue. Mesenchymal stem cells (MSC) have properties that make them suitable for Cell Therapy, but its dimensions, larger than the diameter of capillaries, have prompted controversy about the safety of intracoronary delivery. The interventional cardiology currently has techniques that allow for real-time and in vivo assessment of coronary microcirculation state. The determination of the index of microcirculatory resistance index (IMR) provides information about small vessels, independently of the coronary circulation and hemodynamic status, but the clinical applicability of this knowledge is yet to be defined. Objectives To clarify the potential use of IMR in the study of the effects of MSC through intracoronary transplantation. Population and Methods Preclinical study with swine model developed in three phases. In Phase One 8 healthy animals were used to study and validate the IMR assessment in our animal model. IMR was assessed with two different doses of papaverine for inducing the maximal hyperaemic response (5 and 10 mg) and microcirculation dysfunction was achieved after intracoronary injection with embozene microspheres with 40 μm in diameter. In Phase Two we randomized 18 healthy animals divided between the control group and the one receiving 30 x 106 MSC through an intracoronary infusion. There we blindly evaluated IMR, the aortic pressure, the epicardial coronary flow and the occurrence of ECG changes. In Phase Three we used 18 animals with a provoked acute myocardial infarction (AMI), randomized into a control group, a MSC expanded conventionally receiver group and a MSC expanded with an innovative methodology receiver group. There was a stepwise infusion with doses of 10 x 106, 15 x 106 and 20 x 106 MSC with determination of IMR, the aortic pressure, the epicardial coronary flow and occurrence of electrocardiographic abnormalities. Four weeks after cell delivery we again measured the IMR and proceeded with the pathological study of animals in the search for evidence of neoangiogenesis and myocardial regeneration, or a positive effect in the reparative response following the infarction. Results All animals remained hemodynamically stable and with no electrocardiographic abnormalities, except for the ST elevation in V1-V3 observed after injection of the microspheres. In Phase One the two doses of papaverine achieved an hyperemic and effective response without significant differences in IMR (variation of the distal pressure -11.4 ± 5 and -10.6 ± 5 mmHg with the doses of 5 and 10 mg respectively (p = 0.5). With the injection of the microspheres the IMR had an average increase of 310 ± 190% for an average value of 41.3 ± 16 U (p = 0.001). In the second phase there were no significant differences in hemodynamic parameters, epicardial flow and electrocardiographic assessment between the two groups. The baseline IMR was similar and after intracoronary infusion there was a significant increase in animals receiving cells compared with the control group (8.8 ± U 1 vs. 14.2 ± 1.8, p = 0.02) and with their baseline (112% increase, p = 0.008). In the third phase again there were no significant differences in hemodynamic parameters, the epicardial flow and electrocardiographic evaluation between the three groups. There was a significant increase in IMR in animals that received cells from the 2nd dose (72% in conventional cells and 108% in the innovative cells) that remained with the 3rd dose (100% in conventional cells and 88% in the innovative) with statistical significance compared with the control group (p = 0.034 with 2nd dose, p = 0.024 with 3rd dose). Four weeks after delivery of the MSC we observed the fall of the IMR in the two groups that received cells with values overlapping those of the control group. In pathological and histological evaluation of removed hearts there were no differences among the three groups. Conclusions The IMR allows for the differentiation of changes in coronary microcirculation motivated by intracoronary delivery of MSC in the absence of modification in other clinical parameters. IMR changes are progressive and enable the evaluation of the effect / dose, though it has not been possible to determine differences in the two types of MSC. In our model, intracoronary injection of MSC was not associated with evidence of repair or myocardial regeneration after AMI.

Proposta de um modelo de medição e análise da satisfação de clientes em empresas de software : caso prático do ambiente business-to-business

Os estudos da satisfação e lealdade do cliente em ambiente Business-to-Business têm emergido devido ao interesse práctico e académico. Recorreu-se a um caso práctico de uma empresa de software internacional, ESRI, a operar em Portugal com modelo de negócio B2B e comportamento de compra extensivo. Desenvolveu-se um modelo estrutural com 11 variáveis latentes: lealdade; satisfação; imagem; atmosfera; cooperação; adaptação; processos; tecnologia; orientação ao cliente; competências; colaboradores e comunicação. Foram analisadas 304 respostas ao questionário de satisfação e de seguida aplicou-se o modelo a seis grupos de clientes segmentados de acordo com a contribuição do cliente para as receitas e o comportamento no processo de decisão de compra. Recorreu-se a modelos SEM (Structural Equation Modelling) com estimação dos parâmetros através da metodologia PLS (partial Least Squares). Os resultados mostram nos seis segmentos, que os valores da empresa, a cooperação através da competência dos colaboradores e da orientação ao cliente e a tecnologia são factores mais importantes para a satisfação e lealdade dos clientes.

Out-of-plane behavior of masonry infill walls

In order to investigate the out-of-plane behaviour of masonry infill walls, quasi-static testing was performed on a masonry infill walls built inside a reinforced concrete frame by means of an airbag system to apply the uniform out-of-plane load to each component of the infill. The main advantage of this testing setup is that the out-of-plane loading can be applied more uniformly in the walls, contrarily to point load configuration. The test was performed under displacement control by selecting the mid-point of the infill as control point. Input and output air in the airbag was controlled by using a software to apply a specific displacement in the control point of the infill wall. The effect of the distance between the reaction frame of the airbag and the masonry infill on the effective contact area was previously analysed. Four load cells were attached to the reaction frame to measure the out-of-plane force. The effective contact area of the airbag was calculated by dividing the load measured in load cells by the pressure inside the airbag. When the distance between the reaction walls and the masonry infill wall is smaller, the effective area is closer to the nominal area of the airbag. Deformation and crack patterns of the infill confirm the formation of arching mechanism and two-way bending of the masonry infill. Until collapse of the horizontal interface between infill and upper beam in RC frame, the infill bends in two directions but the failure of that interface which is known as weakest interface due to difficulties in filling the mortar between bricks of last row and upper beam results in the crack opening trough a well-defined path and the consequent collapse of the infill.

In-plane and out-of plane experimental characterization of rc masonry infilled frames

Seismic investigations of typical south European masonry infilled frames were performed by testing two reduced scale specimens: one in the in-plane direction and another in the out-ofplane direction. Information about geometry and reinforcement scheme of those structures constructed in 1980s were obtained by [1]. The specimen to be tested in the in-plane direction was constructed as double leaf masonry while the specimen for testing in the out-of-plane direction is constructed with only its exterior leaf since the recent earthquakes have highlighted the vulnerability of the external leaf of the infills in out-of-plane direction [2]. The tests were performed by applying the pre-defined values of displacements in the in-plane and out-of-plane directions in the control points. For in-plane testing it was done by hydraulic actuator and for out-of-plane testing through the application of an airbag. Input and output air in the airbag was controlled by using a software to apply a specific displacement in the control point of the infill wall. Mid-point of the infill was assumed as a control point for outof- plane testing. Deformation and crack patterns of the infill confirm the formation of two-way arching mechanism of the masonry infill until collapse of the upper horizontal interface between infill and frame which is known as weakest interface due to difficulties in filling the mortar between bricks of last row and upper beam. This results in the crack opening through a welldefined path and the consequent collapse of the infill.

HEP-Frame: A software engineered framework to aid the development and efficient multicore execution of scientific code

This work was supported by FCT (Fundação para a Ciência e Tecnologia) within Project Scope (UID/CEC/00319/2013), by LIP (Laboratório de Instrumentação e Física Experimental de Partículas) and by Project Search-ON2 (NORTE-07-0162- FEDER-000086), co-funded by the North Portugal Regional Operational Programme (ON.2 - O Novo Norte), under the National Strategic Reference Framework, through the European Regional Development Fund.

Avaliação do desempenho de indicadores com base na metodologia ROC (Receiver Operating Characteristic)

Dissertação de mestrado em Bioinformática

Step towards of a homemade business intelligence solution: A case study in textile industry

Nowadays, organizations are increasingly looking to invest in business intelligence solutions, mainly private companies in order to get advantage over its competitors, however they do not know what is necessary. Business intelligence allows an analysis of consolidated information in order to obtain more specific outlets and certain indications in order to support the decision making process. You can take the right decision based on the data collected from different information systems present in the organization and outside of them. The textile sector is a sector where concept of Business Intelligence it is not many explored yet. Actually there are few textile companies that have a BI platform. Thus, the article objective is present an architecture and show all the steps by which companies need to spend to implement a successful free homemade Business Intelligence system. As result the proposed approach it was validated using real data aiming assess the steps defined.

Improving quality of medical service with mobile health software

An increasing number of m-Health applications are being developed benefiting health service delivery. In this paper, a new methodology based on the principle of calm computing applied to diagnostic and therapeutic procedure reporting is proposed. A mobile application was designed for the physicians of one of the Portuguese major hospitals, which takes advantage of a multi-agent interoperability platform, the Agency for the Integration, Diffusion and Archive (AIDA). This application allows the visualization of inpatients and outpatients medical reports in a quicker and safer manner, in addition to offer a remote access to information. This project shows the advantages in the use of mobile software in a medical environment but the first step is always to build or use an interoperability platform, flexible, adaptable and pervasive. The platform offers a comprehensive set of services that restricts the development of mobile software almost exclusively to the mobile user interface design. The technology was tested and assessed in a real context by intensivists.

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Escola, democracia e autonomia: uma análise das políticas e práticas no cotidiano escolar

Tese de Doutoramento em Ciências da Educação - Especialidade em Política Educativa

GIS application in water resources master planning

Due to water scarcity, it is important to organize and regulate water resources utilization to satisfy the conflicting water demands and needs. This paper aims to describe a comprehensive methodology for managing the water sector of a defined urbanized region, using the robust capabilities of a Geographic Information System (GIS). The proposed methodology is based on finding alternatives to cover the gap between recent supplies and future demands. Nablus which is a main governorate located in the north of West Bank, Palestine, was selected as case study because this area is classified as arid to semi-arid area. In fact, GIS integrates hardware, software, and data for capturing, managing, analyzing, and displaying all forms of geographic information. The resulted plan of Nablus represents an example of the proposed methodology implementation and a valid framework for the elaboration of a water master plan.