The retrofit of reinforced concrete columns with FRP jackets has received considerable attention in recent years. The advantages of this technique compared to other similar techniques include the high strength-weight and stiffness-weight ratios of FRP (Fibre Reinforced Plastics), the strength and ductility increase of RC columns confined with FRP jackets as well as the fact that FRP external shells prevent or mitigate environmental degradation of the concrete and consequent corrosion of the steel reinforcement. Furthermore, this method also reduces the column transversal deformation and prevents the buckling of longitudinal reinforcement. Twenty five experimental tests were carried out on reinforced concrete columns confined with CFRP composites, and subjected to axial monotonic compression. In order to evaluate the influence of several parameters on the mechanical behavior of the columns, the height of the columns was maintained, while changing other parameters: the diameter of the columns, the type of material (plain or reinforced concrete), the steel hoop spacing of the RC columns and the number of CFRP layers. Predictive equations, based on the experimental analysis, are proposed to estimate the compressive strength of the confined concrete, the maximum axial load and the axial or the lateral failure strain of circular RC columns jacketed with CFRP. A stress-strain model for CFRP confined concrete in compression, which considers the effect of the CFRP and the transversal reinforcement on the confined compressive strength of the column is also proposed. The curves, axial load versus axial or lateral strain of the RC column, are simulated based on the stress-strain model and include the longitudinal reinforcement effect. The results demonstrate that the model and the predictive equations represent very well the axial compression behavior of RC circular columns confined with CFRP. The applicability of this model to a large spectrum of RC column dimensions is its main advantage.

The final step of bacterial denitrification, the two-electron reduction of N2O to N-2, is catalyzed by a multi-copper enzyme named nitrous oxide reductase. The catalytic centre of this enzyme is a tetranuclear copper site called CuZ, unique in biological systems. The in vitro reconstruction of the activity requires a slow activation in the presence of the artificial electron donor, reduced methyl viologen, necessary to reduce CuZ from the resting non-active state (1Cu(II)/3Cu(I)) to the fully reduced state (4Cu(I)), in contrast to the turnover cycle, which is very fast. In the present work, the direct reaction of the activated form of Pseudomonas nautica nitrous oxide reductase with stoichiometric amounts of N2O allowed the identification of a new reactive intermediate of the catalytic centre, CuZA degrees, in the turnover cycle, characterized by an intense absorption band at 680 nm. Moreover, the first mediated electrochemical study of Ps. nautica nitrous oxide reductase with its physiological electron donor, cytochrome c-552, was performed. The intermolecular electron transfer was analysed by cyclic voltammetry, under catalytic conditions, and a second-order rate constant of (5.5 +/- A 0.9) x 10(5) M-1 s(-1) was determined. Both the reaction of stoichiometric amounts of substrate and the electrochemical studies show that the active CuZA degrees species, generated in the absence of reductants, can rearrange to the resting non-active CuZ state. In this light, new aspects of the catalytic and activation/inactivation mechanism of the enzyme are discussed.

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. Thesecond 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 modelproduces 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

Models, with different levels of detail, share similar abstractions that can be reused by means of model-driven techniques such as transformations. For example, scenarios are a well-known technique in requirements engineering to represent behavioral flows in a software system. When using UML, scenarios are typically represented with activity models in the early stages of software development, while sequence models are used to describe more detailed object interactions as modeling progresses. This paper defines transformation rules to automate the migration from activity to sequence models. We present a case study illustrating the application of our transformation rules. Our preliminary assessment of the impact of the benefits of using these transformations points to: (i) a reduction of around 50% in the effort building sequence models, (ii) increased trace ability among models, and (iii) error prevention when migrating from different scenario notations.

n/a

Ontologies and rules are usually loosely coupled in knowledge rep- resentation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non-monotonic, closed-world reasoning. One ex- ception is the tightly-coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to be jointly derived via entailment from an ontology and inferences from rules. Nonetheless, the prac- tical usefulness of MKNF has not always been clear, although recent work has formalized a general resolution-based method for querying MKNF when rules are taken to have the well-founded semantics, and the ontology is modeled by a general Oracle. That work leaves open what algorithms should be used to relate the entailments of the ontology and the inferences of rules. In this paper we pro- vide such algorithms, and describe the implementation of a query-driven system, CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics and a (monotonic) ontology, represented by a CDF (ALCQ) theory.

n/a