Material Characterization at High Strain Rates with Special Emphasis on Miniaturization and Size Dependencies

Within the present work the size-dependent flow stress and failure behaviour of various metallic materials is described. Starting with special issues of testing miniaturized specimens, the influence of manufacturing routes and manufacturing induced geometrical deviations is investigated. The specimen size and time-dependent flow stress behavior of C45E, Ti-6-22-22S, and Al7075T6 is presented. The measured behavior is explained by size-dependent friction effects. Additionally, the influence of size and time scaling on the occurring of failure is investigated. A decrease of compressive deformability with increasing size and strain rate was found. The consideration of a size-dependent thermodynamic process character provides a possible explanation for measured size dependencies

Grounding power on actions and mental attitudes

International audienceThe main objective of this work is to develop a logic called IAL (Intentional Agency Logic) in which we can reason about mental states of agents, action occurrences, and agentive and group powers. IAL will be exploited for a formal analysis of different forms of power such as an agent i's power of achieving a certain result and an agent i's power over another agent j (alias social power)

The classification of irreducible admissible mod p representations of a p-adic GL_n

Let F be a finite extension of Q_p. Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over \bar F_p to be supersingular. We then give the classification of irreducible admissible smooth GL_n(F)-representations over \bar F_p in terms of supersingular representations. As a consequence we deduce that supersingular is the same as supercuspidal. These results generalise the work of Barthel-Livne for n = 2. For general split reductive groups we obtain similar results under stronger hypotheses.Comment: 55 pages, to appear in Inventiones Mathematica

Single-photon-emitting optical centers in diamond fabricated upon Sn implantation

The fabrication of luminescent defects in single-crystal diamond upon Sn implantation and annealing is reported. The relevant spectral features of the optical centers (emission peaks at 593.5 nm, 620.3 nm, 630.7 nm and 646.7 nm) are attributed to Sn-related defects through the correlation of their photoluminescence (PL) intensity with the implantation fluence. Single Sn-related defects were identified and characterized through the acquisition of their second-order auto-correlation emission functions, by means of Hanbury-Brown-Twiss interferometry. The investigation of their single-photon emission regime as a function of excitation laser power revealed that Sn-related defects are based on three-level systems with a 6 ns radiative decay lifetime. In a fraction of the studied centers, the observation of a blinking PL emission is indicative of the existence of a dark state. Furthermore, absorption dependence from the polarization of the excitation radiation with about 45 percent contrast was measured. This work shed light on the existence of a new optical center associated with a group-IV impurity in diamond, with similar photo-physical properties to the already well-known Si-V and Ge-V emitters, thus providing results of interest from both the fundamental and applicative points of view.Comment: 10 pages, 4 figure

Implementation of antimicrobial stewardship policies in U.S. hospitals: findings from a national survey.

OBJECTIVE: To describe the use of antimicrobial stewardship policies and to investigate factors associated with implementation in a national sample of acute care hospitals. DESIGN: Cross-sectional survey. PARTICIPANTS: Infection Control Directors from acute care hospitals participating in the National Healthcare Safety Network (NHSN). METHODS: An online survey was conducted in the Fall of 2011. A subset of hospitals also provided access to their 2011 NHSN annual survey data. RESULTS: Responses were received from 1,015 hospitals (30% response rate). The majority of hospitals (64%) reported the presence of a policy; use of antibiograms and antimicrobial restriction policies were most frequently utilized (83% and 65%, respectively). Respondents from larger, urban, teaching hospitals and those that are part of a system that shares resources were more likely to report a policy in place (P CONCLUSION: This study provides a snapshot of the implementation of antimicrobial stewardship policies in place in U.S. hospitals and suggests that statewide efforts in California are achieving their intended effect. Further research is needed to identify factors that foster the adoption of these policies

Modelling of the Mechanical Behaviour of Ultra-Fine Grained Titanium Alloys at High Strain Rates

Results of numerical simulations of the mechanical behaviour of coarse grained and UFG titanium alloys under quasi-static uniaxial compression and plane shock wave loading are presented in this paper. Constitutive equations predict the strain hardening behaviour, the strain rate sensitivity of the flow stress and the temperature softening of titanium alloys with a range of grain sizes from 20 µm to 100 nm. Characteristics of the mechanical behaviour of UFG a and a+ß titanium alloys in wide range of strain rates are discussed

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate

The Mechanical Behaviour of Ultra Fine Grained Titanium Alloys at High Strain Rates

Within this study the mechanical behaviour of ultra-fine grained Ti-6-22-22S titanium alloy was investigated and compared to coarse grained material. By severe plastic deformation using the cyclic channel die compression process, grain sizes between 300 and 500 nm were obtained. The mechanical behaviour was studied over a wide range of strain rates from 10^(-3) - 107 s^(-1) under compressive loading using different experimental techniques. A significant increase of flow stress with decreasing grain size compared to the coarse grain state was found. An evaluation of the strain hardening behaviour of the UFG material shows a significant increase of the strain hardening coefficient at high strain rates for low plastic deformation. The strain rate sensitivity of the material is found to be constant within a range of strain rates from 10^(-3) to 106 s^(-1) but increases at higher plastic strains. However, compressive deformability is nearly constant up to 102 s-1 and decreased disproportionately at higher rates of strain. With decreasing grain size a significant decrease of compressive deformability was found. The strength at failure is increased with increasing strain rate

Propositional update operators based on formula/literal dependence

International audienceWe present and study a general family of belief update operators in a propositional setting. Its operators are based on formula/literal dependence, which is more fine-grained than the notion of formula/variable dependence that was proposed in the literature: formula/variable dependence is a particular case of formula/literal dependence. Our update operators are defined according to the "forget-then-conjoin" scheme: updating a belief base by an input formula consists in first forgetting in the base every literal on which the input formula has a negative influence, and then conjoining the resulting base with the input formula. The operators of our family differ by the underlying notion of formula/literal dependence, which may be defined syntactically or semantically, and which may or may not exploit further information like known persistent literals and pre-set dependencies. We argue that this allows to handle the frame problem and the ramification problem in a more appropriate way. We evaluate the update operators of our family w.r.t. two important dimensions: the logical dimension, by checking the status of the Katsuno-Mendelzon postulates for update, and the computational dimension, by identifying the complexity of a number of decision problems (including model checking, consistency and inference), both in the general case and in some restricted cases, as well as by studying compactability issues. It follows that several operators of our family are interesting alternatives to previous belief update operators