QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 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   Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties 期刊论文 INFORMATION AND COMPUTATION, 2015, 卷号: 244, 页码: 229-244 作者:  Li, Lvzhou;  Feng, Yuan 收藏  |  浏览/下载：13/0  |  提交时间：2018/07/30 Quantum Markov chains  Hybrid systems  Quantum automata  Equivalence  Model checking  Linear-time property   Strain-based topology optimisation for crashworthiness using hybrid cellular automata 期刊论文 INTERNATIONAL JOURNAL OF CRASHWORTHINESS, 2011, 卷号: 16, 页码: 239-252 作者:  Guo, Lianshui;  Tovar, Andres;  Penninger, Charles L.;  Renaud, John E. 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06 strain constraint  hybrid cellular automata  dynamical multi-domain  topology optimisation  non-linear finite-element analysis  control-based optimisation