Determination of the yield loci of four sheet materials (AA6111-T4, AC600, DX54D+Z, and H220BD+Z) by using uniaxial tensile and hydraulic bulge tests)

In sheet metal forming simulation, a flow curve and a yield criterion are vital requirements for obtaining reliable numerical results. It is more appropriate to determine a flow curve by using biaxial stress condition tests, such as the hydraulic bulge test, than a uniaxial test because hardening proceeds higher strains before necking occurs. In a uniaxial test, higher strains are extrapolated, which might lead to incorrect results. The bulge test, coupled with the digital image correlation (DIC) system, is used to obtain stress–strain data. In the absence of the DIC system, analytical methods are used to estimate hardening. Typically, such models incorporate a correction factor to achieve correlation to experimental data. An example is the Chakrabarty and Alexander method, which uses a correction factor based on the n value. Here, the Chakrabarty and Alexander approach was modified using a correction factor based on normal anisotropy. When compared with DIC data, the modified model was found to be able to better predict the hardening curves for the materials examined in this study. Because a biaxial flow curve is required to compute the biaxial yield stress, which is an essential input to advanced yield functions, the effects of the various approaches used to determine the biaxial stress–strain data on the shape of the BBC2005 yield loci were also investigated. The proposed method can accurately predict the magnitude of the biaxial yield stress, when compared with DIC data, for all materials investigated in this study

Satisfiability Modulo Transcendental Functions via Incremental Linearization

In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted in the abstract space, which is described in terms of the combined theory of linear arithmetic on the rationals with uninterpreted functions, and are incrementally axiomatized by means of upper- and lower-bounding piecewise-linear functions. Suitable numerical techniques are used to ensure that the abstractions of the transcendental functions are sound even in presence of irrationals. Our experimental evaluation on benchmarks from verification and mathematics demonstrates the potential of our approach, showing that it compares favorably with delta-satisfiability /interval propagation and methods based on theorem proving

New single-ended objective measure for non-intrusive speech quality evaluation

peer-reviewedThis article proposes a new output-based method for non-intrusive assessment of speech quality of voice communication systems and evaluates its performance. The method requires access to the processed (degraded) speech only, and is based on measuring perception-motivated objective auditory distances between the voiced parts of the output speech to appropriately matching references extracted from a pre-formulated codebook. The codebook is formed by optimally clustering a large number of parametric speech vectors extracted from a database of clean speech records. The auditory distances are then mapped into objective Mean Opinion listening quality scores. An efficient data-mining tool known as the self-organizing map (SOM) achieves the required clustering and mapping/reference matching processes. In order to obtain a perception-based, speaker-independent parametric representation of the speech, three domain transformation techniques have been investigated. The first technique is based on a perceptual linear prediction (PLP) model, the second utilises a bark spectrum (BS) analysis and the third utilises mel-frequency cepstrum coefficients (MFCC). Reported evaluation results show that the proposed method provides high correlation with subjective listening quality scores, yielding accuracy similar to that of the ITU-T P.563 while maintaining a relatively low computational complexity. Results also demonstrate that the method outperforms the PESQ in a number of distortion conditions, such as those of speech degraded by channel impairments.acceptedpeer-reviewe

On-surface synthesis of heptacene on Ag(001) from brominated and non-brominated tetrahydroheptacene precursors

Achieving the Ag(001)-supported synthesis of heptacene from two related reactants reveals the effect of the presence of Br atoms on the reaction process. The properties of reactants, intermediates and end-products are further characterized by scanning tunneling microscopy and spectroscopy.Fil: Colazzo, Luciano. Donostia International Physics Center; España. Consejo Superior de Investigaciones Científicas; EspañaFil: Mohammed, Mohammed S. G.. Donostia International Physics Center; España. Consejo Superior de Investigaciones Científicas; EspañaFil: Dorel, Ruth. Barcelona Institute of Science and Technology; EspañaFil: Nita, Pawel. Donostia International Physics Center; España. Consejo Superior de Investigaciones Científicas; EspañaFil: García Fernández, Carlos. Donostia International Physics Center; EspañaFil: Abufager, Paula Natalia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario. Instituto de Física de Rosario. Universidad Nacional de Rosario. Instituto de Física de Rosario; ArgentinaFil: Lorente Palacios, Nicolas. Donostia International Physics Center; España. Consejo Superior de Investigaciones Científicas; EspañaFil: Echavarren, Antonio M.. Barcelona Institute of Science and Technology; España. Universitat Rovira I Virgili; EspañaFil: De Oteyza, Dimas G.. Donostia International Physics Center; España. Consejo Superior de Investigaciones Científicas; España. Ikerbasque; Españ

Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq

