1,434 research outputs found
Viscoelastic vibration damping identification methods. Application to laminated glass.
Laminatedglass is composed of two glass layers and a thin intermediate PVB layer, strongly influencing PVB's viscoelastic behaviour its dynamic response. While natural frequencies are relatively easily identified even with simplified FE models, damping ratios are not identified with such an ease. In order to determine to what extent external factors influence dampingidentification, different tests have been carried out. The external factors considered, apart from temperature, are accelerometers, connection cables and the effect of the glass layers. To analyse the influence of the accelerometers and their connection cables a laser measuring device was employed considering three possibilities: sample without instrumentation, sample with the accelerometers fixed and sample completely instrumented. When the sample is completely instrumented, accelerometer readings are also analysed. To take into consideration the effect of the glass layers, tests were realised both for laminatedglass and monolithic samples. This paper presents in depth data analysis of the different configurations and establishes criteria for data acquisition when testing laminatedglass
The influence of holes in the mechanical properties of EWT solar cells
EWT back contact solar cells are manufactured from very thin silicon wafers. These wafers are drilled by means of a laser process creating a matrix of tiny holes with a density of approximately 125 holes per square centimeter. Their influence in the stiffness and mechanical strength has been studied. To this end, both wafers with and without holes have been tested with the ring on ring test. Numerical simulations of the tests have been carried out through the Finite Element Method taking into account the non-linearities present in the tests. It's shown that one may use coarse meshes without holes to simulate the test and after that sub models are used for the estimation of the stress concentration around the holes
Faculty experience of flipping the classroom: Lessons learned
Flipping the classroom is gaining in popularity. The flipped classroom permits active learning and student engagement whereby the traditional class time is transformed into an active learning experience in which students can apply knowledge and interact with their peers and perform hands-on activities. This descriptive phenomenological study focused on the lived experiences of nursing faculty implementing a flipped classroom into the medical/surgical curriculum. The faculty\u27s experience with implementing and adapting to non-traditional teaching learning methods of the flipped classroom in their medical/surgical classes is shared. The themes expressed by faculty are presented in the two overall categories of: Faculty concerns and Faculty benefits. Lastly, lessons learned and recommendations are also presented
Non-equilibrium Green's function approach to inhomogeneous quantum many-body systems using the Generalized Kadanoff Baym Ansatz
In non-equilibrium Green's function calculations the use of the Generalized
Kadanoff-Baym Ansatz (GKBA) allows for a simple approximate reconstruction of
the two-time Green's function from its time-diagonal value. With this a drastic
reduction of the computational needs is achieved in time-dependent
calculations, making longer time propagation possible and more complex systems
accessible. This paper gives credit to the GKBA that was introduced 25 years
ago. After a detailed derivation of the GKBA, we recall its application to
homogeneous systems and show how to extend it to strongly correlated,
inhomogeneous systems. As a proof of concept, we present results for a
2-electron quantum well, where the correct treatment of the correlated electron
dynamics is crucial for the correct description of the equilibrium and dynamic
properties
Dynamic factors for underpasses in high speed train lines
Los pasos inferiores son muy numerosos en las líneas de ferrocarril. Su comportamiento dinámico ha recibido mucha menos atención que el de otras estructuras como los puentes, pero su elevado número hace que su estudio sea económicamente relevante con vista a optimizar su forma, manteniendo la seguridad. El proyecto de puentes según el Eurocódigo incluye comprobaciones de estados límite de tensiones bajo carga dinámica. En el caso de pasos inferiores, las comprobaciones pueden resultar tan costosas como aquellas de puentes, pese a que su coste es mucho menor. Por tanto, se impone la búsqueda de unas reglas de cálculo simplificado que pongan en consonancia el coste de la estructura con el esfuerzo necesario para su proyecto. Este artículo propone un conjunto de reglas basadas en un estudio paramétrico.Underpasses are common in modern railway lines. Wildlife corridors and drainage conduits often fall into this category of partially buried structures. Their dynamic behavior has received far less attention than that of other structures such as bridges, but their large number makes their study an interesting challenge from the viewpoint of safety and cost savings. The bridge design rules in accordance with the Eurocode involve checks on stresses according to dynamic loading. In the case of underpasses, those checks may be as much as those for bridges. Therefore, simplified design rules may align the design effort with their cost. Such a set of rules may provide estimations of response parameters based on the key parameters influencing the result. This paper contains a proposal based on a parametric study.Peer Reviewe
Multiple Glucagon-Producing Pancreatic Neuroendocrine Tumors in a Horse (Equus caballus)
Pancreatic neuroendocrine tumors of glucagon-producing cells are extremely rare in domestic animals. In this report, we describe for the first time, to our knowledge, the incidental finding of multiple glucagon-producing neuroendocrine tumors of the pancreas of a horse. The animal was euthanized due to severe local infection after tooth extraction. On postmortem examination, multiple white nodules of up to 4 cm in diameter were observed in the pancreas. Histologically, pancreatic nodules had the appearance of neuroendocrine neoplasms with positive immunoreactivity for glucagon, synaptophysin, chromogranin A, and neuron-specific enolase. Electron microscopy revealed numerous electron-dense granules, similar to those observed in normal pancreatic alpha cells, in the neoplastic cells. In addition, the left adrenal gland showed multiple hyperplastic foci and adenomas in the medulla that were identified as pheochromocytomas. Based on the morphologic appearance and immunohistochemical staining pattern of pancreatic nodules, a diagnosis of multiple glucagon-producing neuroendocrine tumors was made
Distributed Synthesis in Continuous Time
We introduce a formalism modelling communication of distributed agents
strictly in continuous-time. Within this framework, we study the problem of
synthesising local strategies for individual agents such that a specified set
of goal states is reached, or reached with at least a given probability. The
flow of time is modelled explicitly based on continuous-time randomness, with
two natural implications: First, the non-determinism stemming from interleaving
disappears. Second, when we restrict to a subclass of non-urgent models, the
quantitative value problem for two players can be solved in EXPTIME. Indeed,
the explicit continuous time enables players to communicate their states by
delaying synchronisation (which is unrestricted for non-urgent models). In
general, the problems are undecidable already for two players in the
quantitative case and three players in the qualitative case. The qualitative
undecidability is shown by a reduction to decentralized POMDPs for which we
provide the strongest (and rather surprising) undecidability result so far
CONCUR Test-Of-Time Award 2020 Announcement
This short article announces the recipients of the CONCUR Test-of-Time Award 2020
Efficient CSL Model Checking Using Stratification
For continuous-time Markov chains, the model-checking problem with respect to
continuous-time stochastic logic (CSL) has been introduced and shown to be
decidable by Aziz, Sanwal, Singhal and Brayton in 1996. Their proof can be
turned into an approximation algorithm with worse than exponential complexity.
In 2000, Baier, Haverkort, Hermanns and Katoen presented an efficient
polynomial-time approximation algorithm for the sublogic in which only binary
until is allowed. In this paper, we propose such an efficient polynomial-time
approximation algorithm for full CSL. The key to our method is the notion of
stratified CTMCs with respect to the CSL property to be checked. On a
stratified CTMC, the probability to satisfy a CSL path formula can be
approximated by a transient analysis in polynomial time (using uniformization).
We present a measure-preserving, linear-time and -space transformation of any
CTMC into an equivalent, stratified one. This makes the present work the
centerpiece of a broadly applicable full CSL model checker. Recently, the
decision algorithm by Aziz et al. was shown to work only for stratified CTMCs.
As an additional contribution, our measure-preserving transformation can be
used to ensure the decidability for general CTMCs.Comment: 18 pages, preprint for LMCS. An extended abstract appeared in ICALP
201
- …