Visual programming of XSLT from examples

Vishnu is a tool for XSLT visual programming in Eclipse - a popular and extensible integrated development environment. Rather than writing the XSLT transformations, the programmer loads or edits two document instances, a source document and its corresponding target document, and pairs texts between then by drawing lines over the documents. This form of XSLT programming is intended for simple transformations between related document types, such as HTML formatting or conversion among similar formats. Complex XSLT programs involving, for instance, recursive templates or second order transformations are out of the scope of Vishnu. We present the architecture of Vishnu composed by a graphical editor and a programming engine. The editor is an Eclipse plug-in where the programmer loads and edits document examples and pairs their content using graphical primitives. The programming engine receives the data collected by the editor and produces an XSLT program. The design of the engine and the process of creation of an XSLT program from examples are also detailed. It starts with the generation of an initial transformation that maps source document to the target document. This transformation is fed to a rewrite process where each step produces a refined version of the transformation. Finally, the transformation is simplified before being presented to the programmer for further editing.

A behavioral analysis tool for models of software systems

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Estudo de falha em placas laminadas usando métodos analíticos e numéricos

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Manutenção

Estudo de retardantes de chama, isentes de halogéneos, em espumas de poliuretano monocomponente

Estágio de natureza profissional para obtenção do grau de Mestre em Engenharia Química

A New Approach in the Design of Air Stripping Columns for the Treatment of Groundwater Contaminated With Volatile Organic Compounds

Volatile organic compounds are a common source of groundwater contamination that can be easily removed by air stripping in columns with random packing and using a counter-current flow between the phases. This work proposes a new methodology for column design for any type of packing and contaminant which avoids the necessity of an arbitrary chosen diameter. It also avoids the employment of the usual graphical Eckert correlations for pressure drop. The hydraulic features are previously chosen as a project criterion. The design procedure was translated into a convenient algorithm in C++ language. A column was built in order to test the design, the theoretical steady-state and dynamic behaviour. The experiments were conducted using a solution of chloroform in distilled water. The results allowed for a correction in the theoretical global mass transfer coefficient previously estimated by the Onda correlations, which depend on several parameters that are not easy to control in experiments. For best describe the column behaviour in stationary and dynamic conditions, an original mathematical model was developed. It consists in a system of two partial non linear differential equations (distributed parameters). Nevertheless, when flows are steady, the system became linear, although there is not an evident solution in analytical terms. In steady state the resulting ODE can be solved by analytical methods, and in dynamic state the discretization of the PDE by finite differences allows for the overcoming of this difficulty. To estimate the contaminant concentrations in both phases in the column, a numerical algorithm was used. The high number of resulting algebraic equations and the impossibility of generating a recursive procedure did not allow the construction of a generalized programme. But an iterative procedure developed in an electronic worksheet allowed for the simulation. The solution is stable only for similar discretizations values. If different values for time/space discretization parameters are used, the solution easily becomes unstable. The system dynamic behaviour was simulated for the common liquid phase perturbations: step, impulse, rectangular pulse and sinusoidal. The final results do not configure strange or non-predictable behaviours.

"Gestão Oficinal no Setor Automóvel” - Caso de estudo na AMC, Lda.

A indústria automóvel no que respeita à gestão oficinal de qualidade é uma referência de dimensão e nível mundial. O constante avanço da indústria automóvel, o ciclo de vida dos produtos (automóveis) cada vez mais curtos e a competitividade entre empresas, requer uma procura constante de novas ferramentas de melhoria na gestão oficinal. Neste trabalho, centrado na gestão oficinal no setor automóvel, procuram-se introduzir novas abordagens que visem combater o decréscimo da rentabilidade neste setor. Como se depreende do exposto anteriormente, o objetivo principal desta dissertação é propor e avaliar (validar) propostas de melhoria que visem o aumento da rentabilidade financeira da empresa AMC – Auto Mecânica de Cambra, Lda. Com vista à prossecução deste objetivo foram definidos os seguintes objetivos intercalares na AMC: - Análise e levantamento dos problemas; - Identificação de potenciais causas; - Formulação de ações de propostas de melhoria na gestão da empresa; - Programação das ações e avaliação de resultados alcançados; A estrutura definida nesta dissertação após a sua introdução no capítulo 1 centra-se no capítulo 2 na apresentação da empresa AMC, com a descrição dos problemas levantados atendendo às vertentes mais críticas. Seguidamente, no capítulo 3, com ferramentas de análise de problemas, serão encontradas as causas raiz destes problemas. Posteriormente no capítulo seguinte serão criados planos de ações para a resolução das causas. No capítulo 4 as ações serão implementadas e avaliadas para garantir a sua eficácia e eficiência. Por fim, no capítulo 5 são descritas as conclusões e os desenvolvimentos futuros enquadráveis com a melhoria contínua da AMC. Como conclusão, este trabalho, mostra que várias propostas de melhoria implementadas trouxeram ganhos efetivos para a empresa e que futuras propostas são potencialmente válidas num futuro próximo. Esta dissertação com ligação direta à AMC tem igualmente dados que podem ser extrapolados e adaptados a outras empresas do mesmo setor. O objetivo principal deste estudo é a análise e o levantamento dos problemas com a utilização de ferramentas tais como: Benchmarking, Diagrama causa-efeito, ciclo PDCA, análise de SWOT e indicadores operativos da oficina.

