您的位置： 专家智库 > >

广西壮族自治区自然科学基金(0448072)

作品数：6 被引量：31H指数：3
相关作者：古天龙徐周波赵岭忠钟艳如杨志飞更多>>
相关机构：桂林电子工业学院桂林电子科技大学更多>>
发文基金：广西壮族自治区自然科学基金教育部留学回国人员科研启动基金国家自然科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

文献类型

  • 6篇期刊文章
  • 1篇会议论文

领域

  • 7篇自动化与计算...
  • 1篇理学

主题

  • 3篇OBDD
  • 2篇有序二叉决策...
  • 2篇最大流
  • 2篇决策图
  • 2篇二部图
  • 2篇二叉决策图
  • 2篇D算法
  • 2篇PETRI网
  • 2篇ADD
  • 1篇调度
  • 1篇调度问题
  • 1篇最大流问题
  • 1篇网络
  • 1篇网络优化
  • 1篇网络最大流
  • 1篇无权
  • 1篇离散事件系统
  • 1篇可达集
  • 1篇可达性
  • 1篇空间复杂度

机构

  • 6篇桂林电子工业...
  • 1篇桂林电子科技...

作者

  • 7篇古天龙
  • 4篇徐周波
  • 2篇姚家保
  • 2篇赵岭忠
  • 1篇熊太平
  • 1篇李风英
  • 1篇杨志飞
  • 1篇钟艳如

传媒

  • 3篇桂林电子工业...
  • 1篇通信学报
  • 1篇系统仿真学报
  • 1篇计算机科学

年份

  • 1篇2006
  • 6篇2005
共 6 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
二部图无权最大匹配的符号OBDD算法
＜正＞ 1 引言二部图无权匹配是典型的组合优化问题,在运筹学和计算机学科等领域有着广泛的应用。Egervary首先给出了解决此问题的匈牙利算法。后来学者发现此问题可以规约为特殊的最大流问题,于是提出了解决此问题的最大流算...
姚家保古天龙徐周波
文献传递
网络最大流问题的一种新的符号ADD求解算法被引量：15
2005年
通过对网络及网络最大流问题的符号代数判定图描述,在Trff算法的基础上,给出了网络最大流问题的一种新的符号ADD求解算法。与Dinic、Karzanov算法相比,本文算法的空间复杂度较低。实验结果表明,该算法可处理更大规模的问题。
徐周波古天龙赵岭忠
关键词：网络优化最大流
二部图最大权匹配的符号ADD算法
2005年
利用代数决策图ADD数据结构,在KM算法基础上,提出了一种二部图最大权匹配的符号ADD算法。该算法引入优先函数概念,将传统的匹配选择转化成布尔运算,"并行"地搜索匹配集合。实验结果表明:与传统算法相比,该算法可以改善问题的状态空间复杂度。
姚家保古天龙徐周波
关键词：二部图
网络最大流问题求解的符号ADD增广路径算法被引量：11
2005年
本文通过对网络及网络最大流问题的符号代数判定图(ADD)描述,将网络中的结点和边用ADD隐式表示,并利用Gabow的容量变尺度算法的主要思想,将一般网络最大流问题化为一系列的单位容量网络最大流问题,结合Hachtel等的单位容量网络最大流问题的求解算法,给出了网络最大流问题求解的符号ADD增广路径算法,简称为符号ADD算法。与Dinic算法、Karzanov算法相比,本文算法的空间复杂度得到了改善。实验结果表明,本文算法是切实有效的,且可处理更大规模的问题。
徐周波古天龙赵岭忠
关键词：最大流网络最大流ADD最大流问题空间复杂度
基于OBDD的装配序列自动推理技术研究被引量：4
2005年
根据从CAD系统中直接获得的产品装配模型的数据,来建立基于OBDD的装配体模型。采用OBDD的符号操作对装配操作的可能性和有效性进行了验证,实现了可行装配序列推理的自动化。通过对例子的分析,表明基于OBDD的装配序列自动推理技术是可行和正确的,它为装配体的装配序列的推理提供了一种切实可行的新方法。
杨志飞古天龙钟艳如
关键词：OBDD
赋时Petri网的一种符号分析算法
2006年
有序二叉决策图(O rdered B inary D ec is ion D isgram-OBDD)是布尔函数表示的规范型,布尔函数的复杂运算可以基于OBDD得到极大地简化实现。在讨论基于OBDD的有界Petri网符号分析算法的基础上,对赋时位置Petri网的符号分析进行了研究,构造了一种扩展标识向量,给出了赋时Petri网分析的一种符号OBDD算法,实现了赋时Petri网的隐式描述与分析。实验表明,符号算法能处理较大规模赋时Petri网问题。
熊太平古天龙
关键词：有序二叉决策图可达集
一类Petri网调度问题的符号求解技术被引量：2
2005年
讨论了Petri网分析的符号有序二叉决策图(Ordered Binary Decision Disgram--OBDD)技术.对于一类赋时Petri网模型的生产调度问题,通过实施赋时位置(迁移)结构等价替换,建立了调度问题求解的符号算法.该算法可以在makespan步得到结果,从而有效改善了求解的效率,适合于复杂大规模Petri网模型调度问题的求解.
古天龙李风英
关键词：PETRI网调度可达性离散事件系统
全选 清除 导出
共1页<1>
聚类工具0