Static Analysis of Functional Programs [PDF]
, 1994 In this paper, the static analysis of programs in the functional programming language Miranda* is described based on two graph models. A new control-flow graph model of Miranda definitions is presented, and a model with four classes of callgraphs ...
Berg, K.G. van den, Broek, P.M. van den
core +4 more sources
Android malware detection method based on deep neural network
网络与信息安全学报, 2020 Android is increasingly facing the threat of malware attacks. It is difficult to effectively detect large-sample and multi-class malware for traditional machine learning methods such as support vector machine, method for Android malware detection and ...
CHAO Fan, YANG Zhi, DU Xuehui, SUN Yan
doaj +1 more source
3D Printed Robot Hand Structure Using Four-Bar Linkage Mechanism for Prosthetic Application
Sensors, 2020 Trans-radial prosthesis is a wearable device that intends to help amputees under the elbow to replace the function of the missing anatomical segment that resembles an actual human hand.
Mohamad Aizat Abdul Wahit +4 more
doaj +1 more source
A Study on Optimal Power System Reinforcement Measures Following Renewable Energy Expansion
Energies, 2020 Renewable energy generation capacity in Korea is expected to reach about 63.8 GW by 2030 based on calculations using values from a power plan survey (Korea’s renewable energy power generation project plan implemented in September 2017) and the “3020 ...
Hyuk-Il Kwon +2 more
doaj +1 more source
Static Analysis of Steel Plates and Sections Retrofitted with FRP Plates by Finite Elements Modelling [PDF]
Journal of Structural and Construction Engineering, 2019 Nowadays the use of FRP composites for strengthening steel structures has been considered by researchers. In present study, The maximum deformation of steel plates and structural sections before and after strengthening by GFRP plates was evaluated by ...
Hossein Amoushahi, Mohammad Ghasemitabar
doaj +1 more source
Sawja: Static Analysis Workshop for Java [PDF]
, 2010 Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java.
A.P. Ershov +16 more
core +6 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
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
Evolution of Primordial Protostellar Clouds --- Quasi-Static Analysis --- [PDF]
, 1998 The contraction processes of metal-free molecular clouds of starlike mass (or cloud cores) are investigated. We calculate radiative transfer of the H_2 lines and examine quasi-static contraction with radiative cooling. Comparing two time-scales, the free-
Nishi, Ryoichi +3 more
core +2 more sources
Static analysis of SEU effects on software applications [PDF]
, 2002 Control flow errors have been widely addressed in literature as a possible threat to the dependability of computer systems, and many clever techniques have been proposed to detect and tolerate them.
Benso, Alfredo +3 more
core +1 more source