Testing native speakers of German and Portuguese on the understanding of topological operators-line-region relations in gvSIG

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

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

Spatial operators for collaborative map handling

MSC Dissertation in Computer Engineering

Factorization by invariant embedding of elliptic problems: circular and star-shaped domains

Dissertação apresentada para obtenção do grau de Doutor em Matemática na especialidade de Equações Diferenciais, pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia

Effect of surfactant on PDLC films with and without permanent memory effect

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Transitional dynamics of an endogenous growth model with an erosion effect

The convergence features of an Endogenous Growth model with Physical capital, Human Capital and R&D have been studied. We add an erosion effect (supported by empirical evidence) to this model, and fully characterize its convergence properties. The dynamics is described by a fourth-order system of differential equations. We show that the model converges along a one-dimensional stable manifold and that its equilibrium is saddle-path stable. We also argue that one of the implications of considering this “erosion effect” is the increase in the adherence of the model to data.

Playing Newtonian Games with Modellus

This article is a short introduction on how to use Modellus (a computer package that is freely available on the Internet and used in the IOP Advancing Physics course) to build physics games using Newton’s laws, expressed as differential equations. Solving systems of differential equations is beyond most secondary-school or first-year college students. However, with Modellus, the solution is simply the output of the usual physical reasoning: define the force law, compute its magnitude and components, use it to obtain the acceleration components, then the velocity components and, finally, use the velocity components to find the coordinates.

Anti-vibration gloves and the forearm efforts during tools operations

The objective of this paper is to analyze the forearm muscular contraction levels associated to the use of anti-vibration gloves, by comparing the contraction levels with gloves and without gloves. Two different vibration tools were used in a simulated work environment: (1) A compact Duty Multi-Cutter Bosch and (2) and a Percussion Drill with a drill bit Ø20 mm. Standard operations were performed by each subject in the following materials: (1) Performing cross- sectional cuts in 80x40 mm pine section and (2) performing 20 mm diameter holes in a concrete slab 2 x 2 m, 70 mm thick. The forearm contraction level were measured by surface electromyography in four different muscles: Flexor Digitorum Superficialis (FDS), Flexor Carpi Ulnaris (FCU), Extensor Carpi Radialis Longus (ECRL) e Extensor Carpi Ulnaris (ECU). For the flexor muscles (FDS, FCU), an increase tendency in muscular contraction was observed when the operations are performed without gloves (2-5% MVE increase in the FDS and 3-9% MVE increase in the FCU). For the extensor muscles ECU a decrease tendency in muscular contraction was observed when the operations are performed without gloves (1-10% MVE decrease). Any tendency was found in the ECRL muscle. ECU was the muscle with the highest contraction level for 79% and 71% of the operators, during the operations respectively with the multi-cutter (P50= 27-30%MVE) and with the percussion drill (P50=46-55%MVE). As a final conclusion from this study, anti- vibration gloves may increase the forearm fatigue in the posterior region of the forearm (ECU muscle) during operations with the mentioned tools

A regulação da atividade espacial

The technological evolution of the past fifty years has provided Humanity the contact with the last frontier of knowledge: space. An unknown world, explored by a small group of nations, which has become crucial to understanding who we are and where we come from. Space assets in recent years have opened the way to a digital society, shaped by the rapid exchange of information, whose means are mostly in space. A place of fascination and curiosity, restricted to a few people in these decades, which may soon be changing. This essay addresses some legal issues concerning the private exploration of space. Liability on space tourism is the core of this investigation, focusing on the comprehension of the international legal framework and its connection with the states national law. In particular, the study of the main international treaties, the U.S. legal system of space law and the developments in Europe are the fundamental tools of the current analysis, not forgetting the point of view of a possible international harmonization. Besides the needed theoretical context on the evolution of space law and a brief approach of the technical matters of the current aerospace engineering, the goal is to examine the characteristics of international space law and its relation with the new private actors, responsible for providing suborbital flights, operating in a near future. Within these circumstances, given the economic potential of the growing private space industry, it is essential to discuss the legal aspects of a spatial regulation. Being liability, undoubtedly, the emerging issue in the legal debate on this topic, it is important to safeguard the interests of the operators, States and, above all, future space tourists.

A liberalização do mercado energético e o papel das entidades reguladoras

The liberalisation of the energy market goes back to the 1990s, when it was impelled by the European legislator. Since then, three legislative packages, temporarily successive, were approved. Those packages contained the measures to be implemented in order to deepen the internal energy market. Besides the opening up of several national markets to competition, the European legislator aimed the creation of a real internal energy market within the European Union. The unbundling regime was one of the most important steps with respect to the liberalisation process. The introduction of these rules ensured independence to the various market operators. A real and effective right of choice was granted to the consumers so they may choose their electricity and natural gas supplier. Therefore, the activity of comercialisation is subject to competition. However, some activities of the electricity’s and natural gas’ chain of value, namely the activities of transportation and distribution, were kept under regulation rules. Even though it may seem odd, the assignment of important competences and strong powers to a regulatory authority was essential in order to achieve the liberalisation process’ goals. Electricity and natural gas are essential public goods; therefore the market operators are legally bound to public service obligations, such as the security, the universality and the continuity of the supply. The performance of these obligations may become, in some cases, unprofitable for those operators. For such reason, the protection of the consumers’ rights shall only be properly defended if there is a regulatory authority that monitors the behaviour of the operators and sanctions the failure to comply with the public service obligations. Portugal, as a Member State of the European Union, transposed into the national legal order the European directives concerning the liberalisation process. This transposition has caused radical changes to the electricity and natural gas’ national markets. The Entidade Reguladora dos Serviços Energéticos also suffered various mutations in order to keep up with the regulatory demands regarding the liberalisation process.