International audienceThe verification of floating-point mathematical libraries requires computing numerical bounds on approximation errors. Due to the tightness of these bounds and the peculiar structure of approximation errors, such a verification is out of the reach of generic tools such as computer algebra systems. In fact, the inherent difficulty of computing such bounds often mandates a formal proof of them. In this paper, we present a tactic for the Coq proof assistant that is designed to automatically and formally prove bounds on univariate expressions. It is based on a formalization of floating-point and interval arithmetic, associated with an on-the-fly computation of Taylor expansions. All the computations are performed inside Coq's logic, in a reflexive setting. This paper also compares our tactic with various existing tools on a large set of examples

The relationship between cadence, pedalling technique and gross efficiency in cycling

Technique and energy saving are two variables often considered as important for performance in cycling and related to each other. Theoretically, excellent pedalling technique should give high gross efficiency (GE). The purpose of the present study was to examine the relationship between pedalling technique and GE. 10 well-trained cyclists were measured for GE, force effectiveness (FE) and dead centre size (DC) at a work rate corresponding to ~75% of VO2max during level and inclined cycling, seat adjusted forward and backward, at three different cadences around their own freely chosen cadence (FCC) on an ergometer. Within subjects, FE, DC and GE decreased as cadence increased (p < 0.001). A strong relationship between FE and GE was found, which was to great extent explained by FCC. The relationship between cadence and both FE and GE, within and between subjects, was very similar, irrespective of FCC. There was no difference between level and inclined cycling position. The seat adjustments did not affect FE, DC and GE or the relationship between them. Energy expenditure is strongly coupled to cadence, but force effectiveness, as a measure for pedalling technique, is not likely the cause of this relationship. FE, DC and GE are not affected by body orientation or seat adjustments, indicating that these parameters and the relationship between them are robust to coordinative challenges within a range of cadence, body orientation and seat position that is used in regular cycling

Role of the Two Component Signal Transduction System CpxAR in Conferring Cefepime and Chloramphenicol Resistance in Klebsiella pneumoniae NTUH-K2044

Background: Klebsiella pneumoniae is a Gram-negative, non-motile, facultative anaerobe belonging to the Enterobacteriaceae family of the c-Proteobacteria class in the phylum Proteobacteria. Multidrug resistant K. pneumoniae have caused major therapeutic problems worldwide due to emergence of extended-spectrum b-lactamase producing strains. Twocomponent systems serve as a basic stimulus-response coupling mechanism to allow organisms to sense and respond to changes in many different environmental conditions including antibiotic stress. Principal Findings: In the present study, we investigated the role of an uncharacterized cpxAR operon in bacterial physiology and antimicrobial resistance by generating isogenic mutant (DcpxAR) deficient in the CpxA/CpxR component derived from the hyper mucoidal K1 strain K. pneumoniae NTUH-K2044. The behaviour of DcpxAR was determined under hostile conditions, reproducing stresses encountered in the gastrointestinal environment and deletion resulted in higher sensitivity to bile, osmotic and acid stresses. The DcpxAR was more susceptible to b-lactams and chloramphenicol than the wild-type strain, and complementation restored the altered phenotypes. The relative change in expression of acrB, acrD, eefB efflux genes were decreased in cpxAR mutant as evidenced by qRT-PCR. Comparison of outer membrane protein profiles indicated a conspicuous difference in the knock out background. Gel shift assays demonstrated direct binding of CpxR KP to promoter region of ompC KP in a concentration dependent manner