Caracterização da ocupação do solo com recurso à aplicação de modelos de misturas espectrais em séries multi-temporais de imagens MODIS

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

A study on reducing digital piracy: an analytical network process approach with benefits, opportunities, costs and risks analysis

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

A constructive technology assessment of stationary energy storage systems: prospective life cycle orientated analysis

Based on the presentation and discussion at the 3rd Winter School on Technology Assessment, December 2012, Universidade Nova de Lisboa (Portugal), Caparica Campus, PhD programme on Technology Assessment

The implementation of an Enterprise Geographical Information System to support Cadastre and Expropriation activities.

The processes of mobilization of land for infrastructures of public and private domain are developed according to proper legal frameworks and systematically confronted with the impoverished national situation as regards the cadastral identification and regularization, which leads to big inefficiencies, sometimes with very negative impact to the overall effectiveness. This project report describes Ferbritas Cadastre Information System (FBSIC) project and tools, which in conjunction with other applications, allow managing the entire life-cycle of Land Acquisition and Cadastre, including support to field activities with the integration of information collected in the field, the development of multi-criteria analysis information, monitoring all information in the exploration stage, and the automated generation of outputs. The benefits are evident at the level of operational efficiency, including tools that enable process integration and standardization of procedures, facilitate analysis and quality control and maximize performance in the acquisition, maintenance and management of registration information and expropriation (expropriation projects). Therefore, the implemented system achieves levels of robustness, comprehensiveness, openness, scalability and reliability suitable for a structural platform. The resultant solution, FBSIC, is a fit-for-purpose cadastre information system rooted in the field of railway infrastructures. FBSIC integrating nature of allows: to accomplish present needs and scale to meet future services; to collect, maintain, manage and share all information in one common platform, and transform it into knowledge; to relate with other platforms; to increase accuracy and productivity of business processes related with land property management.

Consumer perception of CSR in Portugal: The aftermath of the financial crisis

Corporate social responsibility (CSR) literature has largely neglected consumers’ perceptions in the debate regarding the role of CSR in the aftermath of the financial crisis. In that context, this study aims to test the possibility that consumers’ perceptions of CSR level, firm reputation and brand trust, might depend on the type of industry sector of a firm, the level of fit of an initiative or both. By conducting a survey on Portuguese consumers and running a two-way analysis of variance, it suggests that solely the type of industry sector has an effect on consumer perception and that consumers are less tolerable of controversial industries.

Os sistemas de informação geográfica e a análise multicritério para o estudo da acessibilidade e mobilidade da rede escolar no município da Humpata (Angola)

O presente trabalho faz uma abordagem aos Sistemas de Informação Geográfica (SIG) e a análise multicritério (AMC) para o estudo da acessibilidade da rede escolar do município de Humpata, província da Huíla, situada em Angola. Neste trabalho pretende-se demonstrar as dificuldades de acessibilidade e mobilidade tendo em conta aos principais factores que condicionam a rede escolar e também a acessibilidade em termos de oferta e recursos, analisando com algum pormenor as condições de ensino que as escolas oferecem. Por outro lado foram também elaborados modelos de velocidade com o objectivo de verificar a distância-tempo percorrida pelos usuários considerando o declive do terreno. Ficou demonstrado que, para o estudo da acessibilidade da rede escolar, o uso dos SIG e a AMC fornecem resultados com relevância na tomada de decisão. A AMC conjugada com a álgebra de mapas, permitiu registar as disparidades de acessibilidade entre diferentes povoações que compõem o município. Aconselha-se por isso a utilização de ferramentas de análise espacial como os SIG, em contextos como o do município de Humpata onde os recursos escassos devem ser bem geridos, de forma a levar os serviços públicos e privados à maior parte da população e às povoações que mais necessitam através da localização óptima dos futuros serviços, que no caso das instituições escolares concorrera para garantia do sucesso escolar.

Estudo sócio-ecológico sobre tráfico de seres humanos para fins de exploração laboral na região do Alentejo : análise espacial e estatística

