Scaling Laws Behind Penetrative Turbulence:History and Perspectives

An unstably stratified flow entering into a stably stratified flow is referred to as penetrative convection,which is crucial to many physical processes and has been thought of as a key factor for extreme weather conditions.Past theoretical,numerical,and experimental studies on penetrative convection are reviewed,along with field studies providing insights into turbulence modeling.The physical factors that initiate penetrative convection,including internal heat sources,nonlinear constitutive relationships,centrifugal forces and other complicated factors are summarized.Cutting-edge methods for understanding transport mechanisms and statistical properties of penetrative turbulence are also documented,e.g.,the variational approach and quasilinear approach,which derive scaling laws embedded in penetrative turbulence.Exploring these scaling laws in penetrative convection can improve our understanding of large-scale geophysical and astrophysical motions.To better the model of penetrative turbulence towards a practical situation,new directions,e.g.,penetrative convection in spheres,and radiation-forced convection,are proposed.

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.

EVs-mediated delivery of CB2 receptor agonist for Alzheimer’s disease therapy

Alzheimer’s disease(AD)is a typical neurodegenerative disease that leads to irreversible neuronal degeneration,and effective treatment remains elusive due to the unclear mechanism.We utilized biocompatible mesenchymal stem cell-derived extracellular vesicles as carriers loaded with the CB2 target medicine AM1241(EVs-AM1241)to protect against neurodegenerative progression and neuronal function in AD model mice.According to the results,EVs-AM1241 were successfully constructed and exhibited better bioavailability and therapeutic effects than bare AM1241.The Morris water maze(MWM)and fear conditioning tests revealed that the learning and memory of EVs-AM1241-treated model mice were significantly improved.In vivo electrophysiological recording of CA1 neurons indicated enhanced response to an auditory conditioned stimulus following fear learning.Immunostaining and Western blot analysis showed that amyloid plaque deposition and amyloidβ(Aβ)-induced neuronal apoptosis were significantly suppressed by EVs-AM1241.Moreover,EVs-AM1241 increased the number of neurons and restored the neuronal cytoskeleton,indicating that they enhanced neuronal regeneration.RNA sequencing revealed that EVs-AM1241 facilitated Aβphagocytosis,promoted neurogenesis and ultimately improved learning and memory through the calcium-Erk signaling pathway.Our study showed that EVs-AM1241 efficiently reversed neurodegenerative pathology and enhanced neurogenesis in modelmice,indicating that they are very promising particles for treating AD.

The Magnetic Field Distribution of Type II Superconductors Based on the Modified GL Equations

The standard Ginzburg-Landau (GL) equations are only valid in the vicinity of the critical temperature. Based on the Eilenberger equations for a single band and s-wave superconductor, we derive a modified version of the standard GL equations to improve the applicability of the standard formalism at temperature away from the critical temperature. It is shown that in comparison with previous studies, our method is more convenient to calculate and our modified equations are also compatible with a dirty superconductor. To illustrate the usefulness of our formalism, we solve the modified equations numerically and give the magnetic field distribution in the mixed state at any temperature. The results show that the vortex lattice could be still observed even away from the critical temperature (e.g., T/Tc = 0.3).

基于超分子作用设计余辉材料的策略、应用与最新进展

近年来,余辉材料因其长寿命发光特性成为热门的研究对象,在防伪加密、生物成像、检测传感、光电器件等领域有着广泛的应用前景.然而,不同于早期从分子水平的努力和尝试,超分子的概念理论和组装策略,赋予了余辉材料更加强大和丰富的性能.本文围绕基于超分子作用的余辉材料,系统归纳其发光机理、通用设计策略和实际应用,以近几年的文献报道为例详细介绍了该领域的最新进展,并展望未来超分子余辉材料的主要发展方向.

Progress in spinal cord organoid research:advancing understanding of neural development,disease modelling,and regenerative medicine

Stem cell-derived spinal cord organoids(SCOs)have revolutionised the study of spinal cord development and disease mechanisms,offering a three-dimensional model that recapitulates the complexity of native tissue.This review synthesises recent advancements in SCO technology,highlighting their role in modelling spinal cord morphogenesis and their application in neurodegenerative disease research.We discuss the methodological breakthroughs in inducing regional specification and cellular diversity within SCOs,which have enhanced their predictive ability for drug screening and their relevance in mimicking pathological conditions such as neurodegenerative diseases and neuromuscular disorders.Despite these strides,challenges in achieving vascularisation and mature neuronal integration persist.The future of SCOs lies in addressing these limitations,potentially leading to transformative impactions in regenerative medicine and therapeutic development.