国家自然科学基金(60563005)
- 作品数：26 被引量：89H指数：5
- 相关作者：古天龙廖伟志钟艳如梁勇强赵岭忠更多>>
- 相关机构：桂林电子科技大学西安电子科技大学广西师范学院更多>>
- 发文基金：国家自然科学基金广西青年科学基金广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 基于免疫算法的装配序列规划问题求解被引量：25
- 2007年
- 针对装配序列规划问题提出了一种模拟生物免疫系统的免疫算法,并给出了亲和力计算、抗体生成、免疫选择、记忆细胞更新等的具体实现方法。实例仿真结果表明,免疫算法在装配序列规划问题的求解中充分体现了免疫系统的多样性、免疫自我调节、免疫记忆和分布式并行等特点。免疫算法较遗传算法具有更强的全局搜索能力和更快的收敛速度,有效地改善了全局收敛性能和收敛速度。
- 宁黎华古天龙
- 关键词：免疫算法装配序列规划软计算
- 装配序列规划问题求解的一种混合算法被引量：20
- 2007年
- 基于蚂蚁算法和的遗传算法特点,给出了一种解决装配序列规划问题的遗传和蚂蚁混合算法。混合算法中利用蚂蚁的每一次周游,快速生成问题的一组可行解,用遗传算法对得到的可行解进行快速优化,并根据优化解的质量,生成路径上的信息素分布,以加速蚂蚁最优路径上信息素的积累,从而引导蚂蚁更快地搜索到问题的最优解。实验结果表明,混合算法在装配序列规划问题求解上具有更好的性能。
- 宁黎华古天龙
- 关键词：装配序列规划遗传算法蚂蚁算法混合算法
- 目标独立的Prolog程序路径依赖分析语义被引量：1
- 2008年
- 在Prolog程序分析中,考虑程序的执行路径和非逻辑的cut操作可提高程序分析的精度。当前用于Prolog程序路径依赖分析的语义因依赖于程序执行的目标而不适合目标独立的程序分析。为此,本文采用了一种携带路径信息并允许cut操作的Prolog抽象语法,在此基础上给出了Prolog的操作语义和一种目标独立的标号树(LT)语义,并证明了LT语义相对于操作语义的正确性。LT语义可作为目标独立的Prolog程序路径依赖分析的基础。
- 赵岭忠古天龙钱俊彦
- 关键词：上下文信息
- 一种基于熵的OBDD变量排序算法
- 2007年
- 有序二叉决策图(OBDD)是一种有效表示布尔函数的数据结构,其大小依赖于所采用的变量序。熵是定量描述布尔函数中变量重要性的一种方法。基于变量的熵值分析了高质量变量序的特征,给出了一种基于熵的OBDD变量排序算法。实验结果表明:该算法与模拟退火算法和遗传算法结果相当,时间仅为相应算法的80.84%和29.79%。
- 赵岭忠王雪松古天龙钱俊彦
- 关键词：有序二叉决策图
- 基于OBDD的有向图的存储与操作研究被引量：1
- 2007年
- 本文讨论了一种基于OBDD的有向图的存储结构,给出了基于OBDD的有向图的操作方法及搜索算法。实验结果表明,该存储结构与传统的邻接表的存储结构相比,在处理大规模的有向图时,具有较高的存储效率。
- 杨志飞古天龙
- 关键词：数据结构
- 一种混杂Petri网模型动态演变研究被引量：2
- 2007年
- 为了实现R.David和H.Alla所定义的混杂Petri网模型行为分析的正确性,提出了一个通用的模型动态演变方法.该方法给出了基于线性规划方法的混杂Petri网瞬时引发速率求解方法,解决了有效冲突情形下的瞬时引发速率求解问题.分析了改变不变行为(Invariant Behavior,简称IB)状态事件之间的相互作用及其对模型演变正确性的影响,同时提出了判定改变IB状态事件的方法.例子表明了所提出的理论与方法对混杂Petri网模型动态演变正确求解的重要性和有效性.
- 廖伟志古天龙
- 关键词：混杂PETRI网
- 基于模糊逻辑的CCPN瞬时引发速率求解方法
- 2007年
- 瞬时引发速率是连续Petri网模型分析的基础和关键。引入模糊理论提出了一种基于模糊决策的迁移优先权的模糊综合评价模型,实现了迁移优先权的动态计算。提出了基于线性规划方法的瞬时引发速率的求解算法,解决了有效冲突情形下瞬时引发速率的求解问题。实例表明了所提出方法的有效性。
- 廖伟志古天龙
- 关键词：连续PETRI网模糊逻辑
- 网络传感器操作系统设计
- 2006年
- 针对网络传感器节点有限硬件资源约束的特性,分析了现有操作系统设计的不足,以Arena操作系统为基础,设计了一种新的操作系统软件架构。这个架构允许操作系统功能模块和应用程序模块在系统运行时动态加载和替换,保障系统代码的安全升级,实现低能耗、高可信的操作系统功能,并支持网络传感器系统的可重构和自适应能力。
- 黄廷辉崔更申古天龙
- 关键词：网络传感器
- 基于Petri网启发式搜索的装配序列规划
- 2008年
- Petri网是表示优先级约束和计算装配序列的有效工具。将Petri网和启发式搜索相结合,给出了一种新的装配序列规划方法。该方法用Petri网模型表示可行装配序列,通过生成和搜索Petri网的局部可达图找到一个最优或接近最优的装配序列,该装配序列通过Petri网的迁移引发序列来表示。结合实例验证了该方法的正确性和有效性。
- 李凤英古天龙
- 关键词：赋时PETRI网装配序列规划启发式搜索
- 装配序列生成的有序二叉决策图技术研究被引量：4
- 2008年
- 为提高装配序列规划求解效率,在图论割集法的基础上,引入有序二叉决策图描述装配关联图、装配操作、装配几何可行性和装配稳定性。利用装配优先约束关系,简化装配关联图,设计了基于符号有序二叉决策图技术的装配序列生成算法,分析了该算法的时间复杂度。在每一次割集分解之后,检验子装配体的几何可行性和稳定性,实现装配序列生成过程中状态空间的隐式表示和搜索。研究实例验证了基于符号有序二叉决策图技术的装配序列生成算法的可行性和有效性。
- 钟艳如黄美发古天龙
- 关键词：装配序列生成有序二叉决策图布尔函数稳定性割集
