• Journal of KIISE
• /
• v.42 no.11
• /
• pp.1404-1409
• /
• 2015

In this paper, we present a novel approach to analyzing large-scale JavaScript applications statically by tuning the analysis scalability, possibly sacrificing soundness. For a given sound static baseline analysis of JavaScript programs, our framework allows users to define a sound approximation of selected executions that they wish to analyze, and it derives a tuned static analysis that can analyze the selected executions practically. The selected executions serve as parameters of the framework by taking a trade-off between the scalability and the soundness of the derived analyses. We formally describe our framework in the abstract interpretation setting and present two instances of the framework.

• Structural Engineering and Mechanics
• /
• v.72 no.5
• /
• pp.585-595
• /
• 2019

Foundations are a vital part of structures. Over time, the foundations can deteriorate due to unforeseen overloads and/or settlements, resulting in the appearance of cracks in the concrete. These cracks produce changes in the static and dynamic behavior of the affected foundation, which alter its load carrying capacity. In this work, non-destructive techniques of relative simplicity of application are presented for the detection, location, and quantification of damage, using numerical models, solved with the finite element method and Power Series. For this, two types of parameters are used: static (displacement and elastic curvature) and dynamics (natural frequencies). In the static analysis, the damage detection is done by means of a finite elements model representing a beam supported on an elastic foundation with a discrete crack that varies in length and location. With regard to dynamic analysis, the governing equations of the model are presented and a method based on Power Series is used to obtain the solution for a data set, which could be the Winkler coefficient, the location of the crack or the frequency. In order to validate the proposed methodologies, these techniques are applied to data obtained from laboratory tests.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.7 no.3
• /
• pp.53-60
• /
• 2003

A test stand was developed to measure static performance of a reciprocating engine on the ground, related to the small aircraft being developed by KARI. The test stand consists of an apparatus to install and operate a pusher-type propulsion system and a data acquisition system to process many performance parameters including engine torque and propeller thrust as well as monitoring of the engine operations. First, the performance data from the basic operation tests were compared with the original engine data so the capacity of the test stand was verified. Engine performance tests were carried out with various test conditions through three stages, and it was measured and analyzed that the manifold pressure, the torque, and the back pressure of the engine, and the static thrust of the propeller.

• Structural Engineering and Mechanics
• /
• v.37 no.3
• /
• pp.309-320
• /
• 2011

As a new type of large-span space structure, suspendome is composited of the upper single-layer reticulated shell and the lower cable-strut system. It has better mechanical properties compared to single-layer reticulated shell, and the overall stiffness of suspendome structure increases greatly due to the prestress of cable. Consequently, it can cross a larger span reasonably, economically and grandly with high rigidity, good stability and simple construction. For a better assessment of the advantages of mechanical characteristic of suspendome quantitatively, the static behavior of Kiewitt6 suspendome was studied by using finite element method, and ADINA was the software application to implement the analysis. By studying a certain suspendome, the internal forces, deformation and support constrained forces of the structure were obtained in this paper. Furthermore, the influences of parameters including prestress, stay bar length, cross-sectional area and rise-to-span ratio were also discussed. The results show that the increase of prestress and vertical stay bar length can improve the stiffness of suspendome; Cross-sectional area has nearly no impact on the static behavior, and the rise-to-span ratio is the most sensitive parameter.

• Proceedings of the Acoustical Society of Korea Conference
• /
• 1994.06a
• /
• pp.806-811
• /
• 1994

Two kinds of static and dynamic state estimation methods are newly discussed for the problem of the measurement disturbance of environmental low-frequency noise in the presence of wind-induced noise. First, the probability characteristics of wind-induced noise are discussed in the form of probability distribution conditioned by wind speed, based on the simultaneous observation of the wind-induced noise and wind speed near a microphone. Next, especially form the viewpoint of simplicity for practical use, two kinds of static and dynamic state estimation methods are discussed. The static estimation method using the information on wind speed is fundamentally supported by the conservation principle of energy sum. The dynamic one is the method by using a recursive digital filter with the parameters successively renewed by the information on wind speed. This can be also simplified by using well-know Kalman filter under the assumption of the Gaussian distribution. The effectiveness of proposed two estimation methods are shown through experiments under a breezy condition in the open filed.

• Steel and Composite Structures
• /
• v.38 no.2
• /
• pp.165-176
• /
• 2021

