长垣产业园区科技文献服务平台

期刊


ISSN1748-006X
刊名Proceedings of the Institution of Mechanical Engineers
参考译名机械工程师学会会报；O辑：风险和可靠性杂志
收藏年代2006～2024



全部

2006 2007 2008 2009 2010 2011
2012 2013 2014 2015 2016 2017
2018 2019 2020 2021 2022 2023
2024

2023, vol.237, no.1 2023, vol.237, no.2 2023, vol.237, no.3 2023, vol.237, no.4 2023, vol.237, no.5 2023, vol.237, no.6

题名作者出版年年卷期
Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logicTorben, Tobias Rye; Glomsrud, Jon Arne; Pedersen, Tom Arne; Utne, Ingrid B.; Sorensen, Asgeir J.20232023, vol.237, no.2
A novel risk assessment process: Application to an autonomous inland waterways shipBolbot, Victor; Theotokatos, Gerasimos; Andreas Wennersberg, Lars; Faivre, Jerome; Vassalos, Dracos; Boulougouris, Evangelos; Jan Rodseth, Ornulf; Andersen, Pal; Pauwelyn, Ann-Sofie; Van Coillie, Antoon20232023, vol.237, no.2
The need for and conceptual design of an AI model-based Integrated Flight Advisory SystemRamos, Marilia A.; Sankaran, Karthik; Guarro, Sergio; Mosleh, Ali; Ramezani, Ramin; Arjounilla, Adrian20232023, vol.237, no.2
Communication architecture for autonomous passenger shipAmro, Ahmed; Gkioulos, Vasileios; Katsikas, Sokratis20232023, vol.237, no.2
Assessing autonomous ship navigation using bridge simulators enhanced by cycle-consistent adversarial networksBrandsaeter, Andreas; Osen, Ottar L.20232023, vol.237, no.2
On the use of leading safety indicators in maritime and their feasibility for Maritime Autonomous Surface ShipsWrobel, Krzysztof; Gil, Mateusz; Krata, Przemyslaw; Olszewski, Karol; Montewka, Jakub20232023, vol.237, no.2
Editorial for the special issue on the International Workshop on Autonomous System Safety (IWASS)Thieme, Christoph A.; Ramos, Marilia A.; Utne, Ingrid B.; Mosleh, Ali20232023, vol.237, no.2
Using formal methods for autonomous systems: Five recipes for formal verificationLuckcuck, Matt20232023, vol.237, no.2
Developing next generation marine risk analysis for ships: Bio-inspiration for building immunityVentikos, Nikolaos P.; Louzis, Konstantinos20232023, vol.237, no.2
Reliability assessment of autonomous vehicles based on the safety control structureWang, Feipeng; Araujo, Diana Filipa; Li, Yan-Fu20232023, vol.237, no.2
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024