• Nuclear Engineering and Technology
• /
• 제32권4호
• /
• pp.299-308
• /
• 2000

A safety assessment of reactor vessel lower head integrity under in-vessel vapor explosion loads has been performed. The core melt relocation parameters were chosen within the ranges of physically realizable bounds. The premixing and explosion calculations were performed using TRACER-II code. Using the calculated explosion pressures imposed on the lower head inner wall, strain calculations were peformed using ANSYS code. Then, the calculated strain results and the established failure criteria were used in determining the failure probability of the lower head, In the explosion analyses, it is shown that the explosion impulses are not altered significantly by the uncertain parameters of triggering location and time, fuel and vapor volume fractions in uniform premixture bounding calculations. Strain analyses show that the vapor explosion-induced lower head failure is not possible under the present framework of assessment. The result of static analysis using the conservative explosion-end pressure of 50 MPa also supports the conclusion. It is recommended, however, that an assessment of fracture mechanics for preexisting cracks be also considered to obtain a more concrete conclusion.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1993년도 봄 학술발표회논문집
• /
• pp.159-164
• /
• 1993

This paper presents a computer design program for In-Core Instrumentation(ICI) guide tube routing and locations on support system, and checking the interference between ICI guide tubes in the reactor coolant system of typical Pressurized Water Reactor. The program, ICITRIC, has been written in FORTRAN language which is available under UNIX environment. Results of this program are compared with those of the commercial code, PATRAN, and both results are almost same Also the results may provide input data for ICI system static and dynamic analysis performed by the commercial code, SUPER PIPE. This program can simulate ICI guide tube routing and locations on support system, and checking the interference between ICI guide tubes. Through a process of iteration, the designer can apply initial conditions, and modify the routing until satisfied with the overall system performance.

• 정보보호학회논문지
• /
• 제22권3호
• /
• pp.615-619
• /
• 2012

실행파일에 대한 정적인 분석을 통한 역공학 과정은 소프트웨어 보안에서 필수적인 단계이다. 역공학은 크게 소프트웨어가 사용하는 데이터 구조와 제어 구조에 대하여 수행된다. 특히 데이터 역공학은 소프트웨어를 이해하기 위해 필수적이지만 기존의 VSA 기법은 단편화된 실행파일에 대한 한계를 가지고 있다. 본 논문에서는 동적인 영역할당을 통해 이러한 문제점을 해결하고 데이터 구조 역공학의 성능을 향상시킨다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2022년도 추계학술발표대회
• /
• pp.85-87
• /
• 2022

