有序二叉决策图论文

基于符号OBDD的子图同构约束求解算法第357-362页

关键词: 子图同构约束满足问题有序二叉决策图弧一致性

2019年第05期《桂林电子科技大学学报》

基于OBDD的信号处理任务智能加卸载算法第225-233页

关键词: 动态加载智能切换软硬件资源模型参数定义字典规则库有序二叉决策图

2019年第11期《计算机工程》

基于二叉决策图的状态组合爆炸问题并行求解方法第184-185页

关键词: 组合优化布尔函数有序二叉决策图

2018年第17期《电子技术与软件工程》

基于SAT和BDD的频繁序列挖掘技术第137-142页

关键词: 布尔可满足性有序二叉决策图频繁序列挖掘

2018年第02期《广西科学院学报》

一类Petri网调度问题的符号求解技术第148-150页

关键词: petri网调度可达性离散事件系统

2005年第Z1期《系统仿真学报》

利用符号OBDD-LIST设计批处理包过滤防火墙第1013-1016页

关键词: 包过滤 binary decision 批处理

2017年第05期《小型微型计算机系统》

有序二叉决策图在防火墙规则库设计中的应用第77-80页

关键词: 布尔函数有序二叉决策图防火墙规则库规则匹配

2006年第01期《武汉大学学报·理学版》

最快路径问题下的网络可靠度OBDD算法第2032-2036页

关键词: 网络可靠度有序二叉决策图最快路径问题容量时延

2016年第08期《计算机工程与设计》

基于有序二叉决策图的装配序列符号表示方法第1315-1320页

关键词: 装配规划装配序列表示与或图有序二叉决策图

2007年第10期《计算机辅助设计与图形学学报》

赋时Petri网的一种符号分析算法第181-186页

关键词: 赋时位置petri网有序二叉决策图符号算法可达集

2006年第03期《桂林电子科技大学学报》

一种基于熵的OBDD变量排序算法第216-219页

关键词: 有序二叉决策图变量序熵

2007年第02期《计算机科学》

基于OBDD的有向图的存储与操作研究第283-285页

关键词: 数据结构存储结构

2007年第08期《计算机科学》

柔性制造系统中生产调度问题求解的一种符号算法第338-344页

关键词: 赋时petri网柔性制造系统调度有序二叉决策图符号算法

2007年第02期《计算机集成制造系统》

基于OBDD的拆卸几何可行性判别方法研究第3302-3305页

关键词: 拆卸几何可行性割集有序二叉决策图时间复杂度

2007年第14期《计算机工程与设计》

基于OBDD的灰度图像无损压缩算法第5674-5676页

关键词: 图像压缩无损压缩灰度图像位平面编码有序二叉决策图

2007年第23期《计算机工程与设计》

提高产品装配联接图分解效率的算法研究第50-55页

关键词: 装配规划算法割集有序二叉决策图

2008年第03期《玉林师范学院学报》

基于OBDD的无线传感器网络可用度算法第210-214页

关键词: 无线传感器网络可用度能量约束马尔科夫链有序二叉决策图

2016年第03期《桂林电子科技大学学报》

基于OBDD的描述逻辑ALCIO判定算法第401-405页

关键词: 描述逻辑有序二叉决策图枚举算子可满足性判定

2010年第04期《广西科学院学报》

产生式知识的有序二叉决策图表示及其推理第240-242页

关键词: 有序二叉决策图产生式规则推理

2010年第09期《计算机应用与软件》

基于OBDD的含圈与或图搜索算法研究第1325-1329页

关键词: 含圈与或图最大可扩展子图最小代价解图有序二叉决策图

2011年第04期《计算机应用研究》