O presente relatório, inserido no Mestrado em Gestão do Território, Área de Especialização em Deteção Remota e Sistemas de Informação Geográfica, lecionado pelo Departamento de Geografia e Planeamento Regional da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa, pretende descrever o trabalho desenvolvido pelo mestrando enquanto estagiário no Observatório do Tráfico de Seres Humanos (OTSH). O relatório está estruturado em três capítulos distintos. No primeiro capítulo é realizada uma abordagem teórica sobre o Tráfico de Seres Humanos e a distinção entre o mesmo com o Auxílio à Imigração Ilegal. Neste, é também feita uma pequena referência à problemática dos novos fluxos de refugiados/migrantes que, no momento da realização do mesmo, constituem uma questão bastante complexa sobretudo ao nível europeu. No segundo capítulo é realizada uma caracterização da área de estudo, assim como a descrição dos dados utilizados e a metodologia aplicada no mesmo. No terceiro capítulo são apresentados os resultados finais do estudo e a cartografia de síntese que sustenta os mesmos. Para a realização deste estudo recorreu-se a uma análise multicritério em SIG para prever a localização de áreas de maior suscetibilidade de ocorrência de novos casos relativos ao crime do tráfico de seres humanos para exploração laboral na agricultura, na região do Alentejo (distritos de Beja, Évora e Portalegre), através do recurso a dados estatísticos disponibilizados tanto pelo OTSH, como por outras entidades. A metodologia apresentada integra um SIG baseado num modelo raster com o Analytical Hierarchy Process (AHP). Através da realização deste estudo, a importância dos SIG como ferramenta no auxílio ao processo de tomada de decisão, pôde ser testada, conjuntamente com o processo metodológico AHP, através dos resultados apresentados. Com um possível desenvolvimento deste modelo analítico, pretende-se que o mesmo seja adaptável a outras regiões e em última instância, outros tipos de exploração e/ou tráfico.

Environmental quality of life index incorporationg MCA & GIS : case study Lisbon Metropolitan Area, Portugal

The study of Quality of Life (Qol) has been conducted on various scales throughout the years with focus on assessing overall quality of living amongst citizens. The main focus in these studies have been on economic factors, with the purpose of creating a Quality of Life Index (QLI).When it comes down to narrowing the focus to the environment and factors like Urban Green Spaces (UGS) and air quality the topic gets more focused on pointing out how each alternative meets this certain criteria. With the benefits of UGS and a healthy environment in focus a new Environmental Quality of Life Index (EQLI) will be proposed by incorporating Multi Criteria Analysis (MCA) and Geographical Information Systems (GIS). Working with MCA on complex environmental problems and incorporating it with GIS is a challenging but rewarding task, and has proven to be an efficient approach among environmental scientists. Background information on three MCA methods will be shown: Analytical Hierarchy Process (AHP), Regime Analysis and PROMETHEE. A survey based on a previous study conducted on the status of UGS within European cities was sent to 18 municipalities in the study area. The survey consists of evaluating the current status of UGS as well as planning and management of UGS with in municipalities for the purpose of getting criteria material for the selected MCA method. The current situation of UGS is assessed with use of GIS software and change detection is done on a 10 year period using NDVI index for comparison purposes to one of the criteria in the MCA. To add to the criteria, interpolation of nitrogen dioxide levels was performed with ordinary kriging and the results transformed into indicator values. The final outcome is an EQLI map with indicators of environmentally attractive municipalities with ranking based on predefinedMCA criteria using PROMETHEE I pairwise comparison and PROMETHEE II complete ranking of alternatives. The proposed methodology is applied to Lisbon’s Metropolitan Area, Portugal.

Wetland Habitat Studies using various Classification Techniques on Multi-Spectral Landsat Imagery: Case study: Tram chim National Park, Dong Thap Vietnam

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

Business model analysis of Mobitto: How to solve the chicken and egg problem of a multi-sided platform?

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Opening Pousada da Serra da Estrela in Covilhã: A two-way impact analysis - interacting with private agents

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Opening Pousada da Serra da Estrela in Covilhã: A two-way impact analysis - Interacting with public agents

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

STRUCTURE-FUNCTION ANALYSIS OF MULTI-COPPER OXIDASES

Dissertation presented to obtain the Ph.D degree in Biochemistry, Structural Biochemistry

Analysis and implementation of a multi-ratio switched capacitor DC-DC converter for a supercapacitor power supply

An energy harvesting system requires an energy storing device to store the energy retrieved from the surrounding environment. This can either be a rechargeable battery or a supercapcitor. Due to the limited lifetime of rechargeable batteries, they need to be periodically replaced. Therefore, a supercapacitor, which has ideally a limitless number of charge/discharge cycles can be used to store the energy; however, a voltage regulator is required to obtain a constant output voltage as the supercapacitor discharges. This can be implemented by a Switched-Capacitor DC-DC converter which allows a complete integration in CMOS technology, although it requires several topologies in order to obtain a high efficiency. This thesis presents the complete analysis of four different topologies in order to determine expressions that allow to design and determine the optimum input voltage ranges for each topology. To better understand the parasitic effects, the implementation of the capacitors and the non-ideal effect of the switches, in 130 nm technology, were carefully studied. With these two analysis a multi-ratio SC DC-DC converter was designed with an output power of 2 mW, maximum efficiency of 77%, and a maximum output ripple, in the steady state, of 23 mV; for an input voltage swing of 2.3 V to 0.85 V. This proposed converter has four operation states that perform the conversion ratios of 1/2, 2/3, 1/1 and 3/2 and its clock frequency is automatically adjusted to produce a stable output voltage of 1 V. These features are implemented through two distinct controller circuits that use asynchronous time machines (ASM) to dynamically adjust the clock frequency and to select the active state of the converter. All the theoretical expressions as well as the behaviour of the whole system was verified using electrical simulations.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.