New insights into pseudo-fractional ARMA modelling

Proceedings of the International Conference on Computational Cybernetics, Vienna University of Technology, August 30 - September 1, 2004

Considerations about the choice of a differintegrator

Proceedings of the 2nd International Conference on Computational Cybernetics, Vienna University of Technology, August 30 - September 1, 2004

Promoção da saúde depois dos 65 anos : elementos para uma política integrada de envelhecimento

Resumo - A presente tese explora o contributo de uma abordagem de Promoção da Saúde para o desenvolvimento de uma política integrada relativa ao envelhecimento e às pessoas idosas. Propôs-se, em particular, reunir elementos de apoio à fundamentação de medidas e políticas nacionais promotoras da saúde e bem-estar das pessoas de 65 e mais anos em Portugal. ● Delineia-se o enquadramento conceptual - referencial PromS - que clarifica a perspectiva de Promoção de Saúde adoptada. Um entendimento abrangente, positivo e multideterminado da saúde, a par do ênfase nos valores de equidade e de empowerment são alguns dos traços centrais desta abordagem. ● Conjugam-se dados empíricos quantitativos e qualitativos, concorrendo para o diagnóstico da situação de saúde da população de 65+ anos em Portugal: estudo qualitativo explorando as concepções leigas de saúde de pessoas idosas, discutidas em termos de literacia de saúde e de dimensões, determinantes e modos de acção sobre a saúde valorizados; perfil de saúde da população portuguesa de 65+ anos, caracterizando o seu estado de saúde/ bem-estar e factores (individuais e sociais/ambientais) que o influenciam; recorre a indicadores de diversas fontes, incluindo, quando possível, uma dimensão comparativa com outros grupos etários e outros países europeus; análise do padrão e magnitude de desigualdades sociais em resultados e determinantes de saúde das pessoas idosas em Portugal (dados do ESS3); breve análise de medidas/políticas nacionais relevantes para a saúde deste grupo populacional. ● Sugerem-se objectivos e áreas prioritárias para a actuação, bem como algumas estratégias e aspectos do dispositivo de intervenção a contemplar na formulação e implementação de uma política nacional de saúde dos idosos.----------------------------Abstract - The thesis explores contributions of a health promotion approach to the development of an integrated ageing policy. More specifically, it offers several elements in support of policies/measures promoting the health and well-being of people aged 65+ in Portugal. ● A conceptual framework - PromS - clarifies the health promotion approach adopted, stressing a comprehensive and positive understanding of health and its multiple determinants and emphasising the values of equity and empowerment. ● Quantitative and qualitative data are combined to render an assessment of the health situation of the over-65 population in Portugal, comprising: a qualitative study exploring older people’s lay views on health, discussed in terms of health literacy and favoured health dimensions, determinants and actions; a health profile of the Portuguese population aged 65 and over, covering health status and well-being and several determining factors (individual and social /environmental); it uses indicators from several sources, including, whenever possible, a comparison with other age groups and other European countries; an analysis of pattern and magnitude of social inequalities in health outcomes and in the distribution of some of it’s determinants among elderly people in Portugal (ESS3 data); a brief review of some national policies/measures pertinent to this group’s health. ● Objectives and priority areas for action are suggested, along with possible strategies and guidelines on infrastructure and processes regarding the formulation and implementation of a national health policy for older people.

MASS CONSERVATION ENHANCEMENT OF FREE BOUNDARY FLOWS IN COMPOSITES MANUFACTURING

Undesirable void formation during the injection phase of the liquid composite molding process can be understood as a consequence of the non-uniformity of the flow front progression, caused by the dual porosity of the fiber perform. Therefore the best examination of the void formation physics can be provided by a mesolevel analysis, where the characteristic dimension is given by the fiber tow diameter. In mesolevel analysis, liquid impregnation along two different scales; inside fiber tows and within the spaces between them; must be considered and the coupling between these flow regimes must be addressed. In such case, it is extremely important to account correctly for the surface tension effects, which can be modeled as capillary pressure applied at the flow front. When continues Galerkin method is used, exploiting elements with velocity components and pressure as nodal variables, strong numerical implementation of such boundary conditions leads to ill-posing of the problem, in terms of the weak classical as well as stabilized formulation. As a consequence, there is an error in mass conservation accumulated especially along the free flow front. This article presents a numerical procedure, which was formulated and implemented in the existing Free Boundary Program in order to significantly reduce this error.

