QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 发表日期：2021     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A Learning-Embedded Attributed Petri Net to Optimize Student Learning in a Serious Game 期刊论文 IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2021, 页码: 9 作者:  Liang, Jing;  Tang, Ying;  Hare, Ryan;  Wu, Ben;  Wang, Fei-Yue 收藏  |  浏览/下载：32/0  |  提交时间：2022/01/27 Games  Task analysis  Problem-solving  Petri nets  Random forests  Training  Radio frequency  Learning optimization  Petri nets (PNs)  serious game (SG)   Formal modeling and security analysis method of security protocol based on CPN 期刊论文 Tongxin Xuebao/Journal on Communications, 2021, 卷号: 42, 期号: 9, 页码: 240-253 作者:  Gong, Xiang;  Feng, Tao;  Du, Jinze 收藏  |  浏览/下载：8/0  |  提交时间：2022/02/17 Analysis method  Attack path  Colored Petri Nets  Formal analysis  Formal modeling  Formal security  Modeling analyzes  Security analysis  Security protocols  State-space   基于CPN的安全协议形式化建模及安全分析方法 期刊论文 通信学报, 2021, 卷号: 42, 期号: 09, 页码: 240-253 作者:  龚翔;  冯涛;  杜谨泽 收藏  |  浏览/下载：13/0  |  提交时间：2021/10/20 有色Petri网  安全协议  形式化分析  状态空间  攻击路径   Parametric Transformation of Timed Weighted Marked Graphs: Applications in Optimal Resource Allocation 期刊论文 IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 179-188 作者:  Zhou He;  Ziyue Ma;  Zhiwu Li;  Alessandro Giua 收藏  |  浏览/下载：15/0  |  提交时间：2021/04/09 Discrete event system  resource allocation  timed Petri net  weighted marked graph   Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming 期刊论文 IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 219-226 作者:  Shouguang Wang;  Wenli Duo;  Xin Guo;  Xiaoning Jiang;  Dan You 收藏  |  浏览/下载：31/0  |  提交时间：2021/04/09 Automated manufacturing systems  deadlocks  discrete event system  mixed-integer programming (MIP)  Petri nets (PN)  siphons   Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events 期刊论文 IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 3, 页码: 597-605 作者:  Bo Huang;  MengChu Zhou;  Cong Wang;  Abdullah Abusorrah;  Yusuf Al-Turki 收藏  |  浏览/下载：22/0  |  提交时间：2021/04/09 Deadlock prevention  Petri nets  robotic manufacturing cells  structure-minimized supervisor  supervisory control  uncontrollability  unobservability   Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems 期刊论文 IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 4, 页码: 905-915 作者:  Chuanliang Xia;  Chengdong Li 收藏  |  浏览/下载：13/0  |  提交时间：2021/04/09 Modeling  Petri nets  property preservation  subnet  synthesis