A SDK improvement towards gesture support

Human-Computer Interaction have been one of the main focus of the technological community, specially the Natural User Interfaces (NUI) field of research as, since the launch of the Kinect Sensor, the goal to achieve fully natural interfaces just got a lot closer to reality. Taking advantage of this conditions the following research work proposes to compute the hand skeleton in order to recognize Sign Language Shapes. The proposed solution uses the Kinect Sensor to achieve a good segmentation and image analysis algorithms to extend the skeleton from the extraction of high-level features. In order to recognize complex hand shapes the current research work proposes the redefinition of the hand contour making it immutable to translation, rotation and scaling operations, and a set of tools to achieve a good recognition. The validation of the proposed solution extended the Kinects Software Development Kit to allow the developer to access the new set of inferred points and created a template-matching based platform that uses the contour to define the hand shape, this prototype was tested in a set of predefined conditions and showed to have a good success ration and has proven to be eligible for real-time scenarios.

Otimização automática de aplicações web usando templates client-side

O crescente poder computacional dos dispositivos móveis e a maior eficiência dos navegadores fomentam a construção de aplicações Web mais rápidas e fluídas, através da troca assíncrona de dados em vez de páginas HTML completas. A OutSystems Platform é um ambiente de desenvolvimento usado para a construção rápida e validada de aplicaçõesWeb, que integra numa só linguagem a construção de interfaces de utilizador, lógica da aplicação e modelo de dados. O modelo normal de interação cliente-servidor da plataforma é coerente com o ciclo completo de pedido-resposta, embora seja possível implementar, de forma explícita, aplicações assíncronas. Neste trabalho apresentamos um modelo de separação, baseado em análise estática sobre a definição de uma aplicação, entre os dados apresentados nas páginas geradas pela plataforma e o código correspondente à sua estrutura e apresentação. Esta abordagem permite a geração automática e transparente de interfaces de utilizador mais rápidas e fluídas, a partir do modelo de uma aplicação OutSystems. O modelo apresentado, em conjunto com a análise estática, permite identificar o subconjunto mínimo dos dados a serem transmitidos na rede para a execução de uma funcionalidade no servidor, e isolar a execução de código no cliente. Como resultado da utilização desta abordagem obtém-se uma diminuição muito significativa na transmissão de dados, e possivelmente uma redução na carga de processamento no servidor, dado que a geração das páginasWeb é delegada no cliente, e este se torna apto para executar código. Este modelo é definido sobre uma linguagem, inspirada na da plataforma OutSystems, a partir da qual é implementado um gerador de código. Neste contexto, uma linguagem de domínio específico cria uma camada de abstração entre a definição do modelo de uma aplicação e o respetivo código gerado, tornando transparente a criação de templates clientside e o código executado no cliente e no servidor.

Método dos elementos aplicados na simulação numérica do arrancamento de armaduras

Uma das propriedades do betão armado que foi alvo de maior número de estudos, ao longo dos tempos, é a aderência. Esta é uma das propriedades mais importantes a considerar na construção, pois dela depende o desempenho e estabilidade de uma estrutura. Dada a sua importância, a aderência é a propriedade do betão armado mais estudada ao longo do tempo. A complexidade inerente a esta propriedade torna difícil de compreender e prever o comportamento estrutural. Esta dissertação pretende analisar a capacidade do Método dos Elementos Aplicados em simular o ensaio de arrancamento directo e de reproduzir modos de rotura. Este ensaio, denominado de pull-out test, estuda a aderência entre três materiais: o aço, o betão e o grout. Vários tipos de ligações, com diferentes modos de rotura, são simulados e comparados com um ensaio experimental referido na revisão bibliográfica. Assim, recorrer-se-á ao programa Extreme Loading for Structures, que tem como base o Método dos Elementos Aplicados. Através de uma análise de sensibilidade foi possível calibrar as propriedades dos diferentes elementos e das interfaces entre o betão, aço e grout, de modo a viabilizar o cálculo da força crítica das ligações e reproduzir os modos de rotura observados experimentalmente. Este trabalho pretende dar uma contribuição ao conhecimento no âmbito da simulação numérica, em relação a este tipo de ligações, e ajudar à criação de modelos numéricos fiáveis e eficientes de fácil e rápida execução. Esta dissertação permite concluir que o Método dos Elementos Aplicados, apresenta-se como uma boa solução para o estudo deste tipo de ligações. Os resultados numéricos tiveram uma boa aproximação dos resultados experimentais. Em conformidade com a análise experimental, as ligações com bainha de pré-esforço e comprimento de embebimento a partir de 15 cm são as que melhor desempenho têm ao nível da resistência.

