考虑动态特性计算时变网络的可靠性，对于如空间网络、车载自组网络及无人机网络等随时间变化的网络至关重要。这些网络通过时态图建模，其中每条边标注了存在的时间点。时变网络可靠性定义为从源顶点到目标顶点传输数据包的概率，遵循时间标签递增的路径（即旅程），同时考虑网络链路失效的可能性。目前，计算该可靠性的现有方法涉及显式枚举源顶点到目标顶点的所有可能旅程，然后利用不相交积求和法计算可靠性，但其计算复杂度较高。相比之下，已有针对拓扑不变网络可靠性的高效算法基于二元决策图（BDD）进行评估。本文提出了一种基于BDD的高效精确算法，用于计算时变网络可靠性。实验结果表明，所提方法在计算速度上比现有方法快四个数量级。

Computing the reliability of a time-varying network, taking into account its dynamic nature, is crucial for networks that change over time, such as space networks, vehicular ad-hoc networks, and drone networks. These networks are modeled using temporal graphs, in which each edge is labeled with a time indicating its existence at a specific point in time. The time-varying network reliability is defined as the probability that a data packet from the source vertex can reach the terminal vertex, following links with increasing time labels (i.e., a journey), while taking into account the possibility of network link failures. Currently, the existing method for calculating this reliability involves explicitly enumerating all possible journeys between the source and terminal vertices and then calculating the reliability using the sum of disjoint products method. However, this method has high computational complexity. In contrast, there is an efficient algorithm that uses binary decision diagrams (BDDs) to evaluate the reliability of a network whose topology does not change over time. This paper presents an efficient exact algorithm that utilizes BDDs for computing the time-varying network reliability. Experimental results show that the proposed method runs faster than the existing method up to four orders of magnitude.