Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2016

Concept Of An Effective Sentinel-1 Satellite SAR Interferometry System

Autores
Lazecky, M; Comut, FC; Bakon, M; Qin, Y; Perissin, D; Hatton, E; Spaans, K; Mendez, PJG; Guimaraes, P; de Sousa, JJM; Kocich, D; Ustun, A;

Publicação
INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2016

Abstract
This brief study introduces a partially working concept being developed at IT4Innovations supercomputer (HPC) facility. This concept consists of several modules that form a whole body of an efficient system for observation of terrain or objects displacements using satellite SAR interferometry (InSAR). A metadata database helps to locate data stored in various storages and to perform basic analyzes. A special database has been designed to describe Sentinel-1 data, on its burst level. Custom Sentinel-1 TOPS processing algorithms allow an injection of coregistered bursts into the database. Once the area of interest is set and basic processing parameters are given, the selected data are merged and processed by the Persistent Scatterers (PS) InSAR method or an optimized Small Baselines (SB) InSAR derivative. Depending on the expected deliverables, the processing results can be post-analyzed using a custom approach, in order to achieve a set of reliable measurement points. Final results can be post processed and visualized using a custom GIS toolbox, consisting in open-source GIS functionality. The GIS post-processing is enforced by HPC power as well. To demonstrate the practical applicability of the described system, a subsidence area in Konya city, Turkey is used as the study area for Sentinel-1 InSAR evaluation. (C) 2016 The Authors. Published by Elsevier B.V.

2016

Procedural modelling methodology evaluation

Autores
Adão, T; Magalhães, L; Peres, E;

Publicação
SpringerBriefs in Computer Science

Abstract
The evaluation of the presented procedural modelling methodology will be addressed in this chapter. Thus, a set of tests made to demonstrate the capabilities of this methodology in producing buildings compliant with a real subset of architectural rules (RGEU [1]) and others with distinct formats and different architectonic structures will be presented. Moreover, the effectiveness of the treemap approach in subdividing random layouts is shown, along with a generic stochastic process for automatic building generation and also some computational performance measurements that point out to the methodology expeditiousness. © The Author(s) 2016.

2016

Development and field trial of a FBG-based magnetic sensor for large hydrogenerators

Autores
Fracarolli, JPV; Rosolem, JB; Tomiyama, EK; Floridia, C; Penze, RS; Peres, R; Dini, DC; Hortencio, CA; Dilli, PIG; da Silva, EV; dos Santos, MC; Fruett, F;

Publicação
SPIE Proceedings - Fiber Optic Sensors and Applications XIII

Abstract

2016

Correlating automatic static analysis and mutation testing: towards incremental strategies

Autores
de Araújo, CA; Delamaro, ME; Maldonado, JC; Vincenzi, AMR;

Publicação
J. Softw. Eng. Res. Dev.

Abstract

2016

Deriving an ontology for knowledge management in collaborative innovation networks

Autores
Barradas, LCS; Rodrigues, EM; Ferreira, JJP;

Publicação
International Journal of Innovation and Learning

Abstract
Innovation and knowledge creation are tightly related concepts. Collaborative innovation networks (COINs) are very productive ecosystems for knowledge generation. Acknowledging their relevance for innovation, we propose a novel ontology for knowledge management (KM) in COINs, which builds on COINs related literature and is partially derived from topic-related and enterprise ontologies. The utility of the ontology is illustrated through an application case in a software house. The ontology can be applied in different cases involving KM in COINs, such as support the development of IT-based KM services for knowledge co-creation in COINs or, be used as an auditing tool in collaborative innovation processes. © 2016 Inderscience Enterprises Ltd.

2016

Dynamics of Market Power in ERCOT System: A Fundamental CSFE With Network Constraints

Autores
Diaz, CA; Webster, MD; Villar, J; Campos, A;

Publicação
IEEE TRANSACTIONS ON POWER SYSTEMS

Abstract
Previous studies of market power within a regional system have considered multiple competing generation operators and the role of transmission constraints. However, these studies typically assume simplified structures in which each operator is restricted to a unique node in a transmission constrained network. Real systems typically have operators making decisions for units in several zones at once. Past studies also implicitly treated market power as a static concept for a given set of market rules and network configuration. We demonstrate that market power is dynamic, and can vary significantly with fuel prices and even with large-scale weather patterns. We also demonstrate the impact on region-wide market power of operators that manage units in multiple zones. We use the Electric Reliability Council of Texas (ERCOT) as an illustrative case study, and apply a conjectured supply function equilibrium (CSFE) approach that accounts for transmission constraints. We show that the companies with greater influence on the market price will depend on the relative prices of coal and natural gas. We also show that a weather event, such as a period without any wind, can have a substantial impact on market power.

  • 2485
  • 4496