Historic timber roof structures

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Estruturas e Geotecnia

On the HHT, its problems, and some solutions

Mechanical Systems and Signal Processing, Vol.22, Number 6

Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Pattern operators for grid

The definition and programming of distributed applications has become a major research issue due to the increasing availability of (large scale) distributed platforms and the requirements posed by the economical globalization. However, such a task requires a huge effort due to the complexity of the distributed environments: large amount of users may communicate and share information across different authority domains; moreover, the “execution environment” or “computations” are dynamic since the number of users and the computational infrastructure change in time. Grid environments, in particular, promise to be an answer to deal with such complexity, by providing high performance execution support to large amount of users, and resource sharing across different organizations. Nevertheless, programming in Grid environments is still a difficult task. There is a lack of high level programming paradigms and support tools that may guide the application developer and allow reusability of state-of-the-art solutions. Specifically, the main goal of the work presented in this thesis is to contribute to the simplification of the development cycle of applications for Grid environments by bringing structure and flexibility to three stages of that cycle through a commonmodel. The stages are: the design phase, the execution phase, and the reconfiguration phase. The common model is based on the manipulation of patterns through pattern operators, and the division of both patterns and operators into two categories, namely structural and behavioural. Moreover, both structural and behavioural patterns are first class entities at each of the aforesaid stages. At the design phase, patterns can be manipulated like other first class entities such as components. This allows a more structured way to build applications by reusing and composing state-of-the-art patterns. At the execution phase, patterns are units of execution control: it is possible, for example, to start or stop and to resume the execution of a pattern as a single entity. At the reconfiguration phase, patterns can also be manipulated as single entities with the additional advantage that it is possible to perform a structural reconfiguration while keeping some of the behavioural constraints, and vice-versa. For example, it is possible to replace a behavioural pattern, which was applied to some structural pattern, with another behavioural pattern. In this thesis, besides the proposal of the methodology for distributed application development, as sketched above, a definition of a relevant set of pattern operators was made. The methodology and the expressivity of the pattern operators were assessed through the development of several representative distributed applications. To support this validation, a prototype was designed and implemented, encompassing some relevant patterns and a significant part of the patterns operators defined. This prototype was based in the Triana environment; Triana supports the development and deployment of distributed applications in the Grid through a dataflow-based programming model. Additionally, this thesis also presents the analysis of a mapping of some operators for execution control onto the Distributed Resource Management Application API (DRMAA). This assessment confirmed the suitability of the proposed model, as well as the generality and flexibility of the defined pattern operators

Dpws middleware to support agent-based manufacturing control and simulation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Futures of work and skills: some foresight exercises in Europe and USA

The Knowledge-based society brought a new way of living and working. The increasing decline of work in primary sector and traditional industries, related with the significant increase of employment in the service sector and in the knowledge work, changed the way companies and individuals establish their relations, the way work and life is organised. These changes are usual and fast and so the feeling of insecurity and unpredictability become more and more sharp. In this context, foresight exercises are necessary tools helping in the identification of the key variables and main trends of evolution. This report will present some foresight studies about work and skills in Europe and USA, in order to contribute to think about possible evolutions and trends.

Human and climatic change impact modelling on the habitat suitability for the chimpanzee (Pan troglodytes ellioti) – Case study: The proposed Mount Cameroon National Park

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

An implementation of dynamic fully compressed suffix trees

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Pliensbachian/Toarcian boundary: the proposed GSSP of Peniche (Portugal)

The Peniche section (Portugal) is considered as a potential stratotype (GSSP) for the Pliensbachian/Toarcian boundary and it is analysed on the background of the available data on the ammonite successions from other Tethyan and NW European areas.

Petri nets based components within globally asynchronous locally synchronous systems

Dissertação apresentada na Faculdade de Ciências e Tecnologias da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e Computadores

4Sensing - decentralized processing for participatory sensing data

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

A middleware for service oriented computing in dynamic environments

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Extremum estimators and stochastic optimization methods

Submitted in partial fulfillment for the Requirements for the Degree of PhD in Mathematics, in the Speciality of Statistics in the Faculdade de Ciências e Tecnologia

Protocolo de fisioterapia, com auxílio de biofeedback electromiográfico, em utentes com disfunções do ombro: efeitos na dor, funcionalidade e estabilidade dinâmica

