Results 21 to 30 of about 508,047 (264)
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 +1 more source
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 +4 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
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
Finite element analysis of train speed effect on dynamic response of steel bridge
Open Engineering, 2021 The development of materials engineering has facilitated the design of slender, light bridges replacing standard construction materials with others, which fulfil their purpose both in terms of structural behaviour and safety.
Jukowski Michał +2 more
doaj +1 more source
A system for the static analysis of XPath [PDF]
ACM Transactions on Information Systems, 2006 XPath is the standard language for navigating XML documents and returning a set of matching nodes. We present a sound and complete decision procedure for containment of XPath queries, as well as other related XPath decision problems such as satisfiability, equivalence, overlap, and coverage.
Genevès, Pierre, Layaïda, Nabil
openaire +2 more sources
Parameterisation and Optimisation of a Hand-Rake Sweeper: Application in Olive Picking
Agriculture, 2020 Olive picking is one of the most common social agricultural activities in many regions of Andalusia where the predominant crop is the traditional olive grove. The machinery used includes shakers, blowers and essential, low-cost hand-rake sweepers.
Rafael E. Hidalgo Fernández +3 more
doaj +1 more source
A Hybrid Approach for Android Malicious Software Classification
Computing Open, 2023 Android operating systems have grown in popularity and are currently being increasingly used on smartphone devices. Because of the quickly expanding quantity of Android malware and the potential safeguard of vast amounts of data kept on Android devices ...
Deepon Deb Nath +3 more
doaj +1 more source