概率 Bressan-Colombo连接选择定理 多值微分方程 排队论问题 数学模型 文氏图 边值问题 概率论学习 存在性 微分包含 不动点定理 事件关系 障碍带条件 Schauder不动点定理