简介:讨论了具有热储备和两个独立相同部件的平行系统在由常规错误引起失效下的渐进稳定性.首先,利用Banach空间的Volttera算子方程得到了非负动态解的存在唯一性;然后,利用强连续线性算子半群理论证明了系统正的动态解的存在唯一性,而由于初始值不在定义域内,故得到的是mild解.但在t>0时系统古典解存在唯一,所以此时mild解即为古典解.最后,利用线性算子半群稳定性的结果,证明了该动态解在范数意义下收敛到稳态解,进而得到了系统的渐进稳定性.
简介:国内外许多学者认为,数学是有别于自然科学和社会科学的独立科学形式。本文主要参考《古今数学思想》[1]和《数学史教程》[2],从历史与哲学的角度探讨数学成为独立科学形式的主要根源。通过考证发现,数学成为独立科学形式的主要根源在于历史上三次重大的哲学思潮,它们导致了纯粹数学研究与背景问题(学科)研究的一次融合和三次重大分离,即:(1)毕达哥拉斯的'万物皆数'的哲学思想导致了第一次分离,形成古希腊抽象数学体系;(2)随着'文艺复兴'时期古希腊文明的复苏,数学和背景问题(学科)研究开始强大融合,并逐步被笛卡尔、伽利略以及后来的牛顿和莱布尼茨的'科学的本质是数学'的哲学思想所主宰,导致了
简介:研究一类失效状态为吸收状态及重试率为常数的M^[X]/M/1排队模型的主算子在左半实轴上的特征值,证明:当顾客的到达率λ,服务员的服务率v,服务员的服务完成率b,顾客的重试率α满足一定的条件时,-α是该主算子的几何重数为1的特征值.