Results 51 to 60 of about 180,255 (212)
Logic-Based Specification Languages for Intelligent Software Agents
, 2003 The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very
Martelli, Maurizio +2 more
core +2 more sources
An Outlook on the Future Marine Traffic Management System for Autonomous Ships
IEEE Access, 2021 In the shipping digitalisation process, the peak will be reached with the advent of a wholly autonomous and at the same time safe and reliable ship.
Michele Martelli +4 more
doaj +1 more source
Meltwater Intrusions Reveal Mechanisms for Rapid Submarine Melt at a Tidewater Glacier [PDF]
, 2019 Submarine melting has been implicated as a driver of glacier retreat and sea level rise, but to date melting has been difficult to observe and quantify. As a result, melt rates have been estimated from parameterizations that are largely unconstrained by ...
Amundson, Jason M. +8 more
core +1 more source
Autonomous Shipping and Cybersecurity
Ciencia y tecnología de buques, 2019 Currently, as a result of new communications technologies, autonomous ships are even closer to our seas than we could think. But, besides un-doubted advantages, it gives rise to uncertainties and challenges in several aspects, which include those related to the fields of cybersecurity and legislation, in relation to international regulations and ...
Jaime Pancorbo Crespo +2 more
openaire +2 more sources
DANGER OF USІNG AUTONOMOUS SHIPS
Shipping & Navigation, 2023 The increasing automation of navigation is a key trend in the modern world, but it also poses significant challenges and risks for maritime safety. However, the use of terms such as ‘remote operation’, ‘automation’, ‘autonomy’, ‘artificial intelligence’, ‘unmanned ships’, ‘autonomous ships’, ‘cyber-enabled ships’, and ‘smart ships’ has created ...
O. Volkov, O. Petrychenko, Y. Vlasenko
openaire +1 more source
Research on the Decision-Making and Control System Architecture for Autonomous Berthing of MASS
Journal of Marine Science and EngineeringAutonomous berthing is a critical phase in the fully autonomous navigation process of MASS (Maritime Autonomous Surface Ship). However, the autonomous berthing stage of MASS is significantly influenced by environmental factors and involves a wide range ...
Haoze Zhang +3 more
doaj +1 more source
Safety Verification for Autonomous Ships [PDF]
MATEC Web of Conferences, 2019 Autonomous and unmanned ships are approaching reality. One of several unsolved challenges related to these systems is how to perform safety verification. Although this challenge represents a many-faceted problem, which must be addressed at several levels, it seems likely that simulatorbased testing of high-level computer control systems will be an ...
Rokseth Børge +2 more
openaire +2 more sources
Toward Visual Autonomous Ship Board Landing of a VTOL UAV [PDF]
, 2013 In this paper we tackle the problem of landing a helicopter autonomously on a ship deck, using as the main sensor, an on-board colour camera. To create a test-bed, we first adequately simulate the movement of a ship landing platform on the Sea, for ...
Campoy Cervera, Pascual +4 more
core +2 more sources
Ship Autonomous Berthing Strategy Based on Improved Linear-Quadratic Regulator
Journal of Marine Science and EngineeringThere has been significant interest in the research field of ship automatic navigation, particularly in the area of autonomous berthing. To address the key challenges of path planning and control during ship berthing, we propose an enhanced Linear ...
Jian Yin +4 more
doaj +1 more source