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

作品数：6被引量：28H指数：2
导出分析报告
相关作者：古天龙徐周波赵岭忠钟艳如杨志飞更多>>
相关机构：桂林电子工业学院桂林电子科技大学更多>>
相关期刊：《通信学报》《计算机科学》《系统仿真学报》更多>>
相关主题：最大流ADDOBDD有序二叉决策图PETRI网更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
赋时Petri网的一种符号分析算法
《桂林电子工业学院学报》2006年第3期181-186,共6页熊太平 古天龙 
广西自然科学基金(0448072)
有序二叉决策图(O rdered B inary D ec is ion D isgram-OBDD)是布尔函数表示的规范型,布尔函数的复杂运算可以基于OBDD得到极大地简化实现。在讨论基于OBDD的有界Petri网符号分析算法的基础上,对赋时位置Petri网的符号分析进行了研究...
关键词：赋时位置Petri网 有序二叉决策图 符号算法 可达集 
网络最大流问题求解的符号ADD增广路径算法被引量：9
《计算机科学》2005年第10期38-40,54,共4页徐周波 古天龙 赵岭忠 
国家自然科学基金(60243002);教育部留学归国人员基金;广西自然科学基金(0448072)
本文通过对网络及网络最大流问题的符号代数判定图(ADD)描述,将网络中的结点和边用ADD隐式表示,并利用Gabow的容量变尺度算法的主要思想,将一般网络最大流问题化为一系列的单位容量网络最大流问题,结合Hachtel等的单位容量网络最大流问...
关键词：符号算法 最大流 代数判定图(ADD) 剩余网络 网络最大流 路径算法 问题求解 ADD 符号 最大流问题 变尺度算法 空间复杂度 求解算法 
二部图最大权匹配的符号ADD算法
《桂林电子工业学院学报》2005年第3期42-46,共5页姚家保 古天龙 徐周波 
广西自然科学基金资助项目(0448072)
利用代数决策图ADD数据结构,在KM算法基础上,提出了一种二部图最大权匹配的符号ADD算法。该算法引入优先函数概念,将传统的匹配选择转化成布尔运算,"并行"地搜索匹配集合。实验结果表明:与传统算法相比,该算法可以改善问题的状态空间复...
关键词：二部图 最大权匹配 代数决策图 
网络最大流问题的一种新的符号ADD求解算法被引量：15
《通信学报》2005年第2期1-8,共8页徐周波 古天龙 赵岭忠 
国家自然科学基金资助项目(60243002);教育部留学归国人员基金资助项目;广西自然科学基金资助项目(0448072)
通过对网络及网络最大流问题的符号代数判定图描述,在Trff算法的基础上,给出了网络最大流问题的一种新的符号ADD求解算法。与Dinic、Karzanov算法相比,本文算法的空间复杂度较低。实验结果表明,该算法可处理更大规模的问题。
关键词：网络优化 最大流 符号算法 代数判定图 
基于OBDD的装配序列自动推理技术研究被引量：2
《桂林电子工业学院学报》2005年第1期43-47,共5页杨志飞 古天龙 钟艳如 
广西自然科学基金资助项目(0448072)
根据从CAD系统中直接获得的产品装配模型的数据,来建立基于OBDD的装配体模型。采用OBDD的符号操作对装配操作的可能性和有效性进行了验证,实现了可行装配序列推理的自动化。通过对例子的分析,表明基于OBDD的装配序列自动推理技术是可行...
关键词：装配序列 OBDD 自动推理 
一类Petri网调度问题的符号求解技术被引量：2
《系统仿真学报》2005年第z1期148-150,154,共4页古天龙 李风英 
国家自然科学基金项目(60243002);教育部留学归国人员基金;广西自然科学基金(0448072)
讨论了Petri网分析的符号有序二叉决策图(Ordered Binary Decision Disgram--OBDD)技术.对于一类赋时Petri网模型的生产调度问题,通过实施赋时位置(迁移)结构等价替换,建立了调度问题求解的符号算法.该算法可以在makespan步得到结果,从...
关键词：PETRI网 有序二叉决策图(OBDD) 调度 可达性 离散事件系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部