“O Código Pitágoras”: um jogo educativo para alunos cegos e amblíopes

Devido à crescente popularização dos computadores pessoais, estes encontram-se fortemente enraizados na nossa vida quotidiana. Para muitas pessoas, em particular as mais jovens, o computador já se tornou uma ferramenta de trabalho, uma fonte de informação ou até uma forma de entretenimento indispensável ao seu dia-a-dia. Por estas razões os computadores oferecem-nos boas oportunidades de expansão em diversos contextos, nomeadamente no ensino escolar e na inclusão social. Vários estudos afirmam que o uso de vídeo jogos na educação traria muitos benefícios ao processo de aprendizagem, pois permitiriam formas de ensino mais motivadoras e adaptáveis aos comportamentos sociais das crianças e jovens de hoje. No entanto há que ter diversos cuidados, caso contrário, corre-se o sério risco de tornar o jogo um motivo de desconcentração e não numa ferramenta de estudo. Para tal é importante encontrar métodos que façam a distinção entre os alunos que decoraram as soluções do jogo por jogarem frequentemente, dos que arriscam nas respostas sempre que jogam e dos alunos que vão adquirindo conhecimentos de cada vez que jogam, premiando estes últimos em detrimento dos dois primeiros. A forte presença do computador no dia-a-dia torna-o também um importante veículo para a inclusão de pessoas com deficiências visuais. No entanto como a interacção com o computador é normalmente muito exigente a nível visual, se as aplicações não forem bem desenhadas podem aumentar a disparidade entre os utilizadores visuais e os utilizadores invisuais. Assim é fundamental perceber o impacto das diferenças individuais e a sua relação com as exigências das interfaces, sobretudo nos vídeo jogos onde a principal forma de output é visual. Isto permitirá o desenvolvimento de soluções de interacção adequadas aos utilizadores invisuais, conferindo-lhes assim uma melhor forma de inclusão. Nesta dissertação desenvolveu-se um vídeo jogo educativo para a aprendizagem de matemática, adaptado para ser jogado por alunos cegos e amblíopes do 9º ano de escolaridade. O jogo reúne elementos apropriados para a idade dos jogadores, tal como a história de aventura/caça ao tesouro e personagens com quem se podem identificar, contribuindo para uma maior motivação dos alunos ao jogarem “O Código Pitágoras”. Apesar de se tratar de um jogo acessível para jovens invisuais, este também pode ser jogado por alunos normovisuais devido à sua componente gráfica. Desta forma contribui-se para uma maior integração dos alunos cegos e amblíopes nas suas turmas e na sociedade em geral, permitindo-lhes em simultâneo acesso às mesmas oportunidades que os colegas normovisuais. Os principais objectivos a atingir são: que o jogo seja de facto uma ferramenta útil ao ensino; que todos os seus conteúdos jogáveis possam ser acedidos por crianças com deficiência visual e que o mesmo seja considerado pelos seus utilizadores como um vídeo jogo normal.

Desenvolvimento sustentável em áreas urbanas de génese ilegal

