Orchestration of heterogeneous middleware services and its application to a comand and control platform

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

Heuristics and policies for online pickup and delivery problems

Master Thesis

Factorization of elliptic boundary value problems by invariant embedding and application to overdetermined problems

Dissertação para obtenção do Grau de Doutor em Matemática

AGNI: an API for the control of automomous service robots

With the continuum growth of Internet connected devices, the scalability of the protocols used for communication between them is facing a new set of challenges. In robotics these communications protocols are an essential element, and must be able to accomplish with the desired communication. In a context of a multi-­‐‑agent platform, the main types of Internet communication protocols used in robotics, mission planning and task allocation problems will be revised. It will be defined how to represent a message and how to cope with their transport between devices in a distributed environment, reviewing all the layers of the messaging process. A review of the ROS platform is also presented with the intent of integrating the already existing communication protocols with the ServRobot, a mobile autonomous robot, and the DVA, a distributed autonomous surveillance system. This is done with the objective of assigning missions to ServRobot in a security context.

Compaction quality control on site of earthworks - A comparative study

The capacity to use geologic materials (soil and rock) that are available in the surrounding environment is inherent to the human civilization and has contributed to the evolution of societies throughout the course of history. The use of these materials in the construction of structures such as houses, roads, railways or dams, stirred the improvement of socioeconomic and environmental conditions. Several reports of structural problems on embankments can be found throughout history. A considerable number of those registers can be linked to inadequate compaction, demonstrating the importance of guaranteeing a suitable quality of soil compaction. Various methodologies and specifications of compaction quality control on site of earthworks, based on the fill moisture content and dry unit weight, were developed during the 20th century. Two widely known methodologies are the conventional and nuclear techniques. The conventional methods are based on the use of the field sand cone test (or similar) and sampling of material for laboratory-based testing to evaluate the fill dry unit weight and water content. The nuclear techniques measure both parameters in the field using a nuclear density gauge. A topic under discussion in the geotechnical community, namely in Portugal, is the comparison between the accuracy of the nuclear gauge and sand cone test results for assessing the compaction and density ratio of earth fills, particularly for dams. The main purpose of this dissertation is to compare both of them. The data used were acquired during the compaction quality control operations at the Coutada/Tamujais dam trial embankment and core construction. This is a 25 m high earth dam located in Vila Velha de Rodão, Portugal. To analyse the spatial distribution of the compaction parameters (water content and compaction ratio), a 3D model was also developed. The main results achieved are discussed and finally some considerations are put forward on the suitability of both techniques to ensure fill compaction quality and on additional research to complement the conclusions obtained.