Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 2 dokumen yang sesuai dengan query
cover
Bujorianu, Luminita Manuela
Abstrak :
Stochastic reachability analysis of hybrid systems is a self-contained and accessible introduction to this novel topic in the analysis and development of stochastic hybrid systems. Beginning with the relevant aspects of Markov models and introducing stochastic hybrid systems, the book then moves on to coverage of reachability analysis for stochastic hybrid systems. Following this build up, the core of the text first formally defines the concept of reachability in the stochastic framework and then treats issues representing the different faces of SRA, stochastic reachability based on Markov process theory, martingale methods, stochastic reachability as an optimal stopping problem, and dynamic programming. The book is rounded off by an appendix providing mathematical underpinning on subjects such as ordinary differential equations, probabilistic measure theory and stochastic modeling, which will help the non-expert-mathematician to appreciate the text.
London: Springer-Verlag London, 2012
e20418750
eBooks  Universitas Indonesia Library
cover
Nicholson, Martin
Abstrak :
The power makers ? challenge : and the need for fission energy looks at why using only conventional renewable energy sources is not quite as simple as it seems. Following a general introduction to electricity and its distribution, the author quantifies the reductions needed in greenhouse gas emissions from the power sector in the face of ever increasing world demands for electricity. It provides some much needed background on the many energy sources available for producing electricity and discusses their advantages and limitations to meet both the emission reduction challenge and electricity demand. By analyzing the three main groups of energy sources, renewable energy, fossil fuels and fission energy (nuclear power), readers can assess the ability of each group to meet the challenge of both reducing emissions and maintaining reliable supply at least cost. It is written for both non-technical and technical readers.
London: Springer-Verlag London, 2012
e20418783
eBooks  Universitas Indonesia Library