A chemically consistent graph architecture for massive reaction networks applied to solid-electrolyte interphase formation

Modeling reactivity with chemical reaction networks could yield fundamental mechanistic understanding that would expedite the development of processes and technologies for energy storage, medicine, catalysis, and more. Thus far, reaction networks have been limited in size by chemically inconsistent graph representations of multi-reactant reactions (e.g. A + B → C) that cannot enforce stoichiometric constraints, precluding the use of optimized shortest-path algorithms. Here, we report a chemically consistent graph architecture that overcomes these limitations using a novel multi-reactant representation and iterative cost-solving procedure. Our approach enables the identification of all low-cost pathways to desired products in massive reaction networks containing reactions of any stoichiometry, allowing for the investigation of vastly more complex systems than previously possible. Leveraging our architecture, we construct the first ever electrochemical reaction network from first-principles thermodynamic calculations to describe the formation of the Li-ion solid electrolyte interphase (SEI), which is critical for passivation of the negative electrode. Using this network comprised of nearly 6000 species and 4.5 million reactions, we interrogate the formation of a key SEI component, lithium ethylene dicarbonate. We automatically identify previously proposed mechanisms as well as multiple novel pathways containing counter-intuitive reactions that have not, to our knowledge, been reported in the literature. We envision that our framework and data-driven methodology will facilitate efforts to engineer the composition-related properties of the SEI – or of any complex chemical process – through selective control of reactivity.

A chemically consistent graph architecture enables autonomous identification of novel solid-electrolyte interphase formation pathways from a massive reaction network.     

LC–MS Determination and Pharmacokinetic Study of a Novel Sulfonylurea: Potential Hypoglycemic Agent in Rat Plasma

