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.

Benefits & drawbacks of different means of interaction for placing objects above a video footage

Public Display Systems (PDS) increasingly have a greater presence in our cities. These systems provide information and advertising specifically tailored to audiences in spaces such as airports, train stations, and shopping centers. A large number of public displays are also being deployed for entertainment reasons. Sometimes designing and prototyping PDS come to be a laborious, complex and a costly task. This dissertation focuses on the design and evaluation of PDS at early development phases with the aim of facilitating low-effort, rapid design and the evaluation of interactive PDS. This study focuses on the IPED Toolkit. This tool proposes the design, prototype, and evaluation of public display systems, replicating real-world scenes in the lab. This research aims at identifying benefits and drawbacks on the use of different means to place overlays/virtual displays above a panoramic video footage, recorded at real-world locations. The means of interaction studied in this work are on the one hand the keyboard and mouse, and on the other hand the tablet with two different techniques of use. To carry out this study, an android application has been developed whose function is to allow users to interact with the IPED Toolkit using the tablet. Additionally, the toolkit has been modified and adapted to tablets by using different web technologies. Finally the users study makes a comparison about the different means of interaction.

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.