理想单子在非标准饱和模型下的若干应用

通过利用非标准分析中的饱和模型,对其中的理想进行了讨论,从而得到了理想的非标准特征,并进一步利用这一特征证明了单子论中的一些相关定理．     

关于完全C~*置换子群

设H≤G,称H为G的完全C*置换子群,如果对G的任意素数幂阶子群K,恒有x∈〈H,K〉,使得HKx=KxH.本文利用素数幂阶子群的完全C*置换性给出了一个群属于给定群系的的若干充要条件.     

内函数逼近定理及上溢原理的推广及应用

在κ-饱和的非标准模型中,首先推广了内函数逼近定理,并用这一推广定理证明了著名的A sco li定理;其次将上(下)溢原理推广到一般的定向集上,并证明了拓扑空间中单子的一些性质,给出了无穷小延伸定理的一个简单证明.     

水面舰队建立最佳防空编队的数学模型

防空反导是水面舰艇编队最重要的任务之一,我国南海海域辽阔,水面舰艇执行外围岛礁附近海域巡航任务时,往往超出了空中掩护的作战半径,需要自身的对空防御,这时,水面舰艇的编队阵型至关重要.同时,空中目标意图识别是战场态势分析的一个重要部分.以我海军在南海某开阔海域巡逻的水面舰艇编队为例,探究了最佳编队队形的数学模型,并根据所提供的战场空中目标信息,判断目标可能的意图,为威胁判断、火力分配和抗击来袭目标奠定基础.     

一类具有饱和感染率和胞内时滞的病毒感染模型的稳定性和Hopf分支

本文研究一类具有饱和感染率以及胞内时滞的病毒感染模型.通过计算,得到模型的基本再生数.通过构造适当的Lyapunov函数,利用La Salle不变原理,证明当基本再生数小于1时,未感染平衡点是全局渐近稳定的;当基本再生数大于1时,得到病毒感染平衡点全局渐近稳定的充分条件.利用分支理论,证明当τ=τ~*时,系统在病毒感染平衡点处存在Hopf分支.     

三水平超饱和设计的构造及性质

超饱和设计是一类重要的部分因析设计,因其在因子筛选试验中有重要作用而受到广泛关注.文章基于水平置换方式并对设计进行倍扩的方法,实现由规模较小且性质优良的设计来构造超饱和设计,并分别在E(f_NOD),广义最小低价混杂和最小矩混杂等准则下讨论了所构造的超饱和设计的优良性质.最后,数值例子的结果验证了文章的理论结果.     

不同能量质子辐照诱发CCD图像传感器性能退化实验与分析

为了评估电荷耦合器件(CCD)在空间科学探测以及航天卫星成像等空间辐射环境中应用的可靠性,揭示了CCD转换增益以及线性饱和输出等重要性能参数的退化机制及其实验规律。辐照实验在质子回旋加速器上进行,质子能量为60 MeV和100 MeV,质子注量分别为1×10¹⁰ cm^-2、5×10¹⁰ cm^-2和1×10¹¹ cm^-2。将CCD的主要性能参数在两个不同能量质子辐照后进行比较,实验结果表明,CCD的性能参数对质子辐照产生的电离损伤和位移损伤非常敏感,辐照后转换增益和线性饱和输出明显下降,且暗信号尖峰和暗电流明显增大。此外,分析了质子辐照CCD诱发的电离损伤和位移损伤,给出了CCD性能参数退化与质子辐照能量和注量的变化关系曲线。     

考虑CTL免疫饱和作用及自我增殖的HIV模型的性态分析

建立了具有CTL免疫饱和作用及自我增殖的病毒动力学模型,通过构造Lyapunov函数,得到了模型的全局稳定性.特别地,当CTL自我增殖率比较大时,如果基本再生数小于阈值,无感染但免疫激活平衡点始终存在且全局渐近稳定,这意味着在HIV感染中虽然病毒被清除,但免疫效应始终存在.而当CTL自我增殖率不足时,免疫饱和效应可能导致免疫功能受到抑制.进一步通过数值模拟发现,忽略免疫饱和作用会过高估计免疫效应.     

线性散焦PT对称波导中饱和非线性孤子传输与控制

为了研究线性散焦宇称-时间对称双通道波导中分数阶衍射饱和非线性下孤子的模式以及孤子的传输与控制,通过改进的平方算子迭代法对含有线性势的分数阶饱和非线性薛定谔方程进行数值计算得到孤子模式,傅里叶配置法判断孤子线性稳定性,并利用分步傅里叶法模拟仿真孤子的传输。研究结果表明：在散焦饱和非线性中,该宇称-时间对称波导可支持稳定的双峰灰孤子模式。随着饱和非线性系数和传播常数绝对值的增大,双峰灰孤子的背景强度增大,灰度值减小,功率增大。Lévy指数、增益/损耗系数和饱和非线性系数的增加会导致孤子的横向能流密度变化增大,但在波导通道位置处接近于0。在聚焦饱和非线性下,线性散焦宇称-时间对称波导对亮孤子光束具有控制作用。当光束在波导中心输入,孤子以呼吸子的形式长距离传输;在非波导中心输入,光束以初始输入位置为边界振荡传输。随着饱和非线性系数的增大,光束的振荡频率增加,光束宽度变宽,峰值强度减小。宇称-时间对称波导势阱深度的增加会导致光束的振荡频率增加,峰值强度增加。该研究结果可为宇称-时间对称波导对光束的控制提供一定的理论参考。