Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters
暂无分享,去创建一个
[1] J. Muñoz Estrada,et al. Natural gas network modeling for power systems reliability studies , 2003 .
[2] Goran Andersson,et al. Reliability modeling of multi-carrier energy systems , 2009 .
[3] Claudio R. Fuerte-Esquivel,et al. Integrated energy flow analysis in natural gas and electricity coupled systems , 2011, 2011 North American Power Symposium.
[4] M. Shahidehpour,et al. Interdependency of Natural Gas Network and Power System Security , 2008, IEEE Transactions on Power Systems.
[5] William H. Sanders,et al. Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models , 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
[6] J. Munoz,et al. Natural gas network modeling for power systems reliability studies , 2003, 2003 IEEE Bologna Power Tech Conference Proceedings,.
[7] C F Colebrook,et al. TURBULENT FLOW IN PIPES, WITH PARTICULAR REFERENCE TO THE TRANSITION REGION BETWEEN THE SMOOTH AND ROUGH PIPE LAWS. , 1939 .
[8] Miklós Telek,et al. PhFit: A General Phase-Type Fitting Tool , 2002, Computer Performance Evaluation / TOOLS.
[9] Philipp Reinecke,et al. HyperStar: Phase-Type Fitting Made Easy , 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.
[10] Lorenzo Ridi,et al. Transient analysis of non-Markovian models using stochastic state classes , 2012, Perform. Evaluation.
[11] Rolf Dach,et al. Technical Report 2012 , 2013 .
[12] Andrea Bondavalli,et al. Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability , 2001, IEEE Trans. Computers.
[13] Laura Carnevali,et al. A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models , 2011, SAFECOMP.
[14] André L.H. Costa,et al. STEADY-STATE modeling and simulation of pipeline networks for compressible fluids , 1998 .
[15] Laura Carnevali,et al. Oris: a tool for modeling, verification and evaluation of real-time systems , 2010, International Journal on Software Tools for Technology Transfer.
[16] Hoon Choi,et al. Markov Regenerative Stochastic Petri Nets , 1994, Perform. Evaluation.
[17] P. Glynn. A GSMP formalism for discrete event systems , 1989, Proc. IEEE.
[18] H Chatley,et al. CORRESPONDENCE. TURBULENT FLOW IN PIPES, WITH PARTICULAR REFERENCE TO THE TRANSITION REGION BETWEEN THE SMOOTH AND ROUGH PIPE LAWS. (INCLUDES PLATES). , 1939 .
[19] Mark-Alexander Sujan,et al. Computer Safety, Reliability, and Security , 2014, Lecture Notes in Computer Science.
[20] Andrea Bobbio,et al. Markov regenerative SPN with non-overlapping activity cycles , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.
[21] Laura Carnevali,et al. Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems , 2009, IEEE Transactions on Software Engineering.
[22] Laura Carnevali,et al. Stochastic Time Petri Nets , 2008 .
[23] Gianfranco Ciardo,et al. A Characterization of the Stochastic Process Underlying a Stochastic Petri Net , 1994, IEEE Trans. Software Eng..
[24] Jolanta Szoplik,et al. The Gas Transportation in a Pipeline Network , 2012 .
[25] José Luis Risco Martín,et al. Modeling and simulation of a gas distribution pipeline network , 2009 .
[26] Laura Carnevali,et al. Quantitative evaluation of availability measures of gas distribution networks , 2013, VALUETOOLS.