头像

王寿光

博士 教授 | 硕士生导师

学科：

职务：

研究中心：

导师类别： 硕士生导师

毕业院校： 浙江大学

办公电话：

地址：

邮编：

邮箱：

  • 个人简介
  • 开授课程
  • 科研成果
  • 教学成果
  • 其他

个人简介

研究方向

团队长期从事离散事件系统建模和控制、智能优化理论与方法、复杂工业生产过程建模分析控制和优化、机器人控制理论、人工智能大数据分析建模等方面的研究和工程应用。

社会服务领域

教育经历

  • 博士研究生,20050601,控制理论与控制工程,浙江大学,博士,控制理论与控制工程
  • 本科毕业,20000630,长沙交通学院,学士

工作经历

学术兼职

荣誉及奖励

研究生课程

本科生课程

  • 电工与电子技术基础,本科生,2008-2009,第一学期,0
  • 单片机技术实验,本科生,2011-2012,第二学期,1,16,0,32
  • 单片机技术实验,本科生,2006-2007,第二学期,0
  • 电工与电子技术基础,本科生,2009-2010,第一学期,1,16,0,48
  • 单片机技术实验,本科生,2007-2008,第二学期,0
  • 单片机技术实验,本科生,2009-2010,第二学期,1,15,0,30
  • 专业导论(1),本科生,2013-2014,第一学期,3,6,31,8
  • 单片机技术实验,本科生,2008-2009,第二学期,0
  • 自动检测技术,本科生,2008-2009,第一学期,0
  • 单片机技术实验,本科生,2013-2014,第二学期,5,14,1,30
  • 电工与电子技术基础,本科生,2007-2008,第一学期,0
  • 单片机技术实验,本科生,2006-2007,第二学期,0
  • 单片机技术实验,本科生,2008-2009,第二学期,0
  • 专业导论(2),本科生,2012-2013,第二学期,1,4,27,8
  • 单片机技术实验,本科生,2012-2013,第二学期,6,15,0,30
  • 单片机技术实验,本科生,2008-2009,第二学期,0
  • 电工与电子学,本科生,2006-2007,第一学期,0
  • 单片机技术实验,本科生,2011-2012,第二学期,1,16,0,32
  • 电工与电子技术基础,本科生,2009-2010,第一学期,1,16,0,48
  • 单片机技术实验,本科生,2012-2013,第二学期,6,15,0,30
  • 电工与电子学,本科生,2006-2007,第一学期,0
  • 电工与电子技术基础,本科生,2007-2008,第一学期,0
  • 电工与电子技术基础,本科生,2006-2007,第一学期,0
  • 单片机技术实验,本科生,2008-2009,第二学期,0
  • 单片机技术实验,本科生,2009-2010,第二学期,1,15,0,30
  • 电工与电子学,本科生,2006-2007,第一学期,0
  • 单片机技术实验,本科生,2012-2013,第二学期,6,15,2,30
  • 专业导论(2),本科生,2013-2014,第二学期,1,4,21,8
  • 单片机技术实验,本科生,2007-2008,第二学期,0
  • 单片机技术实验,本科生,2011-2012,第二学期,1,16,0,32
  • 单片机技术实验,本科生,2008-2009,第二学期,0
  • 专业导论(3),本科生,2013-2014,第二学期,1,4,27,8
  • 单片机技术实验,本科生,2009-2010,第二学期,1,15,0,30
  • 单片机技术实验,本科生,2007-2008,第二学期,0
  • 电工与电子技术基础,本科生,2006-2007,第一学期,0
  • 专业导论(1),本科生,2012-2013,第一学期,3,6,30,8
  • 自动检测技术,本科生,2009-2010,第一学期,1,10,0,30
  • 单片机技术实验,本科生,2012-2013,第二学期,6,15,1,30
  • 单片机技术实验,本科生,2009-2010,第二学期,1,15,0,30
  • 单片机技术实验,本科生,2013-2014,第二学期,5,14,0,30
  • 单片机技术实验,本科生,2006-2007,第二学期,0
  • 离散事件系统S,本科生,2008-2009,第一学期,0
  • 电工与电子学,本科生,2006-2007,第一学期,0
  • 电工与电子技术基础,本科生,2007-2008,第一学期,0
  • 单片机技术实验,本科生,2007-2008,第二学期,0
  • 电工与电子技术基础,本科生,2008-2009,第一学期,0
  • 单片机技术实验,本科生,2007-2008,第二学期,0
  • 单片机技术实验,本科生,2012-2013,第二学期,6,15,0,30
  • 自动控制原理实验,本科生,2007-2008,第一学期,0
  • 单片机技术实验,本科生,2009-2010,第二学期,1,15,0,30
  • 单片机技术实验,本科生,2009-2010,第二学期,1,15,0,30
  • 单片机技术实验,本科生,2011-2012,第二学期,1,16,0,32
  • 电工与电子技术基础,本科生,2007-2008,第一学期,0
  • 电工与电子技术基础,本科生,2006-2007,第一学期,0
  • 单片机技术综合,本科生,2020-2021,第二学期,1,16,37,96
  • 单片机技术,本科生,2018-2019,第二学期,1,15,41,90
  • 单片机技术综合,本科生,2021-2022,第二学期,1,16,35,96
  • 单片机技术实验,本科生,2015-2016,第二学期,5,14,28,30
  • 单片机技术实验,本科生,2015-2016,第二学期,5,14,34,30
  • 单片机技术实验,本科生,2015-2016,第二学期,5,14,28,30
  • 单片机技术实验,本科生,2015-2016,第二学期,5,14,25,30
  • 单片机技术,本科生,2019-2020,第二学期,1,15,38,90
  • 单片机技术实验,本科生,2015-2016,第二学期,5,14,21,30
  • 单片机技术综合,本科生,2021-2022,第二学期,1,16,39,96
  • 单片机技术,本科生,2018-2019,第二学期,1,15,34,90
  • 单片机技术实验,本科生,2016-2017,第二学期,5,14,34
  • 单片机技术,本科生,2019-2020,第二学期,1,15,32,90
  • 单片机技术,本科生,2019-2020,第二学期,1,15,36,90
  • 单片机技术综合,本科生,2021-2022,第二学期,1,16,36,96
  • 单片机技术实验,本科生,2017-2018,第二学期,5,14,32,30
  • 单片机技术实验,本科生,2015-2016,第二学期,5,14,31,30
  • 单片机技术实验,本科生,2017-2018,第二学期,5,14,35,30
  • 单片机技术实验,本科生,2016-2017,第二学期,5,14,32
  • 单片机技术实验,本科生,2015-2016,第二学期,5,14,26,30
  • 离散事件系统,研究生,2018,第一学期,32
  • 单片机技术综合,本科生,2022-2023,第二学期,1,16,0,96

