Characterizations of modalities and lex modalities

A reflective subuniverse in homotopy type theory is an internal version of the notion of a localization in topology or in the theory of ∞-categories. Working in homotopy type theory, we give new characterizations of the following conditions on a reflective subuniverse L: (1) the associated subuniverse $L^{\prime }$ of L-separated types is a modality; (2) L is a modality; (3) L is a lex modality; and (4) L is a cotopological modality. In each case, we give several necessary and sufficient conditions. Our characterizations involve various families of maps associated to L, such as the L-étale maps, the L-equivalences, the L-local maps, the L-connected maps, the unit maps ${\eta }_X$, and their left and/or right orthogonal complements. More generally, our main theorem gives an overview of how all of these classes related to each other. We also give examples that show that all of the inclusions we describe between these classes of maps can be strict.     

Interface‐fitted moving mesh method for axisymmetric two‐phase flow in microchannels

A boundary‐fitted moving mesh scheme is presented for the simulation of two‐phase flow in two‐dimensional and axisymmetric geometries. The incompressible Navier‐Stokes equations are solved using the finite element method, and the mini element is used to satisfy the inf‐sup condition. The interface between the phases is represented explicitly by an interface adapted mesh, thus allowing a sharp transition of the fluid properties. Surface tension is modelled as a volume force and is discretized in a consistent manner, thus allowing to obtain exact equilibrium (up to rounding errors) with the pressure gradient. This is demonstrated for a spherical droplet moving in a constant flow field. The curvature of the interface, required for the surface tension term, is efficiently computed with simple but very accurate geometric formulas. An adaptive moving mesh technique, where smoothing mesh velocities and remeshing are used to preserve the mesh quality, is developed and presented. Mesh refinement strategies, allowing tailoring of the refinement of the computational mesh, are also discussed. Accuracy and robustness of the present method are demonstrated on several validation test cases. The method is developed with the prospect of being applied to microfluidic flows and the simulation of microchannel evaporators used for electronics cooling. Therefore, the simulation results for the flow of a bubble in a microchannel are presented and compared to experimental data.     

Preparation and Characterisation of a Bis-μ-Hydroxo-NiIII2 Complex

Hydroxide-bridged high-valent oxidants have been implicated as the active oxidants in methane monooxygenases and other oxidases that employ bimetallic clusters in their active site. To understand the properties of such species, bis-μ-hydroxo-Ni^II₂ complex ( 1 ) supported by a new dicarboxamidate ligand (N,N′-bis(2,6-dimethyl-phenyl)-2,2-dimethylmalonamide) was prepared. Complex 1 contained a diamond core made up of two Ni^II ions and two bridging hydroxide ligands. Titration of the 1 e⁻ oxidant (NH₄)₂[Ce^IV(NO₃)₆] with 1 at −45 °C showed the formation of the high-valent species 2 and 3 , containing Ni^IINi^III and Ni^III₂ diamond cores, respectively, maintaining the bis-μ-hydroxide core. Both complexes were characterised using electron paramagnetic resonance, X-ray absorption, and electronic absorption spectroscopies. Density functional theory computations supported the spectroscopic assignments. Oxidation reactivity studies showed that bis-μ-hydroxide-Ni^III₂ 3 was capable of oxidizing substrates at −45 °C at rates greater than that of the most reactive bis-μ-oxo-Ni^III complexes reported to date.     

Dependence of Pressure,Combustion and Frequency Characteristics on Valved Pulsejet Combustor Geometries

An experimental analysis of valved pulsejets based on the Curtis-Dyna design and the concomitant results are discussed in the current paper. By altering the combustor length, the tail pipe length and by adding a flare at the aft-end, twelve different pulsejet configurations are tested. An axially-distributed array of piezoelectric pressure sensors and ion probes reveal the pressure and combustion dynamics inside these devices. Evidence is attained to support the claim that valved Curtis-Dyna pulsejets of the tested configurations behave like a Helmholtz resonator. Each cycle of a pulsejet is composed of temporally and spatially restrained combustion events. Altering the geometry induces an amplitude modulated low frequency instability inside the pulsejet that is characterized by sinusoidally-varying peak cycle pressures. The operating frequency, peak pressures and combustion activity of the pulsejets are characterized to reveal that reliable pulsejet operation requires proper amount of coupling — defined by low time lags — between the pressure peaks and combustion events.     

Melt spinning of propylene carbonate‐plasticized poly(acrylonitrile)‐co‐poly(methyl acrylate)