A partir dos anos sessenta do século passado o subdesenvolvimento e o desemprego nas regiões do interior do país levaram a uma onda de emigração das populações para o estrangeiro e migração para as áreas metropolitanas das grandes cidades, sobretudo de Lisboa e Porto, tendo provocado uma elevada procura de habitação. Essa procura, por sua vez, deu origem a um surto de loteamentos ilegais e respetivas construções urbanas, a que se convencionou chamar de "bairros clandestinos", embora estivessem à vista de toda a gente, desprovidos de condições urbanas básicas (ordenamento, infraestruturas e equipamentos). Passados que são mais de 50 anos sobre o seu aparecimento, este fenómeno continua presente e – ainda – em fase de resolução na maioria dos casos. Simultaneamente, neste início do século XXI, conceitos ligados ao desenvolvimento e crescimento urbano sustentável levam-nos a dever tomar e pensar outras atitudes, social, financeira e ambientalmente mais estruturadas e fundamentadas, ou seja, apoiadas em critérios de desenvolvimento sustentável, especificamente, ligados à requalificação e reconversão urbana, devidamente suportadas por documentos políticos / regulamentares ordenadores destas operações urbanísticas. Explorando o tema relacionado com a metodologia processual aplicável à reconversão das AUGI, pretende-se no âmbito da presente tese provar a viabilidade e a necessidade de implementação das novas políticas urbanas vigentes à escala europeia, apoiadas em critérios de desenvolvimento sustentável. Apoiado em experiências europeias e nacionais, ao nível de ecobairros, e suportado numa prévia análise crítica da LAUGI, a presente tese pretende propor orientações de elaboração de novas diretrizes legais para este efeito, a incluir no processo de revisão do referido diploma legal atualmente em curso, e, simultaneamente, apresentar uma proposta de modelo de boas práticas aplicável a qualquer processo de reconversão de AUGI, sistema esse direcionado para a intervenção nas áreas da Energia, Recursos Materiais e Infraestruturas, Transportes e Mobilidade, Território e Recursos Naturais, Vida em Comunidade, e, Edifícios. Esse modelo de boas práticas, aqui intitulado “ARIAS”, é aplicado num processo de reconversão de uma AUGI, e dessa aplicação são retiradas as primeiras conclusões sobre a sua pertinência. A intenção será, pois, tentar provar que este tipo de processos, não obstante a sua génese ilegal e clandestina, podem, nos tempos atuais, verem as suas reconversões urbanísticas ocorrem no contexto da sustentabilidade urbana, contribuindo para uma melhor e mais equilibrada coesão urbana.

Kinect-sign

A nova era da informação que se está a assistir tem possibilitado a criação de novas e vastas coleções de intelecto virtual, como por exemplo o Wikipedia, Corsera, entre outros. Estas ferramentas vieram possibilitar a procura por cultura, resoluções de problemas do quotidiano, novos métodos de aprendizagem, por parte da sociedade em geral. Porém, como é habitual, tem-se vindo a verificar uma certa dificuldade inerente por parte de certas minorias sociais, que não possuem as mesmas capacidades de um indivíduo “normal“. Esta dissertação tem como objetivo a criação de uma ferramenta, em formato de jogo sério, para apoiar o ensino de Língua Gestual Portuguesa a um público ouvinte o -“Kinect Sign”. Com este estudo pretende-se explorar as mais recentes ferramentas de desenvolvimento de jogos, mais conhecidas como Authoring Tools e a sua integração com Natural User interfaces, concretamente o sensor Kinect. A solução apresentada neste documento propõe a utilização desta ferramenta a todos os indivíduos iniciantes que necessitem de uma introdução a esta forma de comunicação, para tornar um pouco menos agressiva a entrada no complexo mundo da linguagem gestual. A validação deste trabalho consistiu no desenvolvimento de um jogo protótipo que incentive os jogadores a aprenderem enquanto jogam. Analisaram-se problemas e tecnologias atuais para se chegar a uma estruturação semelhante a um jogo comum disponível em qualquer superfície comercial e websites dedicados ao género. Posterior apresentação a uma população selecionada a fim de analisar a sua opinião e utilidade do modelo desenvolvido, seguindo-se a resposta a um pequeno questionário.

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.