发表论文

  • An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets,IEEE ACCESS,王寿光,6,Wang, SG (reprint author), Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Zhejiang, Peoples R China.,2
  • A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets,IEEE ACCESS,王寿光,6,Wang, SG (reprint author), Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Zhejiang, Peoples R China.,2
  • Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions,2017-06-01,IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION,王寿光,34,2
  • Deadlock Prevention Policy for (SPR)-P-4 Nets Based on Siphon,IEEE ACCESS,王寿光,6,Dai, WZ (reprint author), Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Zhejiang, Peoples R China.,3
  • Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions,2019-10-01,INFORMATION SCIENCES,王寿光,501,Wang, SG (reprint author), Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Zhejiang, Peoples R China.,2
  • Event Feedback Supervision for a Class of Petri Nets With Unobservable Transitions,IEEE ACCESS,王寿光,6,Wang, SG (reprint author), Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Zhejiang, Peoples R China.,2
  • A Survey of Network Attacks on Cyber-Physical Systems,2020-03-02,IEEE ACCESS,8,Jiang, XN (corresponding author), Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Peoples R China.,4
  • SVM-BiLSTM: A Fault Detection Method for the Gas Station IoT System Based on Deep Learning,2020-10-08,IEEE ACCESS,王寿光,8,3
  • Comments on "Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis",2017-05-01,IEEE TRANSACTIONS ON AUTOMATIC CONTROL,国内公开发行学术刊物,王寿光,62,2
  • Overview of Opacity in Discrete Event Systems,2020-03-03,IEEE ACCESS,8,Jiang, XN (corresponding author), Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Peoples R China.,4
  • A Deadlock Prevention Policy for a Class of Multithreaded Software,2020-01-06,IEEE ACCESS,8,Jiang, XN (corresponding author), Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Peoples R China.,6
  • Maximal Good Step Graph Methods for Reducing the Generation of the State Space,2019-12-06,IEEE ACCESS,7,5
  • Computation of strict minimal siphons in a class of Petri nets based on problem decomposition,2017-10-01,INFORMATION SCIENCES,王寿光,409,2
  • A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in (SPR)-P-4,2017-08-01,IEEE TRANSACTIONS ON AUTOMATIC CONTROL,国内公开发行学术刊物,王寿光,信息与电子工程学院,62,1
  • Synthesis of Monitor-based Liveness-enforcing Supervisors for S3PR with ξ-resources,2015-06-10,IEEE Transactions on Systems Man Cybernetics-Systems,国外学术刊物,王寿光,45,2
  • A new reachability tree for unbounded Petri nets,2013-06-12,2013 10th IEEE International Conference on Control and Automation, ICCA 2013,国外学术刊物,王寿光,无,2
  • Supervisor synthesis for enforcing a disjunction of gmecs on controlled petri nets,2007-08-01,Preceedings of the 2007 IEEE international conference on mechatronics and automation ,国外学术刊物,王寿光,2,2
  • A Method of Computing Strict Minimal Siphons in an S3PR Based on Resource Circuits,2010-12-15,Proceedings of the 49th IEEE Conference on Decision and Control,国外学术刊物,王寿光,信息与电子工程学院,无,1
  • Design of Supervisor Ensuring Deadlock Fre for S3PR,2009-11-22,Proceedings of the 2009 International Workshop on Information Security and Applicaio,国外学术刊物,王寿光,无,2
  • An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S3PR Nets,2018-11-01,IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY,国外学术刊物,王寿光,26,2
  • A Transformation Alrithm for Optimal Admissible Generalized Mutual Exclusion Constraints on Petri Nets with Uncontrollable Transitions,2011-05-09,Proceedings of 2011 IEEE International Conference on Robotics and Automatio,国外学术刊物,王寿光,信息与电子工程学院,无,1
  • An Improved Approach to Remove Redundant Monitors from Liveness-enforcing Petri Net Supervisor,2010-10-06,Proceedings of 2010 International Conference on Remote Sensing,ICRS2010,国外学术刊物,王寿光,信息与电子工程学院,1,1
  • An Alrithm to Find the Deadlock-free Conditions on Initial Markings of Resource Places for S3PR,2009-12-20,Proceedings of 2009 International Conference on Information Engineering and Computer Science,国外学术刊物,王寿光,信息与电子工程学院,2,1
  • Effective extraction of all minimal siphons in ordinary petri nets,2012-02-01,International journal of Digital content technology and its applications,国外学术刊物,王寿光,信息与电子工程学院,6,1
  • A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets,2013-08-30,IEEE Transactions on Systems Man Cybernetics-Systems,国外学术刊物,王寿光,信息与电子工程学院,43,1
  • Comments on “Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems”,2011-03-01,IEEE TRANSACTIONS ON SYSTEMS,MAN, AND CYBERNETICS—PART A: SYSTEMS AND HUMANS,国外学术刊物,王寿光,信息与电子工程学院,41,1
  • On the Existence of Complementary-place Supervisors that Enforce the Liveness in S3PR,2010-08-04,Proceedings of 2010 IEEE International Conference on Mechatronics and Automatio,国外学术刊物,王寿光,信息与电子工程学院,无,1
  • A Survey of Petri Nets Supervision Based on Place Invariants,2010-11-26,Proceedings of Annual Conference of China Institute of Communications,国外学术刊物,王寿光,信息与电子工程学院,无,1
  • An Improved Approach to Test Diagnosability of Bounded Petri Nets,2017-04-07,IEEE/CAA Journal of Automatica Sinica,国内外公开发行学术刊物,王寿光,4,3
  • A resource configuration method for liveness of a class of Petri nets,2016-12-02,IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION,王寿光,信息与电子工程学院,2016,1
  • Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs,2019-10-09,IEEE TRANSACTIONS ON AUTOMATIC CONTROL,国内公开发行学术刊物,王寿光,64,2
  • FAULT DIAGNOSIS FOR DISCRETE EVENT SYSTEMS MODELED BY BOUNDED PETRI NETS,2017-07-01,ASIAN JOURNAL OF CONTROL,王寿光,19,2
  • Computation of an Opt mal Transformed Linear Constraint Class of Petri Nets With Uncontrollable Transitions,IEEE ACCESS,王寿光,5,2
  • Controllability conditions of resultant siphons in a class of Petri nets,2012-02-02,IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans,国外学术刊物,王寿光,信息与电子工程学院,42,1
  • Method to compute the strict minimal siphon for S3PR,2014-08-01,41,4
  • A method for the design of Petri net controller enforcing general linear constraints.,2005-03-01,软件学报,国外学术刊物,王寿光,信息与电子工程学院,0,1
  • Program Implementation for Alrithm of Computation of Resource Circuits,2010-10-09,Proceedings of 2010 International Conference on Remote Sensing,ICRS2010,国外学术刊物,无,4
  • A Method to Compute Resource Circuits in a Class of Petri Nets,2010-09-04,Proceedings of Applied Mechanics and Materials,国外学术刊物,王寿光,信息与电子工程学院,26-28,1
  • A literature review of alrithms to compute minimal siphons based on Petri nets,2013-01-15,International journal of advancements in computing technology,国外学术刊物,王寿光,5,3
  • A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets,2012-01-01,IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans,国外学术刊物,王寿光,信息与电子工程学院,42,1
  • New controllability condition for WS3PR nets,2013-06-12,2013 10th IEEE International Conference on Control and Automation, ICCA 2013,国外学术刊物,王寿光,无,2
  • Supervisor synthesis for a class of forbidden state problems in discrete event systems,2007-08-05,Preceedings of the 2007 IEEE international conference on mechatronics and automation ,国外学术刊物,王寿光,无,2
  • An alrithm to find the condition on initial markings of resource places and job places for liveness of S3PMR,2010-06-09,Proceedings of 2010 8th IEEE International Conference on Control and Automation,ICCA2010,国外学术刊物,王寿光,信息与电子工程学院,无,1
  • Optimal siphon-based deadlock prevention policy for a class of Petri nets in automatio,2011-10-10,王寿光,信息与电子工程学院,无,1
  • Computation of all minimal siphons in Petri nets,2012-04-11,Proceedings of ICNSC 2012,国外学术刊物,王寿光,信息与电子工程学院,无,1
  • Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems,2014-11-05,Asian Journal of Control,国外学术刊物,王寿光,信息与电子工程学院,16,1
  • A fast convergence deadlock control strategy of Petri nets based on MIP alrithm,2012-09-01,International journal of advancements in computing technology,国外学术刊物,王寿光,信息与电子工程学院,4,1
  • A transformation alrithm for optimal admissible generalized mutual exclusion constraints on petri nets with uncontrollable transitions,2012-01-01,2011 IEEE International Conference on Robotics and Automation, ICRA 2011,国外学术刊物,王寿光,信息与电子工程学院,无,1
  • New Controllability Condition for Siphons in WS3PR nets,2015-05-01,Asian Journal of Control,国外学术刊物,王寿光,17,3
  • Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places,2013-01-01,ACM Transactions on Embedded Computing Systems,国外学术刊物,王寿光,信息与电子工程学院,12,1
  • Necessary and sufficient conditions for resultant siphons to be controlled,2011-07-01,王寿光,信息与电子工程学院,无,1
  • Macro liveness graph and liveness of ω-independent unbounded nets,2015-03-10,SCIENCE CHINA Information Sciences,国外学术刊物,王寿光,信息与电子工程学院,58,1
  • K-Codiagnosability Verification of Labeled Petri Nets,2019-12-31,IEEE ACCESS,7,7
  • Optimal Supervisor Synthesis for Petri Nets with Uncontrollable Transitions: A Bottom-up Alrithm,2016-07-01,information sciences,国外学术刊物,王寿光,信息与电子工程学院,363,1
  • 带有不可控变迁的一般不等式约束的Petri网控制器综合,2007-09-01,上海交通大学学报,国外学术刊物,王寿光,信息与电子工程学院,41,1
  • On Computation of Resource Circuits in a Class of Petri Nets,2010-08-20,Proceedings of 2010 International Colloquium on Computing, Communication, Control and Management,国外学术刊物,王寿光,信息与电子工程学院,6,1
  • Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions,2013-09-30,IEEE Transactions on Systems Man Cybernetics-Systems,国外学术刊物,王寿光,信息与电子工程学院,43,1
  • Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets,2011-08-24,王寿光,信息与电子工程学院,无,1
  • A new continuous petri net: step continuous petri nets,2007-08-18,Proceedings of the IEEE International Conference on Automation and Logistics,ICAL 2007,国外学术刊物,王寿光,信息与电子工程学院,无,1
  • Low power nodes revocation scheme in sensor networks,2009-12-30,Proceedings of the 1st international conference on Information science and engineering,国外学术刊物,王寿光,信息与电子工程学院,无,1
  • A literature review of deadlock prevention policy based on petri nets for automated manufacturing systems,2012-11-15,International journal of Digital content technology and its applications,国外学术刊物,6,5
  • An improved MIP-based Policy for Deadlock Prevention Based on Petri Nets,2011-09-01,5,4
  • A Survey of Reachability Trees of Unbounded Petri Nets,2015-04-01,自动化学报,国外学术刊物,王寿光,41,2
  • Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems,2015-01-01,Asian Journal of Control,国外学术刊物,王寿光,信息与电子工程学院,17,1
  • Deadlock prevention policy for a class of Petri nets based on complementary places and elementary siphons,2015-03-03,Journal of Intelligent Manufacturing,国外学术刊物,王寿光,信息与电子工程学院,26,1
  • An alrithm to find the minimal initial markings of resource places ensuring liveness of finite-capacity S3PR,2012-03-15,International Journal of Production Research,国外学术刊物,王寿光,信息与电子工程学院,50,1
  • Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming,2021-01-01,IEEE/CAA Journal of Automatica Sinica,国内外公开发行学术刊物,王寿光,信息与电子工程学院,8,1
  • 信标可控性定义及问题,2014-12-20,自动化学报,国外学术刊物,王寿光,40,2
  • Comments on "liveness of an extended S3PR ",2014-08-13,Automatica,国外学术刊物,王寿光,信息与电子工程学院,50,1
  • 针对α网的最优线性约束转换方法,2015-10-01,西安电子科技大学学报,国外学术刊物,王寿光,42,3
  • A Reduced Reachability Tree for a Class of Unbounded Petri Nets,2015-10-01,IEEE/CAA Journal of Automatica Sinica,国内外公开发行学术刊物,王寿光,信息与电子工程学院,2,1
  • Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions,2016-07-01,IEEE Trans. Automatic Control,国外学术刊物,王寿光,信息与电子工程学院,61,1
  • Deadlock and liveness characterization for a class of generalized Petri nets,2017-12-01,INFORMATION SCIENCES,王寿光,420,2
  • Necessary and Sufficient Conditions for Resultant Siphons to be controlled,2011-06-29,Proceedings of 2011 American Control Conference,国外学术刊物,王寿光,信息与电子工程学院,无,1
  • A Survey on The Structural Controller of DES Based on Petri Nets,2010-08-07,Proceedings of 2010 Asia-Pacific Youth Conference on Communicatio,国外学术刊物,王寿光,无,2
  • Standard Neural Network Model for Robust Stabilization of Recurrent Neural Networks,2009-11-20,Proceedings of 2009 IEEE International Conference on Intelligent Computing and Intelligent systems,国外学术刊物,王寿光,信息与电子工程学院,4,1
  • New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets,2018-12-01,Science China. Information Sciences,国内外公开发行学术刊物,王寿光,信息与电子工程学院,61,Wang, SG (reprint author), Zhejiang Gongshang Univ, Dept Elect & Informat Engn, Hangzhou 310018, Zhejiang, Peoples R China.; Zhou, MC (reprint author), New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA.,1
  • An Algorithm of Recognizing Unbounded Petri Nets With Semilinear Reachability Sets and Constructing Their Reachability Trees,IEEE ACCESS,王寿光,6,Wang, SG (reprint author), Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Zhejiang, Peoples R China.,2
  • A Siphon-Based Deadlock Prevention Strategy for (SPR)-P-3,IEEE ACCESS,王寿光,7,Wang, SG (reprint author), Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Zhejiang, Peoples R China.,2
  • A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions,2018-08-01,IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS,王寿光,信息与电子工程学院,48,You, D (reprint author), Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Zhejiang, Peoples R China.,1