Mass Conservation Enhancement of Free Boundary Mesolevel Flows during LCM Processes of Composites Manufacturing

Undesirable void formation during the injection phase of the liquid composite moulding process can be understood as a consequence of the non-uniformity of the flow front progression, caused by the dual porosity of the fibre perform. Therefore the best examination of the void formation physics can be provided by a mesolevel analysis, where the characteristic dimension is given by the fibre tow diameter. In mesolevel analysis, liquid impregnation along two different scales; inside fibre tows and within the open spaces between them; must be considered and the coupling between these flow regimes must be addressed. In such case, it is extremely important to account correctly for the surface tension effects, which can be modelled as capillary pressure applied at the flow front. Numerical implementation of such boundary conditions leads to ill-posing of the problem, in terms of the weak classical as well as stabilized formulation. As a consequence, there is an error in mass conservation accumulated especially along the free flow front. This contribution presents a numerical procedure, which was formulated and implemented in the existing Free Boundary Program in order to significantly reduce this error.

Numerical Method to Predict Void Formation during The Liquid Composite Molding Process

Void formation during the injection phase of the liquid composite molding process can be explained as a consequence of the non-uniformity of the flow front progression. This is due to the dual porosity within the fiber perform (spacing between the fiber tows is much larger than between the fibers within in a tow) and therefore the best explanation can be provided by a mesolevel analysis, where the characteristic dimension is given by the fiber tow diameter of the order of millimeters. In mesolevel analysis, liquid impregnation along two different scales; inside fiber tows and within the open spaces between the fiber tows must be considered and the coupling between the flow regimes must be addressed. In such cases, it is extremely important to account correctly for the surface tension effects, which can be modeled as capillary pressure applied at the flow front. Numerical implementation of such boundary conditions leads to illposing of the problem, in terms of the weak classical as well as stabilized formulation. As a consequence, there is an error in mass conservation accumulated especially along the free flow front. A numerical procedure was formulated and is implemented in an existing Free Boundary Program to reduce this error significantly.

Conceptual analogy for modelling entrapped air action in hydraulic systems

Hydraulic systems are dynamically susceptible in the presence of entrapped air pockets, leading to amplified transient reactions. In order to model the dynamic action of an entrapped air pocket in a confined system, a heuristic mathematical formulation based on a conceptual analogy to a mechanical spring-damper system is proposed. The formulation is based on the polytropic relationship of an ideal gas and includes an additional term, which encompasses the combined damping effects associated with the thermodynamic deviations from the theoretical transformation, as well as those arising from the transient vorticity developed in both fluid domains (air and water). These effects represent the key factors that account for flow energy dissipation and pressure damping. Model validation was completed via numerical simulation of experimental measurements.

NoC contention analysis using a branch-and-prune algorithm

“Many-core” systems based on a Network-on-Chip (NoC) architecture offer various opportunities in terms of performance and computing capabilities, but at the same time they pose many challenges for the deployment of real-time systems, which must fulfill specific timing requirements at runtime. It is therefore essential to identify, at design time, the parameters that have an impact on the execution time of the tasks deployed on these systems and the upper bounds on the other key parameters. The focus of this work is to determine an upper bound on the traversal time of a packet when it is transmitted over the NoC infrastructure. Towards this aim, we first identify and explore some limitations in the existing recursive-calculus-based approaches to compute the Worst-Case Traversal Time (WCTT) of a packet. Then, we extend the existing model by integrating the characteristics of the tasks that generate the packets. For this extended model, we propose an algorithm called “Branch and Prune” (BP). Our proposed method provides tighter and safe estimates than the existing recursive-calculus-based approaches. Finally, we introduce a more general approach, namely “Branch, Prune and Collapse” (BPC) which offers a configurable parameter that provides a flexible trade-off between the computational complexity and the tightness of the computed estimate. The recursive-calculus methods and BP present two special cases of BPC when a trade-off parameter is 1 or ∞, respectively. Through simulations, we analyze this trade-off, reason about the implications of certain choices, and also provide some case studies to observe the impact of task parameters on the WCTT estimates.

Soliton-type and other travelling wave solutions for an improved class of nonlinear sixth-order Boussinesq equations

An improved class of nonlinear bidirectional Boussinesq equations of sixth order using a wave surface elevation formulation is derived. Exact travelling wave solutions for the proposed class of nonlinear evolution equations are deduced. A new exact travelling wave solution is found which is the uniform limit of a geometric series. The ratio of this series is proportional to a classical soliton-type solution of the form of the square of a hyperbolic secant function. This happens for some values of the wave propagation velocity. However, there are other values of this velocity which display this new type of soliton, but the classical soliton structure vanishes in some regions of the domain. Exact solutions of the form of the square of the classical soliton are also deduced. In some cases, we find that the ratio between the amplitude of this wave and the amplitude of the classical soliton is equal to 35/36. It is shown that different families of travelling wave solutions are associated with different values of the parameters introduced in the improved equations.