云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60563005)

国家自然科学基金(60563005): 作品数：26被引量：80H指数：5; 导出分析报告; 相关作者：古天龙廖伟志钟艳如梁勇强赵岭忠更多>>; 相关机构：桂林电子科技大学西安电子科技大学广西师范学院玉林师范学院更多>>; 相关期刊：《小型微型计算机系统》《工程设计学报》《计算机工程》《计算机工程与设计》更多>>; 相关主题：装配序列规划有序二叉决策图OBDD割集调度更多>>; 相关领域：自动化与计算机技术机械工程更多>>

基于混杂Petri网的柔性制造系统免疫调度算法被引量：8: 《系统仿真学报》2010年第1期205-209,共5页廖伟志古天龙王汝凉李文敬; 国家自然科学基金(60563005);广西青年科学基金(0640032);广西自然科学基金(桂科自0991105); 针对具有混杂特征的柔性制造系统调度问题在柔性制造系统的一阶混杂Petri网模型的基础上提出了用于求解柔性制造系统调度最优解的免疫算法。给出了不变行为状态的编码、亲和力计算、抗体的浓度及抗体选择、记忆细胞更新、抗体生成算子...; 关键词：柔性制造系统混杂PETRI网调度免疫算法

求解装配序列规划的一种多智能体进化算法被引量：4: 《计算机集成制造系统》2009年第9期1803-1808,共6页曾聪文古天龙; 国家自然科学基金资助项目(60563005);广西自然科学基金资助项目(0832006Z)~~; 针对求解装配序列规划的进化类算法中个体智能性不足的问题,设计了求解装配序列规划的一种多智能体进化算法。携有装配序列规划信息的智能体不仅是竞争、变异等进化操作的基本单元,同时又具有"学习"、"协作"等智能行为。实验表明,与其...; 关键词：智能体学习协作进化算法装配序列规划

区间速率连续Petri网的模糊模型被引量：1: 《计算机科学》2009年第2期234-237,共4页廖伟志彭月英古天龙; 国家自然科学基金项目(60563005);广西科学基金项目(桂科基0640032)资助; 为了实现区间速率连续Petri网的模糊控制,建立了区间速率连续Petri网的模糊模型,定义了区间速率连续Petri网的模糊规则。进一步地,对区间速率连续Petri网的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri网描述...; 关键词：区间速率连续PETRI网模糊逻辑模糊控制

生产时间可变间歇过程的Petri网模型及其调度被引量：4: 《计算机集成制造系统》2009年第1期109-116,共8页廖伟志古天龙蔡国永; 国家自然科学基金资助项目(60563005);广西青年科学基金资助项目(0640032)~~; 讨论了生产时间可变的多产品间歇过程的最优调度问题,给出了间歇过程在复杂中间的无限存储策略、有限存储策略、无中间存储策略和混杂存储策略下p-时间Petri网模型的描述方法,进而给出了基于可行调度集和修正分枝界定的间歇过程最短生...; 关键词：离散事件系统间歇过程调度 PETRI网仿真

基于Petri网启发式搜索的装配序列规划: 《系统仿真学报》2008年第S2期152-155,共4页李凤英古天龙; 国家自然科学基金(60563005,60243002);广西自然科学基金重点项目(0832006Z); Petri网是表示优先级约束和计算装配序列的有效工具。将Petri网和启发式搜索相结合,给出了一种新的装配序列规划方法。该方法用Petri网模型表示可行装配序列,通过生成和搜索Petri网的局部可达图找到一个最优或接近最优的装配序列,该装...; 关键词：赋时PETRI网装配序列规划启发式搜索

模糊柔性制造系统的混杂Petri网建模与调度被引量：6: 《计算机集成制造系统》2008年第11期2134-2141,共8页廖伟志古天龙李文敬黄容伟; 国家自然科学基金资助项目(60563005);广西青年科学基金资助项目(0640032)~~; 对模糊柔性制造系统的建模和调度进行了研究。定义了一种具有模糊区间速率的混杂Petri网模型,提出了模型的迁移使能和迁移引发语义,定义了弱使能迁移的模糊使能规则,给出了模型动态演变算法。建立了模糊柔性制造系统调度的模糊线性规划...; 关键词：模糊柔性制造系统混杂PETRI网模糊线性规划建模调度

装配序列生成的有序二叉决策图技术研究被引量：4: 《计算机集成制造系统》2008年第10期1996-2004,共9页钟艳如黄美发古天龙; 国家自然科学基金资助项目(60563005);广西自然科学基金资助项目(0728211)~~; 为提高装配序列规划求解效率,在图论割集法的基础上,引入有序二叉决策图描述装配关联图、装配操作、装配几何可行性和装配稳定性。利用装配优先约束关系,简化装配关联图,设计了基于符号有序二叉决策图技术的装配序列生成算法,分析了该...; 关键词：装配序列生成有序二叉决策图布尔函数几何可行性稳定性割集

基于模型检验集成规划系统的机械装配序列规划被引量：3: 《计算机集成制造系统》2008年第9期1781-1790,共10页古天龙张勐; 国家自然科学基金资助项目(60563005)~~; 为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配...; 关键词：装配序列规划模型检验规划领域定义语言谓词逻辑时态逻辑

Abstract Model Checking for Web Services: 《Wuhan University Journal of Natural Sciences》2008年第4期466-470,共5页QIAN Junyan CAI Guoyong GU Tianlong ZHAO Lingzhong; the National Natural Science Foundation of China (60663005, 60563005);the Natural Science Foundation of Guangxi Province (0542036, 0728093, 0728089); Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no...; 关键词：Web-services model checking predicate abstraction hypertext preprocessor

一种基于有向割集分解的装配序列生成改进算法被引量：3: 《机械设计与制造》2008年第6期68-70,共3页张庆霞钟艳如马如林; 国家自然科学基金(60563005); 基于有向图割集分解的装配顺序规划算法是在无向割集的启发下,结合有向图设计出的一种新的装配序列生成算法。尽管有向割集分解算法本身具有优良的计算和描述特性,但已有的有向装配联接图模型却存在不少缺陷。在保证装配过程与拆卸过程...; 关键词：装配建摸有向割集分层有向图

国家自然科学基金(60563005)