Refinement and variability techniques in model transformation of software requirements

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

Avaliação de políticas públicas de desenvolvimento turístico das cidades de Gramado (Brasil) e Rovaniemi (Finlândia)

Tese de Doutoramento Geografia (Área de Especialização: Geografia e Planeamento Regional)

Development of a new 3D OpenFOAM® solver to model the cooling stage in profile extrusion

[Excerpt] The advantages resulting from the use of numerical modelling tools to support the design of processing equipment are almost consensual. The design of calibration systems in profile extrusion is not an exception . H owever , the complex geome tries and heat exchange phenomena involved in this process require the use of numerical solvers able to model the heat exchange in more than one domain ( calibrator and polymer), the compatibilization of the heat transfer at the profile - calibrator interface and with the ability to deal with complex geometries. The combination of all these features is usually hard to find in commercial software. Moreover , the dimension of the meshes required to ob tain accurate results, result in computational times prohibitive for industrial application. (...)

A demonstration case on the derivation of process-level logical architectures for ambient assisted living ecosystems

When representing the requirements for an intended software solution during the development process, a logical architecture is a model that provides an organized vision of how functionalities behave regardless of the technologies to be implemented. If the logical architecture represents an ambient assisted living (AAL) ecosystem, such representation is a complex task due to the existence of interrelated multidomains, which, most of the time, results in incomplete and incoherent user requirements. In this chap- ter, we present the results obtained when applying process-level modeling techniques to the derivation of the logical architecture for a real industrial AAL project. We adopt a V-Model–based approach that expresses the AAL requirements in a process-level perspec- tive, instead of the traditional product-level view. Additionally, we ensure compliance of the derived logical architecture with the National Institute of Standards and Technology (NIST) reference architecture as nonfunctional requirements to support the implementa- tion of the AAL architecture in cloud contexts.

A high order model for piezoelectric rods: an asymptotic approach

Preprint submitted to International Journal of Solids and Structures. ISSN 0020-7683

Spontaneous healing of Mycobacterium ulcerans lesions in the guinea pig model

Buruli Ulcer (BU) is a necrotizing skin disease caused by Mycobacterium ulcerans infection. BU is characterized by a wide range of clinical forms, including non-ulcerative cutaneous lesions that can evolve into severe ulcers if left untreated. Nevertheless, spontaneous healing has been reported to occur, although knowledge on this process is scarce both in naturally infected humans and experimental models of infection. Animal models are useful since they mimic different spectrums of human BU disease and have the potential to elucidate the pathogenic/protective pathway(s) involved in disease/healing. In this time-lapsed study, we characterized the guinea pig, an animal model of resistance to M. ulcerans, focusing on the macroscopic, microbiological and histological evolution throughout the entire experimental infectious process. Subcutaneous infection of guinea pigs with a virulent strain of M. ulcerans led to early localized swelling, which evolved into small well defined ulcers. These macroscopic observations correlated with the presence of necrosis, acute inflammatory infiltrate and an abundant bacterial load. By the end of the infectious process when ulcerative lesions healed, M. ulcerans viability decreased and the subcutaneous tissue organization returned to its normal state after a process of continuous healing characterized by tissue granulation and reepethelialization. In conclusion, we show that the experimental M. ulcerans infection of the guinea pig mimics the process of spontaneous healing described in BU patients, displaying the potential to uncover correlates of protection against BU, which can ultimately contribute to the development of new prophylactic and therapeutic strategies.

Numerical simulation of the reflow soldering process

Dissertação de mestrado integrado em Mechanical Engineering

Development of a model for occupational risk acceptance criteria definition in industrial settings

Doctoral Dissertation for PhD degree in Industrial and Systems Engineering

Upgrade of an industrial building: BIM model of the as-built situation and evaluation of modifications

Dissertação de mestrado integrado in Civil Engineering

Tapping the wealth of microbial data in high-throughput metabolic model reconstruction