m-SportGIS

Information technologies (ITs), and sports resources and services aid the potential to transform governmental organizations, and play an important role in contributing to sustainable communities development, respectively. Spatial data is a crucial source to support sports planning and management. Low-cost mobile geospatial tools bring productive and accurate data collection, and their use combining a handy and customized graphical user interface (GUI) (forms, mapping, media support) is still in an early stage. Recognizing the benefits — efficiency, effectiveness, proximity to citizens — that Mozambican Minister of Youth and Sports (MJD) can achieve with information resulted from the employment of a low-cost data collection platform, this project presents the development of a mobile mapping application (app) — m-SportGIS — under Open Source (OS) technologies and a customized evolutionary software methodology. The app development embraced the combination of mobile web technologies and Application Programming Interfaces (APIs) (e.g. Sencha Touch (ST), Apache Cordova, OpenLayers) to deploy a native-to-the-device (Android operating system) product, taking advantage of device’s capabilities (e.g. File system, Geolocation, Camera). In addition to an integrated Web Map Service (WMS), was created a local and customized Tile Map Service (TMS) to serve up cached data, regarding the IT infrastructures limitations in several Mozambican regions. m-SportGIS is currently being exploited by Mozambican Government staff to inventory all kind of sports facilities, which resulted and stored data feeds a WebGIS platform to manage Mozambican sports resources.

Characterization of molecular damage induced by UV photons and carbon ions on biomimetic heterostructures

The study of the effect of radiation on living tissues is a rather complex task to address mainly because they are made of a set of complex functional biological structures and interfaces. Particularly if one is looking for where damage is taking place in a first stage and what are the underlying reaction mechanisms. In this work a new approach is addressed to study the effect of radiation by making use of well identified molecular hetero-structures samples which mimic the biological environment. These were obtained by assembling onto a solid support deoxyribonucleic acid (DNA) and phospholipids together with a soft water-containing polyelectrolyte precursor in layered structures and by producing lipid layers at liquid/air interface with DNA as subphase. The effects of both ultraviolet (UV) radiation and carbon ions beams were systematically investigated in these heterostructures, namely damage on DNA by means vacuum ultraviolet (VUV), infrared (IR), X-Ray Photoelectron (XPS) and impedance spectroscopy. Experimental results revealed that UV affects furanose, PO2-, thymines, cytosines and adenines groups. The XPS spectrometry carried out on the samples allowed validate the VUV and IR results and to conclude that ionized phosphate groups, surrounded by the sodium counterions, congregate hydration water molecules which play a role of UV protection. The ac electrical conductivity measurements revealed that the DNA electrical conduction is arising from DNA chain electron hopping between base-pairs and phosphate groups, with the hopping distance equal to the distance between DNA base-pairs and is strongly dependent on UV radiation exposure, due loss of phosphate groups. Characterization of DNA samples exposed to a 4 keV C3+ ions beam revealed also carbon-oxygen bonds break, phosphate groups damage and formation of new species. Results from radiation induced damage carried out on biomimetic heterostructures having different compositions revealed that damage is dependent on sample composition, with respect to functional targeted groups and extent of damage. Conversely, LbL films of 1,2-dipalmitoyl-sn-Glycero-3-[Phospho-rac-(1-glycerol)] (Sodium Salt) (DPPG) liposomes, alternated with poly(allylamine hydrochloride) (PAH) revealed to be unaffected, even by prolonged UV irradiation exposure, in the absence of water molecules. However, DPPG molecules were damaged by the UV radiation in presence of water with cleavage of C-O, C=O and –PO2- bonds. Finally, the study of DNA interaction with the ionic lipids at liquid/air interfaces revealed that electrical charge of the lipid influences the interaction of phospholipid with DNA. In the presence of DNA in the subphase, the effects from UV irrladiation were seen to be smaller, which means that ionic products from biomolecules degradation stabilize the intact DPPG molecules. This mechanism may explain why UV irradiation does not cause immediate cell collapse, thus providing time for the cellular machinery to repair elements damaged by UV.

