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

2013

Increased sky coverage with optimal correction of tilt and tilt-anisoplanatism modes in laser-guide-star multiconjugate adaptive optics

Autores
Correia, C; Véran, JP; Herriot, G; Ellerbroek, B; Wang, LQ; Gilles, L;

Publicação
JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION

Abstract
Laser-guide-star multiconjugate adaptive optics (MCAO) systems require natural guide stars (NGS) to measure tilt and tilt-anisoplanatism modes. Making optimal use of the limited number of photons coming from such, generally dim, sources is mandatory to obtain reasonable sky coverage, i.e., the probability of finding asterisms amenable to NGS wavefront (WF) sensing for a predefined WF error budget. This paper presents a Strehl-optimal (minimum residual variance) spatiotemporal reconstructor merging principles of modal atmospheric tomography and optimal stochastic control theory. Simulations of NFIRAOS, the first light MCAO system for the thirty-meter telescope, using ~500 typical NGS asterisms, show that the minimum-variance (MV) controller delivers outstanding results, in particular for cases with relatively dim stars (down to magnitude 22 in the H-band), for which lowtemporal frame rates (as low as 16 Hz) are required to integrate enough flux. Over all the cases tested ~21 nm rms median improvement in WF error can be achieved with the MV compared to the current baseline, a type-II controller based on a double integrator. This means that for a given level of tolerable residual WF error, the sky coverage is increased by roughly 10%, a quite significant figure. The improvement goes up to more than 20% when compared with a traditional single-integrator controller. © 2013 Optical Society of America.

2013

Software component replication for improved fault-tolerance: Can multicore processors make it work?

Autores
Soares, J; Lourenco, J; Preguica, N;

Publicação
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
Programs increasingly rely on the use of complex component libraries, such as in-memory databases. As any other software, these libraries have bugs that may lead to the application failure. In this work we revisit the idea of software component replication for masking software bugs in the context of multi-core systems. We propose a new abstraction: a Macro-Component. A Macro-Component is a software component that includes several internal replicas with diverse implementations to detect and mask bugs. By relying on modern multicores processing capacity it is possible to execute the same operation in multiple replicas concurrently, thus incurring in minimal overhead. Also, by exploring the multiple existent implementations of well-known interfaces, it is possible to use the idea without incurring in additional development cost. © 2013 Springer-Verlag.

2013

First Principles Calculations and Experiments to Determine the Hydrogenation Process of Cu-Li-Mg

Autores
Braga, MH; Sa, MN; Ferreira, JA; Daemen, LL;

Publicação
ADVANCED MATERIALS FORUM VI, PTS 1 AND 2

Abstract
Density Functional Theory (DFT) calculations were performed. They were firstly implemented to optimize the structure and refine the stoichiometry of the only ternary compound, CuLi0.08Mg1.92 of the Cu-Li-Mg system. Furthermore using DFT, several possible structures of CuMg2Hx were optimized. Since most of the hydrides are cubic structures or can be considered as distortions of a cubic structure, we have started calculations for CuMg2Hx (x = 4 - 6) with tetragonal and monoclinic structures, similar to those of the hydrides formed by the nearest neighbors of Cu and Mg in the periodic table: NiMg2H4 and CoMg2H5 (e.g. monoclinic C2/c and tetragonal P4/nmm, respectively). It can be concluded that the most stable configuration corresponds to CuMg2H5 with C2/c structure. We have performed several neutron scattering experiments that are in agreement with the first principles calculations.

2013

Metric indices for performance evaluation of a mixed measurement based state estimator

Autores
Vide, PC; Barbosa, FPM; Carvalho, JAB;

Publicação
Advances in Electrical and Electronic Engineering

Abstract
With the development of synchronized phasor measurement technology in recent years, it gains great interest the use of PMU measurements to improve state estimation performances due to their synchronized characteristics and high data transmission speedThe ability of the Phasor Measurement Units (PMU) to directly measure the system state is a key over SCADA measurement system. PMU measurements are superior to the conventional SCADA measurements in terms of resolution and accuracy. Since the majority of measurements in existing estimators are from conventional SCADA measurement system, it is hard to be fully replaced by PMUs in the near future so state estimators including both phasor and conventional SCADA measurements are being consideredIn this paper, a mixed measurement (SCADA and PMU measurements) state estimator is proposedSeveral useful measures for evaluating various aspects of the performance of the mixed measurement state estimator are proposed and explainedState Estimator validity, performance and characteristics of the results on IEEE 14 bus test system and IEEE 30 bus test system are presented. © ADVANCES IN ELECTRICAL AND ELECTRONIC ENGINEERING.

2013

Monitoring Vegetation Dynamics Inferred by Satellite Data Using the PhenoSat Tool

Autores
Rodrigues, A; Marçal, ARS; Cunha, M;

Publicação
IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING

Abstract
PhenoSat is an experimental software tool that produces phenological information from satellite vegetation index time series. The main characteristics and functionalities of the PhenoSat tool are presented, and its performance is compared against observed measures and other available software applications. A multiyear experiment was carried out for different vegetation types: vineyard, low shrublands, and seminatural meadows. Temporal satellite normalized difference vegetation index (NDVI) data provided by MODerate resolution Imaging Spectroradiometer and Satellite Pour l'Observation de la Terre VEGETATION were used to test the ability of the software in extracting vegetation dynamics information. Three important PhenoSat features were analyzed: extraction of the main growing season information, estimation of double growth season parameters, and the advantage of selecting a temporal region of interest. Seven noise reduction filters were applied: cubic smoothing splines, polynomial curve fitting, Fourier series, Gaussian models, piecewise logistic, Savitzky-Golay (SG), and a combination of the last two. The results showed that PhenoSat is a useful tool to extract NDVI metrics related to vegetation dynamics, obtaining high significant correlations between observed and estimated parameters for most of the phenological stages and vegetation types studied. Using the combination of SG and piecewise logistic to fit the NDVI time series, PhenoSat obtained correlations higher than 0.71, except for the seminatural meadow start of season. The selection of a temporal region of interest improved the fitting process, consequently providing more reliable phenological information.

2013

Lot sizing versus batching in the production and distribution planning of perishable goods

Autores
Amorim, P; Belo Filho, MAF; Toledo, FMB; Almeder, C; Almada Lobo, B;

Publicação
INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS

Abstract
Joint production and distribution planning at the operational level has received a great deal of attention from researchers. In most industries these processes are decoupled by means of final goods inventory that allow for a separated planning of these tasks. However, for example, in the catering industry, an integrated planning framework tends to be more favorable due to the perishable nature of the products that forces a make-to-order production strategy. So far this planning problem has only been addressed by allowing the batching of orders. The main contribution of this paper is to extend this approach and prove the importance of lot sizing for make-to-order systems when perishability is explicitly considered. The value of considering lot sizing versus batching is further investigated per type of production scenario. Overall, results indicate that lot sizing is able to deliver better solutions than batching. On average, for the improved instances, the cost savings ascend to 6.5% when using lot sizing. The added flexibility of lot sizing allows for a reduction on production setup costs and both fixed and variable distribution costs. The savings derived from lot sizing are enhanced by customer oriented time windows and production systems with non-triangular setups.

  • 3256
  • 4544