TY - GEN

T1 - On mathematical logic for the ship design through the axiomatic approach

AU - Shinkai, Akiji

AU - Yamaguchi, Satoru

AU - Kuchiki, Yusuke

AU - Kumamoto, Naoto

PY - 2009/12/1

Y1 - 2009/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=74549182896&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=74549182896&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:74549182896

SN - 9781880653531

T3 - Proceedings of the International Offshore and Polar Engineering Conference

SP - 764

EP - 770

BT - The Proceedings of the 19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE

T2 - 19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE

Y2 - 21 June 2009 through 26 June 2009

ER -