• Proceedings of the KIEE Conference
• /
• 2000.11a
• /
• pp.214-216
• /
• 2000

This paper presents an comparative study on the effect of STATCOM and UPFC to the power system static analysis. The effect of STATCOM can be analyzed with PSS/E program which is generally used in power system analysis, while UPFC model for static analysis is not provided yet. Thus, UPFC is equivalently represented as a synchronous condenser and load, while the active and reactive power of the specific transmission line and the voltage of the bus is controlled appropriately. 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 control the bus voltage than STATCOM, because UPFC can control not only the bus voltage where the parallel inverter is installed but also the active and reactive power flow in the transmission line where the series inverter is installed.

• Structural Engineering and Mechanics
• /
• v.18 no.1
• /
• pp.113-124
• /
• 2004

The information on local stress acting in a bridge is required in many occasions such as fatigue assessment. The analysis by beam elements cannot yield this class of information adequately, while the finite element modeling of an entire long-span bridge by shell elements is impractical. In the present study, the hybrid modeling is tried out: only part of a bridge in which the point of interest is located is discretized by shell elements and the remaining part is modeled by beam elements. By solving a simple box girder problem, the effectiveness of this approach is discussed. This technique is then applied to the Rama IX Bridge for local stress evaluation. The numerical results compare very well with the results of a full-scale static loading test. The present research thus offers a practical yet accurate technique for the stress analysis of a long-span cable-stayed bridge.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.19 no.5
• /
• pp.229-238
• /
• 2015

For small-size reinforce-concrete buildings, Midas Gen, OpenSees, and Perform-3D, which are structural analysis programs that are most popularly used at present, were applied for nonlinear static pushover analysis, and then difference between those programs was analyzed. Example buildings were limited to 2-story frames with irregular shaped walls. Analysis result showed that there were more differences than for frames only and frames with rectangular walls, but it was not so significant. Nevertheless, the capacity curve were different in some buildings, which is attributed to shape and location of walls, and feature of the analysis program. Especially, selection of automatic or manual input in Midas Gen, or nonlinear wall elements in Perform3D can affect the capacity curve and performance of the buildings. Therefore, the program users should understand the feature of the program well, and then conduct performance assessment. The result of this study is limited to low-story buildings so that it should be noted that it is possible to get different results for mid- to high-rise buildings.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.19 no.5
• /
• pp.219-228
• /
• 2015

For small-size reinforce-concrete buildings, Midas Gen, OpenSees, and Perform-3D, which are structural analysis programs that are most popularly used at present, were applied for nonlinear static pushover analysis, and then difference between those programs was analyzed. Example buildings were limited to 2-story frames only and frames with one or more rectangular walls. Analysis results showed that there was not much difference for frames only based on capacity curves. There were some differences for frames with rectangular walls, but it was not so significant. The global behaviors represented by the capacity curve were not so different, but the feature of each analysis program appeared when the results were analyzed in more detail. Therefore, the program users should understand the feature of the program well, and then conduct performance assessment. The result of this study is limited to low-story frames only and frames with rectangular walls so that it should be noted that it is possible to get different results for frames with non-rectangular walls or mid- to high-rise buildings.

• Steel and Composite Structures
• /
• v.23 no.6
• /
• pp.715-726
• /
• 2017

The paper presents a numerical analysis of a steel-soil composite (SSC) culvert in the scope of static (dead and live) loads. The Abaqus program based on the finite element method (FEM) was used for calculations. Maximum displacements were obtained in the shell crown, and the largest stresses in the haunches. Calculation results were compared with the experimental ones and previous calculations obtained from the Autodesk Robot Structural Analysis (ARSA) program. The shapes of calculated displacements and stresses are similar to those obtained with the experiment, but the absolute values were generally higher than measured ones. The relative differences of calculated and measured values were in the range of 5-23% for displacements, and 15-42% for stresses. Developed calculation model of the SSC culvert in the Abaqus program allows obtaining reasonable values of internal forces in the culvert. Using both calculation programs, the relative differences for displacements were in the range of 15-39%, and 17-44% for stresses in favour of the Abaqus program. Three design methods (Sundquist-Pettersson, Duncan and CHBDC) were used to calculate the axial thrusts and bending moments. Obtained values were compared with test results. Generally, the design methods have conservative assumptions, especially in the live loads distribution, safety factors and consideration the interaction between soil and steel structure.

