Diffusion Model of a Non-Integer Order PIγ Controller with TCP/UDP Streams

In this article, a way to employ the diffusion approximation to model interplay between TCP and UDP flows is presented. In order to control traffic congestion, an environment of IP routers applying AQM (Active Queue Management) algorithms has been introduced. Furthermore, the impact of the fractional controller PIγ and its parameters on the transport protocols is investigated. The controller has been elaborated in accordance with the control theory. The TCP and UDP flows are transmitted simultaneously and are mutually independent. Only the TCP is controlled by the AQM algorithm. Our diffusion model allows a single TCP or UDP flow to start or end at any time, which distinguishes it from those previously described in the literature.     

基于Rietveld精修方法解析Bi2O3的原子热振动

三氧化二铋(Bi₂O₃)是氧离子导电体,为了获得它的原子热振动各向同性温度因子,对该粉末晶体进行X射线衍射实验,建立了晶体结构模型,利用Rietveld 精修方法的RIETAN-2000 程序对所得实验结果进行了晶体结构精修,通过最大熵方法(MEM)解析得到了粉末晶体的等高电子密度分布三维(3D) 和二维(2D)可视化图谱。结果表明,各原子Bi₍₁₎、Bi₍₂₎、O₍₁₎、O₍₂₎和O₍₃₎的原子热振动各向同性温度因子分别为0.004 938 nm²、0.004 174 nm²、0.007 344 nm²、0.007 462 nm²、和0.007 857 nm²,等高电子密度分布的可视化,进一步验证了晶体结构模型和原子位置的准确性,这些参数对研究晶体材料的热性质具有一定参考意义。     

极大3限制边连通二部图的充分条件

设G=(V,E)是一个连通图.称一个边集合S■E是一个k限制边割,如果G-S的每个连通分支至少有k个顶点.称G的所有k限制边割中所含边数最少的边割的基数为G的k限制边连通度,记为λ_k(G).定义ξ_k(G)=min{[X,■]:|X|=k,G[X]连通,■=V(G)\X}.称图G是极大k限制边连通的,如果λ_k(G)=ξ_k(G).本文给出了围长为g>6的极大3限制边连通二部图的充分条件.     

广义神经传播方程的整体吸引子

使用Galerkin方法,结合Sobolev空间理论和不等式技巧,给出了广义神经传播方程解的存在唯一性定理,然后利用吸引子存在性定理,采用半群方法证明了方程整体吸引子的存在性.     

单面柱局域共振声子晶体低频带隙特性分析及结构改进研究

基于有限元法对单面柱局域共振声子晶体进行带隙特性分析,研究了结构参数对该类型声子晶体的影响。结果表明:随着散射体高度的增加,单面柱声子晶体的第一完全带隙的起始频率逐渐降低,带宽逐渐增大;随着基板厚度的增大,单面柱声子晶体的起始频率逐渐升高,截止频率先增大后减小。并且在经典单面柱声子晶体的基础上,组合了两种新型的三组元单面柱声子晶体结构:嵌入式单面柱声子晶体(以下简称结构Ⅰ)和粘接式单面柱声子晶体(以下简称结构Ⅱ)。通过对其带隙特性的分析得出:这两种新结构与经典的单面柱声子晶体相比,都具有更低频的带隙,这对于低频减振降噪是非常有利的。本文的结果将对实际的工程应用提供一定的理论指导。     

基于级联PPMgLN晶体的双倍/三倍频双波长激光器

本文演示了紧凑的绿色和近红外双色连续波激光光源,其发射波长分别为516 nm和775 nm。设计并制造了级联的周期性极化掺镁铌酸锂晶体,用于同时转换通信波长的二次谐波(SHG)和三次谐波(THG),可以在相同温度下获得绿色和近红外激光的输出。通过建立一个单程激光测量系统,在2 W泵浦功率下获得516 nm的0.15 mW绿光和775 nm的1.19 mW的光,晶体温度控制在30.8 ℃。实验结果将为单激光器泵浦的紧凑型双波长共线激光器提供重要的案例。     

Sc、Ce掺杂CrSi2的电子结构与光学性质的第一性原理

采用基于密度泛函理论的第一性原理赝势平面波方法对Sc、Ce单掺和共掺后CrSi₂的几何结构、电子结构、复介电函数、吸收系数和光电导率进行了计算。结果表明:Sc、Ce掺杂CrSi₂的晶格常数增大,带隙变小。本征CrSi₂的带隙为0.386 eV,Sc、Ce单掺及共掺CrSi₂的禁带宽度分别减小至0.245 eV、0.232 eV、0.198 eV,费米能级均向低能区移动进入价带。由于Sc的3d态电子和Ce的4f态电子的影响,Sc、Ce掺杂的CrSi₂在导带下方出现了杂质能级。掺杂后的CrSi₂介电函数虚部第一介电峰峰值增加且向低能方向移动,说明Sc、Ce掺杂使得CrSi₂在低能区的光跃迁强度增强,Sc-Ce共掺时更明显。Sc、Ce掺杂的CrSi₂吸收边在低能方向发生红移,在能量大于21.6 eV特别是在位于31.3 eV的较高能量附近,本征CrSi₂几乎不吸收光子,Sc单掺和Sc-Ce共掺CrSi₂吸收光子的能力有所增强,并在E=31.3 eV附近形成了第二吸收峰。说明掺杂Sc、Ce改善了CrSi₂对红外和较高能区光子的吸收。在小于3.91 eV的低能区掺杂后的CrSi₂光电导率增加。在20.01 eV<E<34.21 eV时,本征CrSi₂光电导率为零,但Sc、Ce掺杂后的体系不为零,掺杂拓宽了CrSi₂的光响应范围。研究结果为CrSi₂基光电器件的应用与设计提供了理论依据。     

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.