n/a

n/a

n/a

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.

n/a

This paper analyses and compares the dynamic behavior of superelastic shape memory alloy (SMA) systems based on two different constitutive models. The first model, although being able to describe the response of the material to complex uniaxial loading histories, is temperature and rate independent. The second model couples the mechanical and kinetic laws of the material with a balance equation considering the thermal effects. After numerical validation and calibration, the behavior of these two models is tested in single degree of freedom dynamic systems, with SMAs acting as restoring elements. Different dynamic loads are considered, including artificially generated seismic actions, in a numerical model of a railway viaduct. Finally, it is shown that, in spite of its simplicity, the temperature- and rate-independent model produces a set of very satisfying results. This, together with its robustness and straightforward computational implementation, yields a very appealing numerical tool to simulate superelastic passive control applications.

n/a

The traditional methodology used in civil engineering measurements requires a lot of equipment and a very complex procedure especially if the number of target points increase. Since the beginning of the current century, several studies have been conducted in the area of photogrametry using digital image
correlation associated with block motion algorithms to estimate displacements in reinforced concrete (RC) beams during a load test. Using image processing techniques it is possible to measure the whole area of interest and not only a few points of the tests materials. In this paper, block-matching algorithms are used in order to compare the results from photogrametry techniques and the data obtained with linear voltage displacement transducer (LVDT) sensors during the load tests of RC beams, which are very common to find in civil engineering laboratories.

Domain Specic Languages (DSLs) can contribute to increment productivity, while reducing the required maintenance and programming expertise. We hypothesize that Software Languages Engineering (SLE) developers consistently skip, or relax, Language Evaluation. Based on the experience of engineering other types of software products, we assume that this may potentially lead to the deployment of inadequate languages. The fact that the languages already deal with concepts from the problem domain, and not the solution domain, is not enough to validate several issues at stake, such as its expressiveness, usability,
effectiveness, maintainability, or even the domain expert's productivity while using them. We present a systematic review on articles published in top ranked venues, from 2001 to 2008, which report DSLs' construction, to characterize the common practice. This work conrms our initial hypothesis and lays the ground for the discussion on how to include a systematic approach to DSL evaluation in the SLE process.

n/a

Spreadsheets are widely used by end users, and studies have shown that most end-user spreadsheets contain non-trivial errors. To improve end users productivity, recent research proposes the use of a model-driven engineering approach to spreadsheets. In this paper we conduct the first systematic empirical study to assess the effectiveness and efficiency of this approach. A set of spreadsheet end users worked with two different model-based spreadsheets, and we present and analyze the results achieved.

This paper describes the development of an open source system for monitoring and data acquisition of several energy analyzers. The developed system is based on a computer with Internet/Intranet connection by means of RS485 using Modbus RTU as communication protocol. The monitoring/metering system was developed for large building complexes and was validated in the Faculdade de Ciências e Tecnologia University campus. The system considers two distinct applications. The first one allows the user to verify, in real time, the energy consumption of any department in the complex, produce load diagrams, tables and print, email or save all available data. The second application keeps records of active/reactive energy consumption in order to verify the existence of some anomalous situation, and also monthly charge energy consumption to each corresponding department.

The strengthening of reinforced concrete structures with FRP materials has received a
considerable increment in recent years due to the high strength-weight and stiffness-weight
ratios of FRP compared to other materials.
An experimental programme was conducted in order to analyse the behaviour of different
structural solutions to strengthen reinforced concrete beams with FRP composites (EBR
GFRP, EBR CFRP, NSRM-CFRP) and is described. The RC T beams had a 3m span by 0.3m
height and were tested until rupture in a 4-point bending test system.
The NSMR technique has proved to be the most effective of the three alternatives tested, as it
obtained high strength, combined with high ductility. Nevertheless, all the systems show
great strength increment in relation to the non retrofitted T-beams, proving to be effective
approaches to the flexural strengthening of RC beams.

This work introduces a tool for the optimization of CMOS integrated spiral inductors. The main objective of this tool is to offer designers a first approach for the determination of the inductor layout parameters. The core of the tool is a Genetic Algorithm (GA) optimization procedure where technology constraints on the inductor layout parameters are considered. Further constraints regarding inductor design heuristics are also accounted for. Since the layout parameters are inherently discrete due to technology and topology constraints, discrete variable optimization techniques are used. The Matlab GA toolbox is used and the modifications on the GA functions, yielding technology feasible solutions is presented. For the sake of efficiency and simplicity the pi-model is used for characterizing the inductor. The validity of the design results obtained with the tool, is checked against circuit simulation with ASITIC.