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

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

稳定分层湍流中逆梯度输运的关联分析研究

本文采用关联分析方法研究了稳定温度分层湍流中的结构特性、输运特性，以及热量、动量逆梯度输运现象的尺度效应及其参数演化．首先采用大涡模拟方法对稳定分层湍流中的结构特性和输运特性进行了分析，将逆梯度输运发生的时间尺度作为已知条件，结合关联量分析方法在波数空间中的解析解，对逆梯度输运现象的尺度效应进行了分析研究．结果发现，稳定分层强度较大的流动中发生垂向热量及动量逆梯度输运现象，发生的结构尺度与关联分析所发现垂向热量、动量逆梯度输运的波数形成了呼应．随着分层强度增加，热量、动量的输运强度均受抑制，与逆梯度输运关联的流场结构尺度减小，同样的效应也发生在流场结构向下游演化的过程中．     

一类具有边界层性质的二次奇摄动边值问题

研究了一类具有边界层性质的二次奇摄动边值问题.在相对较弱的条件下,用合成展开法构造出该问题的形式近似式,并应用改进的Harten不动点定理和逆算子定理证明解的存在性及其渐近性质.最后,将所研究的问题和结论推广到更一般的高次情形.     

电化学促进铱催化乙烯基C-H键官能团化高效合成α-吡喃酮

电化学有机合成技术在过去十年来蓬勃发展,越来越受到学术和企业界合成化学工作者的青睐[1-5].跟传统化学反应相比,它的优势是利用电流代替常规的化学氧化剂或还原剂来促进化学反应,同时通过电势的调节,实现独特的反应性和化学选择性.电化学和过渡金属协同催化的碳氢键官能团化修饰(C-Hfunctionalization),不仅有效避免底物的预官能团化,而且为逆合成分析提供了可能的新颖断键方法,日益成为一种更为绿色经济的反应类型[6].     

全相似保序变换半群H(SPO_n,r)的秩

设自然数n≥5,X_n={1,2,…,n},并赋予自然数的大小顺序,令H(SPO_n,r)=SPO_n∪L(n,r)(5≤n,2≤r≤n-3)是X_n上的全相似部分保序变换半群.得到全相似保序变换半群H(SPO_n,r)的秩为■.     

非线性科学中的对称性研究及其应用

自1990年宁波大学非线性科学课题组完成非线性系统对称性约化的第1个对称性专题研究以来, 宁波大学的非线性科学研究,特别是非线性系统的对称性研究成为一个特色, 引起了同行的广泛关注. 宁波大学非线性科学团队在对称性研究方面的主要进展有: 递推算子的因式化和逆递推算子及逆对称和逆可积梯队、形式级数对称法、非局域对称及其局域化、达布变换和非局域对称、条件对称和分离变量法、对称群直接法、群不变非线性系统分类、超对称和玻色化、留数对称、从对称性到达布变换、非局域对称的对称性约化和相容Riccati展开法、完备对称和可积性、大气和海洋系统中的对称性应用、离散对称和多地物理学、局域对称和非局域对称的对偶及可积系统的正梯队和负梯队的对偶等.     

Lamb波频域逆散射全聚焦成像方法研究

Lamb波因其传播距离远、衰减小常被用于板状结构的无损检测中,在基于Lamb波损伤检测的诸多成像技术中,全聚焦方法(Total Focus Method,TFM)方法因其成像分辨率高、信噪比高而受青睐。然而Lamb波的频散效应导致时域延时量不能被准确计算,进而影响传统TFM方法对损伤定位及成像的精度;此外,既有的TFM方法仅以回波幅值作为成像指标,忽略了Lamb波与损伤的相互作用,故而不能通过损伤表面的物理参数增强成像质量。针对这两个问题,本文首先在时域TFM基础上发展了频域TFM,在计算中纳入频散关系以规避频散的影响;其次以包含明确的损伤特征参数--反射率为成像指标,结合频域TFM方法建立损伤逆散射模型,以实现对损伤的准确成像。仿真和实验结果表明:频域逆散射TFM成像方法能够实现对铝板结构中的损伤检测,在工程实践中具有应用价值。     

非单C~*-代数α-比较性的等价刻画

给出非单C~*-代数α-比较性的等价刻画:当每个τ∈QT(■H)均为忠实时,■具有α-比较性,当且仅当对于任意的〈a〉,〈b〉∈Cu(■)且∝,若α·d_τ(a)≤在Cu(■)中成立;一般地,当QT(■H)≠Φ时,■具有α-比较性,当且仅当对于任意的,∈Cu(■),若存在η>0,使得d_τ(α)≤(α~(-1)-η)d_τ(b)(_τ∈QT(■H)),则≤在Cu(■)中成立.     

一类双曲型方程的Hamilton算子半群方法

将一类双曲型方程混合问题转换成一阶抽象Cauchy问题,证明所得Hamilton算子矩阵H在相应空间中生成压缩半群,并借助Fourier变换,采用一致连续半群做逼近的方法,得到H所生成的压缩半群,进而给出了问题的古典解.     

广义算子半群的PERRON问题

借助于广义算子半群和广义积分算子半群的关系,讨论广义算子半群的Perron型指数稳定性,研究了广义积分算子半群的渐近行为.