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

Desenvolvimento de ferramenta vocacionada para o dimensionamento de estruturas metálicas de acordo com a NP EN 1993-1-1

Dissertação de mestrado integrado em Engenharia Civil

Arquitetura distribuída para análises multimodais de conectividade cerebral

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

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.

Environmental management systems implementation

All organisations make some contribution to the degradation of the environment through their use of resources and production of waste. Environmental management systems (EMS) standards can provide a tool for companies to systematically reduce their environmental impacts. ISO 14001 was published in 1996. This fitted in with plans of the case study company to take proactive action in this area, even though there was no legislative requirement for them to do so. As EMS implementation was a new area at the time, appropriate methodologies were developed to address different aspects of the implementation, and ISO 14001 was successfully implemented in the company. The results of the primary research included: ♦ Drawing up a methodology for identifying and interpreting the environmental legislation that may have an impact on the organisation and compiling a register of such regulations. ♦ Developing a robust methodology for assessing significant environmental aspects and impacts and applying this to the software company. ♦ Establishing objectives and targets for those aspects identified as significant and implementing environmental management programmes to meet these. ♦ Developing an internal environmental audit procedure based on auditing against the significant aspects. ♦ Integrating areas of the EMS with the existing quality management system in order to avoid duplication of effort. ♦ Undergoing an external assessment process in order to achieve certification of the system. The thesis concludes that the systematic approach defined in ISO 14001 provided a mechanism that the organisation was able to adopt to bring about improvement in its environmental performance. The system was based on a thorough evaluation of the organisation's significant environmental aspects in order to bring about a reduction in its negative impacts. The ISO 14001 requirement for continual improvement is the key driver of the system, and this is what differentiates it from ISO 9000.

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.