Desenvolvimento de novas ferramentas analíticas para a monitorização da actividade da Paraoxonase 1 em amostras de plasma humano

Segundo a Organização Mundial da Saúde (OMS), as doenças cardiovasculares (DCV) são a principal causa de morte nos países desenvolvidos. Há uma necessidade urgente de métodos eficazes para a detecção precoce de doenças cardiovasculares, devido à falta de factores de risco convencionais. Os níveis elevados de homocisteína (Hcy) no sangue, homocisteinemia, são um factor de risco independente bem estabelecido para DCV. De acordo com alguns autores, a conversão metabólica de Hcy no metabolito tóxico Hcy-Tl e subsequente N-homocisteinilação de proteínas induz a agregação e a formação de amiloide, contribuindo assim para a alterações próaterogénicas no sistema cardiovascular. A enzima associada à lipoproteína de alta densidade (HDL), paraoxonase 1 (PON1), é capaz de hidrolisar o metabolito tóxico Hcy-Tl de volta a Hcy no soro humano, como observado em estudos recentes que indicam o papel de patogénese em DCV da hPON1. As paraoxonases de soro (PON1, PON2 e PON3) são hidrolases dependentes de cálcio, que pertencem a uma família de enzimas que exibem propriedades antioxidantes e anti-inflamatórias. Foram identificadas três actividades catalíticas principais para PON1: (i) actividade paraoxonase, que corresponde à conversão hidrolítica de paraoxon em p-nitrofenol e a dietil fosfato, (ii) a actividade arilesterase que promove a hidrólise de ésteres aromáticos, e a (iii) actividade de lactonase, que catalisa a hidrólise de Hcy a Hcy-Tl, sendo considerada a actividade principal da PON1. Vários estudos têm relacionado estas actividades enzimáticas a diversas patologias, o que sugere a sua potencial utilidade no diagnóstico clínico. Neste trabalho pretende-se desenvolver um novo método electroquímico para a detecção fácil do substrato e produto resultantes da hidrólise enzimática de paraoxon pela hPON1. Utilizando uma célula electroquímica constituída por um eléctrodo de referência Ag /AgCl., um contra-eléctrodo de Pt e um electrodo de trabalho de carbono vítreo, o paraoxon e p-nitrofenol foram detectados simultaneamente por voltametria de onda quadrada, numa janela de potencial de [-0,3;-1,2] V. Os resultados dos ensaios com a enzima testada a pH 7,6 e 37°C, na presença de paraoxon e utilizando plasma humano como uma fonte de PON1 serão discutidos. Usando a mesma composição de célula electroquímica, Hcy e Hcy-Tl foram estudados utilizando diferentes interfaces e tipos de tratamento para testar a melhor maneira possível de detecção das duas espécies na mesma experiência electroquímica.

Comportamento de ligações adesivas entre compósitos de FRP e elementos estruturais de aço

Desde de que os Polímeros Reforçados com Fibras (FRP) começaram a ser usados no reparo ou no reforço de elementos estruturais, o descolamento prematuro do compósito FRP com o substrato tem sido objecto de muitos estudos. É importe conhecer e descrever, com rigor, o comportamento completo da interface do FRP com o substrato. Inclusivé, tem-se utilizado com frequência fixações mecânicas adicionais, para demorar ou mesmo evitar o descolamento prematuro do compósito FRP com o substrato. Não existem soluções analíticas que descrevam o comportamento completo das interfaces do FRP com o substrato. Portanto, o objetivo desta dissertação é mitigar esse desconhecimento através de uma solução teórica para descrever a ligação do FRP com o substrato com e sem ancoragem mecânica, através de um modelo de bond-slip exponencial que é conhecido por representar as não linearidades envolvidas no processo de descolagem do compósito FRP com o substrato. A análise completa da carga vs. deslizamento para ambos os casos (com e sem ancoragem mecânica) também é discutida nesta dissertação. Para além disso, este trabalho também visa um estudo experimental utilizando vigas metálicas com compósitos de carbono (CFRP) ou seja, em sistema Externally Bonded Reinforcement (EBR) com e sem sistema ancorado mecânico.

