On mathematical logic for the ship design through the axiomatic approach

Akiji Shinkai, Satoru Yamaguchi, Yusuke Kuchiki, Naoto Kumamoto

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In the field of a ship design, like a general design, it is an axiomatic theory meaning, there are no principle and axiom which can be used as absolute standard and indicator. We usually design a ship based on a vast quantity of databases obtained from the track record ship, and use the computer utilizing experience or intuition. In this report, the "design axiom" advocated by mechanical engineering is applied, and it aims at examining whether axiomatic theory standard and indicator can be built in the ship design. Firstly, it investigates about an example, examination of the hull structure system in an initial design stage (midship section creation). And then, "design axiom" verifies that outline application is possible. Next, the process near ship design practical work is adopted as anther example of examination, and while examining whether axiomatic approach could give the standard and indicator. Investigations are carried out about mathematical logic expression of the design process of a ship from the viewpoint.

Original languageEnglish
Title of host publicationThe Proceedings of the 19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE
Pages764-770
Number of pages7
Publication statusPublished - Dec 1 2009
Event19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE - Osaka, Japan
Duration: Jun 21 2009Jun 26 2009

Publication series

NameProceedings of the International Offshore and Polar Engineering Conference
ISSN (Print)1098-6189
ISSN (Electronic)1555-1792

Other

Other19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE
CountryJapan
CityOsaka
Period6/21/096/26/09

All Science Journal Classification (ASJC) codes

  • Energy Engineering and Power Technology
  • Ocean Engineering
  • Mechanical Engineering

Fingerprint Dive into the research topics of 'On mathematical logic for the ship design through the axiomatic approach'. Together they form a unique fingerprint.

Cite this