公共文化服务平台

王寿光: 作品数：31 被引量：55H指数：4; 供职机构：浙江工商大学信息与电子工程学院更多>>; 发文基金：国家自然科学基金浙江省自然科学基金浙江省科技计划项目更多>>; 相关领域：自动化与计算机技术电气工程机械工程理学更多>>

合作作者

基于混合整数规划的一般Petri网死锁检测方法被引量：5: 2015年; 信标的受控性是检测柔性制造系统(flexible manufacturing system,FMS)Petri网模型是否存在死锁的关键因素.对于普通Petri网,在任何可达标识下所有信标不被清空是检测网系统非死锁的充分条件.然而,该条件对于建模能力更强的一般Petri网并不适用,max可控性条件由此产生.研究证明,该条件对于一般Petri网的死锁检测过于严格了.虽然其后有很多研究者通过改进max可控性条件以求给出条件更宽松的一般Petri网非死锁的充分条件,但大部分的研究成果都仅仅局限于一种顺序资源共享分配系统Petri网模型S4PR(systems of sequential systems with shared resources)网.因此,本文在max可控性条件的基础上提出了新的名为max#可控的信标可控性条件,并在此条件的基础上实现了基于混合整数规划(mixed integer programming,MIP)的死锁检测方法.与现有研究成果相比,max#可控性条件更宽松,可适用于更多类型的一般网,为解决大规模柔性制造系统中死锁监督控制器的结构复杂性问题提供了有力的理论支撑.; 庄巧莉戴文战王寿光; 关键词：PETRI网柔性制造系统死锁检测混合整数规划

S^3PR网的严格极小信标计算方法: 2014年; Petri网作为一种新兴的数学建模工具,被广泛地应用于各类制造系统中.现有的死锁预防控制策略大多采用对极小信标添加控制库所来达到死锁预防的目的.因此,严格极小信标在柔性制造系统的死锁预防中占据极其重要的地位.对于一类含有资源的简单资源顺序进程网(S3PR),笔者首先定义了一类特殊库所,通过分析特殊库所和环资源子集的关系,提出判定环资源子集对应的信标是否为严格极小信标的定理,基于判定定理有效求解出严格极小信标.实验结果表明,该方法可以快速地计算出S3PR网中的严格极小信标.; 尤丹刘苗吴文慧王寿光; 关键词：死锁柔性制造系统 PETRI网

融合多种分量特征的人脸识别方法: 本发明涉及人脸识别领域，具体提出了一种高频特征和低频特征加权的人脸识别方法，包括以下步骤：采用NSCT实现多尺度、多方向的高频子带的边缘变换，再运用均匀LBP算法提取其纹理特征，并将多个高频子带的LBP特征信息进行组合，...; 王寿光郑能心; 文献传递

一种新型的混合Petri网:步混合Petri网被引量：1: 2005年; Petri网是一种图形的和数学的建模工具,适合于许多系统的建模.为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网———步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模.; 支阿玲骆再飞王寿光徐月同; 关键词：混合PETRI网 PID控制

基于Grafcet的电梯控制系统建模: Grafcet建模工具以Petri网理论为其理论基础,它可以为并发、同步系统建模。Grafcet由图形表示,直观、易理解,且有很强的逻辑描述和分析能力,被广泛地应用到工业中。本文运用Grafcet建立电梯控制系统的模型,...; 王寿光林善法张有兵; 关键词：GRAFCET 电梯控制系统可编程控制器 PETRI网; 文献传递

带有不可控变迁的一般不等式约束的Petri网控制器综合被引量：2: 2007年; 针对关于标识向量和Parikh向量的一般不等式约束的Petri网控制器实现问题,研究控制对象中存在不可控变迁情况下实现Petri网反馈控制器问题.首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,由于Petri网中不可控变迁的存在,故不能直接对给定不等式约束进行控制器设计,需要对不等式约束进行转换.提出一种新约束转换技术把不允许转变为允许不等式约束,然后设计Petri网反馈控制器.最后将该方法与Iordache等人提出的方法作比较,实验结果显示该方法更简单、更有效.; 王寿光许振伟; 关键词：PETRI网离散事件系统线性不等式约束

离散事件系统框架下信息物理系统攻击问题综述: 2022年; 信息物理系统(cyber physical system,CPS)由受控对象、传感器、执行器、监控器和通信网络组成,通信网络的使用增加了信息物理系统面临外部攻击的风险.鉴于此,综述基于离散事件系统框架处理信息物理系统攻击问题的相关研究工作.首先对信息物理系统进行简要介绍;然后对信息物理系统中的攻击进行分类;最后重点阐述信息物理系统中攻击策略的设计、攻击的检测与防御以及攻击鲁棒性监控器设计的研究现状.; 王寿光赵玉美尤丹冉宁; 关键词：信息物理系统离散事件系统网络攻击

一种高安全性人脸识别智能锁: 本发明通过人脸识别技术用户可以快速开门，但很多户主不敢使用该技术作为家庭财产安全的验证方式，本发明通过手机端与锁端的实时监控的方式大大将这安全隐患降至最低。即使是传统的锁具也无法避免忘记关门和被撬锁的风险，但本发明有报警...; 王寿光郑能心; 文献传递

混合Petri网及其在混合系统中的应用探讨被引量：10: 2003年; 针对混合系统的建模 ,提出一种混合 Petri网 (HPN)模型 ,并用数学语言严格地定义和描述与此 Petri网有关的基本概念和一些性质。以一个生产系统为例 ,用 Petri网来描述并分析此生产系统 ,并用 Vis Obj Net软件包仿真此生产系统。; 王寿光颜钢锋蒋静坪; 关键词：混合PETRI网

一种基于时间同步Petri网的急救车优先通行建模方法: 本发明公开了一种基于时间同步Petri网的急救车优先通行建模方法，该方法包括如下步骤：(1)将时间Petri网、同步Petri网以及禁止弧的概念相结合，提出时间同步Petri网的定义；(2)基于时间Petri网建立二相位...; 王寿光洪月明吴文慧; 文献传递