• KIISE Transactions on Computing Practices
• /
• v.21 no.12
• /
• pp.751-755
• /
• 2015

Many JavaScript programs are event-driven in the sense that they heavily use event functions that take user inputs to manipulate program behaviors. Thus, in order to statically analyze event-driven JavaScript programs effectively and precisely, static analyzers should be able to understand and precisely analyze the behaviors of events in terms of how they are created and evaluated. In this paper, we describe several reasons why static analysis of event behaviors in JavaScript programs is particularly difficult, and present a new event modeling mechanism that can represent behaviors of events precisely and efficiently for effective analysis of event-based JavaScript programs.

• Proceedings of the KIEE Conference
• /
• 2001.07a
• /
• pp.155-157
• /
• 2001

This paper presents an comparative study on the effect of SSSC and UPFC to the power system static analysis. SSSC is used to control active power flow in transmission lines by controlling the phase angle of the injected voltage source which is in rectangular to the line current. UPFC is used to control the magnitude and phase of the injected voltage sources which are connected both in series and in parallel with the transmission line to control power flow and bus voltage. To compare the effect of SSSC and UPFC in power system static analysis, the PSS/E simulation program is used. As the FACTS device model such as SSSC and UPFC is not provided in PSS/E yet, an equivalent load model is used. This procedure is implemented by IPLAN which is an external macro program of PSS/E. The simulation results show that UPFC is more effective to improve bus voltage than SSSC in power system static analysis.

• Proceeding of EDISON Challenge
• /
• 2015.03a
• /
• pp.239-245
• /
• 2015

In this paper, to examine the difference between the linear and non-linear static, dynamic analysis for a structure, a cantilevered beam was used. Then, an external transverse static and dynamic loads were applied at the free end of the beam. Classical theories were used for the linear analysis and the EDISON CSD solver, co-rotational dynamic FEM program, was used for nonlinear analysis. In the static analysis, effects of the load for the beam deflection were observed in the linear and nonlinear analysis. Then, normalized displacement of tip of the beam was predicted for different frequency ration and a significant difference was obtained in the vicinity of the resonant frequency. In addition, effects of frequency and time for the beam deflection were investigated to find the frequency delay.

• Computers and Concrete
• /
• v.2 no.3
• /
• pp.215-238
• /
• 2005

This work is based on a nonlinear finite-element model with proven capacity for yielding realistic predictions of the response of reinforced-concrete structures under static monotonically-increasing loading. In it, the material description relies essentially on the two key properties of triaxiality and brittleness and, thus, is simpler than those of most other material models in use. In this article, the finite-element program is successfully used in investigating the behaviour of a series of RC walls under static cyclic loading. This type of loading offers a more strenuous test of the validity of the proposed program since cracks continuously form and close during each load cycle. Such a test is considered to be essential before attempting to use the program for the analysis of concrete structures under seismic excitation in order to ensure that the solution procedure adopted is numerically stable and can accurately predict the behaviour of RC structures under such earthquake-loading conditions. This is achieved through a comparative study between the numerical predictions obtained presently from the program and available experimental data.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.2
• /
• pp.620-626
• /
• 2016

Estimating the nonlinear seismic response of structure in earthquake engineering is important. Nonlinear static analysis is a typical method, and a variety of methods and techniques for estimating the stiffness of structural system at a certain analysis stage have been introduced and used in numerical structural analysis. On the other hand, such methods have many difficulties in practical usage because they use time-consuming iterative methods or simplified algorithms for calculating the structural stiffness at specific points in the time of nonlinear static analysis. For this reason, this study suggests an accurate and effective method for estimating the stiffness of a structure in nonlinear static analysis. For this goal, existing theories of an incremental step-by-step solution was investigated first. Subsequently, an algorithm available for calculating the precise stiffness of a structural system, each element of which has a bilinear material model, was developed based on the investigated methods. Finally, a computer program, sNs, was developed with the algorithm used.

• Journal of Korean Society of Steel Construction
• /
• v.12 no.6
• /
• pp.715-725
• /
• 2000

As a link composition of a double link type level luffing jib crane was determinated through the link composition design, the design to be considered will be computations of the luffing trajectory deviation at the fly jib tip and the required luffing device capacity. This paper is a study regarding the static and dynamic analysis for a mechanism of the crane. The objective of the static analysis is to determinate the capacity and the dimension of luffing device when the crane selfload, rated hoisting load, wind load and inertia force are applied on the crane. The objective of dynamic analysis is to compute the luffing trajectory deviation, velocity and inertia force due to luffing acceleration for each link. All analyses are performed by computer programs. The reliability of the program was checked by results from analyses of the related commercial package. It is expected that the productivity and reliability of the design can be improved by this program which can rapidly and exactly deal with static and dynamic analysis for a given link composition of the crane.

• Journal of KIISE:Software and Applications
• /
• v.33 no.5
• /
• pp.508-524
• /
• 2006

We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false alarms from a domain-unaware static analyzer. Our analyzer named Airac(Array Index Range Analyzer for C) collects all the true buffer-overrun points in ANSI C programs. The soundness is maintained, and the analysis' cost-accuracy improvement is achieved by techniques that static analysis community has long accumulated. For still inevitable false alarms (e.g. Airac raised 970 buffer-overrun alarms in commercial C programs of 5.3 million lines and 737 among the 970 alarms were false), which are always apt for particular C programs, we use a statistical post analysis. The statistical analysis, given the analysis results (alarms), sifts out probable false alarms and prioritizes true alarms. It estimates the probability of each alarm being true. The probabilities are used in two ways: 1) only the alarms that have true-alarm probabilities higher than a threshold are reported to the user; 2) the alarms are sorted by the probability before reporting, so that the user can check highly probable errors first. In our experiments with Linux kernel sources, if we set the risk of missing true error is about 3 times greater than false alarming, 74.83% of false alarms could be filtered; only 15.17% of false alarms were mixed up until the user observes 50% of the true alarms.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06c
• /
• pp.505-509
• /
• 2007

Static Single Assignment (SSA) form is an intermediate representation which encodes information about data and control flow that is use used to facilitate program analysis and optimization. SSA form simplifies this process with its size linear to program size. Thus we use SSA form to efficiently facilitate bytecode level analysis and optimizations in our CTOC program processor project. In this paper, we illustrate the application and implement implementation of SSA form using an example. We give the conclusion after experimental results.

• Journal of the Korea Convergence Society
• /
• v.8 no.12
• /
• pp.283-289
• /
• 2017

In this study, a general program has been developed to calculate the static design factor of a vehicle suspension system. The partial derivatives of Jacobians for constraint equations are calculated using the symbolic technique. In the commercial program, finite difference method is used to calculate the Jacobian matrix of Jacobian. But in this study, it is calculated by using the symbol calculation method to precisely consider it. The calculated Jacobian matrix for the system has proved its accuracy through the solution of the numerical example. A simulation was performed for a double wishbone suspension of a 1/4 vehicle. The result can be used to calculate the static design factor of the suspension, and also add a convergence module that can perform virtual tests.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1993.04a
• /
• pp.61-68
• /
• 1993

A computer program for free vibration analysis of plane framed structures has been developed by object oriented programming technique using C" language. The object oriented programming concepts such as object, class, method and inheritance are represented. The static and free vibration analyses for framed structures were satisfactorily performed by this program which consists of TOP, VECTOR, MATRIX, STRU, GUI and other classes. Numerical test shows the validity and capability of the present study which can be expandable to develop a general purpose object oriented finite element analysis program of structures ,res ,