根据机械装配序列推理的特点,对PADL-2提供的CAD模型数据进行简化处理,再结合有序二叉决策图(OBDD-O rdered B inary D ec is ion D iagram),建立了一种新的装配体模型。基于此模型,可以通过一系列的OBDD符号运算完成装配操作的可行性判...根据机械装配序列推理的特点,对PADL-2提供的CAD模型数据进行简化处理,再结合有序二叉决策图(OBDD-O rdered B inary D ec is ion D iagram),建立了一种新的装配体模型。基于此模型,可以通过一系列的OBDD符号运算完成装配操作的可行性判断,从而实现了装配序列的推理。这种推理方法容易实现计算机化和自动化,是对文献[6]中推理方法的一种改进。通过对实例的实现和分析证明了该方法是切实可行的。展开更多
The properties of the paths in an ROBDD representation of a Boolean function are presented and proved in the present paper, and the applications of ROBDD in calculating signal probability are also discussed. By this m...The properties of the paths in an ROBDD representation of a Boolean function are presented and proved in the present paper, and the applications of ROBDD in calculating signal probability are also discussed. By this method, the troublesome calculation of the correlation among the nodes, which is caused by the re-convergent fan-out in digital system, can be avoided and power estimation can be faster than simulation-based method in [1].展开更多
文摘根据机械装配序列推理的特点,对PADL-2提供的CAD模型数据进行简化处理,再结合有序二叉决策图(OBDD-O rdered B inary D ec is ion D iagram),建立了一种新的装配体模型。基于此模型,可以通过一系列的OBDD符号运算完成装配操作的可行性判断,从而实现了装配序列的推理。这种推理方法容易实现计算机化和自动化,是对文献[6]中推理方法的一种改进。通过对实例的实现和分析证明了该方法是切实可行的。
文摘The properties of the paths in an ROBDD representation of a Boolean function are presented and proved in the present paper, and the applications of ROBDD in calculating signal probability are also discussed. By this method, the troublesome calculation of the correlation among the nodes, which is caused by the re-convergent fan-out in digital system, can be avoided and power estimation can be faster than simulation-based method in [1].
