Avaliação da implementação do SAP ERP na logística: estudo de caso

Dissertação de mestrado em Engenharia de Sistemas

Aplicação móvel android de apoio a gestão de empréstimos e reservas das bibliotecas da Universidade do Minho

Dissertação de mestrado integrado em Engenharia de Telecomunicações e Informática

Frameworks no desenvolvimento de software: o caso da Elevation da PRIMAVERA BSS

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

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

Selfie: a força comunicacional do autorretrato que as redes sociais reinventaram

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

Simultaneous detection of cyclopiazonic acid and aflatoxin B1 by HPLC in methanol/water mobile phase

A simple procedure for the simultaneous detection of cyclopiazonic acid (CPA) and aflatoxin B1 from fungal extracts is presented, using a methanol and water mobile phase and fluorescence detection. This methodology has been tested with standard solutions of both mycotoxins CPA and Aflatoxin B1 and with methanolic extracts of Aspergillus section Flavi strains, previously characterized for their mycotoxin production profile. Previously available methodology required the use of two different chromatographic runs for these mycotoxins, with distinct columns and detectors (fluorescence detection with a post-column photochemical derivatization (PHRED) for aflatoxin B1 and UV detection for CPA). The proposed method detects both mycotoxins in a single run. Data from these assays will be presented and discussed.

Feasibility of internally stiffened thin-walled beams for industrial applications

Several types of internally reinforced thin-walled beams are subjected to a feasibility evaluation of its mechanical behavior for industrial applications. The adapting of already existing efficient sandwich geometries to hollow-box beams of larger dimensions may reveal promising results. Novel types of sandwich beams under bending and torsion uncoupled loadings are studied in terms of stiffness behavior in static analysis. For the analysis of the solutions, the models are built using the Finite Element Method (FEM) software ANSYS Mechanical APDL. The feasibility of the novel beams was determined by the comparison of the stiffness behavior of the novel hollow-box beams with conventional hollow-box beams. An efficiency parameter was defined in order to determine the feasibility. It is found that the novel geometries represent an excellent improvement under bending loadings, better than under torsion loadings. Nevertheless, for bending and torsion combined loadings, if bending loads are predominant, the beams can still be interesting for some applications, in particular those with mobile parts.

Pervasive decision support to predict football corners and goals by means of data mining

Football is considered nowadays one of the most popular sports. In the betting world, it has acquired an outstanding position, which moves millions of euros during the period of a single football match. The lack of profitability of football betting users has been stressed as a problem. This lack gave origin to this research proposal, which it is going to analyse the possibility of existing a way to support the users to increase their profits on their bets. Data mining models were induced with the purpose of supporting the gamblers to increase their profits in the medium/long term. Being conscience that the models can fail, the results achieved by four of the seven targets in the models are encouraging and suggest that the system can help to increase the profits. All defined targets have two possible classes to predict, for example, if there are more or less than 7.5 corners in a single game. The data mining models of the targets, more or less than 7.5 corners, 8.5 corners, 1.5 goals and 3.5 goals achieved the pre-defined thresholds. The models were implemented in a prototype, which it is a pervasive decision support system. This system was developed with the purpose to be an interface for any user, both for an expert user as to a user who has no knowledge in football games.

Marcapasso bi-atrial epicárdico subxifóide na obstrução da veia cava superior

Um paciente portador de marcapasso definitivo bi-atrial-ventricular por fibrilação atrial paroxística e bradicardia sinusal, em uso crônico de anticoagulante oral, apresentou sinais clínicos da síndrome da veia cava superior. A venografia por subtração digital mostrou obstrução total do tronco braquiocefálico venoso direito e grande dificuldade de fluxo sangüíneo da veia inominada para a veia cava superior. A abordagem terapêutica constou da remoção completa do sistema transvenoso seguida de reimplante do sistema bi-atrial-ventricular por técnica epimiocárdica pela via subxifóide assistida por fluoroscopia.