RESUMO: Introdução: A dor e disfunções do movimento no complexo articular do ombro (CAO) são comuns e debilitantes. O uso de exercícios segundo os pressupostos de estabilidade dinâmica (ED), com auxílio de Biofeedback electromiográfico (BEMG) tem vindo a ser referido, como uma forma de aumentar a efectividade da intervenção nas disfunções do complexo articular do ombro (DCAO)Objectivo Principal: Estudar os efeitos de um protocolo de intervenção, com BEMG, cujas finalidades foram abolir a dor, aumentar a funcionalidade e a ED da omoplata, em utentes com DCAO. Objectivos secundários: Comparar os subgrupos e quanto às características, resultados, tempos de intervenção total e até atingir critérios de alta; Comparar os resultados nos momentos inicial e final. Métodos: Foi realizado um coorte clínico, longitudinal, retrospectivo, observacional, analítico. A amostra foi constituída por 82 sujeitos, divididos em dois subgrupos (n=53 SCSA e n=29 IGU). Os instrumentos de medida utilizados foram a EVA, o DASH, o SPADI e o BEMG. Foi seguido o protocolo de ED proposto por Santos e Matias (2007), de acordo com as 3 fases de intervenção por eles descritas, realizando uma sessão semanal, monitorizando exercícios que seguem estes princípios, com BEMG. Foram avaliadas as variáveis dor, postura, padrão de recrutamento, controlo motor, posição inicial da omoplata (PIO), amplitudes articulares (AA’s), força muscular (FM) e postura. Para analisar os dados, recorreu-se a estatística descritiva e inferencial. Resultados: A intervenção foi efectiva na abolição da dor no momento (0,43 para 0,00/10EVA no subgrupo SCSA e 0,66 para 0,00/10EVA no subgrupo IGU) na pior dor (5,47/10EVA para 0,06/10EVA no subgrupo SCSA e 5,28/10 para 0,14/10 no subgrupo IGU), no aumento da função (28,57 para 0,66/100DASH e 39,00 para 0,63/100SAPDI no subgrupo SCSA e 25,80 para 0,38/100DASH e 28,19 para 0,39/100 no subgrupo IGU) e no aumento da ED da omoplata com normalização do padrão de recrutamento, controlo motor, PIO dentro do espectro de normalidade e boa capacidade de controlar a sua posição, ao longo do movimento do membro superior (MS). A intervenção proporcionou, ainda a normalização das AA’s, FM e autocorrecção postural. O tempo médio de intervenção foi de 6,45semanas no subgrupo SCSA e 5,83sem no subgrupo IGU. Estes resultados são semelhantes comparativamente a estudos que utilizaram uma intervenção baseada nos mesmos princípios (Matias e Cruz, 2004; Cunha e Matias, 2006; Santos e Matias, 2007; Rodrigues e Matias, 2009). Conclusão: O protocolo de intervenção aplicado, com uso de exercícios baseados nos princípios da ED e uso de BEMG, permitiu o alcance dos objectivos, junto de utentes com DCAO (SCSA e IGU). Verificou-se que, independentemente da condição, os resultados foram idênticos em ambos subgrupos, não apresentando diferenças significativas entre as variáveis de medida final, o tempo total de intervenção e os tempos até atingir os critérios de alta, expecto para a Dor, sendo este superior no subgrupo SCSA.---------------------------------------- ABSTRACT:Introduction: Movement disorders and pain in the shoulder joint complex (SJC) are common and debilitating. The use of exercises under the premises of dynamic stability (DS), with the aid of electromyographic biofeedback (EMGBF) has been mentioned as a way to increase the effectiveness of the intervention in disorders of the shoulder joint complex (DSJC) Main Objective: To evaluate the results of an intervention protocol, with EMGBF whose aims were to abolish the pain, increase functionality and DS of the scapula in patients with DSJC. Objectives: To compare the subgroups and the characteristics, outcomes, and total intervention times to reach discharge criteria; to compare the results at the beginning and at the end. Methods: We conducted a clinical cohort, longitudinal, retrospective, observational analysis. The sample consisted of 82 subjects, divided into two subgroups (n = 53 shoulder impingement syndrome SIS n = 29 shoulder joint instability SJI). The measurement instruments used were the VAS, DASH, SPADI, and EMGBF. It was followed the DS protocol proposed by Santos and Matias (2007), according to the three phases of intervention, described by performing a weekly session, monitoring exercises that follow these principles, with EMGBF. The variables were pain, posture, recruitment pattern, motor control, the initial position of the scapula (IPS), range of motion (ROM), muscular strength (MS) and posture. To analyze the data, we used the descriptive and inferential statistics. Results: The intervention was effective in abolishing the pain at the time (0.43 to 0.00/10 VAS in the SIS subgroup and 0.66 to 0.00/10 VAS in the SJI subgroup) in worst pain (5.47 to 0,06/10 VAS in the SIS subgroup and 5.28/ to 0.14/10 VAS in the SJI subgroup), increasing the function (28,57 to 0,66/100 DASH and 39,00 to 0,63/100 SAPDI in the SIS subgroup and 25,80 to 0,38/100 DASH and 28,19 to 0,39/100 SPADI in the SJI subgroup) and the increase in DS of the scapula with normalization of the pattern recruitment, motor control, IPS within the spectrum of normalcy and good ability to control its position along the movement of the upper limb (UL). The intervention provided, although the normalization of ROM, MS and self-correcting posture. The average length of intervention was 6.45 weeks in the SIS subgroup and 5.83 in the IS subgroup. These results are comparable with similar studies that used an intervention based on the same principles (Matias e Cruz, 2004; Cunha e Matias, 2006; Santos e Matias, 2007; Rodrigues e Matias, 2009). Conclusion: The intervention protocol implemented with the use of exercises based on the principles of DS and the use of EMGBF was effective, allowing the accomplishment of goals, in patients with DSJC (SIS and SJI). It was found that, regardless of condition, the results were identical in both groups, showing no significant differences between the variables of the final measure, the total time of intervention and the times to reach discharge criteria, except for pain, which was higher in the SIS subgroup.

A go-to-market strategy for vertebral metrics

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica