An overall safety concept for nuclear power plants

Autor: Juhani Hyvärinen, Juhani Vihavainen, Marja Ylönen, Janne Valkonen

Publikováno v: Hyvärinen, J, Vihavainen, J, Ylönen, M & Valkonen, J 2022, ' An overall safety concept for nuclear power plants ', Annals of Nuclear Energy, vol. 178, 109353 . https://doi.org/10.1016/j.anucene.2022.109353

A comprehensive understanding of the “safety” of nuclear reactors is essential for effective and efficient safety management by licensees and regulation by authorities. Nuclear reactors are designed subject to incomplete knowledge of factors that

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7b17ce6e31994e4624c8a4d2f5e548c
https://cris.vtt.fi/en/publications/1fb10a6d-68eb-43ed-b79f-7c440c33d600

Assessment of the Feasibility of the Arctic Sea Transportation by Using Ship Ice Transit Simulation

Autor: Janne Valkonen, Kaj Riska

Publikováno v: Volume 10: Polar and Arctic Science and Technology.

Arctic sea transportation has drawn a lot of attention in the recent years. The possibility of using a shorter route between Europe and Asia interests many actors in the shipping industry. Benefits from the shorter route may, at first, seem attractiv

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6fb0ed8682d594b27632cfcea5f5d16d
https://doi.org/10.1115/omae2014-24188

COSSARC: Concept Selection for Shipping in the Arctic

Autor: Grunde Løvoll, Janne Valkonen, Erik Løkken Walter, Magnus S. Eide

Publikováno v: Volume 6: Polar and Arctic Sciences and Technology; Offshore Geotechnics; Petroleum Technology Symposium.

Increased global demand for oil, gas and minerals combined with melting sea ice opens new opportunities for shipping companies, both in the form of new Arctic shipping routes and extended use of existing ones. It can be challenging for a ship owner t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4638668582fb02fbdbac7887ff0c1a6c
https://doi.org/10.1115/omae2013-10063

Emergency diesel generator control system verification by model checking and compositional minimization

Autor: Jussi Lahtinen, Kim Björkman, Janne Valkonen, Niemelä, I.

Publikováno v: Lahtinen, J, Björkman, K, Valkonen, J & Niemelä, I 2012, Emergency diesel generator control system verification by model checking and compositional minimization . in Proceedings : Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012 . Springer, Czech Republic, Lecture Notes in Computer Science, vol. 7721, pp. 49-60, 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012), Znojmo, Czech Republic, 25/10/12 .
VTT Technical Research Centre of Finland-PURE

Digital instrumentation and control (I&C) systems containing programmable logic controllers are challenging to verify. They enable complicated control functions and the state spaces (number of distinct values of inputs, outputs and internal memory) o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dd1be3faf6ae3209b2db5eb5952985ba
https://cris.vtt.fi/en/publications/f16ab15a-41c7-4b12-be18-75bba80aae5b

Challenges of requirements engineering — A case study in nuclear energy domain

Autor: Mikko Raatikainen, Tomi Männistö, Janne Valkonen, Teemu Tommila

Publikováno v: RE

The successful practices of requirements engineering vary between application domains and are characterized by the nature of the application domain. One relatively peculiar application domain is the nuclear energy domain, which is characterized by th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::61aa1036a316183e1fa0ad6459c883c6
https://doi.org/10.1109/re.2011.6051629