尤丹
- 作品数：3 被引量：4H指数：2
- 供职机构：浙江工商大学信息与电子工程学院更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金浙江省科技计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- S^3PR网的严格极小信标计算方法
- 2014年
- Petri网作为一种新兴的数学建模工具,被广泛地应用于各类制造系统中.现有的死锁预防控制策略大多采用对极小信标添加控制库所来达到死锁预防的目的.因此,严格极小信标在柔性制造系统的死锁预防中占据极其重要的地位.对于一类含有资源的简单资源顺序进程网(S3PR),笔者首先定义了一类特殊库所,通过分析特殊库所和环资源子集的关系,提出判定环资源子集对应的信标是否为严格极小信标的定理,基于判定定理有效求解出严格极小信标.实验结果表明,该方法可以快速地计算出S3PR网中的严格极小信标.
- 尤丹刘苗吴文慧王寿光
- 关键词：死锁柔性制造系统PETRI网
- 离散事件系统框架下信息物理系统攻击问题综述被引量：2
- 2022年
- 信息物理系统(cyber physical system,CPS)由受控对象、传感器、执行器、监控器和通信网络组成,通信网络的使用增加了信息物理系统面临外部攻击的风险.鉴于此,综述基于离散事件系统框架处理信息物理系统攻击问题的相关研究工作.首先对信息物理系统进行简要介绍;然后对信息物理系统中的攻击进行分类;最后重点阐述信息物理系统中攻击策略的设计、攻击的检测与防御以及攻击鲁棒性监控器设计的研究现状.
- 王寿光赵玉美尤丹冉宁
- 关键词：信息物理系统离散事件系统网络攻击
- 信标可控性定义及问题被引量：2
- 2014年
- 死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,而对于一般Petri网,这方面的工作还需改进和完善.近年来,学者们针对一般Petri网及其子类提出了不少信标可控性定义,但这些定义并不完善,仍有大量的问题亟待解决.首先回顾了文献中的各个信标可控性定义,提出了两个新的信标可控性定义,然后从可控性定义的宽松程度、应用范围以及等价性等方面分析比较了现有的信标可控性定义优缺点.最后给出了今后的研究方向.
- 尤丹王寿光周孟初
- 关键词：PETRI网活性信标
