n/a

n/a

Fiber reinforced polymers (FRP) are often used to strengthen RC structures.
Despite intense research, durability of reinforced concrete (RC) retrofitted with FRP remains insufficiently known. Long time behavior of the bond laminate-concrete, in flexural strengthening, under environmental action is not well known, conditioning Codes and engineers. An experimental program that subjected RC beams, externally reinforced with Glass FRP (GFRP) strips, to temperature and salt water cycles, for up to 10000h is reported.
At selected intermediate times, the RC beams were loaded to failure in bending. Rupture took place, normally, by tensile failure of concrete at a short distance from the interface with GFRP. The results showed that freeze-thaw cycles were the most severe of the environmental
conditions. The study also generated also non-linear bond-slip relationships from the experimental data. Numerical modeling has been undertaken, based on a commercial code.
The model is based on smeared cracking. Parameters needed for the characterization, namely cohesion and friction angle, were obtained from shear tests conceived for the effect.

Analisa-se e caracteriza-se por via experimental a ligação entre elementos de betão armado e materiais compósitos, nomeadamente com base nas fibras de vidro. Fabricaram-se vigas de betão armado que foram exteriormente reforçadas com GFRP. Os resultados obtidos experimentalmente foram comparados com os resultados conseguidos por intermédio de modelação computacional, recorrendo-se ao programa de cálculo ATENA 2D. Para melhor modelação de elementos de interface, foram realizados ensaios de corte tendo-se obtido valores que permitiram caracterizar a lei de rotura de Mohr-Coulomb. Os parâmetros estudados foram a evolução das forças máximas absorvidas pelo reforço; as tensões de aderência máximas; a distribuição das tensões de aderência.

n/a

n/a

n/a

Spreadsheets can be viewed as a highly flexible end-users programming environment which enjoys wide-spread adoption. But spreadsheets lack many of the structured programming concepts of regular programming paradigms. In particular, the lack of data structures in spreadsheets may lead spreadsheet users to cause redundancy, loss, or corruption of data during edit actions. In this paper, we demonstrate how implicit structural properties of spreadsheet data can be exploited to offer edit assistance to spreadsheet users. Our approach is based on the discovery of functional dependencies among data items which allow automatic reconstruction of a relational database schema. From this schema, new formulas and visual objects are embedded into the spreadsheet to offer features for auto-completion, guarded deletion, and controlled insertion. Schema discovery and spreadsheet enhancement are carried out automatically in the background and do not disturb normal user experience.

This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular datatype into a relational database schema. Having expressed the transformation of the two data models as data refinements, we obtain for free the functions that migrate the data. We use well-known relational database techniques to optimize and query the data. Because data refinements define bidirectional transformations we can map such database back to an optimized spreadsheet. We have implemented the data refinement rules and we have constructed tools to manipulate, optimize and refactor Excel-like spreadsheets.

This document describes a work-in-progress development of NGen-VM, a distributed infrastructure that manages execution environments with run-time and programming language support targeting applications developed in the Java programming language, deployed over clusters of many-core computers. For each running application or suite of related applications, a dedicated single-system image will be provided, regardless of the concurrent threads running on a single machine (on several cores) or scattered on different computers. Such system images rely on a single model for concurrency management (Transactional Shared Memory Model), in order fill the gap between the hardware infrastructure of clusters of many-core nodes and the application runtime that is independent from that hardware infrastructure. Interactions between threads in the same tasks will be supported by a Transactional Memory framework that provides the programming language with Atomic and Isolated code regions. Interactions between thread on different machines will also use the Transactional Memory model, but now resorting to a Distributed Shared Memory abstraction.

Some asymptotic expansions non necessarily related to the central limit theorem are discussed. After observing that the smoothing inequality of Esseen implies the proximity, in the Kolmogorov distance sense, of the distributions of the random variables of two random sequences satisfying a sort of general asymptotic relation, two instances of this observation are presented. A first example, partially motivated by the the statistical theory of high precision measurements, is given by a uniform asymptotic approximation to $(g(X+ μ_n))_{n ın \mathbbm{N}}$, where $g$ is some smooth function, $X$ is a random variable having a moment and a bounded density and $(μ_{n})_{n ın \mathbbm{N}}$ is a sequence going to infinity; the multivariate case as well as the proofs and a complete set of references will be published elsewhere. We next present a second class of examples given by a randomization of the interesting parameter in some classical asymptotic formulas, namely, a generic Laplace's type integral, by the sequence $(μ_n X)_{n ın \mathbbm{N}}$, $X$ being a Gamma distributed random variable. Finally, a simulation study of this last example is presented in order to stress the quality of asymptotic approximations proposed.

In this paper, a strategic location-allocation model is developed for the simultaneous design of forward and reverse supply chains. Strategic decisions such as network design are accounted for together with tactical decisions, namely, production, storage and distribution planning. The integration between strategic and tactical decisions is achieved by considering two interconnected time scales: a macro and a micro time. At macro level, the supply chain is designed in order to account for the existing demands and returns, whose satisfaction is planned simultaneously at the micro level where tactical decisions are taken. A Mixed Integer Linear Programming formulation is obtained which is solved to optimality using standard Branch & Bound techniques. Finally, the model accuracy and applicability is illustrated through the resolution of a case study.

n/a

n/a

n/a

n/a

n/a

n/a