Autor: Lee, J. H. - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Towards Safe Navigation by Formalizing Navigation Rules
Autorzy:: Kreutzmann, A.
Wolter, D.
Dylla, F.
Lee, J. H.
Powiązania:: https://bibliotekanauki.pl/articles/117627.pdf
Data publikacji:: 2013
Wydawca:: Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:: safety of navigation
Navigation Rules
artificial intelligence
Spatio-temporal Logics
Opis:: One crucial aspect of safe navigation is to obey all navigation regulations applicable, in particular the collision regulations issued by the International Maritime Organization (IMO Colregs). Therefore, decision support systems for navigation need to respect Colregs and this feature should be verifiably correct. We tackle compliancy of navigation regulations from a perspective of software verification. One common approach is to use formal logic, but it requires to bridge a wide gap between navigation concepts and simple logic. We introduce a novel domain specification language based on a spatio‐temporal logic that allows us to overcome this gap. We are able to capture complex navigation concepts in an easily comprehensible representation that can directly be utilized by various bridge systems and that allows for software verification.
Źródło:: TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2013, 7, 2; 161-168
2083-6473
2083-6481
Pojawia się w:: TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: The Development of Ship Watch Keeping Supporting Aids
Autorzy:: Im, N.
Kim, E. K.
Han, S. H.
Jeong, J. S.
Lee, S. M.
Powiązania:: https://bibliotekanauki.pl/articles/117602.pdf
Data publikacji:: 2013
Wydawca:: Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:: Ship Watchkeeping
Deck Officers
Navigation Visual Supporting System
Intelligent Technology
Dangerous Floating Objects
Binocular Telescope
laser distance measuring unit
Sea Trial Test
Opis:: This study deals with the development of ship watch keeping supporting aids that will be useful for ship deck officers in recognizing navigational harmful obstacles such as sea marks and small floating objects on the sea. The developed watch keeping supporting aids is made up of four components; a composite video sensor to produce video signal, a laser distance measuring part, a Pan/Tilt part and a central control part. The system was installed in a ship in order to verify its performance of the recognition ability on the sea. The comparison was made between the recognition ability of the system and that of watch keeping deck officers’. The image from the watch keeping supporting system was found to be more recognizable than that of a binocular telescope within a 5 km distance. The newly suggested system is expected to be used to recognize small dangerous floating objects more easily when navigation deck officers have a duty of watch keeping for navigation especially near harbor area.
Źródło:: TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2013, 7, 4; 501-506
2083-6473
2083-6481
Pojawia się w:: TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "Lee, J. H." wg kryterium: Autor

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język