To support preclinical pharmacokinetic investigation of 1-[4-[2-(4-bromobenzene-sulfonaminoethyl)phenylsufonyl]-3-(trans-4-methylcyclohexyl)urea (G004), a rapid, sensitive and specific high-performance liquid chromatography–electrospray ionization mass spectrometry (LC–ESI-MS) method was developed and validated. Glibenclamide was employed as internal standard. After liquid–liquid extraction the analyte was analyzed on a Kromasil C₁₈ column (150 × 2.0 mm i.d.) with a mobile phase consisted of acetonitrile–water (0.05% acetic acid), 30:70 (v/v). The flow rate was 0.2 mL min⁻¹. Detection was performed on a quadrupole mass spectrometer using an electrospray ionization interface and the selected-ion monitoring (SIM) mode. The retention time was about 3.5 and 4.2 min for Glibenclamide and G004, respectively. The assay was linear over the concentration range of 2.0–500.0 ng mL⁻¹. Extraction Recovery of G004 in rat plasma was more than 87%. The intra- and inter-assay precision was lower than 11.5% (CV). This validated method was successfully applied to the pharmacokinetics of G004 in rats.     

Effects of injector geometry and sample matrix on injection and sample loading in integrated capillary electrophoresis devices

The double-T injector design employed in many microchip capillary electrophoresis devices allows for the formation of very small (50-500 pL) sample plugs for subsequent analysis on-chip. In this study, we show that sample plugs formed at the channel junction can be geometrically defined. The channel width and injector symmetry prove to be of great importance to good performance. A unique pushback of solvent into the side channels can be induced when the side channels have a very low resistance to flow, and this helps to better define the injected sample plug. Samples and running buffers of differing ionic strength (e.g., 10 mM KCl buffer and 20 mM KCl sample) can yield widely variable results in terms of plug shape and amount injected (variations of 1.5 to 10x). Applying bias voltages to all the intersecting channels aids in controlling the plug shape. However, when the ionic strengths of buffer and sample are not matched, the actual amount injected (up to 10x variations) can be inconsistent with the appearance of the plug formed in the injector (up to only 30 % variations). Operating at constant pH and ionic strength produced the most consistent results. This report examines the effects of altering the injector geometry and solution ionic strengths, and presents the results of using bias voltages to control plug formation. The observed results should provide a benchmark for modeling of the fluid dynamics in channel intersections.     

Untersuchung des Systems Silbertellurid-Silberchlorid

Investigation of the System Silver Telluride—Silver Chloride The system Ag₂Te? AgCl has been investigated by differential-thermal X-ray-phase, and micro-structural analysis within the concentration range from 0 to 100 mole-% silver telluride. Equilibrium samples were obtained by tempering for 480 hours at 330°C. The system silver telluride—silver chloride is of an eutectic type, with an eutectic point corresponding to 80 mole-% AgCl and 377°C. At 510°C and 33 mole-% AgCl, one observes the formation of a compound of a peritectic type with the probable composition Ag₅Te₂Cl.     

高频超声中带退化记忆项的MGT方程解的衰减估计北大核心CSCD

研究了高频超声应用中带无穷退化记忆项的Moore-Gibson-Thompson方程τu_(ttt)+α(x)u_(tt)-c^(2)Δu-bΔu_(t)+∫^(∞)_(0)g(s)div[a(x)▽u(t-s)]ds=0解的适定性和衰减速率,其中非负函数a(x)和α(x)是可退化的并满足a(x)+α(x)≥δ>0.该系统是由黏性热松弛流体中波传播模型的线性化而得到的.通过使用Faedo-Galerkin逼近和能量估计,证明了解的适定性.在适当的假设下,通过构造适当的李雅普诺夫泛函,建立了能量的指数或一般衰减结果.     

一类非线性复微分方程的超越亚纯解北大核心CSCD

本文主要研究非线性复微分方程f^(4)+a(z)ff^((k))=p_(1)(z)e^(α_(1)(z))+p_(2)(z)e^(α_(2)(z))的超越亚纯解,其中a,p_(1),p_(2)是非零的有理函数,α_(1),α_(2)是非常数的多项式.进一步地,考虑当亚纯解存在时,α_(1),α_(2),p_(1)和p_(2)所满足的条件.另外,还讨论了非线性复微分方程f^(3)+a(z)f’=p_(1)(z)e^(ν(z))+p_(2)(z)e^(-ν(z))的亚纯解的存在性,其中a,p_(1),p_(2)是非零的有理函数,ν是非常数的多项式.所得的结果直接推广了一些已知的结果.     

Effects of Cone Angles on Nonlinear Vibration Responses of Functionally Graded Shells北大核心CSCD

The nonlinear vibration responses of functionally graded materials (FGMs) shells with different cone angles under external loads were studied. Firstly, the Voigt model was employed to describe the physical properties along the thickness direction of FGMs conical shells. Then, the motion equations were derived based on the 1st-order shear deformation theory, the von Kármán geometric nonlinearity and Hamilton’s principle. Next, the Galerkin method was applied to discretize the motion equations and the governing equations were simplified into a 1DOF nonlinear vibration differential equation under Volmir’s assumption. Finally, the nonlinear motion equations were solved with the harmonic balance method and the Runge-Kutta method, and the amplitude frequency response characteristic curves of the FGMs conical shells were obtained. The effects of different material distribution functions and different ceramic volume fraction exponents on the amplitude frequency response curves of conical shells were discussed. The bifurcation diagrams of conical shells with different cone angles, as well as time process diagrams and phase diagrams for different excitation amplitudes, were described. The motion characteristics were characterized by Poincaré maps. The results show that, the FGMs conical shells present the nonlinear characteristics of hardening springs. The chaotic motions of the FGMs conical shells are restrained and not prone to motion instability with the increase of the cone angle. The FGMs conical shell present a process from the periodic motion to the multi-periodic motion and then to chaos with the increase of the excitation amplitude. © 2022 Editorial Office of Applied Mathematics and Mechanics. All rights reserved.     

A Space-Time Polynomial Collocation Method for Solving 3D Burgers Equations北大核心CSCD

Burgers方程是一类应用广泛的非线性偏微分方程,方程中的非线性项难以处理。该文提出一种新的时空多项式配点法——多项式特解法求解三维Burgers方程。求解过程分为两步:第一步,对三维Burgers方程中的线性导数项(包括时间导数项),求出相应的多项式特解。第二步,将求出的多项式特解作为基函数,对三维Burgers方程中剩余的非线性项进行迭代求解。与时空多项式函数作为基函数对三维Burgers方程进行直接求解相比,该算法简单易行,得到的近似解精度非常高,算法极其稳定,对于教学过程中提高学生的编程能力,加深对高维Burgers方程的理解能力以及Burgers方程的实际应用具有重要意义。     

基于简化的应变梯度理论下Kirchhoff板模型边值问题的提法及其应用北大核心CSCD

考虑应变梯度和速度梯度的影响,建立薄板控制微分方程及给出其边值问题的提法,修正了前人给出的薄板角点条件.采用Levy法,给出受分布力作用下简支板的挠度及自由振动频率的解析解.通过与文献中分子动力学数据对比,验证了该文模型的有效性并提出校核材料参数的一种方法.研究结果表明,增大弹性地基和应变梯度参数可以有效提高板的等效刚度,而速度梯度参数则相反.该文提出的板的边值问题为研究薄板在复杂支撑边界及外荷载等条件提供了理论依据.同时,有望为其有限元法、有限差分法和基于能量原理的Galerkin法等数值方法提供理论依据.     

空间机器人组装超大型结构的动力学分析北大核心CSCD

超大型航天结构具有超大柔性、超低固有频率的特点,空间机器人在轨组装时应尽可能避免激起超大型结构的柔性振动.空间机器人组装超大型结构模块的过程分成抓捕阶段、位姿调整与稳定阶段、安装阶段和爬行阶段.通过对安装阶段的动力学与控制研究,提出共线安装的轨迹规划方法,有效避免了柔性结构振动.首先,采用自然坐标法和绝对节点坐标法建立主结构-空间机器人-待组装结构的在轨组装系统动力学模型.然后,将共线安装的要求转化为空间机器人的轨迹规划约束,要求空间机器人质心到主结构/待组装结构的距离保持不变,实现共线安装的轨迹规划.数值仿真表明:提出的组装方法在组装过程中可有效避免超大型结构的横向运动,降低夹持力矩.最后,分析了系统参数对组装过程动力学响应的影响,为超大型航天器的在轨组装提供了参考.