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

2014

PAVEMENT PATHOLOGIES CLASSIFICATION USING GRAPH-BASED FEATURES

Autores
Fernandes, K; Ciobanu, L;

Publicação
2014 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP)

Abstract
Pavement cracks involve important information to measure road quality. Crack classification is a challenging problem given the diversity of possible cracks, therefore, it is needed to retrieve good features in order to facilitate the learning of predictive models with as few samples as possible. In this paper, we propose a graph-based set of features to efficiently describe cracks. These features proved to have high degree of expressiveness and robustness when used for crack classification. We show that the proposed features succeed in the assessment of 525 images with different kinds of cracks. We proved the robustness of the approach applying different levels of noise to the images and evaluating the classification accuracy.

2014

A Series of Trials in the UK as part of the Ofcom TV White Spaces Pilot

Autores
Holland, O; Sastry, N; Ping, SY; Chawdhry, P; Chareau, JM; Bishop, J; Bavaro, M; Anguili, E; Knopp, R; Kaltenberger, F; Nussbaum, D; Gao, Y; Hallio, J; Jakobsson, M; Auranen, J; Ekman, R; Paavola, J; Kivinen, A; Dionisio, R; Marques, P; Tran, HN; Ishizu, K; Harada, H; Kokkinen, H; Luukkonen, O;

Publicação
2014 1ST INTERNATIONAL WORKSHOP ON COGNITIVE CELLULAR SYSTEMS (CCS)

Abstract
TV White Spaces technology is a means of allowing wireless devices to opportunistically use locally-available TV channels (TV White Spaces), enabled by a geolocation database. The geolocation database informs the device of which channels can be used at a given location, and in the UK/EU case, which transmission powers (EIRPs) can be used on each channel based on the technical characteristics of the device, given an assumed interference limit and protection margin at the edge of the primary service coverage area(s). The UK regulator, Ofcom, has initiated a large-scale Pilot of TV White Spaces technology and devices. The ICT-ACROPOLIS Network of Excellence, teaming up with the ICT-SOLDER project and others, is running an extensive series of trials under this effort. The purpose of these trials is to test a number of aspects of white space technology, including the white space device and geolocation database interactions, the validity of the channel availability/powers calculations by the database and associated interference effects on primary services, and the performances of the white spaces devices, among others. An additional key purpose is to undertake a number of research investigations such as into aggregation of TV White Space resources with conventional (licensed/unlicensed) resources, secondary coexistence issues and means to mitigate such issues, and primary coexistence issues under challenging deployment geometries, among others. This paper describes our trials, their intentions and characteristics, objectives, and some early observations.

2014

Quasi-real-time management of Electric Vehicles charging

Autores
Soares, FJ; Rocha Almeida, PMR; Pecas Lopes, JAP;

Publicação
ELECTRIC POWER SYSTEMS RESEARCH

Abstract
This work presents a methodology to manage Electric Vehicles (EVs) charging in quasi-real-time, considering the participation of EV aggregators in electricity markets and the technical restrictions of the electricity grid components, controlled by the Distribution System Operator. Two methodologies are presented in this paper to manage EV charging, one to be used by the EV aggregators and the other by the Distribution System Operator (DSO). The methodology developed for the aggregator has as main objective the minimization of the deviation between the energy bought in the market and the energy consumed by EVs. The methodology developed for the DSO allows it to manage the grid and solve operational problems that may appear by controlling EVs charging. A method to generate a synthetic EV data set is used in this work, providing information about EV movement, including the periods when EVs are parked and their energy requirements. This data set is used afterwards to assess the performance of the algorithms developed to manage the EV charging in quasi-real-time.

2014

USB Connection Vulnerabilities on Android Smartphones: Default and Vendors' Customizations

Autores
Pereira, A; Correia, M; Brandao, P;

Publicação
COMMUNICATIONS AND MULTIMEDIA SECURITY, CMS 2014

Abstract
We expose an USB vulnerability in some vendors' customization of the android system, where the serial AT commands processed by the cellular modem are extended to allow other functionalities. We target that vulnerability for the specific vendor system and present a proof of concept of the attack in a realistic scenario environment. For this we use an apparently inoffensive smartphone charging station like the one that is now common at public places like airports. We unveil the implications of such vulnerability that culminate in flashing a compromised boot partition, root access, enable adb and install a surveillance application that is impossible to uninstall without re-flashing the android boot partition. All these attacks are done without user consent or knowledge on the attacked mobile phone.

2014

Modeling Energy Demand Dependency in Smart Multi-Energy Systems

Autores
Neyestani, N; Damavandi, MY; Shafie Khah, M; Catalao, JPS;

Publicação
TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS

Abstract
Smart local energy networks provide an opportunity for more penetration of distributed energy resources. However, these resources cause an extra dependency in both time and carrier domains that should be considered through a comprehensive model. Hence, this paper introduces a new concept for internal and external dependencies in Smart Multi-Energy Systems (SMES). Internal dependencies are caused by converters and storages existing in operation centers and modeled by coupling matrix. On the other hand, external dependencies are defined as the behavior of multi-energy demand in shifting among carriers or time periods. In this paper, system dependency is modeled based on energy hub approach through adding virtual ports and making new coupling matrix. Being achieved by SMESs, the dependencies release demand-side flexibility and subsequently enhance system efficiency. Moreover, a test SMES that includes several elements and multi-energy demand in output is applied to show the effectiveness of the model.

2014

Model-Based Test Case Generation for Web Applications

Autores
Nabuco, M; Paiva, ACR;

Publicação
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014

Abstract
This paper presents a tool to filter/configure the test cases generated within the Model-Based Testing project PBGT. The models are written in a Domain Specific Language called PARADIGM and are composed by User Interface Test Patterns (UITP) describing the testing goals. To generate test cases, the tester has to provide test input data for each UITP in the model. After that, it is possible to generate test cases. However, without a filter/configuration of the test case generation algorithm, the number of test cases can be so huge that becomes unfeasible. So, this paper presents an approach to define parameters for the test case generation in order to generate a feasible number of test cases. The approach is evaluated by comparing the different test strategies and measuring the performance of the modeling tool against a capture-replay tool used for web testing.

  • 2656
  • 4203