建造中金属油罐在风荷载作用下的屈曲

通常按考虑最终形状方法设计壳体结构,因此,需假定结构满足稳定性要求。但是,中等风力作用下金属油罐频繁倒塌,这引起了高度重视。介绍了发生在阿根廷巴塔哥尼亚的中等风力作用下在建油罐倒塌的分析研究。虽以点焊方式固定油罐的圆筒部分,但倒塌时顶部移位。为了解倒塌机理,建立倒塌尽可能符合实际的壳体结构模型,进行了几何非线性有限元静力分析。结果表明,因为倒塌时存在风速,只能通过结构的一些特性即焊接的局部性、与底板连接的不充分性解释倒塌机理。     

An ethnographic study of packaging-free purchasing: designing an interactive system to support sustainable social practices

Consumption practices show a strong presence of crystallised social understandings, organising rules and permanent ways of acting that prevent individuals from changing towards more sustainable habits. Over the years, human–computer interaction research tried to help people engage in sustainable lifestyles promoting the health of the Earth. However, by favouring an individualistic and rationalistic approach to design, these attempts often lacked a deep understanding of how individuals are intertwined with social dynamics and organisational structures that might determine their actions. In this article, we aim at exploring novel solutions to support people’s sustainable habits, by focusing on their everyday purchases. Using an ethnographic method grounded in the social practices approach, we analyse the value that individuals ascribe to activities and objects that seem already addressed to sustainable consumption: the packaging-free purchasing practices. Starting from the insights gathered from this research, and leveraging the opportunities opened by the 3D printing technology, we design an interactive system with the aim to break the old buying routines and support the reuse of containers.     

Advantages of continuous hyperpolarized arrest with pinacidil over St. Thomas'' Hospital solution during prolonged ischemia

vlf-1 is a baculovirus gene that regulates very late gene expression (J. R. McLachlin and L. K. Miller, J. Virol., 68, 7746-7756, 1994) and also plays a crucial role in the replication of the budded form of Autographa californica nuclear polyhedrosis virus (AcMNPV) (S. Yang and L. K. Miller, "Expression and mutational analysis of the baculovirus very late factor 1 (vlf-1) gene." Virology, 245, 99-109, 1998). To examine the influence of vlf-1 expression on baculovirus infection, we constructed recombinant viruses that expressed only low levels of VLF-1 and recombinants with vlf-1 under the control of different promoters. Viruses with mutant alleles of vlf-1 that produced low levels of VLF-1 replicated the budded form of the virus normally but produced no occlusion bodies. Thus, a higher concentration of VLF-1 was needed to activate very late gene expression than was needed to support budded virus production. By altering the level and/or timing of vlf-1 expression, the timing of polyhedrin gene (polh) expression, which normally occurs very late in infection, could be advanced or delayed. Early overexpression of vlf-1 increased the level of expression from the polh promoter but caused premature cellular disintegration. The data indicate that VLF-1 is the limiting factor in very late gene expression and that the level of VLF-1 controls the onset of occlusion.     

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting

Testing and Bounded Model Checking (BMC) are two techniques used in Software Verification for bug-hunting. They are expression of two different philosophies: testing is used on the compiled code and it is more suited to find errors in common behaviors, while BMC is used on the source code to find errors in uncommon behaviors of the system. Nowadays, testing is by far the most used technique for software verification in industry: it is easy to use and even when no error is found, it can release a set of tests certifying the (partial) correctness of the compiled system. In the case of safety critical software, in order to increase the confidence of the correctness of the compiled system, it is often required that the provided set of tests covers 100% of the code. This requirement, however, substantially increases the costs associated to the testing phase, since it often involves the manual generation of tests. In this paper we show how BMC can be productively applied to the Software Verification process in industry. In particular, we show how to productively use a Bounded Model Checker for C programs (CBMC) as an automatic test generator for the Coverage Analysis of Safety Critical Software. In particular, we experimented CBMC on a subset of the modules of the European Train Control System (ETCS) of the European Rail Traffic Management System (ERTMS) source code, an industrial system for the control of the traffic railway, provided by Ansaldo STS. The Code of the ERTMS/ETCS, with thousands of lines, has been used as trial application with CBMC obtaining a set of tests satisfying the target 100% code coverage, requested by the CENELEC EN50128 guidelines for software development of safety critical systems. The use of CBMC for test generation led to a dramatic increase in the productivity of the entire Software Development process by substantially reducing the costs of the testing phase. To the best of our knowledge, this is the first time that BMC techniques have been used in an industrial setting for automatically generating tests achieving full coverage of Safety-Critical Software. The positive results demonstrate the maturity of Bounded Model Checking techniques for automatic test generation in industry.     

Electrochemical and geometrical characterization of iridium oxide electrodes in stainless steel substrate

A geometrical and electrochemical characterization of stainless steel electrodes electrodeposited with iridium oxide (IrO₂) is presented. There is a dramatic increase in the double layer capacitance (C) and an important decrease in the charge transfer resistance (R_ct) after electrodeposition, causing also a significant two orders of magnitude reduction of the electrode–electrolyte interface impedance (EEIZ). These phenomena may be explained by the fine-grained iridium oxide, which has a high grain boundary density and which increases the actual electrodic area. An RC model is presented, which would explain the electrical behaviour of the system.     

The spectral element method for elastic wave equations—application to 2‐D and 3‐D seismic problems

