QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Analysis of Interrupt Behavior Based on Probabilistic Model Checking 会议论文 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08 作者:  Hou, Gang;  Kong, Weiqiang;  Zhou, Kuanjiu;  Wang, Jie;  Cao, Xun 收藏  |  浏览/下载：41/0  |  提交时间：2019/12/02 Computer circuits  Embedded systems  Petri nets  Real time systems  Stochastic models  Stochastic systems, Automated driving systems  Continuous stochastic logic  Deterministic and stochastic Petri nets  Deterministic behavior  Interrupt behavior  Markov regenerative process  Probabilistic model checking  Real-time embedded systems, Model checking   Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights (EI收录) 期刊论文 Nonlinear Analysis: Hybrid Systems, 2018, 卷号: 27, 页码: 191-212 作者:  Herajy, Mostafa[1];  Liu, Fei[2];  Heiner, Monika[3] 收藏  |  浏览/下载：10/0  |  提交时间：2019/04/22 Cells  Continuous time systems  Cytology  Petri nets  Phosphorylation  Stochastic systems   Model-based verification method for solving the parameter uncertainty in the train control system 期刊论文 RELIABILITY ENGINEERING & SYSTEM SAFETY, 2016, 卷号: 145, 页码: 169-182 作者:  Cheng, Ruijun;  Zhou, Jin;  Chen, Dewang;  Song, Yongduan 收藏  |  浏览/下载：6/0  |  提交时间：2019/11/21 Stochastic time petri nets  Linear hybrid automata  High-speed train control system  System safety verification  Parameter uncertainty  Reachable state analysis   基于随机时间Petri网的安全性分析方法 期刊论文 计算机科学, 2016, 卷号: 43, 页码: 61-65,76 作者:  彭颖;  姚淑珍;  谭火彬 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30 随机时间Petri网 安全性分析 瞬态分析 Stochastic time Petri nets Safety analysis Transient analysis   Set of model reduction rules and algorithms for web services composition under orchestration pattern 期刊论文 Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2009, 卷号: 43, 期号: 6, 页码: 20-23+47 作者:  Yang, Huaizhou;  Li, Zengzhi 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/18 Generalized Stochastic Petri nets  Large-scale modeling  Performance calculation  Real time performance  Reduction algorithms  Reduction rules  System response time  Web services composition