计算树相关论文
针对当前矿山网络软硬件设备种类繁多、制式复杂、资源共享率低,网络升级改造困难,因上下行传输带宽受限、服务总时延过长而导致垂......
模型检测是一种形式化的验证技术,它以数学理论为基础,自动化的确保整个被验证系统的正确性和可靠性。但是经典的模型检测在建模检......
基于不完全泛函迭代,设计一个均值场区间传播算法,可给出变量期望界.首先,定义Ising均值场计算树模型来表示Ising均值场迭代计算过......
提出一种大规模交直流互联电力系统潮流分区并行算法.该方法按AC/DC电力系统的互联特性,通过区域电网间的AC/DC联络线对电网进行划分,建......
本文深入研究了基于YH-F2系统的算术表达式的并行计算特点,提出了嵌套层次树的概念和相应的计算模式。这种模式充分利用YH-F2系统的并行计算能......