Sökning: "Minimal bredd."

Hittade 2 avhandlingar innehållade orden Minimal bredd..

1. 1. Bridge Overhang Slabs with Edge Beams : LCCA and Structural Analysis for the Development of New Concepts

   Författare :José Javier Veganzones Muñoz; Costin Pacoste; Raid Karoumi; Lars Pettersson; Rui Vaz Rodrigues; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Overhang slab; Edge beam; Life-cycle Cost Analysis; Non-linear FE-analysis; Design methods; Shear force; Failure mode; Effective width; Minimal width.; Konsolplattor; Kantbalkar; Livscykelkostnadsanalys; Icke-linjär FE-analys; Dimensioneringsmetoder; Tvärkrafter; Brott; Fördelningsbredd; Minimal bredd.; Bro- och stålbyggnad; Structural Engineering and Bridges;

   Sammanfattning : Bridge edge beams are associated with high life-cycle costs because of the need of maintenance, which also causes traffic disturbances. For this reason, the Swedish Transport Administration started a project to find better solutions. One of the proposals was a design without edge beam. LÄS MER

3. 2. Short Proofs May Be Spacious : Understanding Space in Resolution

   Författare :Jakob Nordström; Johan Håstad; Albert Atserias; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Proof complexity; resolution; space; length; width; separation; lower bound; pebble game; pebbling formula; Beviskomplexitet; resolution; minne; längd; bredd; separation; undre gräns; pebblingspel; pebblingformel; Theoretical computer science; Teoretisk datalogi;

   Sammanfattning : Om man ser på de bästa nu kända algoritmerna för att avgöra satisfierbarhet hos logiska formler så är de allra flesta baserade på den så kallade DPLL-metoden utökad med klausulinlärning. De två viktigaste gränssättande faktorerna för sådana algoritmer är hur mycket tid och minne de använder, och att förstå sig på detta är därför en fråga som har stor praktisk betydelse. LÄS MER