简介:讨论了具有热储备和两个独立相同部件的平行系统在由常规错误引起失效下的渐进稳定性.首先,利用Banach空间的Volttera算子方程得到了非负动态解的存在唯一性;然后,利用强连续线性算子半群理论证明了系统正的动态解的存在唯一性,而由于初始值不在定义域内,故得到的是mild解.但在t>0时系统古典解存在唯一,所以此时mild解即为古典解.最后,利用线性算子半群稳定性的结果,证明了该动态解在范数意义下收敛到稳态解,进而得到了系统的渐进稳定性.
简介:研究了对于三车道的高速公路,自动驾驶汽车对混合交通流的通行能力及安全性的影响。引入变道欲望值、连续刹车率、空间速度方差和时间速度方差的概念,基于交通流元胞自动机模型,针对手动和自动驾驶2种汽车,建立了单向三车道的加减速和换道规则。选取6个评价参数,针对三车道模型,研究了随着自动驾驶汽车比例的增加,车道平均速度、平均速度的方差、交通密度、连续刹车率以及变道次数的变化情况。实验结果表明:在通行能力方面,当自动驾驶汽车的比例持续增加时,整个车道的平均速度、交通密度显著增加,从而大大提高了此交通网路中的通行能力;同时空间速度方差和时间速度方差会显著减少,说明整个交通流的平稳性增加了。在安全表现方面,当自动驾驶汽车的比例持续增加时,整个交通网路中的连续刹车率、变道次数先逐渐增加,然后逐渐减少,从而很好地刻画了安全性。最后分析了模型的优缺点,并指出了改进的方向。
简介:对算子T的Bishop性质(β)进行“局部化”,得到T的新的集值函数A(T),E1(T),E2(T),C1(T),Cx(T),并讨论它们之间的相互关系以及它们与T的谱结构的关系.借助这些新概念我们得到算子的可分解性与次可分解性的新的充要条件和谱特征.
简介:研究'右行左超车'规则在高速公路不同交通负荷下对通行能力及安全性的影响。引入超车欲望值及状态改变率的概念,基于交通流元胞自动机模型,建立了'右行左超车'规则下的单向双车道和三车道换道规则及相应的超车规则。选取5个评价参数,针对两车道模型,将'右行左超车'规则与无规则下的换道超车对交通效率与安全表现的影响进行对照试验。试验结果表明:在安全表现方面,低负荷状态下'右行左超车'规则较无规则情形要差,而在高负荷状态下,该规则较无规则情形好;在通行能力方面二者差别不大;试验结果还表明,无论是有规则还是无规则,提高车道的最大与最小限速不仅可以提升道路的通行能力,而且可以提升安全性。最后分析了模型的优缺点,并指出了改进的方向。
简介:利用对称内积的Schmidt正交化方法证明了各阶主子式不为零对称阵的LDLT分解.引入两个向量组关于弱内积广义正交的概念,并构造了将两组含相同个数向量的线性无关组化为广义正交组的广义Schmidt正交化方法.最后应用这一方法证明了各阶主子式不为零矩阵的LDU分解及一些相关的结果.