计算树相关论文
模型检测是一种形式化的验证技术,它以数学理论为基础,自动化的确保整个被验证系统的正确性和可靠性。但是经典的模型检测在建模检......
基于不完全泛函迭代,设计一个均值场区间传播算法,可给出变量期望界.首先,定义Ising均值场计算树模型来表示Ising均值场迭代计算过......
提出一种大规模交直流互联电力系统潮流分区并行算法．该方法按AC／DC电力系统的互联特性，通过区域电网间的AC／DC联络线对电网进行划分，建......
