• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 추계학술대회 논문집 학회본부 A
• /
• 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
• /
• 제18권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.

• 한국지진공학회논문집
• /
• 제19권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.

• 한국지진공학회논문집
• /
• 제19권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
• /
• 제23권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
• /
• 제12권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.

• 한국컴퓨터정보학회논문지
• /
• 제23권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.

• 한국컴퓨터정보학회논문지
• /
• 제22권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
• /
• 제18권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.

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.1039-1048
• /
• 2019

프로그램 자동 분석 방법 중 하나인 기호 실행은 지난 몇 해 동안 기술적으로 크게 향상 되었다. 그러나 여전히 기호실행 그 자체만을 이용하여 프로그램을 분석하는 것은 실용적이지 않다. 가장 큰 이유로는 프로그램 분석 중에 발생하는 경로 폭발 문제로 인한 메모리 부족으로, 기호 실행을 이용해 프로그램의 모든 경로의 해를 구할 수 없다. 따라서 분석가는 모든 경로의 해를 구하는 것이 아닌 취약성을 갖는 지점으로 기호 실행 탐색 경로를 구성하는 것이 실용적이다. 본 논문에서는 기호 실행 과정에서 사용될 수 있는 정적분석 기반 바이너리 역방향 제어 흐름 그래프 생성 방법 기술을 제안한다. 역방향 제어 흐름 그래프 생성을 통해 분석가는 바이너리 내의 잠재적인 취약지점을 선정할 수 있고, 해당 지점으로부터 생성된 역추적 경로는 향후 기호 실행을 위해 효율적으로 사용될 수 있다. 우리는 리눅스 바이너리(x86)를 대상으로 실험을 진행하였고, 실제로 잠재적인 취약점 선정 및 역추적 경로 생성이 바이너리의 다양한 상황에서 가능함을 보였다.