Results 21 to 30 of about 23,644,798 (245)
Static and Dynamic Analysis of a Pump Impeller with a Balancing Device Part I: Static Analysis [PDF]
, 2014 This part of the work presents the design and static analysis of an impeller for a single-stage pump. The impeller is directly connected with a balancing device. The impeller needs to have a properly designed system of longitudinal and lateral clearances
Kundera, C. +3 more
core +1 more source
Static analysis of deterministic negotiations [PDF]
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017 To appear in the Proceedings of LICS 2017, IEEE Computer ...
Javier Esparza +2 more
openaire +4 more sources
Nonlinear Bending Behavior of Functionally Graded Plates Combined with Active Fiber Composites under Thermal Environment [PDF]
Mechanics of Advanced Composite Structures, 2021 The present paper describes the study of nonlinear bending characteristics of smart Functionally Graded (FG) plates combined with piezoelectric composites.
N. Pradhan, Saroj Sarangi
doaj +1 more source
Undecidability of static analysis [PDF]
ACM Letters on Programming Languages and Systems, 1992 Static analysis of programs is indispensable to any software tool, environment, or system that requires compile-time information about the semantics of programs. With the emergence of languages like C and LISP, static analysis of programs with dynamic storage and recursive data structures has become a field of active research.
openaire +2 more sources
QuickChecking static analysis properties [PDF]
Software Testing, Verification and Reliability, 2015 SummaryA static analysis can check programs for potential errors. A natural question that arises is therefore: who checks the checker? Researchers have given this question varying attention, ranging from basic testing techniques, informal monotonicity arguments, thorough pen‐and‐paper soundness proofs, to verified fixed point checking.
Jan Midtgaard, Anders Møller
openaire +5 more sources
Optimization study of shape of translational shell of square plan
Structural Mechanics of Engineering Constructions and Buildings, 2019 The aim of the work. The static analysis and comparison of the results for translational shells under equally distributed load of dead weight are provided. The shells of the similar general dimensions in plan and rise of four different types: translation
Evgeniya M. Tupikova
doaj +1 more source
Nanoscale resolution interrogation scheme for simultaneous static and dynamic fiber Bragg grating strain sensing [PDF]
, 2012 A combined interrogation and signal processing technique which facilitates high-speed simultaneous static and dynamic strain demodulation of multiplexed fiber Bragg grating sensors is described.
Perry, Marcus +3 more
core +3 more sources
The influence of bracing on the stress state of the ribbed-ring dome framework
Structural Mechanics of Engineering Constructions and Buildings, 2022 The aim of current research was to establish the relationship between the stress state of the ribbed-ring dome framework and the degree of its bracing. It was assumed that the meridional ribs and rings of the dome framework are made of metal.
Evgeny V. Lebed
doaj +1 more source
Buildings, 2022 The paper discusses the seismic vulnerability of structures susceptible to overcrowding due to their intended use. Specifically, it addresses the analysis towards earthquake actions of a masonry school located in the Municipality of San Giorgio a Cremano,
Assunta Paola Piccolo +2 more
doaj +1 more source
The Julia Static Analyzer for Java [PDF]
, 2016 The Julia static analyzer applies abstract interpretation to the analysis and verification of Java bytecode. It is the result of 13 years of engineering effort based on theoretical research on denotational and constraint-based static analysis through ...
SPOTO, Nicola Fausto, Fausto Spoto
core +1 more source