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

国家自然科学基金(60474018): 作品数：16被引量：46H指数：3; 导出分析报告; 相关作者：李志武赵咪王安荣胡核算朱荣明更多>>; 相关机构：西安电子科技大学更多>>; 相关期刊：《Wuhan University Journal of Natural Sciences》《控制与决策》《西安电子科技大学学报》《计算机集成制造系统》更多>>; 相关主题：死锁预防PETRI网基本信标柔性制造系统死锁预防策略更多>>; 相关领域：自动化与计算机技术电气工程化学工程更多>>

柔性制造系统非阻塞监督控制器优化设计: 《计算机科学》2009年第6期251-253,257,共4页赵咪侯一凡; 国家自然科学基金(60474018);教育部归国留学人员实验室基金(030401)资助; 针对一类含有并发执行装配过程的柔性制造系统G-systems,提出一种新的死锁预防策略保证该系统的非阻塞性,即在控制下,受控系统从任意可达状态都可以到达理想状态。首先对Petri网模型中基本信标实施控制,保证了基本信标的最大可控,然后...; 关键词：柔性制造系统 PETRI网死锁预防基本信标非阻塞

Transient Stability Analysis Based on the Sensitivity of Trajectory Length: 《Wuhan University Journal of Natural Sciences》2009年第2期169-173,共5页JIANG Ningqiang HUANG Chao CAI Weifeng; Supported by the National Natural Science Foundation of China (60474018); The length of the trajectory is proposed as a function for the employment of the sensitivity analysis method in power system transient stability analysis. Its sensitivity to the faultclearing time is about 10 times hi...; 关键词：power system transient stability sensitivity analysis

一种海空背景下红外小目标检测新算法被引量：23: 《光子学报》2009年第3期725-728,共4页王文龙韩保君张红萍; 国家自然科学基金(60474018)资助; 针对海空背景下红外小目标图像信噪比低、难以检测的情况以及传统检测方法需要图像帧数多、实时性差等缺点,基于Donoho的小波变换阈值化方法,提出了一种更加适合海空背景下红外小目标检测的新算法.该算法采用一种新的阈值求取方法以及...; 关键词：红外小目标小波变换阈值化

基于Petri网的无死锁控制器设计被引量：1: 《计算机科学》2008年第11期255-257,280,共4页韦娜赵咪闫明明; 国家自然科学基金(60474018);教育部归国留学人员基金(2004-527);教育部归国留学人员实验室基金(03401); 对柔性制造系统提出了一种新的死锁预防控制算法。运用区域理论对Petri网模型设计一个控制器,对控制器中所有严格极小信标求取控制库所与资源库所的代数式,保证了所有的严格极小信标受控。与现有方法相比,该策略不必考虑控制器结构,只...; 关键词：柔性制造系统死锁预防 PETRI网区域理论

S^3PR网的一种死锁预防策略被引量：3: 《西安电子科技大学学报》2008年第2期330-333,共4页闫明明李志武钟春富; 国家自然科学基金资助项目(60474018);教育部归国留学人员基金资助项目(2004-527);教育部归国留学人员实验室基金资助项目(03401); 针对S3PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C/D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤.首先将S3PR网中的严格极小信标分为基本信标和...; 关键词：柔性制造系统死锁预防 PETRI网基本信标 S3PR

自动制造系统中的迭代式死锁预防策略被引量：1: 《计算机集成制造系统》2008年第3期602-607,614,共7页胡核算李志武王安荣; 国家自然科学基金资助项目(60474018);教育部归国留学人员基金资助项目(2004-527)~~; 为解决自动制造系统中的死锁问题,提出一种将混合整数规划算法和Petri网相结合的迭代式预防策略。在该策略中,混合整数规划算法中的0/1变量用来表示Petri网模型中的库所和变迁是否与一个最大的可被清空的信标相关。由于从一个最大的可...; 关键词：自动制造系统死锁预防基本信标混合整数规划法

S^3PMR网的一种死锁预防优化策略被引量：2: 《计算机集成制造系统》2008年第1期107-112,117,共7页闫明明李志武韦娜赵咪; 国家自然科学基金资助项目(60474018);教育部归国留学人员实验室基金资助项目(03401)~~; 针对Petri网的S3PMR中的死锁预防问题,提出一种优化的控制器设计方法。当控制器的优化性不能保证时,要对所添加的控制器进行结构分析,提出了一个输出弧位置最优化的死锁预防控制算法。将S3PMR中的严格极小信标分为基本信标和从属信标,...; 关键词：柔性制造系统死锁预防 PETRI网基本信标

基于信标的柔性制造系统的优化死锁预防策略被引量：6: 《控制与决策》2006年第12期1343-1348,共6页胡核算李志武王安荣; 国家自然科学基金项目(60474018);教育部归国留学人员基金项目(2004-527); 针对柔性制造系统(FM S)中的死锁问题,根据矩阵理论给出了Petri网中基本信标的概念,进而提出一种基于基本信标和混合整数规划法(M IP)的死锁预防策略.该策略将最优基本信标作为控制对象,以混合整数规划法给出的系统无死锁条件为目标函数...; 关键词：PETRI网基本信标死锁预防混合整数规划法

一类离散事件系统的非阻塞监督控制器设计被引量：4: 《西安电子科技大学学报》2006年第5期735-738,837,共5页赵咪李志武; 国家自然科学基金资助项目(60474018);教育部归国贸学人员基金资助项目(2004-527);教育部归国留学人员实验室基金资助项目(03401); 提出一种新的死锁控制策略,对系统Petri网模型中的基本信标实施控制保证了基本信标的最大可控,通过线性规划求取所有从属信标满足可控性的条件,即获得基本信标的控制深度变量.这种控制策略能保证含有并发执行装配过程的一类柔性制造系统...; 关键词：柔性制造系统 PETRI网死锁预防基本信标非阻塞

Petri网在机器人足球系统中的应用被引量：1: 《桂林航天工业高等专科学校学报》2006年第3期1-3,共3页燕必成边峰泉; 国家自然科学基金项目(60474018);教育部归国留学人员实验室基金项目(030401)的阶段性成果之一; 足球机器人系统是一种典型的离散事件动态系统,很难用传统的数学模型表达式来表达。Petri网是一种系统描述和分析工具,由于它本身具有的某些优势,使得它在足球机器人系统中的应用越来越广。论文提出了应用Petri网对该系统建模的方法,利...; 关键词：机器人足球 PETRI网建模

国家自然科学基金(60474018)