### 抄録

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.

元の言語 | 英語 |
---|---|

ホスト出版物のタイトル | The Proceedings of the 19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE |

ページ | 764-770 |

ページ数 | 7 |

出版物ステータス | 出版済み - 12 1 2009 |

イベント | 19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE - Osaka, 日本 継続期間: 6 21 2009 → 6 26 2009 |

### 出版物シリーズ

名前 | Proceedings of the International Offshore and Polar Engineering Conference |
---|---|

ISSN（印刷物） | 1098-6189 |

ISSN（電子版） | 1555-1792 |

### その他

その他 | 19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE |
---|---|

国 | 日本 |

市 | Osaka |

期間 | 6/21/09 → 6/26/09 |

### Fingerprint

### All Science Journal Classification (ASJC) codes

- Energy Engineering and Power Technology
- Ocean Engineering
- Mechanical Engineering

### これを引用

*The Proceedings of the 19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE*(pp. 764-770). (Proceedings of the International Offshore and Polar Engineering Conference).

**On mathematical logic for the ship design through the axiomatic approach.** / Shinkai, Akiji; Yamaguchi, Satoru; Kuchiki, Yusuke; Kumamoto, Naoto.

研究成果: 著書/レポートタイプへの貢献 › 会議での発言

*The Proceedings of the 19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE.*Proceedings of the International Offshore and Polar Engineering Conference, pp. 764-770, 19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE, Osaka, 日本, 6/21/09.

}

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

ER -