2014
Autores
Moon, YJ; Silva, A; Krause, C; Arbab, F;
Publicação
SCIENCE OF COMPUTER PROGRAMMING
Abstract
In this paper, we present a compositional semantics for the channel-based coordination language Reo that enables the analysis of quality of service (QoS) properties of service compositions. For this purpose, we annotate Reo channels with stochastic delay rates and explicitly model data-arrival rates at the boundary of a connector, to capture its interaction with the services that comprise its environment. We propose Stochastic Reo Automata as an extension of Reo automata, in order to compositionally derive a QoS-aware semantics for Reo. We further present a translation of Stochastic Reo Automata to Continuous-Time Markov Chains (CTMCs). This translation enables us to use third-party CTMC verification tools to do an end-to-end performance analysis of service compositions. In addition, we discuss to what extent Interactive Markov Chains (IMCs) can serve as an alternative semantic model for Stochastic Reo. We show that the semantics of Stochastic Reo cannot be specified compositionally using the product operator provided by IMCs.
2014
Autores
Almodovar, J; Teixeira, AAC;
Publicação
EUROPEAN PLANNING STUDIES
Abstract
The advancement of knowledge on networks entails acknowledging the heterogeneity of their participants, more precisely, the organizations that lie beyond the scope of the activities of firms. Adopting a dynamic perspective of networks, and considering different types of innovation exchanges, we propose a hybrid and wider notion of industry which implies taking account of a set of local supporting organizations (LSOs) in domains such as research and technology, production factors, consultancy and training, and public support. Based on a rich data set built from face-to-face interviews with Portuguese automotive organizations, which resulted in a network comprising 867 organizations, we apply social network analysis techniques to analyse the structure, content and dynamics of the networks. The evidence gathered unveiled huge industry turbulence and significant changes in the boundaries of the Portuguese automotive networks over a 20-year period, with the emergence (and decline) of different prominent organizations. Specifically, following AutoEuropa major foreign direct investment (in 1995), the analyses reflect a clear increase in connectivity within the industry (from 524, before 1995, up to 2327 connections after 1995), with greater involvement among suppliers and between suppliers and LSOs, with the latter achieving top positions in the ranking of innovation networks.
2014
Autores
Jimenez, E; Claro, J; de Sousa, JP;
Publicação
TRANSPORTATION: CAN WE DO MORE WITH LESS RESOURCES? - 16TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION - PORTO 2013
Abstract
Airports have traditionally been considered as public utility providers, with little potential to develop significant market opportunities. Liberalisation of the air transport market around the globe has introduced new dynamics into the airport industry. The emergence of competition and the transition in ownership (towards privatisation or commercialisation) demand a different perspective in airport management. This paper aims at explaining the complexity of the airport business, in particular in what concerns the role of the airport as a firm that operates in a network of stakeholders, to produce a set of service packages targeted at several types of customers. (C) 2013 The Authors. Published by Elsevier Ltd. Selection and/or peer-review under responsibility of Scientific Committee
2014
Autores
Layeghi, A; Latifi, H; Frazao, O;
Publicação
23RD INTERNATIONAL CONFERENCE ON OPTICAL FIBRE SENSORS
Abstract
A magnetic field sensor using a non-adiabatic tapered optical fiber (NATOF) interacting with magnetic fluid (MF) nanoparticles is proposed and experimentally demonstrated. The NATOF is surrounded by a MF whose RI changes with external magnetic field which MF is as a cladding of tapered fiber. The Output interference spectrum is shifted by the change of the applied magnetic field intensity in the range up to 44 mT with a sensitivity of -7.17x10(-2) nm/ mT.
2014
Autores
Santos, FL; Correia, MM; Pocas, I; Valverde, PC; Coelho, RR; Vaz, M; Paco, TA;
Publicação
VII CONGRESO IBERICO DE AGROINGENIERIA Y CIENCIAS HORTICOLAS: INNOVAR Y PRODUCIR PARA EL FUTURO. INNOVATING AND PRODUCING FOR THE FUTURE
Abstract
The use of remote sensing for obtaining evapotranspiration (ET) from natural and agricultural surfaces is already widely used. For irrigated agriculture the two basic approaches are: (1) the solution of the energy balance equation, using remotely sensed surface temperatures and reflectances to estimate variables and components of this equation, and (2) the crop coefficient and reference evapotranspiration (ETo) approach where the crop coefficient is obtained through canopy reflectance measurements. For the latter, theoretical and field studies have shown that satellite reflectance-derived vegetation indices (VIs) are closely relate to carbon and moisture fluxes and, when combined with ground data or appropriately calibrated models, they can produce valuable estimates of crop transpiration and related processes at the canopy or ecosystem scale (D'Urso and Calera, 2006). In this study the crop coefficient approach was used. For estimation of actual transpiration of irrigated and very high tree-density hedgerow orchards grown in Alentejo the procedure correlates (a) the basal crop transpiration coefficients (K-cb = T-max/ETo) of the unstressed full irrigated treatment to the normalized difference vegetation index (NDVI) values assessed from Landsat5 TM and Landsat7 ETM+ (r(2) = 0.86) and (b) the crop stress coefficient (K-s = T-a/ KcbETo), obtained from the ratio of the sustained deficit irrigation (T-a) and fully irrigated (T-max) daily transpiration rates, to a plant stress indicator, in the case, the basal leaf water potential (r(2)= 0.85). Daily tree transpiration rates on both treatments were obtained from sap flow measurements. The unstressed crop status of the full irrigation treatment was warranted from the high Willmott index of agreement (IA = 0.88) obtained with transpiration values simulated with the Penman-Monteith "big leaf" model (Willmott, 1982). In this algorithm, a specific model of bulk daily canopy conductance (G(c)) for unstressed olive canopies was used (Orgaz et al., 2007). From the resulting relationship equations, known field values of leaf basal water potential and satellite-derived NDVI's suffice to get estimates of Ks and Kcb, respectively and from them derive and map the actual olive tree transpiration (T-a = K-cb K-s ETo) rates. The study is under way, and thus further validation applications are planned prior to using the approach for mapping olive transpiration orchards of different tree density and scale areas.
2014
Autores
Abreu, N; Matos, A;
Publicação
ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics
Abstract
While autonomous underwater vehicles (AUVs) are increasingly being used to perform mine countermeasures (MCM) operations, the capability of these systems is limited by the efficiency of the planning process. In this paper we study the problem of multiobjective MCM mission planning with an AUV. In order to overcome the inherent complexity of the problem, a multi-stage algorithm is proposed and evaluated. Our algorithm combines an evolutionary algorithm (EA) with a local search procedure based on simulated annealing (SA), aiming at a more flexible and effective exploration and exploitation of the search space. An artificial neural network (ANN) model was also integrated in the evolutionary procedure to guide the search. The results show that the proposed strategy can efficiently identify a higher quality solution set and solve the mission planning problem.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.