繁體/ 簡體/ English

登 入
當前位置:首頁>學者列表>工程科學系 >李志武>相關期刊列表[ 西安电子科技大学学报(23) ]
排序方式：
    總頁 2        Go

    1.一种利用基本信标的柔性制造系统死锁控制器设计方法

    李志武,马雄

    西安电子科技大学学报[1001-2400], Published 2006, Issue 02, Pages 262-267+332

    收錄情况： CNKI

    2.柔性制造系统活性监督控制器的简化设计

    李志武,徐平江,朱荣明,王兴平

    西安电子科技大学学报(自然科学版)[1001-2400], Published 2006, Issue 03, Pages 442-447+465

    收錄情况： CNKI

    3.最优基本信标在柔性制造系统死锁控制中的应用 = Application of the optimal set of elementary siphons in FMS for deadlock control

    胡核算,李志武,王安荣

    西安电子科技大学学报(自然科学版)[1001-2400], Published 2006, Volume 33, Issue 04, Pages 607-611

    收錄情况： SCOPUS CNKI

    4.一类离散事件系统的非阻塞监督控制器设计

    赵咪,李志武

    西安电子科技大学学报[1001-2400], Published 2006, Issue 05, Pages 735-738+837

    收錄情况： CNKI

    5.资源分配系统禁止状态的避免研究 = On the forbidden state avoidance of resource allocation systems

    王安荣,段江涛,李志武,贾建援

    西安电子科技大学学报[1001-2400], Published 2005, Volume 32, Issue 05, Pages 742-747

    收錄情况： SCOPUS CNKI

    6.考虑FMS资源故障的一种死锁预防策略 = A deadlock prevention policy for FMS using Petri nets in case of failures

    李志武,丁伟,朱荣明

    西安电子科技大学学报[1001-2400], Published 2005, Volume 32, Issue 06, Pages 833-838

    收錄情况： SCOPUS CNKI

    7.一种扩展Petri网及其应用研究 = An extended Petri net and its application

    李志武,朱荣明,陈龙潭

    西安电子科技大学学报[1001-2400], Published 2005, Volume 32, Issue 01, Pages 66-70

    收錄情况： SCOPUS CNKI

    8.Petri网不变式和状态方程的求解

    李志武,王安荣,贾建援

    西安电子科技大学学报[1001-2400], Published 2003, Issue 02, Pages 259-263

    收錄情况： CNKI

    9.分布式资源共享系统的进展性设计

    李志武,于振华

    西安电子科技大学学报[1001-2400], Published 2002, Issue 05, Pages 684-689

    收錄情况： CNKI

    10.局部公平网的充要条件研究

    李志武,王安荣

    西安电子科技大学学报[1001-2400], Published 2002, Issue 06, Pages 776-780

    收錄情况： CNKI

    11.安全Petri网事件分离状态的BDD算法

    陈玉峰,李志武

    西安电子科技大学学报[1001-2400], Published 2010, Issue 01, Pages 119-124+141

    收錄情况： CNKI

    12.并行共享资源死锁结构的一种判断方法

    李志武,刘宏

    西安电子科技大学学报[1001-2400], Published 1999, Issue 01,

    收錄情况： CNKI

    13.顺序任务梯形图的一种设计方法

    李志武,马伯渊

    西安电子科技大学学报[1001-2400], Published 1999, Issue 04,

    收錄情况： CNKI

    14.双航母编队C~3I系统Petri网建模与分析研究 = On the colored Petri net model of the C3I system of the double aircraft carriers group

    朱森,李志武

    西安电子科技大学学报[1001-2400], Published 2009, Volume 36, Issue 04, Pages 661-668

    收錄情况： SCOPUS CNKI

    15.一种时延Petri网的死锁预防方法 = Deadlock prevention approach for a class of timed Petri nets

    郭金维,李志武

    西安电子科技大学学报[1001-2400], Published 2009, Volume 36, Issue 05, Pages 902-908

    收錄情况： SCOPUS CNKI

    16.S~3PR网的一种死锁预防策略 = Deadlock prevention policy for a class of petri nets S3PR

    闫明明,李志武,钟春富

    西安电子科技大学学报[1001-2400], Published 2008, Volume 35, Issue 02, Pages 330-333

    收錄情况： SCOPUS CNKI

    17.基本信标计算的一种快速算法 = Effective algorithm for obtaining a set of elementary siphons

    王安荣,李志武

    西安电子科技大学学报[1001-2400], Published 2008, Volume 35, Issue 04, Pages 632-638

    收錄情况： SCOPUS CNKI

    18.FMS的一种实时控制Petri网模型及应用

    刘宏,李志武,叶尚辉

    西安电子科技大学学报[1001-2400], Published 1997, Issue 02,

    收錄情况： CNKI

    19.Computation of marking/transition separation instances for safe Petri nets using BDD

    Chen, YuFeng, Li, Zh     More...

    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University[1001-2400], Published 2010, Volume 37, Issue 1,

    收錄情况： SCOPUS

    20.Deadlock prevention policy for FMS using elementary siphons

    Li, ZhiWu, Ma, Xiong

    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University[1001-2400], Published 2006, Volume 33, Issue 2,

    收錄情况： SCOPUS

    顯示      條  合計   23   條
      總頁 2          Go

      本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器

      Copyright © 2018 澳門科技大學學者庫