国家自然科学基金(60243002)
- 作品数：8 被引量：59H指数：4
- 相关作者：古天龙廖伟志赵岭忠徐周波董荣胜更多>>
- 相关机构：桂林电子工业学院西安电子科技大学桂林电子科技大学更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金教育部留学回国人员科研启动基金更多>>
- 相关领域：自动化与计算机技术理学机械工程更多>>
- 移动环境公平支付协议的设计与分析研究被引量：3
- 2007年
- 结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。
- 刘霞古天龙董荣胜郭云川
- 关键词：移动环境
- 二部图无权最大匹配的符号OBDD算法
- ＜正＞ 1 引言二部图无权匹配是典型的组合优化问题,在运筹学和计算机学科等领域有着广泛的应用。Egervary首先给出了解决此问题的匈牙利算法。后来学者发现此问题可以规约为特殊的最大流问题,于是提出了解决此问题的最大流算...
- 姚家保古天龙徐周波
- 文献传递
- 基于一种新型混杂Petri网的混杂系统建模与控制被引量：21
- 2007年
- 为了增强混杂Petri网模型描述能力和克服一阶混杂Petri网模型语义错误的问题,定义一种新的混杂Petri网模型——广义混杂Petri网,提出了相应的迁移使能和迁移引发语义.通过划分标识等价类提出了广义混杂Petri网连续迁移瞬时引发速率的有效求解方法和模型行为演变分析方法.给出了广义混杂Petri网模型的混杂系统建模实例,同时结合模型行为演变和线性规划实现了混杂系统的优化控制.研究结果表明,所定义的模型描述能力更强,模型语义正确合理,能够有效描述和分析混杂系统.
- 廖伟志古天龙
- 关键词：混杂PETRI网混杂系统
- 区间速率连续Petri网的有效冲突及其消解被引量：7
- 2006年
- 有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续Petri网最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。
- 廖伟志古天龙
- 关键词：区间速率连续PETRI网
- 网络最大流问题求解的符号ADD增广路径算法被引量：11
- 2005年
- 本文通过对网络及网络最大流问题的符号代数判定图(ADD)描述,将网络中的结点和边用ADD隐式表示,并利用Gabow的容量变尺度算法的主要思想,将一般网络最大流问题化为一系列的单位容量网络最大流问题,结合Hachtel等的单位容量网络最大流问题的求解算法,给出了网络最大流问题求解的符号ADD增广路径算法,简称为符号ADD算法。与Dinic算法、Karzanov算法相比,本文算法的空间复杂度得到了改善。实验结果表明,本文算法是切实有效的,且可处理更大规模的问题。
- 徐周波古天龙赵岭忠
- 关键词：最大流网络最大流ADD最大流问题空间复杂度
- 网络最大流问题的一种新的符号ADD求解算法被引量：15
- 2005年
- 通过对网络及网络最大流问题的符号代数判定图描述,在Trff算法的基础上,给出了网络最大流问题的一种新的符号ADD求解算法。与Dinic、Karzanov算法相比,本文算法的空间复杂度较低。实验结果表明,该算法可处理更大规模的问题。
- 徐周波古天龙赵岭忠
- 关键词：网络优化最大流
- 基于Petri网启发式搜索的装配序列规划
- 2008年
- Petri网是表示优先级约束和计算装配序列的有效工具。将Petri网和启发式搜索相结合,给出了一种新的装配序列规划方法。该方法用Petri网模型表示可行装配序列,通过生成和搜索Petri网的局部可达图找到一个最优或接近最优的装配序列,该装配序列通过Petri网的迁移引发序列来表示。结合实例验证了该方法的正确性和有效性。
- 李凤英古天龙
- 关键词：赋时PETRI网装配序列规划启发式搜索
- 一类Petri网调度问题的符号求解技术被引量：2
- 2005年
- 讨论了Petri网分析的符号有序二叉决策图(Ordered Binary Decision Disgram--OBDD)技术.对于一类赋时Petri网模型的生产调度问题,通过实施赋时位置(迁移)结构等价替换,建立了调度问题求解的符号算法.该算法可以在makespan步得到结果,从而有效改善了求解的效率,适合于复杂大规模Petri网模型调度问题的求解.
- 古天龙李风英
- 关键词：PETRI网调度可达性离散事件系统
- 具有时限约束的安全协议分析技术研究
- 2005年
- 本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架。通过该分析框架对一个具有时限性要求的安全电子投递协议进行分析,发现了协议存在的时限问题,修改了协议并给出了修改后的协议满足时限性要求的证明。
- 董荣胜彭勋郭云川古天龙
- 关键词：KAILAR逻辑形式化方法
