Constraint Programming Enabled Automated Ship Hull Geometric Design

  • Thomas Luke McCullochEmail author
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 1000)


Techniques for the generation of constrained and optimized geometry play a key role in the automated design of ships, particularly in the early stages. So called “form parameter design” systems are state-of-the-art for such ship hull geometry generation tasks. These systems solve a sequence of constrained nonlinear optimization problems to generate ship hull form geometry which conforms to constraints (form parameters). With such a system, a human expert, or search algorithm capable of discarding infeasible designs, is needed to pick constraint combinations that are at once feasible and also result in a high quality design. Simply finding a feasible set of form parameters is non-trivial enough that form parameter design of ship hulls has remained mostly an academic practice. Commercial tools exist, but their uptake by industry has been slow because this issue has given such tools a reputation for being hard to use.

In this paper a modified approach for hull shape generation is proposed, combining form parameter design with interval constraint logic programming. We use a constraint solver to pre-process the design space, ensuring all constraints are feasible. This ensures that the form parameter design tool always operates within the feasible sub-domain of the total design space. The new approach is briefly described. Its effectiveness is demonstrated by using a random number generator together with the constraint solver to generate feasible design candidates, and then valid ship hull geometry is generated by our form parameter design program.


  1. 1.
    Abt, C., Harries, S., Hochkirch, K.: Constraint management for marine design applications. In: \(8^{\text{th}}\) International Symposium on Practical Design of Ships and Other Floating Structures (PRADS 2004), Lübeck-Travemünde, Germany (2004)Google Scholar
  2. 2.
    Benhamou, F.: Interval Constraint Logic Programming, pp. 1–21. Springer, Heidelberg (1995). Scholar
  3. 3.
    Bertram, V.: A survey on knowledge-based systems for ship design and ship operation. Int. J. Intell. Eng. Inform. 2(1), 71–90 (2013). Scholar
  4. 4.
    Birk, L., Harries, S.: Automated optimization – a complementing technique for the hydrodynamic design of ships and offshore structures. In: 1\(^{\text{st }}\) International Conferecne on Computer Applications and Information Technology in the Maritime Industries (COMPIT), Potsdam, Germany (2000)Google Scholar
  5. 5.
    Birk, L., McCulloch, T.L.: Robust generation of constrained b-spline curves based on automatic differentiation and fairness optimization. Comput. Aided Geom. Des. 59, 49–67 (2018).
  6. 6.
    Bole, M., Lee, B.: Integrating parametric hull generation into early stage design. Ship Technol. Res./Schiffstechnik 53, 115–137 (2006)CrossRefGoogle Scholar
  7. 7.
    Byrd, W.: Relational programming in minikanren: techniques, applications, and implementations. Ph.D. thesis, Indiana University (2009)Google Scholar
  8. 8.
    Christianson, B.: Automatic Hessians by Reverse Accumulation. Other Titles in Applied Mathematics, 2nd edn. SIAM, Philadelphia (2008)zbMATHGoogle Scholar
  9. 9.
    Cleary, J.: Logical arithmetic. Future Comput. Syst. 2(2), 125–149 (1987)Google Scholar
  10. 10.
    Collavizza, H., Delobel, F., Rueher, M.: A note on partial consistencies over continuous domains. In: Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming, CP 1998, pp. 147–161. Springer, London (1998)CrossRefGoogle Scholar
  11. 11.
    Friedman, D., Byrd, W., Kiselyov, O.: The Reasoned Schemer. MIT Press, Cambridge (2005)CrossRefGoogle Scholar
  12. 12.
    Hansen, E.,W̃alster, W.: Global Optimization Using Interval Analysis, 2nd edn. Marcel Dekker, New York City (2004)Google Scholar
  13. 13.
    Harries, S.: Parametric design and hydrodynamic optimization of ship hull forms. Ph.D. thesis, Technische Universität Berlin (D83), Berlin (1998)Google Scholar
  14. 14.
    Harries, S., Nowacki, H.: Form parameter approach to the design of fair hull shapes. In: \(10^{\text{th}}\) International Conference on Computer Applications in Shipbuilding (ICCAS 1999), Massachusetts Institute of Technology, Cambridge, MA (1999)Google Scholar
  15. 15.
    Kahan, W.M.: A more complete arithmetic, lecture notes for a summer course at the University of Michigan (1968)Google Scholar
  16. 16.
    Kearfott, B.: Rigorous Global Search: Continuous Problems. Nonconvex Optimization and its Applications, vol. 13. Kluwer Academic Publishers Group, Norwell/Dordrecht (1996)CrossRefGoogle Scholar
  17. 17.
    Kim, H.: Parametric design of ship hull forms. Ph.D. thesis, Technische Universität Berlin (D83), Berlin (2004)Google Scholar
  18. 18.
    Kim, S., H.C. K., Lee, Y.: Initial hull form design using fuzzy modeling. Ship Technol. Res./Schiffstechnik 43, 175–180 (1996)Google Scholar
  19. 19.
    McCulloch, T.L.: Feasible form parameter design of complex ship hull form geometry. Ph.D. thesis, University of New Orleans (2018).
  20. 20.
    Nowacki, H., Bloor, M., Oleksiewicz, B. (eds.): Computational Geometry for Ships. World Scientific, Singapore (1995)Google Scholar
  21. 21.
    Rossum, G.: Python tutorial, technical report cs-r9526. Technical report, Centrum voor Wiskunde en Informatica, Amsterdam (1995)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Bentley Systems Inc.MetairieUSA

Personalised recommendations