نتائج البحث

Wave-frequency and low-frequency motions of a deep-draft spar buoy in irregular waves based on a consistent second-order theory

• Authors : Zheng, Zhiping; Shao, Yanlin; Chen, Jikang

Subjects: Body-fixed coordinate system; Low-frequency responses; Second-order hydrodynamic model

• Source: Zheng , Z , Shao , Y & Chen , J 2024 , ' Wave-frequency and low-frequency motions of a deep-draft spar buoy in irregular waves based on a consistent second-order theory

تفاصيل العنوان

A High-order Finite Difference Method on Overlapping Grids for Predicting the Hydroelastic Response of Ships

• Authors : Zhou, Baoshun

• Source: Zhou , B 2024 , A High-order Finite Difference Method on Overlapping Grids for Predicting the Hydroelastic Response of Ships . Technical University of Denmark , Kgs.

تفاصيل العنوان

A High-Order Finite Difference Incompressible Navier-Stokes model for Water Waves and Wave-Structure Interaction

• Authors : Engsig-Karup, Allan Peter; Melander, Anders Dalsgaard

• Source: Engsig-Karup , A P & Melander , A D 2024 , A High-Order Finite Difference Incompressible Navier-Stokes model for Water Waves and Wave-Structure Interaction . in

تفاصيل العنوان

A Naive Prover for First-Order Logic:A Minimal Example of Analytic Completeness

• Authors : From, Asta Halkjær; Villadsen, Jørgen

Subjects: First-Order Logic; Prover; Completeness

• Source: From , A H & Villadsen , J 2023 , A Naive Prover for First-Order Logic : A Minimal Example of Analytic Completeness . in Proceedings of the 32nd International Conference

تفاصيل العنوان

High-order Spatial Interactions Enhanced Lightweight Model for Optical Remote Sensing Image-based Small Ship Detection

• Authors : Yin, Yifan; Cheng, Xu; Shi, Fan

Subjects: /dk/atira/pure/sustainabledevelopmentgoals/life_below_water; name=SDG 14 - Life Below Water

• Source: Yin , Y , Cheng , X , Shi , F , Liu , X , Huo , H & Chen , S 2024 , ' High-order Spatial Interactions Enhanced Lightweight Model for Optical Remote Sensing Image-based

تفاصيل العنوان

Teaching Higher-Order Logic Using Isabelle

• Authors : Lund, Simon Tobias; Villadsen, Jørgen

• Source: Lund , S T & Villadsen , J 2024 , ' Teaching Higher-Order Logic Using Isabelle ' , Electronic Proceedings in Theoretical Computer Science, EPTCS , vol. 400 , pp. 59-78 .

تفاصيل العنوان

Reduced-order modelling of floating offshore wind turbine: Aero-hydro-elastic stability analysis

• Authors : Meng, Fanzhong; Lio, Alan W.H.; Riva, Riccardo

• Source: Meng , F , Lio , A W H & Riva , R 2024 , Reduced-order modelling of floating offshore wind turbine: Aero-hydro-elastic stability analysis . in The Science of Making

تفاصيل العنوان

Just noticeable difference for simulation accuracy between full and reduced order models (L)

• Authors : Llopis, Hermes Sampedro; Kjær, Christina; Engsig-Karup, Allan Peter

• Source: Llopis , H S , Kjær , C , Engsig-Karup , A P & Jeong , C-H 2024 , ' Just noticeable difference for simulation accuracy between full and reduced order models (L) ' ,

تفاصيل العنوان

A high-order shifted boundary method for water waves and floating bodies

• Authors : Visbech, Jens; Engsig-Karup, Allan P.; Bingham, Harry B.

• Source: Visbech , J , Engsig-Karup , A P , Bingham , H B , Amini-Afshar , M & Ricchiuto , M 2024 , A high-order shifted boundary method for water waves and floating bodies . in

تفاصيل العنوان

Heavy tails and probability density functions to any nonlinear order for the surface elevation in irregular seas

• Authors : Klahn, Mathias; Zhai, Yanyan; Fuhrman, David R.

Subjects: Coastal engineering; Surface gravity waves

• Source: Klahn , M , Zhai , Y & Fuhrman , D R 2024 , ' Heavy tails and probability density functions to any nonlinear order for the surface elevation in irregular seas ' ,

تفاصيل العنوان