半群的拟紧性和不可约性

利用算子半群生成元的边界扰动方法,给出了Banach格上C0半群的拟紧性和不可约性的充分条件.并利用该结果对一串联可修复系统的拟紧性和不可约性进行了研究.     

随机选择修理工的可修复系统指数稳定性分析

讨论了一个随机选择修理工的可修复系统解的指数稳定性,首先通过对积分微分方程组描述的可修复系统生成的系统算子的本质谱的增长性约束和扰动后本质谱半径的变化情况进行分析,进而得到了可修复系统解的指数稳定性.     

M/G/1排队论系统的渐近稳定性

通过M/G/1算子的谱分析得到了M/G/1排队论系统的渐近稳定性.首先,将系统方程转化为某一合适Banach空间上的抽象Cauchy闻题,从而引入M/G/1算子.其次,分析了M/G/1算子的谱分布,得到了0是M/G/1算子的简单本征值且M/G/1算子的谱分布在左半平面的结果.最后,利用谱分析结果和算子半群理论得到了M/...     

常规故障和定期维修的冗余系统的指数稳定性

利用C_0-半群理论证明了具有常规故障和定期维修的冗余系统非负解的存在唯一性,并研究了相应算子的谱特征,通过分析本质谱界经过紧扰动后的变化,得到系统动态解以指数形式收敛于稳态解.     

四元数矩阵实表示的基本性质及应用

在四元数实矩阵表示的基础上,给出了四元数矩阵的相同表示,利用友向量的概念,给出了这种实表示的性质,并进一步研究了四元数力学中的系列数值计算问题.     

带有p-Laplacian算子模型的分数阶四点边值问题正解的存在性

研究了一类带有p-Laplacian算子的分数阶微分方程四点边值问题,利用不动点定理,得到了该边值问题至少存在一个正解的充分条件.     

具有四类故障可修系统解的存在惟一性

研究了具有四类故障且有两个热备器 (Warm Standby)的可修系统模型 .首先对用微分——积分方程描述的模型转换为 6维空间的积分方程形式 ,运用泛函分析 Banach空间下的算子理论 ,证明了此系统非负解的存在惟一性     

波网络系统的适定性和正则性

研究了一波网络系统,在此网络的两个外部节点处施加控制并放置同位观测器,通过选择合适状态空间,将系统方程转化为抽象线性系统的形式.利用能量乘子法验证观测算子是允许的,通过对偶性原理得到控制算子也是允许的.求出传递函数后并验证传递函数在某个右半平面一致有界,从而说明系统是适定的,再求出传递函数在实轴上正方向的无穷远处的极限,找到直接传输算子,进而说明系统的正则性.     

Detection efficiency characteristics of free-running In Ga As/In P single photon detector using passive quenching active reset IC

In Ga As/In P avalanche photodiodes(APD) are rarely used in a free-running regime for near-infrared single photon detection. In order to overcome the detrimental afterpulsing, we demonstrate a passive quenching active reset integrated circuit. Taking advantage of the inherent fast passive quenching process and active reset to reduce reset time, the integrated circuit is useful for reducing afterpulses and is also area-efficient. We investigate the free-running single photon detector's afterpulsing effect, de-trapping time, dark count rate, and photon detection efficiency, and also compare with gated regime operation. After correction for deadtime and afterpulse, we find that the passive quenching active reset free-running single photon detector's performance is consistent with gated operation.     

带有黏性阻尼的波动方程的一致指数镇定和状态重构

通过有限时间的输出观测信息,以向前-向后观测器为基础的时间反转法可以用于无穷维能量守恒系统的状态重构.本文利用Lyapunov函数法将上述结果推广到具有一般黏性和边界观测的一维波动方程,给出上述方法的数值逼近格式和收敛于初值的迭代序列.对于任何初始猜想值,迭代序列都强收敛到初值,进而实现状态重构的数值逼近.其中在状态重构的数值逼近的时间反转法中,离散系统和向前观测系统的误差系统的一致指数稳定性(关于离散步长)具有重要作用,因而先讨论相关系统的一致指数稳定性.本文通过将port-Hamilton理论和有限差分格式相结合,得到一种降阶型差分格式,利用与连续系统同样的验证方法得到离散系统的一致指数稳定性.