新可调谐超短脉冲OPA OPerA-TOPAS-White

Coherent（相干）公司（www．coherent．com．cn）推出新的非共线光参量放大器（NOPA）OPerA^TMTM-TOPAS-White，可以从紫外到近红外连续调谐．即使采用脉冲宽度超过100fs的钛宝石超快放大器泵浦，非共线设计使OPerA-TOPAS-White仍然能够输出25fs以下的超短激光脉冲．相比之下，采用传统OPA获得超短脉冲需要更复杂而且更昂贵的超短卖出放大器系统泵浦．     

Massera定理的拓广

考虑纯量周期系统x=f(t,x),其中f:R×R→R连续,f(t+ω,x)=f(t,x),ω>0.Massera曾证明,若该系统的解满足唯一性,且存在一正向有界解,则系统存在一个ω-周期解。本文证明了Massera定理中关于解的唯一性的要求可以去掉,从而改进了该定理。     

抽象半线性发展方程正周期解的存在唯一性

讨论有序Banach空间E中半线性发展方程 u′(t)+Au(t)=f(t,u(t)),t∈R, ω-周期解的存在性,其中A为E中正C0-半群的生成元,f:R×E→E连续,关于t 以ω为周期．我们对相应的线性发展方程建立了周期解的存在唯一性,并对周期解算子的谱半径作了精确估计．借助于这个估计,我们用单调迭代方法获得了半线性发展方程正ω-周期解的存在唯一性．     

随机配置问题的概率分析

假设(ti,j)1≤i,j≤n是一个n×n的具有独立同分布,参数为1的指数费用矩阵.考虑最优配置费用Ane=:minπsumfromi=1ton=1ti,π(i),其中π=(π(1),…,π(n))为1,2,…,n的排列.本文目的是对最近关于平均最优配置费用EAne的研究进展作些评论,特别关注Aldous的目标方法和局部弱收敛性,以及著名的Parisi猜想和证明.文章结尾包含了一些尚未解决的问题,值得进一步研究.     

一类拟线性两点边值问题的存在唯一性

本文在f(t,x),f_x(t,x),η(t)连续,f_x(t,x)≥-η(t),η(t)≤π~2+A~2/4,η(t)π~2+A~2/4条件下,证明了拟线性两点边值问题 x″=Ax′+f(t,x),x(0)=α,x(1)=β, 对于任给实数A,α,β都有唯一解。     

某些正则p-群的分类及其应用

给出了型不变量为(e,1,1,1) (e≥2)和 (1,1,1,1,1)的正则p-群的分类, 并由此给出了p⁵ (p≥5且p为奇素数)阶群的分类.     

某些正则p-群的分类和应用

给出了型不变量为(e,1,1,1)(e≥2)和(1,1,1,1,1)的正则p-群的分类,并由此给出了p5(p≥5且p为奇素数)阶群的分类.     

分数Brown运动驱动的随机延迟微分方程解的存在唯一性

研究了Hirst参数H＞1/2分数Brown运动驱动的随机延迟微分方程(SDDE).随机积分如Duncan et al.[9]所定义的Wick-It(o)型随机积分,在系数具有充分正则性条件下,证明了随机延迟微分方程解的存在唯一性,其中利用了Malliavin φ-导数及随机分析.     

参数化滤波器逼近问题的棱柱算法

本文基于多胞形上D.C.函数的棱柱算法,给出了一维参数化小波滤波器逼近问题的一种算法.     

k/N:G冗余表决系统的渐近稳定性

分析了带有修理设备和多重致命及非致命操作故障的k／N(G)冗余表决系统的渐近稳定性．用该系统算子生成的正定C-半群证明了系统非负时间依赖解的存在唯一性．同时通过对系统算子谱点分布的分析，证明了本征值0对应的本征向量恰好是系统的静态解，并且，0是虚轴上系统算子唯一的谱点，从而证明了系统的渐近稳定性．