Sistemas de Informação de Marketing, Geomarketing e níveis estratégicos em organizações no Brasil

Este trabalho procura verificar qual aplicação dos SIM - Sistemas de Informação de Marketing e do Geomarketing (através do recurso aos Sistemas de Informação Geográfica) nos vários níveis estratégicos em organizações no Brasil, mais precisamente na cidade de São Paulo. Outro objectivo é descortinar quais as principais vantagens reconhecidas pelas organizações no que toca à utilização do Geomarketing para apoio à tomada de decisão. São apresentadas várias definições para proporcionar um claro entendimento do tema, e destacam-se as seis actividades que segundo a literatura consultada concentram a maioria das aplicações do Geomarketing: segmentação do mercado, análise do potencial do mercado, organização e avaliação da força de vendas, localização do negócio, roteirização e programação de veículos, e, promoção de marketing. Em cada uma das actividades citadas, é feita referência a um case brasileiro para que o leitor possa familiarizar-se com o panorama deste país no que concerne à utilização do Geomarketing. Para alcançar os referidos objectivos, além de uma cuidada revisão bibliográfica, foi também desenhada uma pesquisa qualitativa que levou em conta o Modelo Conceitual de Goñi (2008) que integra os SIM - Sistemas de Informação de Marketing e os vários níveis estratégicos e apresenta as suas diferentes aplicações em cada um desses níveis: operacional, táctico e estratégico. O referido modelo foi já aplicado no México em 30 empresas de grande e médio porte, pelo que se buscou replicar essa pesquisa no Brasil, através de entrevistas em profundidade, numa amostra de 10 organizações de grande porte pertencentes a dois segmentos distintos (Segmento Comércio e Segmento Educação). Este estudo revelou que, tal como nas empresas mexicanas, os gestores e CEOs brasileiros, utilizam e reconhecem a importância dos Sistemas de Informação de Marketing, aos quais recorrem, na maioria das vezes, em todos os níveis estratégicos. O grau de utilização dos vários tipos de informações de marketing elencados no Modelo Conceitual de Goñi (49 tipos de informação de marketing diferentes) é superior nas organizações brasileiras pois a maioria afirmou recorrer à sua totalidade. Estas informações podem também ser fornecidas por vários SIM e utilizadas em vários níveis estratégicos, não existindo uma regra relativamente ao sistema de output da informação, ou layer estratégica em que é utilizada. O Segmento Comércio, composto essencialmente por empresas do ramo supermercadista recorre ao Geomarketing em 60% das actividades pesquisadas, já o Segmento Educação, composto por instituições de ensino superior, utiliza o Geomarketing em 49% das suas acções. Ambos os segmentos identificaram diversas iv vantagens na prática do Geomarketing como a possibilidade de cruzamento de várias variáveis em simultâneo, a disposição dessa informação em mapas ou o carácter intuitivo das interfaces gráficas dos softwares SIG. Tudo isso permite encontrar padrões nos dados que de outra forma não seriam facilmente identificados, uma maior rapidez e facilidade na análise dos dados, melhor percepção da informação, possibilidade de criação de novos indicadores, entre outros. Estas vantagens resultam numa tomada de decisão mais rápida e assertiva.

Estudo da ligação entre camadas betuminosas de pavimentos flexíveis