• KCI Concrete Journal
• /
• v.12 no.1
• /
• pp.3-16
• /
• 2000

A series of dynamic and static tests were conducted to observe the actual responses of a 1:5 scale 3-story reinforced concrete(RC) frame which was designed only for gravity loads. One of the major objectives of these experiments is to provide the calibration to the available static and dynamic inelastic analysis techniques. In this study, the experimental results were simulated by using a nonlinear analysis program for reinforced concrete frame, IDARC-2D. The evaluation of the degree of the simulation leads to the conclusion that while the global behaviors such as story drifts and shears can be in general simulated with the limited accuracy in the dynamic nonlinear analysis, it is rather easy and simple to get the fairly high level of accuracy in the prediction of global and local behaviors in the static nonlinear analysis by using IDARC-2D.

• Journal of the Korea Society of Computer and Information
• /
• v.23 no.12
• /
• pp.89-94
• /
• 2018

In this paper, we implemented a static analysis tool for weakness. We implemented on JavaCC using syntax information and control flow information among various information. We also tested the performance of the tool using Juliet-test suite on Eclipse. We were classified using information necessary for diagnosis and diagnostic methods were studied and implemented. By mapping the information obtained at each compiler phase the security weakness, we expected to link the diagnostic method with the program analysis information to the security weakness. In the future, we will extend to implement diagnostic tools using other analysis information.

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.3
• /
• pp.81-88
• /
• 2017

In this paper, we classified the weaknesses of C/C++ programs listed in CWE based on the diagnostic information produced at each stage of program compilation. Our classification identifies which stages should be responsible for analyzing the weaknesses. We also present algorithmic frameworks for detecting typical weaknesses belonging to the classes to demonstrate validness of our scheme. For the weaknesses that cannot be analyzed by using the diagnostic information, we separated them as a group that are often detectable by the analyses that simulate program execution, for instance, symbolic execution and abstract interpretation. We expect that classification of weaknesses, and diagnostic information accordingly, would contribute to systematic development of static analyzers that minimizes false positives and negatives.

• Steel and Composite Structures
• /
• v.18 no.1
• /
• pp.51-69
• /
• 2015

In recent years, the use of fiber reinforced polymer composites has increased because of their unique features. They have been used widely in the aircraft and space industries, medical and sporting goods and automotive industries. Thanks to their beneficial and various advantages over traditional materials such as high strength, high rigidity, low weight, corrosion resistance, low maintenance cost, aesthetic appearance and easy demountable or moveable construction. In this paper, it is aimed to determine and compare the geometrically nonlinear static and dynamic analysis results of footbridges using steel and glass fiber reinforced polymer composite (GFRP) materials. For this purpose, Halgavor suspension footbridge is selected as numerical examples. The analyses are performed using three identical footbridges, first constructed from steel, second built only with GFRP material and third made of steel- GFRP material, under static and dynamic loadings using finite element method. In the finite element modeling and analyses, SAP2000 program is used. Geometric nonlinearities are taken into consideration in the analysis using P-Delta criterion. The numerical results have indicated that the responses of the three bridges are different and that the response values obtained for the GFRP composite bridge are quite less compared to the steel bridge. It is understood that GFRP material is more useful than the steel for the footbridges.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.1039-1048
• /
• 2019

Symbolic execution, an automatic search method for vulnerability verification, has been technically improved over the last few years. However, it is still not practical to analyze the program using only the symbolic execution itself. One of the biggest reasons is that because of the path explosion problem that occurs during program analysis, there is not enough memory, and you can not find the solution of all paths in the program using symbolic execution. Thus, it is practical for the analyst to construct a path for symbolic execution to a target with vulnerability rather than solving all paths. In this paper, we propose a static analysis - based backward CFG(Control Flow Graph) generation technique that can be used in symbolic execution for program analysis. With the creation of a backward CFG, an analyst can select potential vulnerable points, and the backward path generated from that point can be used for future symbolic execution. We conducted experiments with Linux binaries(x86), and indeed showed that potential vulnerability selection and backward CFG path generation were possible in a variety of binary situations.