-
题名基于工作流网的银行业务库高安全门禁系统
被引量：1
- 1
-
-
作者
王晓晓
杜勇前
叶剑虹
孙世新
-
机构
华侨大学计算机科学与技术学院
新泽西理工学院电子与计算机工程系
电子科技大学计算机科学与工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2016年第8期221-228,共8页
-
基金
国家自然科学基金培育计划专项基金(No.JB-ZR1130)
国家自然科学基金(No.60473030)
华侨大学科技创新团队和领军人才支持计划<网络信息安全>项目(No.2014KJTD13)
-
文摘
银行业务库门禁系统是一种对安全要求极高的出入口控制系统,作为业务库的第一道安全防线,该系统比普通门禁拥有更多的约束条件、更复杂的流程。先对比普通门禁和业务库门禁系统,由此引出定理合理的工作流网中加入约束后仍然是合理的工作流网。然后通过工作流网对普通门禁和业务库门禁系统进行了系统模型的建立,再采用YAWL Editor工具分析了所构建系统的正确性,最后使用软硬件协同设计的方法改进并实现了业务库门禁系统。实验结果验证了定理的正确性,同时表明基于工作流网的方法有效降低了门禁系统的设计难度,并在具体实现之前确保了设计的正确性,提高了系统的开发效率。
-
关键词
PETRI网
工作流网
YAWL
EDITOR
门禁系统
软硬件协同设计
-
Keywords
Petri nets
workflow net
YAWL Editor
entrance guard system
hardware-software co-design
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
-
-
题名柔性制造系统中混惑检测及控制
被引量：1
- 2
-
-
作者
龙章潮
叶剑虹
易科
-
机构
华侨大学计算机科学与技术学院
新泽西理工学院电子与计算机工程系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2017年第4期906-912,共7页
-
基金
国家自然科学基金培育计划专项基金项目(J-ZR1130)资助
国家自然科学基金项目(60473030)资助
+1 种基金
华侨大学科技创新团队和领军人才支持计划项目网络信息安全(2014KJTD13)资助
华侨大学研究生科研创新能力培育计划项目(1400214018)资助
-
文摘
并发和冲突在柔性制造系统中是普遍存在的,当并发和冲突混合在一起时,使人无法从系统可达图相同的终态观测到是否有冲突发生过,系统的这一特征称为混惑,存在混惑的系统不是一个好的系统,不便于对系统施加外部控制.为了解决这一问题,本文首先分析了存在混惑的柔性制造系统在结构上存在的关系,提出了基于关联矩阵的混惑结构检测方法;然后,提出基于广义互斥约束的监控器构造方法,并把设计的监控器,预先施加在每个混惑子网上,在系统运行过程中,混惑子网出现混惑导致冲突时,监控器有效,进行混惑控制.最后,通过一个柔性制造系统实例对提出的混惑检测方法及控制策略进行仿真,以验证所提方法的正确性和有效性.
-
关键词
PETRI网
柔性制造系统
混惑检测
混惑控制
广义互斥约束
-
Keywords
Petri nets
flexible manufacturing system
confusion detection
confusion control
GMECS
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Petri网的柔性制造系统混惑检测与控制
- 3
-
-
作者
龙章潮
叶剑虹
宋文
-
机构
华侨大学计算机科学与技术学院
新泽西理工学院电子与计算机工程系
西华大学计算机与软件工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2016年第12期3565-3568,3624,共5页
-
基金
国家自然科学基金培育计划专项基金资助项目(JB-ZR1130)
国家自然科学基金资助项目(60473030)
+1 种基金
华侨大学科技创新团队和领军人才支持计划资助项目(2014KJTD13)
华侨大学研究生科研创新能力培育计划资助项目(1400214018)
-
文摘
已有的混惑检测算法需要多次遍历Petri网中的所有变迁寻找混惑,比较耗时,不适合应用在复杂的柔性制造系统中。为此提出了一种新的混惑检测算法,根据混惑的基本结构特征,首先排除一些从结构上就不可能构成混惑的库所和变迁;然后在最有可能出现混惑的库所和变迁中去寻找混惑,从而降低了检测混惑的时间复杂度;再采用抑止弧对系统中出现的混惑进行了一定的消解控制;最后通过一个柔性制造系统实例验证了所提出的混惑检测算法及控制策略的高效性和正确性。
-
关键词
PETRI网
柔性制造系统
混惑检测
混惑控制
抑止弧
-
Keywords
Petri nets
flexible manufacturing system
confusion detection
confusion control
inhibitor arcs
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
-
-
题名无界Petri网的可达树的综述
被引量：4
- 4
-
-
作者
干梦迪
王寿光
周孟初
李俊
李月
-
机构
浙江工商大学信息与电子工程学院
同济大学电子与信息工程学院
新泽西理工学院电子与计算机工程系
东南大学自动化学院
-
出处
《自动化学报》
EI
CSCD
北大核心
2015年第4期686-693,共8页
-
基金
国家自然科学基金(61374148
61100056
+3 种基金
61374069)
浙江省杰出青年基金(LR14F020001)
浙江省科技计划项目(2013C31111)
浙江省新型网络标准与应用技术重点实验室(2013E10012)资助~~
-
文摘
Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,但由于问题本身的复杂性和难度太大,直到最近20年,经过国内外诸多学者的不懈努力,才逐渐取得了一些阶段性的成果和部分突破.本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献.重点对4种开创性的研究成果展开讨论,分别为有限可达树、扩展可达树、改进可达树及新型改进可达树.探讨了今后无界Petri网可达性问题的研究方向.
-
关键词
无界Petri网
可达树
可达性问题
离散事件系统
-
Keywords
Unbounded Petri nets
reachability tree
reachability problem
discrete event system
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
-
题名基于直方图对的MPEG-4格式视频无损数据隐藏
被引量：1
- 5
-
-
作者
韩一罡
童学锋
宣国荣
曲欣
施云庆
-
机构
同济大学电子与信息工程学院
新泽西理工学院电子与计算机工程系
-
出处
《计算机应用》
CSCD
北大核心
2014年第10期2985-2989,3008,共6页
-
基金
国家自然科学基金资助项目(61175014)
上海市教委科研创新基金资助项目(12ZZ033)
-
文摘
针对视频中的无损数据隐藏问题,提出了基于直方图对数据嵌入的方法,在I帧的离散余弦变换(DCT)域中,通过选择合理的起伏值、频段和区域来进行数据嵌入,达到了MPEG-4视频高质量的嵌入效果。通过选择在图像空域的最优局部区域的宏块(8×8),在DCT宏块内部最优频率范围内,在最优DCT幅度上嵌入数据,来达到视频的最优直方图对无损嵌入。在6个常用的测试视频序列的实验中,得到比过去方法更高的峰值信噪比(PSNR)。如akiyo视频,I帧嵌入PSNR,分别达到了45.33 dB(1000 b/帧)、43.58 dB(2000 b/帧)和40.28 dB(4000 b/帧)。在大嵌入量的情况下,依旧保持了较低的比特率的增加,平均约6%。在DCT系数上嵌入数据,所提算法比"基于DCT量化表"上嵌入数据得到的PSNR更高。嵌入I帧比嵌入B帧好,形成了比较完备的视频无损数据隐藏方法。
-
关键词
无损数据隐藏
直方图对
MPEG-4视频
起伏值
频段
-
Keywords
reversible data hiding
histogram pairs
MPEG-4 video
undulating threshold
frequency range
-
分类号
TP309.2
[自动化与计算机技术—计算机系统结构]
-
-
题名信标可控性定义及问题
被引量：2
- 6
-
-
作者
尤丹
王寿光
周孟初
-
机构
浙江工商大学信息与电子工程学院
同济大学教育部嵌入式系统与服务计算重点实验室
美国新泽西理工学院电子与计算机工程系
-
出处
《自动化学报》
EI
CSCD
北大核心
2014年第12期2687-2696,共10页
-
基金
国家自然科学基金(61472361,61100056,61374148)
浙江省杰出青年基金(LR14F020001)
+2 种基金
浙江省科技计划(2013C31111)
浙江省新型网络标准与应用技术重点实验室项目(2013E10012)
浙江工商大学创新项目(CX201411010)资助~~
-
文摘
死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,而对于一般Petri网,这方面的工作还需改进和完善.近年来,学者们针对一般Petri网及其子类提出了不少信标可控性定义,但这些定义并不完善,仍有大量的问题亟待解决.首先回顾了文献中的各个信标可控性定义,提出了两个新的信标可控性定义,然后从可控性定义的宽松程度、应用范围以及等价性等方面分析比较了现有的信标可控性定义优缺点.最后给出了今后的研究方向.
-
关键词
PETRI网
活性
信标
可控性
-
Keywords
Petri net, liveness, siphon, controllability
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
