扩散方程的具有振动边值的Dirichlet问题

令(D)表示d 1维欧氏空间Rd的有界子集.利用概率方法和时空布朗运动,对(D)上如下扩散方程1/2△u(x(t)) q(x(t))u(x(t))=()/()u(x(t)),x(t)∈(D)的随机Dirichlet问题进行了推广,其中q是给定的定义在(D)上的有界H(o)lder连续函数.证明了上述扩散方程具有振动边值的Dirichlet问题的存在性.     

具有储能功能的聚氨酯固-固相变材料的研究

以高分子量聚乙二醇(PEG)为软段,4,4′-二苯基甲烷二异氰酸酯(MD I)、1,4-丁二醇(BDO)为硬段,采用两步溶液法合成了一种具有固-固相变储能性能的聚氨酯材料,通过差示扫描量热仪(DSC)、热重分析仪(TGA)、广角X射线衍射仪(WAXD)、偏光显微镜(POM)等手段分析了该材料的形态结构和相变行为,并对其储能机理进行了初步探讨。结果表明:该聚氨酯型相变材料具有良好的储热性能,相变焓较大,相变温度适中,热性能稳定,相变过程中不产生液体,其相变实质是聚氨酯软段PEG由结晶固态转变为非晶固态的过程。     

具分段常数微分方程零解的全局吸引性

考虑具分段常数微分方程x′(t)=r(t)f(x([t])),t 0,其中r(t)非负连续,f有下界且具有负Schwarz导数,f∈C3(R,R),xf(x)<0当x≠0,f′(0)<0,[.]表示最大整数函数,证明了当-f′(0)n∫+1nr(s)ds≤2且∞∫0r(s)ds=∞时,方程的零解是全局吸引的.     

基于邻域搜索JADE的二维Otsu多阈值图像分割

为进一步提高分割精度并加快分割速度,提出了一种基于邻域搜索可选外部存档自适应差分进行算法(简称为JADE-GL)的二维Otsu多阈值图像分割方案。首先,针对原始JADE算法精英突变策略收敛速度慢、容易陷入局部最优等问题,提出了基于邻域半径搜索的改进突变策略,以提升算法的全局探索和开发能力。然后,将所提算法与现有分割方法以及其他JADE变种算法进行二维Otsu多阈值分割对比实验。最后,通过函数收敛曲线、分割距离测度、峰值信噪比(peak signal to noise ratio, PSNR)等指标定量分析算法的性能。实验结果表明,随着阈值数增加,提出的算法无论在收敛速度、分割精度还是分割图像效果上都有显著提升。     

双时相影像联合不确定性对变化检测精度的影响机理探索

研究了双时相影像的联合不确定性对变化检测结果精度的影响机理,为通过抑制不确定性的方法提高变化检测精度的工作奠定理论基础.首先利用联合熵对双时相影像的联合不确定性进行量化评估;进而基于空间统计相关方法,研究影像的联合不确定性与双时相影像变化检测精度指标之间的关系;最后建立双时相影像联合不确定性对变化检测结果精度的作用模型.实验结果表明：双时相影像的联合不确定性与变化检测结果的精度之间呈现出强负相关性,且对变化检测结果精度的影响模式具有线性特征.     

净浆裹石工艺在配制高强混凝土中的应用研究

采用普通原材料和净浆裹石工艺,通过正交设计试验研究,配制了强度为80 M Pa的高强混凝土,给出了优选配比。试验结果表明:净浆裹石搅拌工艺可以改善界面过渡区结构,提高混凝土的强度和耐久性。     

时变脉冲微分方程初值问题解的存在性

首先给出了脉冲微分方程初值问题的解与相对应的常微分方程初值问题的解之间的关系,然后利用常微分方程理论讨论了一类时变脉冲微分方程初值问题,并在相对较弱的条件下建立了解的存在性定理,所得解允许和某些Sk相遇多次,推广了相关问题的已有结果.     

基于注意力机制的红外小目标检测方法

针对红外小目标占用像素较少、背景相似性强、网络容易受到背景杂波信息干扰的问题,提出了一种基于注意力机制的红外小目标检测方法。利用注意力机制模块抑制背景杂波,增强小目标特征,并使用红外小目标检测模块实现检测任务;为了增强网络鲁棒性,通过高斯噪声与原图通道堆叠输入的数据增强方式提升网络抗杂波干扰的能力。实验表明,提出的方法在MDvsFA数据集中的性能超过了目前最新的对比算法。     

饱和消费者的经济均衡存在定理

研究当消费者处于饱和状态时经济均衡的存在性问题,利用角谷不动点定理,给出了一个均衡存在性定理.     

一种匿名代理签名方案的标记

Fu-Kou-Xiao提出了一种匿名代理签名方案,其特点在于：用户的真实身份隐藏在原始签名人颁发的一个假名中;匿名性撤销时不需要可信第3方的参与.对该方案进行分析发现,原始签名人可以滥用代理授权,代理签名人也能够对自己所生成的有效代理签名进行事后否认,即不满足代理签名权力的不可滥用性和不可否认性.