搜索结果: 1-4 共查到“计算机科学技术 OBDD”相关记录4条 . 查询时间(0.078 秒)
用改进的OBDD方法计算通信网可靠度
通信网 网络可靠度 共因失效 有序二叉判定图
2010/3/30
提出一种改进的OBDD（ordered binary decision diagram）方法来计算通信网可靠度。该方法考虑了网络共因失效带来的部件故障，使得计算更加准确。在创建原始网络的OBDD结构后，根据共因变量集来计算网络可靠度。由于只创建并保存一个OBDD结构，可节省大量的计算时间和存储空间。实验证明,该方法能有效计算网络可靠度，其计算时间和存储空间要低于一般的OBDD方法。
利用OBDD编码的快速二值图算法
有序二元判定图 二值图 集合运算
2009/11/4
对利用有序二元判定图OBDD编码二值图像进行了研究，该方法可以节约大量的空间，并在此基础上，提出了各种二值图的算法，包括解码和集合运算（并、交、差、对称差、包含和互补）。实验结果表明这种基于OBDD编码的方法比现有的二值图编码方法效率更高。
基于OBDD的SMC中PRE操作的改进算法
排序二值判定图 符号模型检测 PRE
2009/7/31
提出一种基于排序二值判定图(OBDD)的符号模型检测中PRE操作的改进算法。该算法处理PRE步骤3(嵌套布尔存在量化)的方法是一次遍历“删除”所有被量化变量的节点，产生表示布尔函数与嵌套存在量化结果等价的不确定排序二值判定图，把不确定排序二值判定图转换成OBDD。实验表明，该算法能有效缩短计算时间，减少中间节点所需空间。
基于重量分析的OBDD变量排序算法
2007/12/28
有序的二叉判决图(OBDD)是布尔表达式的一种有效表示方法,但它的体积对变量排序具有较强的依赖性.本文提出一种电路结构图,并在此基础上定义了原始输入重量和节点重量等参数,并建立了用重量分析来指导的OBDD变量排序算法. 由于从考虑变量对输出函数的影响出发与从考虑OBDD节点共享性出发对变量排序的要求不同,本文分别设计了两类算法.实验结果表明,本文对大多数标准电路变量排序的效果都优于国际上的同类算法...