基于电化学老化衰退模型的锂离子动力电池外特性

当前锂离子动力电池电化学模型存在模型复杂、建模难度大、计算效率低、老化评估效果差的问题,本文提出一种考虑电池衰退老化的机理模型(ADME).本文首先通过有限差分法对伪二维(P2D)电化学模型进行离散降阶处理,得到简化伪二维(SP2D)模型.在SP2D模型的基础上,基于阴阳两极发生的副反应导致的衰退老化现象,提出一种考虑电池衰退老化的机理模型.其次,使用多变量偏差补偿最小二乘法实现模型参数辨识.最后通过动力电池衰退老化性能循环实验,对比分析了恒流、脉冲工况下SP2D模型和ADME模型的终端电压输出.结果表明:ADME模型较为简单、计算效率和估算精度高,可以有效评估电池容量老化衰退,得到理想的锂离子动力电池外特性曲线.     

离散型二维竞争系统中某群体消亡的条件

研究了离散型二维竞争系统的渐近稳定性,得到了这类竞争系统中各类平衡点的坐标及其性质,获得了系统在边界上的平衡点处渐近稳定的一系列充分条件.这些条件等价于该系统中的某个群体在竞争过程中消亡或被淘汰的相应条件.     

基于Kronecker型替换的黑盒多项式稀疏插值

本文基于新的Kronecker型替换,给出两个由黑盒表示的稀疏多项式的新确定性插值算法.令f∈R[x1,……,xn]是一个稀疏黑盒多项式,其次数上界为D.当R是C或者是有限域时,相对于已有算法,新算法具有更好的计算复杂度或者关于D的复杂度更低.特别地,对于一般黑盒模型,D是复杂度中的主要因素,而在所有的确定性算法中,本文的第二个算法的复杂度关于D是最低的.     

Pure tetrahedral quadruple systems with index two

An oriented tetrahedron defined on four vertices is a set of four cyclic triples with the property that any ordered pair of vertices is contained in exactly one of the cyclic triples. A tetrahedral quadruple system of order $n$ with index $\lambda$, denoted by ${\text{TQS}}_{\lambda }\left(n\right)$, is a pair $\left(X,\mathrm{?}\right)$, where $X$ is an $n$‐set and $\mathrm{?}$ is a set of oriented tetrahedra (blocks) such that every cyclic triple on $X$ is contained in exactly $\lambda$ members of $\mathrm{?}$. A ${\text{TQS}}_{\lambda }\left(n\right)$ is pure if there do not exist two blocks with the same vertex set. When $\lambda =1$, the spectrum of a pure TQS $\left(n\right)$ has been completely determined by Ji. In this paper, we show that there exists a pure ${\text{TQS}}_2\left(n\right)$ if and only if $n\equiv 1,2\left(\mathrm{mod}3\right)$ and $n\ge 7$. A corollary is that a simple ${\text{QS}}_4\left(n\right)$ also exists if and only if $n\equiv 1,2\left(\mathrm{mod}3\right)$ and $n\ge 7$.     

A Biosilification Fusion Protein for a ‘Self‐immobilising’ Sarcosine Oxidase Amperometric Enzyme Biosensor

Monomeric sarcosine oxidase (mSOx) fusion with the silaffin peptide, R5, designed previously for easy protein production in low resource areas, was used in a biosilification process to form an enzyme layer electrode biosensor. mSOx is a low activity enzyme (10–20 U/mg) requiring high amounts of enzyme to obtain an amperometric biosensor signal, in the clinically useful range <1 mM sarcosine, especially since the K_m is >10 mM. An amperometric biosensor model was fitted to experimental data to investigate dynamic range. mSOx constructs were designed with 6H (6×histidine) and R5 (silaffin) peptide tags and compared with native mSOx. Glutaraldehyde (GA) cross‐linked proteins retained ～5 % activity for mSOx and mSOx‐6H and only 0.5 % for mSOx‐R5. In contrast R5 catalysed biosilification on (3‐mercaptopropyl) trimethoxysilane (MPTMS) and tetramethyl orthosilicate (TMOS) particles created a ‘self‐immobilisation’ matrix retaining 40 % and 76 % activity respectively. The TMOS matrix produced a thick layer (>500 μm) on a glassy carbon electrode with a mediated current due to sarcosine in the clinical range for sarcosinemia (0–1 mM). The mSOx‐R5 fusion protein was also used to catalyse biosilification in the presence of creatinase and creatininase, entrapping all three enzymes. A mediated GC enzyme linked current was obtained with dynamic range available for creatinine determination of 0.1–2 mM for an enzyme layer ～800 nm.     

The Szegö kernel on a class of non-compact CR manifolds of high codimension

We generalize Nagel’s formula for the Szegö kernel and use it to compute the Szegö kernel on a class of non-compact CR manifolds whose tangent space decomposes into one complex direction and several totally real directions. We also discuss the control metric on these manifolds and relate it to the size of the Szegö kernel.     

A modern approach to the solution and analysis of the Simha-Somcynsky model for the description of pressure-volume-temperature properties of polymer fluids

We revisit the Simha-Somcynsky model of polymer fluids with the purpose of developing novel theoretical and computational approaches to simplify and speed up its solution as well as the fitting of experimental data, and decrease its level of mathematical complexity. We report a novel method that allows us to solve one of the two equations of the model exactly, thus putting the level of mathematical difficulty on a par with the one of other models for polymer fluids. Moreover, we describe a computational algorithm capable of fitting all five parameters of the model in an unbiased way. The results obtained reproduce literature results and fit experimental pressure-volume-temperature and solubility parameter data for three polymers very accurately. Moreover, the new techniques allow for the investigation of the model at very low temperatures. Unexpectedly, the model predicts behaviors that could be interpreted as a glass transition, as routinely observed in dilatometry and differential scanning calorimetry, and a glass phase. We compared the predicted and experimental T g’s for cis poly(1,4-butadiene) and found an excellent quantitative agreement.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

Effect of additive length and chemistry on the morphology of blends of conjugated thiophenes and fullerene derivative acceptor molecules

Small molecule additives have been shown to increase the device efficiency of conjugated polymer (donor) and fullerene derivative (acceptor) based organic solar cells by modifying the morphology of the device active layer. In this paper we conduct a systematic study of how additives affect the donor‐acceptor morphology using molecular dynamics simulations of blends of thiophene‐based oligomers, mimicking poly(3‐dodecylthiophene) (P3DDT) or poly(2,2′:5′,2”‐3,3”‐didocyl‐terthiophene) (PTTT), and fullerene derivatives with additives of varying length and chemical functionalization, mimicking experimentally used additives like methyl ester additives, diiodooctane, and alkanedithiols. We find that functionalization of additives with end groups that are attracted to acceptor molecules are necessary to induce increased donor‐acceptor macrophase separation. In blends where acceptors intercalate between oligomer alkyl side chains, functionalized additives decrease acceptor intercalation. Functionalized additives with shorter alkyl segments increase acceptor macrophase separation more than additives with same chemical functionalization but longer alkyl segments. © 2015 Wiley Periodicals, Inc. J. Polym. Sci., Part B: Polym. Phys. 2015 , 53, 1046–1057