Genome-scale metabolic models are valuable tools in the metabolic engineering process, based on the ability of these models to integrate diverse sources of data to produce global predictions of organism behavior. At the most basic level, these models require only a genome sequence to construct, and once built, they may be used to predict essential genes, culture conditions, pathway utilization, and the modifications required to enhance a desired organism behavior. In this chapter, we address two key challenges associated with the reconstruction of metabolic models: (a) leveraging existing knowledge of microbiology, biochemistry, and available omics data to produce the best possible model; and (b) applying available tools and data to automate the reconstruction process. We consider these challenges as we progress through the model reconstruction process, beginning with genome assembly, and culminating in the integration of constraints to capture the impact of transcriptional regulation. We divide the reconstruction process into ten distinct steps: (1) genome assembly from sequenced reads; (2) automated structural and functional annotation; (3) phylogenetic tree-based curation of genome annotations; (4) assembly and standardization of biochemistry database; (5) genome-scale metabolic reconstruction; (6) generation of core metabolic model; (7) generation of biomass composition reaction; (8) completion of draft metabolic model; (9) curation of metabolic model; and (10) integration of regulatory constraints. Each of these ten steps is documented in detail.

An object-oriented model for rapid prototyping of data path/control systems - a case study

Publicado em "Information control in manufacturing 1998 : (INCOM'98) : advances in industrial engineering : a proceedings volume from the 9th IFAC Symposium, Nancy-Metz, France, 24-26 June 1998. Vol. 2"

Application of multivariate statistical process control to fuel cell manufacturing

Univariate statistical control charts, such as the Shewhart chart, do not satisfy the requirements for process monitoring on a high volume automated fuel cell manufacturing line. This is because of the number of variables that require monitoring. The risk of elevated false alarms, due to the nature of the process being high volume, can present problems if univariate methods are used. Multivariate statistical methods are discussed as an alternative for process monitoring and control. The research presented is conducted on a manufacturing line which evaluates the performance of a fuel cell. It has three stages of production assembly that contribute to the final end product performance. The product performance is assessed by power and energy measurements, taken at various time points throughout the discharge testing of the fuel cell. The literature review performed on these multivariate techniques are evaluated using individual and batch observations. Modern techniques using multivariate control charts on Hotellings T2 are compared to other multivariate methods, such as Principal Components Analysis (PCA). The latter, PCA, was identified as the most suitable method. Control charts such as, scores, T2 and DModX charts, are constructed from the PCA model. Diagnostic procedures, using Contribution plots, for out of control points that are detected using these control charts, are also discussed. These plots enable the investigator to perform root cause analysis. Multivariate batch techniques are compared to individual observations typically seen on continuous processes. Recommendations, for the introduction of multivariate techniques that would be appropriate for most high volume processes, are also covered.

What is the european social model? an aproximation based on Spanish case

The public perception of the EU in Spain varies greatly. The most positive aspects of Spanish membership are associated with the consolidation of democracy, economic growth, the introduction of the euro, the growth in employment and structural and cohesion funds, the increase in the female participation rate, and the equal opportunities policies. The analysts are in favour of common objectives in the employment policy and multi-level government. The less positive aspects of the EU are the risks of losing social protection and loss of employment in some sectors due to mergers of multinationals and delocalization of companies towards Eastern Europe. The continuous demands for reform of the welfare state, the toughening of the conditions of access to social benefit and the reform of the labour market are also seen as problematic issues. Risks of competitive cuts and social dumping.

Distribution center consolidation games

We study the location-inventory model as introduced by Teo et al. (2001) to analyze the impact of consolidation of distribution centers on facility and inventory costs. We extend their result on profitability of consolidation. We associate a cooperative game with each location-inventory situation and prove that this game has a non-empty core for identical and independent demand processes. This illustrates that consolidation does not only lower joint costs (which was shown by Teo et al. (2001)), but it allows for a stable division of the minimal costs as well.

Financial intermediation in a model of growth through creative destruction

This paper presents an endogenous growth model in which the research activity is financed by intermediaries that are able to reduce the incidence of researcher's moral hazard. It is shown that financial activity is growth promoting because it increases research productivity. It is also found that a subsidy to the financial sector may have larger growth effects than a direct subsidy to research. Moreover, due to the presence of moral hazard, increasing the subsidy rate to R\&D may reduce the growth rate. I show that there exists a negative relation between the financing of innovation and the process of capital accumulation. Concerning welfare, the presence of two externalities of opposite sign steaming from financial activity may cause that the no-tax equilibrium provides an inefficient level of financial services. Thus, policies oriented to balance the effects of the two externalities will be welfare improving.