A ligação entre camadas constitui um dos aspetos fundamentais no comportamento de um pavimento rodoviário. O modo de funcionamento de um pavimento flexível está dependente das características dos materiais de cada camada, mas também das respetivas condições de fronteira, ou seja, das características das respetivas interfaces. Uma correta ligação entre camadas permite ao pavimento funcionar como um todo, esta ligação é normalmente alcançada com a aplicação de uma fina camada de emulsão betuminosa. Com a entrada em serviço de um pavimento, devido às tensões geradas pela passagem dos veículos, este começa a sofrer degradações à superfície, até que finda a sua vida útil procede-se à sua reabilitação. Na reabilitação de pavimentos é necessário um especial cuidado na interface do pavimento existente com novo pavimento aplicado, para que as fissuras existentes não se propaguem para as novas camadas reabilitadas. A presente dissertação de mestrado, estuda a ligação entre camadas de um pavimento cuja técnica de reforço de reabilitação é a introdução de uma grelha que limita a propagação de fendas. A ligação entre camadas é avaliada através de ensaios de corte pelo método de Leutner modificado e de tração pelo método Pull-off, para duas obras distintas, com constituições de pavimentos e com taxas de aplicação de regas de colagem diferentes, com dois tipos de grelhas de reforço e para amostras recolhidas em obra e fabricadas em laboratório. Os resultados são analisados e comparados entre si, de onde se conclui existir uma melhor ligação entre camadas para interfaces que não possuem grelhas de reforço em detrimento das que possuem, contudo a diminuição da resistência da ligação aquando desta introdução não é demasiado expressiva, o que valida esta técnica de reforço como não prejudicial à integridade da ligação entre camadas. Uma maior dosagem de rega de colagem contribui para uma maior ligação entre camadas, embora careça de um estudo mais aprofundado para definir intervalos de aplicação óptimos para uma dada constituição de pavimento. Este estudo valida para os pavimentos nacionais, os valores recomendados na norma Suíça e na norma Alemã, de resistência ao corte mínima para interfaces de ligação entre camadas de base de 12 kN e para interfaces de ligação entre camadas de desgaste de 15 kN. No entanto, considera-se que estes valores poderão ser mais exigentes, deixando os valores obtidos margem para recomendar valores mais elevados, requerendo portanto mais estudos para confirmar estes limites.

Magnetotransport properties of metal/LaAlO3/SrTiO3 heterostructures

The quasi two-dimensional electron gas (q2DEG) hosted in the interface of an epitaxially grown lanthanum aluminate (LaAlO3) thin film with a TiO2-termi-nated strontium titanate (SrTiO3) substrate (001) has been massively studied in the last few years. The confinement of mobile electrons to within a few nanome-ters from the interface, superconductive behavior at low temperatures and elec-tron mobility exceeding 1000 cm2/(V.s) make this system an interesting candi-date to explore the physics of spin injection and transport. However, due to the critical thickness for conduction of 4 unit cells (uc) of LaAlO3, a high tunneling resistance hampers electrical access to the q2DEG, preventing proper injection of spin polarized current. Recently, our group found that depositing a thin overlayer of Co on LaAlO3 reduces the critical thickness, enabling conduction with only 1 uc of LaAlO3. Two scenarios arise to explain this phenomenon: a pinning of the Fermi level in the metal, inducing charge transfer in the SrTiO3; the creation of oxygen vacancies at the interface between LaAlO3 and the metal, leading to an n-type doping of the SrTiO3. In this dissertation, we will report on magnetotransport of metal/LaAlO3/SrTiO3 (metal: Ti, Ta, Co, Py, Au, Pt, Pd) heterostructures with 2 uc of LaAlO3 studied at low temperatures (2 K) and high magnetic fields (9 T). We have analyzed the transport properties of the gas, namely, the carrier concen-tration, mobility and magnetotransport regime and we will discuss the results in the light of the two scenarios mentioned above.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.