纵向科研

  • 无线自组织网络中带宽约束的可靠组播技术研究,2009-09-10,2009-09-08,2011-06-30,余燕平,项目结束,浙江省自然科学基金委,信息与电子工程学院,5,浙江省自然科学基金委,3
  • 农村宅基地流转潜在风险的生成机理研究：利益相关者网络视角,2013-05-21,2013-05-21,2019-12-31,曹玉香,项目结束,国家教育部,公共管理学院,8,国家教育部,4
  • 基于常微分方程的自适应软件模型研究,2014-03-11,2014-03-01,2014-12-31,王寿光,审核通过,国家自然科学基金委,信息与电子工程学院,4.5,国家自然科学基金委,1
  • 基于自动机研究离散事件系统的事件不透明问题,2020-11-16,2021-01-01,2023-12-31,王寿光,审核通过,浙江省科技厅,信息与电子工程学院,信息科学与系统科学,10,浙江省科技厅,1
  • 基于信标迭代法的资源分配系统死锁控制问题研究,2019-11-21,2020-01-01,2022-12-31,尤丹,审核通过,浙江省自然科学基金委,信息与电子工程学院,信息科学与系统科学,9,浙江省自然科学基金委,2
  • 基于Petri网的多线程软件系统死锁预防控制策略的研究和开发,2013-06-14,2013-06-14,2015-10-08,吴文慧,项目结束,浙江省科技厅,信息与电子工程学院,15,浙江省科技厅,2
  • Petri网极小信标的快速计算方法研究,2012-06-01,2012-01-01,2014-12-31,汪成英,项目结束,浙江省自然科学基金委,实验室与资产管理处,8,浙江省自然科学基金委,3
  • 基于磁流变减器的汽车半主动悬架控制系统研发,2016-04-19,2016-04-19,2017-12-31,王寿光,审核通过,信息与电子工程学院,3,1
  • 基于Petri网的柔性制造系统高效的死锁预防控制策略的研究,2011-09-01,2012-01-01,2014-01-01,王寿光,项目结束,国家自然科学基金委,信息与电子工程学院,23,国家自然科学基金委,1
  • Petri网信标计算及可控性研究,2014-06-05,2014-01-01,2016-12-29,王寿光,项目结束,浙江省自然科学基金委,信息与电子工程学院,34,浙江省自然科学基金委,1
  • 基于Petri网自动制造系统死锁预防控制器的研究,2010-11-09,2010-10-01,2011-06-30,王寿光,项目结束,浙江省教育厅,信息与电子工程学院,1,浙江省教育厅,1
  • 基于Petri网自动制造系统死锁预防控制器的研究,2010-09-14,2011-01-01,2011-06-30,王寿光,项目结束,浙江省自然科学基金委,信息与电子工程学院,5,浙江省自然科学基金委,1
  • 极小信标计算及其可控性条件研究,2014-08-25,2015-01-01,2019-03-26,王寿光,项目结束,国家自然科学基金委,信息与电子工程学院,83,国家自然科学基金委,1

横向科研

  • 印染排程软件系统的开发,2009-12-17,2009-12-17,2010-12-31,王寿光,审核通过,信息与电子工程学院,6,1

出版专著

软件成果

专利

教学论文

教学项目

出版教材

教学奖励

其他

手机扫描二维码

即可访问本教师主页

总访问量：10
11:18