Mobility of water molecules in Li+, Na+ and Cs+ ionic forms of Nafion membrane studied by NMR

Correlation times and diffusion coefficients of water molecules were measured for the first time by ¹H spin relaxation and pulsed field gradient NMR in Li⁺, Na⁺ and Cs⁺ ionic forms of Nafion 117 membrane. Hydration numbers of Li⁺, Na⁺ and Cs⁺ cations were calculated. It was shown that at high humidity macroscopic transfer is controlled by the local translational motion of water molecules.     

从知识传授到育人:高职“生活中的化学”教学实践*

深挖高职院校公选课“生活中的化学”的育人元素,精心设计教学内容,运用课堂主题辩论、趣味生活实验的设计与展示、探秘生活中的化学等理论知识传授与课内外实践相结合的教学方式,实现全过程育人,充分展现了公选课在立德树人方面的价值。     

On pointwise decay rates of time‐periodic solutions to the Navier–Stokes equation

We study the existence of a time‐periodic solution with pointwise decay properties to the Navier–Stokes equation in the whole space. We show that if the time‐periodic external force is sufficiently small in an appropriate sense, then there exists a time‐periodic solution $\{u,p\}$ of the Navier–Stokes equation such that $|{?}^j{u(t,x)|=O(|x|}^{1?n?j})$ and $|{?}^j{p(t,x)|=O(|x|}^{?n?j})(j=0,1,\dots )$ uniformly in $t\in \mathbb{R}$ as $|x|\to \infty$. Our solution decays faster than the time‐periodic Stokes fundamental solution and the faster decay of its spatial derivatives of higher order is also described.     

Regularity of optimal sets for some functional involving eigenvalues of an operator in divergence form

In this paper we consider minimizers of the functional$\min \{{\lambda }_1(\mathrm{\Omega })+\cdots +{\lambda }_k(\mathrm{\Omega })+\mathrm{\Lambda }|\mathrm{\Omega }|,:\mathrm{\Omega }\subset D\text{ open}\}$ where $D\subset {\mathbb{R}}^d$ is a bounded open set and where $0<{\lambda }_1(\mathrm{\Omega })\le \cdots \le {\lambda }_k(\mathrm{\Omega })$ are the first k eigenvalues on Ω of an operator in divergence form with Dirichlet boundary condition and with Hölder continuous coefficients. We prove that the optimal sets ${\mathrm{\Omega }}^{⁎}$ have finite perimeter and that their free boundary $\partial {\mathrm{\Omega }}^{⁎}\cap D$ is composed of a regular part, which is locally the graph of a $C^{1,\alpha }$-regular function, and a singular part, which is empty if $d<d^{⁎}$, discrete if $d=d^{⁎}$ and of Hausdorff dimension at most $d-d^{⁎}$ if $d>d^{⁎}$, for some $d^{⁎}\in \{5,6,7\}$.     

Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Bifurcation analysis of visual angle model with anticipated time and stabilizing driving behavior

In the light of the visual angle model (VAM), an improved car-following model considering driver's visual angle, anticipated time and stabilizing driving behavior is proposed so as to investigate how the driver's behavior factors affect the stability of the traffic flow. Based on the model, linear stability analysis is performed together with bifurcation analysis, whose corresponding stability condition is highly fit to the results of the linear analysis. Furthermore, the time-dependent Ginzburg-Landau (TDGL) equation and the modified Korteweg-de Vries (mKdV) equation are derived by nonlinear analysis, and we obtain the relationship of the two equations through the comparison. Finally, parameter calibration and numerical simulation are conducted to verify the validity of the theoretical analysis, whose results are highly consistent with the theoretical analysis.     

Portable single-sided NMR measurements at variable temperatures: Implementation of a thermo-controlled device and application to the heating of bread dough

A temperature control unit was implemented to vary the temperature of samples studied on a commercial Mobile Universal Surface Explorer nuclear magnetic resonance (MOUSE-NMR) apparatus. The device was miniaturized to fit the maximum MOUSE sampling depth (25 mm). It was constituted by a sample holder sandwiched between two heat exchangers placed below and above the sample. Air was chosen as the fluid to control the temperature at the bottom of the sample, at the interface between the NMR probe and the sample holder, in order to gain space. The upper surface of the sample was regulated by the circulation of water inside a second heat exchanger placed above the sample holder. The feasibility of using such a device was demonstrated first on pure water and then on several samples of bread dough with different water contents. For this, T1 relaxation times were measured at various temperatures and depths and were then compared with those acquired with a conventional compact closed-magnet spectrometer. Discussion of results was based on biochemical transformations in bread dough (starch gelatinization and gluten heat denaturation). It was demonstrated that, within a certain water level range, and because of the low magnetic field strength of the MOUSE, a linear relationship could be established between T1 relaxation times and the local temperature in the dough sample.     

A Far-Red Emitting Fluorescent Chemogenetic Reporter for In Vivo Molecular Imaging

Far-red emitting fluorescent labels are highly desirable for spectral multiplexing and deep tissue imaging. Here, we describe the generation of frFAST (far-red Fluorescence Activating and absorption Shifting Tag), a 14-kDa monomeric protein that forms a bright far-red fluorescent assembly with (4-hydroxy-3-methoxy-phenyl)allylidene rhodanine (HPAR-3OM). As HPAR-3OM is essentially non-fluorescent in solution and in cells, frFAST can be imaged with high contrast in presence of free HPAR-3OM, which allowed the rapid and efficient imaging of frFAST fusions in live cells, zebrafish embryo/larvae, and chicken embryos. Beyond enabling the genetic encoding of far-red fluorescence, frFAST allowed the design of a far-red chemogenetic reporter of protein–protein interactions, demonstrating its great potential for the design of innovative far-red emitting biosensors.