中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文 OAI收割 FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143 Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2016/12/09 Complexity Compositional analysis Concurrency Efficiency Linear programming Probabilistic automata Satisfiability modulo theories Weak bisimulation
	Transient Reward Approximation for Continuous-Time Markov Chains 期刊论文 OAI收割 IEEE TRANSACTIONS ON RELIABILITY, 2015, 卷号: 64, 期号: 4, 页码: 1254-1275 Hahn, EM; Hermanns, H; Wimmer, R; Becker, B \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2016/12/13 Continuous-time Markov chains continuous-time Markov decision processes abstraction symbolic methods ordered binary decision diagrams
	STUDY OF A RAPID CYCLING SYNCHROTRON TO REPLACE THE CERN PS BOOSTER 会议论文 OAI收割 Proceedings of the second International Particle Accelerator Conference (IPAC 2011), Spain, 2011 作者: K.Hanke; O.Aberle; M. E.Angoletta; B.Balhan; W.Bartmann 收藏 \| 浏览/下载：28/0 \| 提交时间：2016/06/21
	Commissioning and performance of the cms silicon strip tracker with cosmic ray muons 期刊论文 iSwitch采集 Journal of instrumentation, 2010, 卷号: 5, 页码: 130 作者: Chatrchyan, S.; Khachatryan, V.; Sirunyan, A. M.; Adam, W.; Arnold, B. 收藏 \| 浏览/下载：117/0 \| 提交时间：2019/04/23 Large detector systems for particle and astroparticle physics Particle tracking detectors (solid-state detectors)
	CFD Modelling of Biogas Cofiring in a Gas Turbine 会议论文 OAI收割 ASME:COMBUSTION AND FUELS, 2002 J. A. Licklama à Nijeholt,E. M. J. Komen,R. T. E. Hermanns,L. P. H. de Goey,A. J. L. Verhage 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/11/28
	CFD Modelling of Biogas Cofiring in a Gas Turbine 会议论文 OAI收割 2002 J. A. Licklama à Nijeholt,E. M. J. Komen,R. T. E. Hermanns,L. P. H. de Goey,A. J. L. Verhage \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/11/28