Sökning: "Dan Rosén"

Hittade 2 avhandlingar innehållade orden Dan Rosén.

1. 1. Theory Exploration and Inductive Theorem Proving

   Författare :Dan Rosén; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : We have built two state-of-the-art inductive theorem provers named HipSpec and Hipster. The main issue when automating proofs by induction is to discover essential helper lemmas. Our theorem provers use the technique theory exploration, which is a method to systematically discover interesting conclusions about a mathematical theory. LÄS MER

3. 2. Loads and responses for planing craft in waves

   Författare :Anders Rosén; Dan Zenker; Brian Hayman; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Applied mechanics; planing craft; high-speed craft; waves; model tests; sull-scale trials; Teknisk mekanik; Engineering mechanics; Teknisk mekanik;

   Sammanfattning : Experimental and numerical analysis of loads and responses for planing craft in waves is considered. Extensive experiments have been performed on a planing craft, in full-scale as well as in model scale. The test set-ups and significant results are reviewed. LÄS MER