Obtaining Formal Models through Non-Monotonic Refinement

When designing a model for formal verification, we want to\ud be certain that what we proved about the model also holds for the system we modelled. This raises the question of whether our model represents the system, and what makes us confident about this. By performing so called, non-monotonic refinement in the modelling process, we make the steps and decisions explicit. This helps us to (1) increase the confidence that the model represents the system, (2) structure and organize the communication with domain experts and the problem owner, and (3) identify rational steps made while modelling. We focus on embedded control systems

Enhancement of perfluorooctanoate and perfluorooctanesulfonate activity at acoustic cavitation bubble interfaces

Acoustic cavitation driven by ultrasonic irradiation decomposes and mineralizes the recalcitrant perfluorinated surfactants perfluorooctanesulfonate (PFOS) and perfluorooctanoate (PFOA). Pyrolytic cleavage of the ionic headgroup is the rate-determining step. In this study, we examine the sonochemical adsorption of PFOX, where X = S for PFOS and A for PFOA, by determining kinetic order and absolute rates over an initial PFOX concentration range of 20 nM to 200 μM. Sonochemical PFOX kinetics transition from pseudo-first-order at low initial concentrations, [PFOX]_i 40 μM, as the bubble interface sites are saturated. At PFOX concentrations below 100 μM, concentration-dependent rates were modeled with Langmuir−Hinshelwood (LH) kinetics. Empirically determined rate maximums, V_(Max)^(−PFOA) = 2230 ± 560 nM min^−1 and V_(Max)^(−PFOS) = 230 ± 60 nM min^−1, were used in the LH model, and sonochemical surface activities were estimated to be K_(Sono)^(PFOS) = 120000 M^−1 and K_(Sono)^(PFOA) = 28500 M^−1, 60 and 80 times greater than equilibrium surface activities, K_(Eq)^(PFOS) and K_(Eq)^(PFOA). These results suggest enhanced sonochemical degradation rates for PFOX when the bubble interface is undersaturated. The present results are compared to previously reported sonochemical kinetics of nonvolatile surfactants

Hysteretic and chaotic dynamics of viscous drops in creeping flows with rotation

It has been shown in our previous publication (Blawzdziewicz,Cristini,Loewenberg,2003) that high-viscosity drops in two dimensional linear creeping flows with a nonzero vorticity component may have two stable stationary states. One state corresponds to a nearly spherical, compact drop stabilized primarily by rotation, and the other to an elongated drop stabilized primarily by capillary forces. Here we explore consequences of the drop bistability for the dynamics of highly viscous drops. Using both boundary-integral simulations and small-deformation theory we show that a quasi-static change of the flow vorticity gives rise to a hysteretic response of the drop shape, with rapid changes between the compact and elongated solutions at critical values of the vorticity. In flows with sinusoidal temporal variation of the vorticity we find chaotic drop dynamics in response to the periodic forcing. A cascade of period-doubling bifurcations is found to be directly responsible for the transition to chaos. In random flows we obtain a bimodal drop-length distribution. Some analogies with the dynamics of macromolecules and vesicles are pointed out.Comment: 22 pages, 13 figures. submitted to Journal of Fluid Mechanic

Abrupt grain boundary melting in ice

The effect of impurities on the grain boundary melting of ice is investigated through an extension of Derjaguin-Landau-Verwey-Overbeek theory, in which we include retarded potential effects in a calculation of the full frequency dependent van der Waals and Coulombic interactions within a grain boundary. At high dopant concentrations the classical solutal effect dominates the melting behavior. However, depending on the amount of impurity and the surface charge density, as temperature decreases, the attractive tail of the dispersion force interaction begins to compete effectively with the repulsive screened Coulomb interaction. This leads to a film-thickness/temperature curve that changes depending on the relative strengths of these interactions and exhibits a decrease in the film thickness with increasing impurity level. More striking is the fact that at very large film thicknesses, the repulsive Coulomb interaction can be effectively screened leading to an abrupt reduction to zero film thickness.Comment: 8 pages, 1 figur

A direct optical method for the study of grain boundary melting

The structure and evolution of grain boundaries underlies the nature of polycrystalline materials. Here we describe an experimental apparatus and light reflection technique for measuring disorder at grain boundaries in optically clear material, in thermodynamic equilibrium. The approach is demonstrated on ice bicrystals. Crystallographic orientation is measured for each ice sample. The type and concentration of impurity in the liquid can be controlled and the temperature can be continuously recorded and controlled over a range near the melting point. The general methodology is appropriate for a wide variety of materials.Comment: 8 pages, 8 figures, updated with minor changes made to published versio

Dynamics of explosive degassing of magma: Observations of fragmenting two-phase flows

