On mathematical logic for the ship design through the axiomatic approach

Akiji Shinkai, Satoru Yamaguchi, Yusuke Kuchiki, Naoto Kumamoto

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

抄録

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 20096 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/096/26/09

Fingerprint

Formal logic
Ships
Mechanical engineering

All Science Journal Classification (ASJC) codes

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

これを引用

Shinkai, A., Yamaguchi, S., Kuchiki, Y., & Kumamoto, N. (2009). On mathematical logic for the ship design through the axiomatic approach. : 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. 2009. p. 764-770 (Proceedings of the International Offshore and Polar Engineering Conference).

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

Shinkai, A, Yamaguchi, S, Kuchiki, Y & Kumamoto, N 2009, On mathematical logic for the ship design through the axiomatic approach. : 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.
Shinkai A, Yamaguchi S, Kuchiki Y, Kumamoto N. On mathematical logic for the ship design through the axiomatic approach. : The Proceedings of the 19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE. 2009. p. 764-770. (Proceedings of the International Offshore and Polar Engineering Conference).
Shinkai, Akiji ; Yamaguchi, Satoru ; Kuchiki, Yusuke ; Kumamoto, Naoto. / On mathematical logic for the ship design through the axiomatic approach. The Proceedings of the 19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE. 2009. pp. 764-770 (Proceedings of the International Offshore and Polar Engineering Conference).
@inproceedings{6784fffbd05443da988f7873e8348bc9,
title = "On mathematical logic for the ship design through the axiomatic approach",
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.",
author = "Akiji Shinkai and Satoru Yamaguchi and Yusuke Kuchiki and Naoto Kumamoto",
year = "2009",
month = "12",
day = "1",
language = "English",
isbn = "9781880653531",
series = "Proceedings of the International Offshore and Polar Engineering Conference",
pages = "764--770",
booktitle = "The Proceedings of the 19th (2009) International OFFSHORE AND POLAR ENGINEERING CONFERENCE",

}

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 -