고품질 코드를 위한 정적 분석은 아직도 매우 필요한 영역이며, 또한 코드의 가시화는 개발자들에게 코드의 복잡한 모듈에 대한 가이드에 필요하다. 기존의 코드 가시화는 정적 분석의 코드 내부 정보들을 DB 테이블화 및 품질 지표(CK Metrics, Coupling, # function Calls, Bed smell) 질의어화, 그리고 추출된 정보를 가시화하는 것에만 초점을 두었다. 문제는 코드 내부 정보(Class, method, parameters, etc) 테이블들에 대한 join 연산 시 엄청난 시간과 리소스가 소모된다. 이 문제를 해결하기 위해, 우리는 테이블 설계의 정규화를 제안한다. 또한 필요한 품질 지표의 질의를 통해 코드 내부 정보 추출하여 데이터 및 제어 복잡 모듈을 식별하여 refactoring 를 가이드 한다. 앞으로는 이 부분의 AI learning 을 통해 bad/good program 을 식별을 기대한다.

• 정보보호학회논문지
• /
• 제28권3호
• /
• pp.617-623
• /
• 2018

본 연구는 안드로이드 정적분석을 기반으로 추출된 AndroidManifest 권한 특징을 통해 악성코드를 탐지하고자 한다. 특징들은 AndroidManifest의 권한을 기반으로 분석에 대한 자원과 시간을 줄였다. 악성코드 탐지 모델은 1500개의 정상어플리케이션과 500개의 악성코드들을 학습한 SVM(support vector machine), NB(Naive Bayes), GBC(Gradient Boosting Classifier), Logistic Regression 모델로 구성하여 98%의 탐지율을 기록했다. 또한, 악성앱 패밀리 식별은 알고리즘 SVM과 GPC (Gaussian Process Classifier), GBC를 이용하여 multi-classifiers모델을 구현하였다. 학습된 패밀리 식별 머신러닝 모델은 악성코드패밀리를 92% 분류했다.

• Earthquakes and Structures
• /
• 제10권2호
• /
• pp.463-482
• /
• 2016

Air Traffic Control (ATC) towers play significant role in the functionality of each airport. In spite of having complex dynamic behavior and major role in mitigating post-earthquake problems, less attention has been paid to the seismic performance of these structures. Herein, seismic response of an existing ATC tower with a wall-frame structural system that has been designed and detailed according to a local building code was evaluated through the framework of performance-based seismic design. Results of this study indicated that the linear static and dynamic analyses used for the design of this tower were incapable of providing a safety margin for the required seismic performance levels especially when the tower was subjected to strong ground motions. It was concluded that, for seismic design of ATC towers practice engineers should refer to a more sophisticated seismic design approach (e.g., performance-based seismic design) which accounts for inelastic behavior of structural components in order to comply with the higher seismic performance objectives of ATC towers.

• 디지털산업정보학회논문지
• /
• 제11권1호
• /
• pp.9-18
• /
• 2015

Numerical analysis of PSC box bridge bearings for high speed KTX train vehicles has been carried out as a virtual simulation for Ubiquitous Technology. Improved numerical models of bridge, vehicle and interaction between bridge and train are considered, where bending and torsional modes are provided, whereas the exist UIC code is applied by the simplified HL loading. Dynamic and static analysed results are compared to get Dynamic Amplification Factors (D. A. F.) for maximum deflections and bending stresses up to running speed of 500 km/h. Equation from the regression analysis for the D. A. F. is presented. Sliding distance of the bearings for various KTX running speeds is compared with maximum and accumulated distances by the dynamic behaviors of PSC box bridge. Dynamic and static simulated sliding distances of the bearings according to the KTX running speed are proved as a major parameter in spite of the specifications of AASHTO and EN1337-2 focused on the distance by temperature variations.

• Structural Engineering and Mechanics
• /
• 제81권4호
• /
• pp.395-409
• /
• 2022

The presence of infill generally neglected in design despite the fact that infill contribution significantly increase the lateral stiffness and strength of the reinforced concrete frame structure. Several experimental studies and computational models have been proposed to capture the rational response of infill-frame interaction at global level. However, limited studies are available on explicit finite element modelling to study the local behavior due to high computation and convergence issues in numerical modelling. In the current study, the computational modelling of RC frames is done with various configurations of infill masonry in terms of types of blocks, lateral loading and reinforcement detailing employed with material nonlinearities, interface contact issues and bond-slip phenomenon particularly near the beam-column joints. To this end, extensive computational modelling of five variant characteristics test specimens extracted from the detailed experimental program available in literature and process through nonlinear static analysis in FEM code, ATENA generally used to capture the nonlinear response of reinforced concrete structures. Results are presented in terms of damage patterns and capacity curves by employing the finest possible detail provided in the experimental program. Comparative analysis shows that good correlation amongst the experimental and numerical simulated results both in terms of capacity and crack patterns.

• Steel and Composite Structures
• /
• 제42권1호
• /
• pp.107-121
• /
• 2022

Past studies have shown that the aspect ratio (width-to-height) of a steel plate shear wall (SPSW) can significantly affect its seismic response. SPSWs with lower aspect ratio (narrow SPSW) may experience low lateral stiffness and flexure dominated drift response. As the height of the frame increases, the narrow SPSWs prove to be uneconomical and demonstrate inferior seismic response than their wider counterparts. Moreover, the thicker web plates required for narrow SPSWs exerts high inward pull on the VBEs. The present study suggests the limiting values of the aspect ratio for an SPSW system by evaluating the seismic collapse performance of 3-, 6- and 9-story SPSW systems using FEMA P695 methodology. For this purpose, nonlinear models are developed. These models are validated with the past quasi-static experimental results. Non-linear static analyses and Incremental dynamic analyses are then carried. The results are then utilized to conservatively suggest the limiting values of aspect ratios for SPSW system. In addition to the conventional-SPSW (Conv-SPSW), the collapse performance of staggered-SPSW (S-SPSW) is also explored. Its performance is compared with the Conv-SPSW and the use of S-SPSW is suggested in the cases where SPSW with lower than recommended aspect ratio is desired.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2004년도 춘계학술발표회
• /
• pp.544-551
• /
• 2004

Piles are structural elements made of steel, concrete or timber, and utilize as pile foundation which is one of deep foundations. Driven pile among them, which drives pile into the ground, is fast-constructable, less expensive and it supplies much bearing capacity. For these reasons, its demand is steady. In this study, by selecting the cases which reached ultimate failure during in-situ static loading tests, bearing capacities acquired from these tests were compared with those computed by existing theories and formula. As the results of the analysis, ultimate bearing capacity computed by theoretic formula were less or similar to those of test results in most cases, but lower ground water level and more dense layer where end of piles were reached remarkably high bearing capacity in theoretical methods. ${\beta}-method$ and Korean structure foundation design standard were sensitive to ground physical properties. Meyerhof metbod and API code were relatively independent from site condition.