Sökning: "static"

Visar resultat 16 - 20 av 1508 avhandlingar innehållade ordet static.

1. 16. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis

   Författare :Idriss Riouak; Programvaruteknik; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Static program analysis; Declarative paradigms; Reference Attribute Grammars; Control flow analysis; Data flow analysis; IntraCFG framework; Bug detection; IntraJ Static Analyser; Interactive bug detection and fixing; JFeature Static Analyser;

   Sammanfattning : Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. LÄS MER

3. 17. Historiska träbärverk : Strukturmekaniska metoder och visualisering

   Författare :Carl Thelin; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; FEM; Roof truss; Structural mechanics; Historic structure; Visualisation; Static behaviour; Static eigenvalue; Eigenmode; Finite Element Method;

   Sammanfattning : In designing and erecting buildings in historical times, creating the loadcarrying structure was perhaps the greatest challenge with which the architect and the builder were faced. We encounter structures in which there was a strive to reach vertical heights in the pillars and walls and to extend the horizontal span of the beams and vaults that were built. LÄS MER

4. 18. Multipole Moments of Stationary Spacetimes

   Författare :Thomas Bäckdahl; Magnus Herberthson; Brien Nolan; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; multipole moments; stationary; static; relativistic; spacetime; convergence; specified; Mathematical physics; Matematisk fysik;

   Sammanfattning : In this thesis we study the relativistic multipole moments for stationary asymptotically flat spacetimes as introduced by Geroch and Hansen. These multipole moments give an asymptotic description of the gravitational field in a coordinate independent way. LÄS MER

5. 19. Towards a Framework for Static Analysis Based on Points-to Information

   Författare :Marcus Edvinsson; Welf Löwe; Joakim Nivre; Christoph Kessler; Växjö universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Static analysis; Points-to analysis; Framework; Computer science; Datalogi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

   Sammanfattning : Static analysis on source code or binary code retrieves information about a software program. In object-oriented languages, static points-to analysis retrieves information about objects and how they refer to each other. LÄS MER

7. 20. Transverse cracking in cross-ply composites during static and fatigue loading at different temperatures

   Författare :Vivek Richards Pakkam Gabriel; Patrik Fernberg; Mohamed Sahbi Loukil; Kristofer Gamstedt; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Polymer composite laminate; Static loading; Fatigue loading; Elevated temperature effect; Weibull distribution model; Polymeric Composite Materials; Polymera kompositmaterial;

   Sammanfattning : Polymer composite laminates are preferred in many load bearing applications for its tailorable mechanical properties while offering light-weight solution, corrosive resistance etc. Hence, polymer composites are attractive material choice for aircraft manufacturers to reduce weight and emissions. LÄS MER