Existing research on confined concrete filled steel tubular (CCFT) columns has been mainly focused on static or cyclic loading. In this paper, square section CCFT and CFT columns were tested under both static and impact loading, using a 10,000 kN capacity compression test machine and a drop weight testing equipment. Research parameters included bonded and unbonded fiber reinforced polymer (FRP) wraps, with carbon, basalt and glass FRPs (or CFRP, BFRP, and GFRP), respectively. Time history curves for impact force and steel strain observed are discussed in detail. Experimental results show that the failure modes of specimens under impact testing were characterized by local buckling of the steel tube and cracking at the corners, for both CCFT and CFT columns, similar to those under static loading. For both static and impact loading, the FRP wraps could improve the behavior and increase the loading capacity. To analyze the dynamic behavior of the composite columns, a finite element, FE, model was established in LS-DYNA. A simplified method that is compared favorably with test results is also proposed to predict the impact load capacity of square CCFT columns.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.24 no.6 s.177
• /
• pp.1446-1455
• /
• 2000

Fatigue crack initiation and propagation behavior under cyclic biaxial loading has been investigated using thin-walled tubular specimen with a hole. Two types of biaxial loading system, i.e. cyclic tensile loading with super-imposed static torsional load and cyclic torsional loading with superimposed static tensile load, with various values of the biaxial loading ratio, $\tau$ s/ $\sigma$ max (or $\tau$ max/ $\sigma$s) were employed. Fatigue tests show that fatigue crack near the hole initiates and propagates at 900 and 450 direction to the longitudinal direction of the specimen under cyclic tensile and torsion loading with static biaxial stress, respectively, and the static biaxial stress doesn't have any great influence on fatigue crack initiation and growth direction. Stress analysis near the hole of the specimen shows that the crack around the hole initiates along the plane of maximum tangential stress range. Fatigue crack growth rates were evaluated as functions of equivalent stress intensity factor range, strain energy density factor range and crack tip opening displacement vector, respectively. It is shown that the biaxial mode fatigue crack growth rates can be relatively consistently predicted with these cyclic parameters.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.38 no.6
• /
• pp.619-627
• /
• 2014

An optimization method is proposed for the simultaneous design of structural and control systems using the equivalent static loads. In the past researches, the control parameters of such feedback gains are obtained to improve some performance in the steady-state. However, the actuators which have position and velocity feedback gains should be designed to exhibit a good performance in the time domain. In other words, the system analysis should be conducted for the transient-state in dynamic manner. In this research, a new equivalent static loads method is presented to treat the control variables as the design variables. The equivalent static loads (ESLs) set is defined as a static load set which generates the same displacement field as that from dynamic loads at a certain time. The calculated sets of ESLs are applied as multiple loading conditions in the optimization process. Several examples are solved to validate the proposed method.

• Journal of Energy Engineering
• /
• v.24 no.4
• /
• pp.1-10
• /
• 2015

For successful operation of waterflooding which is one of secondary recovery methods, suitable water injection allocation is important to increase oil recovery. Well allocation factor(WAF) which is one way to quantify the injector and producer connectivity, is utilized to allocate water injection of waterflooding. Static WAF cannot represent the field condition and can induce incorrect value. To compensate for limitation of static WAF, modified WAF which includes several parameters that affect patterns including well radius, distance between wells, and injection rates is proposed. In this study, static and modified WAFs were applied to injection optimization of waterflooding and results by each WAF were compared. In case of modified WAFs, produced water were less and produced oil were more than case of static WAF especially in big change of distance between producer and injector. Therefore, modified WAFs can allocate water injection more efficiently than static WAF.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.3 no.2
• /
• pp.55-66
• /
• 1999

Eight RC bridge plers have been made on a 1/3.4 scale model and have been tested in a quasi-static cyclic load so as to investigate their seismic performance. The ultimate objective of this experimental study is to investigate the hysteretic behavior of reinforced concrete plers, which have been widely used for urban transportation facilities in Korea. Improtant test parameters are hoop ratio, axial load, load pattern, and etc. And noninear behaviors of test columns have been evaluated through their yield and ultimate strength, energy dissipation, ductility and load-deflection characteristics under quasi-static cyclic loads. From the quasi-static tests on 8 bridge piers, it is concluded that energy dissipation, ultimate strength and curvature for a given displacement factor ${\mu}={\Delta}/{\Delta}_y$ are higher for the seismically designed columns than for the nonseismically designed columns.