Liquid explosions, generated by rapid degassing of strongly supersaturated liquids, have been investigated in the laboratory with a view to understanding the basic physical processes operating during bubble nucleation and growth and the subsequent behavior of the expanding two-phase flow. Experiments are carried out in a shock tube and are monitored by high-speed photography and pressure transducers. Theoretical CO_2 supersaturations up to 455 times the ambient saturation concentration are generated by a chemical reaction; K_2CO_3 solution is suddenly injected into an excess of HCl solution in such a way as to mix the two solutions rapidly. Immediately after the injection event, a bubble nucleation delay of a few milliseconds is followed by rapid nucleation and explosive expansion of CO_2 bubbles forming a highly heterogeneous foam. Enhanced diffusion due to advection in the flow coupled with continuous mixing of the reactants, and hence on-going bubble nucleation after injection, generates an increasingly accelerating flow until the reactants become depleted at peak accelerations of around 150 g and velocities of about 15 m s^(−1). Stretching of the accelerating two-phase mixture enhances the mixing. Liberation of CO_2 vapor is spatially inhomogeneous leading to ductile fragmentation occurring throughout the flow in regions of greatest gas release as the consequence of the collision and stretching of fluid streams. The violence of the eruptions is controlled by using different concentrations of the HCl and K_2CO_3 solutions, which alters the CO_2 supersaturation and yield and also the efficiency of the mixing process. Peak acceleration is proportional to theoretical supersaturation. Pressure measurements at the base of the shock tube show an initial nucleation delay and a pressure pulse related to the onset of explosive bubble formation. These chemically induced explosions differ from liquid explosions created in other experiments. In explosions caused by sudden depressurization of CO_2-saturated water, the bubbles nucleate uniformly throughout the liquid in a single nucleation event. Subsequent bubble growth causes the two-phase mixture to be accelerated upward at nearly constant accelerations. Explosively boiling liquids, in which heterogeneous nucleation is suppressed, experience an evaporation wave which propagates down into the liquid column at constant average velocity. Fragmentation occurs at the sharply defined leading edge of the wavefront. The chemical flows effectively simulate highly explosive volcanic eruptions as they are comparable in terms of flow densities, velocities, accelerations, and in the large range of scales present. The large accelerations cause strong extensional strain and longitudinal deformation. Comparable deformation rates in volcanic systems could be sufficient to approach conditions for brittle fragmentation. Tube pumice is a major component of plinian deposits and ignimbrites and preserves evidence of accelerating flow conditions

How political are national identities? A comparison of the United States, the United Kingdom, and Germany in the 2010s

This is the final version of the article. Available from SAGE Publications via the DOI in this record.Original data supporting this research are available from the UK Data Archive (Study Number 851142): http://dx.doi.org/10.5255/UKDA-SN-851142/Research demonstrates the multi-dimensional nature of American identity arguing that the normative content of American identity relates to political ideologies in the United States, but the sense of belonging to the nation does not. This paper replicates that analysis and extends it to the German and British cases. Exploratory structural equation modeling attests to cross-cultural validity of measures of the sense of belonging and norms of uncritical loyalty and engagement for positive change. In the 2010s, we find partisanship and ideology in all three nations explains levels of belonging and the two content dimensions. Interestingly, those identifying with major parties of the left and right in all three countries have a higher sense of belonging and uncritical loyalty than their moderate counterparts. The relationship between partisanship, ideology, and national identity seems to wax and wane over time, presumably because elite political discourse linking party or ideology to identity varies from one political moment to the next.The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: Data collection was funded by a grant from the Economic and Social Research Council of the United Kingdom (RES-061-25-0405)

Surface Transitions for Confined Associating Mixtures

Thin films of binary mixtures that interact through isotropic forces and directionally specific "hydrogen bonding" are considered through Monte Carlo simulations. We show, in good agreement with experiment, that the single phase of these mixtures can be stabilized or destabilized on confinement. These results resolve a long standing controversy, since previous theories suggest that confinement only stabilizes the single phase of fluid mixtures.Comment: LaTeX document, documentstyle[aps,preprint]{revtex}, psfig.sty, bibtex, 13 pages, 4 figure

Generalized Interpolation Material Point Approach to High Melting Explosive with Cavities Under Shock

Criterion for contacting is critically important for the Generalized Interpolation Material Point(GIMP) method. We present an improved criterion by adding a switching function. With the method dynamical response of high melting explosive(HMX) with cavities under shock is investigated. The physical model used in the present work is an elastic-to-plastic and thermal-dynamical model with Mie-Gr\"uneissen equation of state. We mainly concern the influence of various parameters, including the impacting velocity $v$, cavity size $R$, etc, to the dynamical and thermodynamical behaviors of the material. For the colliding of two bodies with a cavity in each, a secondary impacting is observed. Correspondingly, the separation distance $D$ of the two bodies has a maximum value $D_{\max}$ in between the initial and second impacts. When the initial impacting velocity $v$ is not large enough, the cavity collapses in a nearly symmetric fashion, the maximum separation distance $D_{\max}$ increases with $v$. When the initial shock wave is strong enough to collapse the cavity asymmetrically along the shock direction, the variation of $D_{\max}$ with $v$ does not show monotonic behavior. Our numerical results show clear indication that the existence of cavities in explosive helps the creation of ``hot spots''.Comment: Figs.2,4,7,11 in JPG format; Accepted for publication in J. Phys. D: Applied Physic