n/a

n/a

{Summary: We consider a new class of consistent semi-parametric estimators of a negative extreme value index, based on the set of the $k$ largest observations. This class of estimators depends on a control or tuning parameter, which enables us to have access to an estimator with a null second-order component of asymptotic bias, and with a rather interesting mean squared error, as a function of $k$. We study the consistency and asymptotic normality of the proposed estimators. Their finite sample behaviour is obtained through Monte Carlo simulation.}

Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, designing such models is time consuming and requires expertise beyond the knowledge to work with spreadsheets. Legacy spreadsheets pose a particular challenge to the approach of controlling spreadsheet evolution through higher-level models, because the need for a model might be overshadowed by two problems: (A) The benefit of creating a spreadsheet is lacking since the legacy spreadsheet already exists, and (B) existing data must be transferred into the new model-generated spreadsheet. To address these problems and to support the model-driven spreadsheet engineering approach, we have developed a tool that can automatically infer ClassSheet models from spreadsheets. To this end, we have adapted a method to infer entity/relationship models from relational database to the spreadsheets/ClassSheets realm. We have implemented our techniques in the HAEXCEL framework and integrated it with the ViTSL/Gencel spreadsheet generator, which allows the automatic generation of refactored spreadsheets from the inferred ClassSheet model. The resulting spreadsheet guides further changes and provably safeguards the spreadsheet against a large class of formula errors. The developed tool is a significant contribution to spreadsheet (reverse) engineering, because it fills an important gap and allows a promising design method (ClassSheets) to be applied to a huge collection of legacy spreadsheets with minimal effort.

The measured isothermal charging and discharging currents are analyzed either in terms of polarization mechanisms or in terms of charge injection/extraction at the metal-dielectric interface and the conduction current through the dielectric material. We propose to measure the open-circuit isothermal charging and discharging currents just to overpass the difficulties related to the analysis of the conduction mechanisms through the dielectric materials. Besides a polarization current, there is a current related with charge injection or extraction at the metal-dielectric contact and a reverse current related to the charge trapped into the superficial trap states of the dielectric and that can jump at the interface in a reverse way. By fitting the experimental data, two important parameters can be determined (i) the highest value of the relaxation time for the polarization mechanisms still involved into the transient current and (ii) the height W-0 of the potential barrier at the metal-dielectric interface immediately after the step voltage is applied. Only the initial part of the measured isothermal charging or discharging current can be used to obtain information about the polarization processes. By transforming the time-domain data into the frequency domain, a maximum for the imaginary part of the dielectric permittivity is obtained, in good agreement with the data obtained from AC dielectric measurements and the finally thermally stimulated discharge current measurements. (C) 2009 Elsevier B.V. All rights reserved.