The primary use of poly(acrylonitrile) (PAN) fibers, commonly referred to as acrylic fibers, is in textile applications like clothing, furniture, carpets, and awnings. All commercially available PAN fibers are processed by solution spinning; however, alternative, more cost‐effective processes like melt spinning are still highly desired. Here, the melt spinning of PAN‐co‐poly(methyl acrylate) (PMA) plasticized with propylene carbonate (PC) at 175°C is reported. The use of methyl acrylate (MA) as comonomer and PC as an external plasticizer renders the approach a combination of internal and external plasticization. Various mixtures of PAN and PC used in this work were examined by rheology, subjected to melt spinning, followed by discontinuous and continuous washing, respectively. The best fibers were derived from a PAN‐co‐PMA copolymer containing 8.1 mol‐% of MA having a number‐average molecular weight M _n of 34 000 g/mol, spun in the presence of 22.5 wt.‐% of PC. The resulting fibers were analyzed by scanning electron microscopy and wide‐angle X‐ray scattering (WAXS), and were subjected to mechanical testing.     

Crosslinked poly(ethylene oxide) containing siloxanes fabricated through thiol‐ene photochemistry

Homogenous amphiphilic crosslinked polymer films comprising of poly(ethylene oxide) and polysiloxane were synthesized utilizing thiol‐ene “ click ” photochemistry. A systematic variation in polymer composition was Carried out to obtain high quality films with varied amount of siloxane and poly(ethylene oxide). These films showed improved gas separation performance with high gas permeabilities with good CO₂/N₂ selectivity. Furthermore, the resulting films were also tested for its biocompatibility, as a carrier media which allow human adult mesenchymal stem cells to retain their capacity for osteoblastic differentiation after transplantation. The obtained crosslinked films were characterized using differential scanning calorimetry, dynamic mechanical analysis, thermogravimetric analysis, FTIR, Raman‐IR , and small angle X‐ray scattering. The synthesis ease and commercial availability of the starting materials suggests that these new crosslinked polymer networks could find applications in wide range of applications. © 2015 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2015 , 53, 1548–1557     

Numerical simulation of droplet ejection of thermal inkjet printheads

In this study, we present a method to predict the droplet ejection in thermal inkjet printheads including the growth and collapse of a vapor bubble and refill of the firing chamber. The three‐dimensional Navier–Stokes equations are solved using a finite‐volume approach with a fixed Cartesian mesh. The piecewise‐linear interface calculation‐based volume‐of‐fluid method is employed to track and reconstruct the ink–air interface. A geometrical computation based on Lagrangian advection is used to compute the mass flux and advance the interface. A simple and efficient model for the bubble dynamics is employed to model the effect of ink vapor on the adjacent ink liquid. To solve the surface tension‐dominated flow accurately, a hierarchical curvature‐estimation method is proposed to adapt to the local grid resolution. The numerical methods mentioned earlier have been implemented in an internal simulation code, CFD3. The numerical examples presented in the study show good performance of CFD3 in prediction of surface tension‐dominated free‐surface flows, for example, droplet ejection in thermal inkjet printing. Currently, CFD3 is used extensively for printhead development within Hewlett‐Packard. Copyright © 2015 John Wiley & Sons, Ltd.     

DFT Study of the Molybdenum‐Catalyzed Deoxydehydration of Vicinal Diols

The mechanism of the molybdenum‐catalyzed deoxydehydration (DODH) of vicinal diols has been investigated using density functional theory. The proposed catalytic cycle involves condensation of the diol with an Mo^VI oxo complex, oxidative cleavage of the diol resulting in an Mo^IV complex, and extrusion of the alkene. We have compared the proposed pathway with several alternatives, and the results have been corroborated by comparison with the molybdenum‐catalyzed sulfoxide reduction recently published by Sanz et al. and with experimental observations for the DODH itself. Improved understanding of the mechanism should expedite future optimization of molybdenum‐catalyzed biomass transformations.     

Azasugar inhibitors as pharmacological chaperones for Krabbe disease

Krabbe disease is a devastating neurodegenerative disorder characterized by rapid demyelination of nerve fibers. This disease is caused by defects in the lysosomal enzyme β-galactocerebrosidase (GALC), which hydrolyzes the terminal galactose from glycosphingolipids. These lipids are essential components of eukaryotic cell membranes: substrates of GALC include galactocerebroside, the primary lipid component of myelin, and psychosine, a cytotoxic metabolite. Mutations of GALC that cause misfolding of the protein may be responsive to pharmacological chaperone therapy (PCT), whereby small molecules are used to stabilize these mutant proteins, thus correcting trafficking defects and increasing residual catabolic activity in cells. Here we describe a new approach for the synthesis of galacto-configured azasugars and the characterization of their interaction with GALC using biophysical, biochemical and crystallographic methods. We identify that the global stabilization of GALC conferred by azasugar derivatives, measured by fluorescence-based thermal shift assays, is directly related to their binding affinity, measured by enzyme inhibition. X-ray crystal structures of these molecules bound in the GALC active site reveal which residues participate in stabilizing interactions, show how potency is achieved and illustrate the penalties of aza/iminosugar ring distortion. The structure–activity relationships described here identify the key physical properties required of pharmacological chaperones for Krabbe disease and highlight the potential of azasugars as stabilizing agents for future enzyme replacement therapies. This work lays the foundation for new drug-based treatments of Krabbe disease.