QQ客服 官方微博 反馈留言

浏览/检索结果: 共15条，第1-10条 帮助 限定条件 发表日期：2017    内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure 会议论文 11th International Conference on Natural Computation (ICNC) / 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD), 2017-08-01 作者:  Liu, Wei[1];  Wang, Lu[2];  Du, Yuyue[3];  Li, Maozhen[4] 收藏  |  浏览/下载：7/0  |  提交时间：2019/12/24 Parallel programs  Deadlock  Process nets  Message places   A safety analysis method with correlation of states for integrated modular avionics systems based on an extended generalized stochastic Petri net 会议论文 26th Conference on European Safety and Reliability (ESREL), Glasgow, SCOTLAND, 2016-09-25 作者:  Han, Rongbin;  Wang, Shihai 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30 A safety analysis method with correlation of states for integrated modular avionics systems based on an extended generalized stochastic Petri net 会议论文 RISK, RELIABILITY AND SAFETY: INNOVATING THEORY AND PRACTICE, 2017-01-01 作者:  Han, Rongbin;  Wang, Shihai 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 Formal Verification of User-Level Real-Time Property Patterns 会议论文 PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017-01-01 作者:  Ge, Ning;  Pantel, Marc;  Dal Zilio, Silvano 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30 real-time requirements  property pattern  observer  model checking  Time Petri net   IMA Dynamic Reconfiguration Modeling and Resource Criticality Analysis Based on Petri Net 会议论文 PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017-01-01 作者:  Ye, Zhiao;  Wang, Shihai;  Zhao, Tingdi 收藏  |  浏览/下载：9/0  |  提交时间：2019/12/30 IMA  dynamic reconfiguration  resource criticality  AADL  Petri net  component   A Colored Generalized Stochastic Petri Net Simulation Model for Service Reliability Evaluation of Active-active Cloud Data Center Based on IT Infrastructure 会议论文 2017 2ND INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY (ICSRS), 2017-01-01 作者:  Liu, Yue;  Li, Xiaoyang;  Lin, Yanhui;  Kang, Rui;  Xiao, Lianghua 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 active-active data center  service reliability  IT infrastructure  CGSPN  modeling and simulation   Modeling and Analysis of DNA Mutation Type Based on Colored Petri Net 会议论文 IEEE International Conference on Information and Automation (ICIA), JUL 18-20, 2017 作者:  Yang, Jinliang;  Lian, Jian;  Pu, Haitao;  Gu, Jason 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31 Protein synthesis  Amino acid codon  DNA mutation  Type analysis  Molecular biology   A micro grid fault diagnosis method based on redundant Petri net considering temporal constraints 会议论文 2017 Chinese Automation Congress, CAC 2017, October 20, 2017 - October 22, 2017 作者:  Bai, Xingzhen;  Chen, Xiangmin;  Ji, Xingquan;  Li, Pengfei;  Zhang, Qingqing 收藏  |  浏览/下载：7/0  |  提交时间：2019/12/31 A Petri Net Fault Diagnosis Model for Distribution System Based on Fault Information of FTUs 会议论文 Chinese Automation Congress (CAC), OCT 20-22, 2017 作者:  Zhang, Yuzhen;  Lei, Qian;  Zhuang, Yuexi;  Liu, Jinxiao;  Yang, Lei 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/31 distribution system  fault diagnosis  FTU over-current information  Petri net with inhibitor arcs  incidence matrix  renewable energy   Fault diagnosis of motor based on mutative scale back propagation net evolving fuzzy Petri nets 会议论文 2017 Chinese Automation Congress, CAC 2017, October 20, 2017 - October 22, 2017 作者:  Gong, Maofa;  Song, Honghe;  Tan, Juwen;  Xie, Yunxing;  Song, Jian 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31