A spectral element method for the approximate solution of linear elastodynamic equations, set in a weak form, is shown to provide an efficient tool for simulating elastic wave propagation in realistic geological structures in two‐ and three‐dimensional geometries. The computational domain is discretized into quadrangles, or hexahedra, defined with respect to a reference unit domain by an invertible local mapping. Inside each reference element, the numerical integration is based on the tensor‐product of a Gauss–Lobatto–Legendre 1‐D quadrature and the solution is expanded onto a discrete polynomial basis using Lagrange interpolants. As a result, the mass matrix is always diagonal, which drastically reduces the computational cost and allows an efficient parallel implementation. Absorbing boundary conditions are introduced in variational form to simulate unbounded physical domains. The time discretization is based on an energy‐momentum conserving scheme that can be put into a classical explicit‐implicit predictor/multicorrector format. Long term energy conservation and stability properties are illustrated as well as the efficiency of the absorbing conditions. The accuracy of the method is shown by comparing the spectral element results to numerical solutions of some classical two‐dimensional problems obtained by other methods. The potentiality of the method is then illustrated by studying a simple three‐dimensional model. Very accurate modelling of Rayleigh wave propagation and surface diffraction is obtained at a low computational cost. The method is shown to provide an efficient tool to study the diffraction of elastic waves and the large amplification of ground motion caused by three‐dimensional surface topographies. Copyright © 1999 John Wiley & Sons, Ltd.     

Epidemicity of cholera spread and the fate of infection control measures

The fate of ongoing infectious disease outbreaks is predicted through reproduction numbers, defining the long-term establishment of the infection, and epidemicity indices, tackling the reactivity of the infectious pool to new contagions. Prognostic metrics of unfolding outbreaks are of particular importance when designing adaptive emergency interventions facing real-time assimilation of epidemiological evidence. Our aim here is twofold. First, we propose a novel form of the epidemicity index for the characterization of cholera epidemics in spatial models of disease spread. Second, we examine in hindsight the survey of infections, treatments and containment measures carried out for the now extinct 2010–2019 Haiti cholera outbreak, to suggest that magnitude and timing of non-pharmaceutical and vaccination interventions imply epidemiological responses recapped by the evolution of epidemicity indices. Achieving negative epidemicity greatly accelerates fading of infections and thus proves a worthwhile target of containment measures. We also show that, in our model, effective reproduction numbers and epidemicity indices are explicitly related. Therefore, providing an upper bound to the effective reproduction number (significantly lower than the unit threshold) warrants negative epidemicity and, in turn, a rapidly fading outbreak preventing coalescence of sparse local sub-threshold flare-ups.     

Impaired Functional Connectivity Underlies Fragile X Syndrome

Fragile X syndrome (FXS), the most common form of inherited intellectual disability, is caused by a developmentally regulated silencing of the FMR1 gene, but its effect on human neuronal network development and function is not fully understood. Here, we isolated isogenic human embryonic stem cell (hESC) subclones—one with a full FX mutation and one that is free of the mutation (control) but shares the same genetic background—differentiated them into induced neurons (iNs) by forced expression of NEUROG-1, and compared the functional properties of the derived neuronal networks. High-throughput image analysis demonstrates that FX-iNs have significantly smaller cell bodies and reduced arborizations than the control. Both FX- and control-neurons can discharge repetitive action potentials, and FX neuronal networks are also able to generate spontaneous excitatory synaptic currents with slight differences from the control, demonstrating that iNs generate more mature neuronal networks than the previously used protocols. MEA analysis demonstrated that FX networks are hyperexcitable with significantly higher spontaneous burst-firing activity compared to the control. Most importantly, cross-correlation analysis enabled quantification of network connectivity to demonstrate that the FX neuronal networks are significantly less synchronous than the control, which can explain the origin of the development of intellectual dysfunction associated with FXS.     

Artefacts in semivolatile organic compound sampling with polyurethane foam substrates in high volume cascade impactors

Polyurethane foam (PUF) is known to sorb gas-phase semivolatile organic compounds (SVOCs) from ambient air and is used routinely in conventional high volume filter-sorbent sampling of such pollutants. PUF rings have also been employed as impaction substrates in a high volume cascade impactor (HVCI) used as a sampler for the evaluation of particle toxicity. Though nonvolatile particles (e.g., trace metals, inorganic ions) have been the primary focus, the sampler has also been used to measure particulate SVOC concentrations in ambient air. The aim of this work is to investigate the validity of the latter approach. The results of three sets of experiments conducted in Canada and Denmark are reported herein. Model compounds included native and deuterated polycyclic aromatic hydrocarbons (PAHs). The experiments demonstrated that HVCI PUF substrates sorb gas-phase PAH compounds and that the sorbed mass is subject to mobilization through and out of the sampler. Particulate concentrations of low molecular weight and volatile PAHs are therefore prone to overestimation in samples that have been analyzed after extraction of whole PUF substrates. Sonication of collected particles in water before solvent extraction is effective at dislodging them from the PUF but also acts to redistribute their originally particulate PAH mass back to the PUF and to the sonication water. As a result, the PAH content of particles measured after sonication and subsequent filtration does not accurately represent their true values. These artefacts affect not only measured PAH concentrations but also the results of toxicological assays that are conducted to test the characteristics of particles collected using HVCI PUF samplers.