• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권2호
• /
• pp.132-137
• /
• 2015

실시간 시스템은 시스템의 행동이 입력 값 뿐만이 아니라 입력 값의 시간에도 의존적인 시스템이고, 타임드 오토마타는 실시간 시스템 모델링 및 분석에 대표적으로 쓰이는 모델이다. 모델 기반 테스팅은 소프트웨어의 요구사항을 표현한 모델로부터 생성된 테스트 케이스를 테스트 대상 프로그램에 수행함으로써 테스트 대상 프로그램이 모델에 명세된 대로 작동하는지 여부를 확인하는 기법이다. 본 연구에서는 타임드 오토마타 모델 기반 테스팅 도구인 UPPAAL-TRON, UPPAAL-COVER, SYMBOLRT를 동일한 시스템에 적용하는 사례 연구를 수행하고, 이를 기반으로 테스팅 기법 및 도구를 비교 분석한다.

• Steel and Composite Structures
• /
• 제51권2호
• /
• pp.127-138
• /
• 2024

In this paper, structural behavior under fire conditions is comprehensively examined, and a novel software interface for testing interfaces efficiently is developed and validated. In order to accurately assess the response of structures to fire scenarios, advanced simulation techniques and modeling approaches are incorporated into the study. This interface enables accurate heat transfer analysis and thermo-mechanical simulations by integrating software tools such as CSI ETABS, CSI SAP2000, and OpenSees. Heat transfer models can be automatically generated, simulation outputs processed, and structural responses interpreted under a variety of fire scenarios using the proposed technique. As a result of rigorous testing and validation against established methods, including Cardington tests on scales and hybrid simulation approaches, the software interface has been proven to be effective and accurate. The analysis process is streamlined by this interface, providing engineers and researchers with a robust tool for assessing structural performance under fire conditions.

• 한국환경보건학회지
• /
• 제50권2호
• /
• pp.113-124
• /
• 2024

Background: The increasing need to minimize animal testing has sparked interest in alternative methods with more humane, cost-effective, and time-saving attributes. In particular, in silico-based computational toxicology is gaining prominence. Adverse outcome pathway (AOP) is a biological map depicting toxicological mechanisms, composed of molecular initiating events (MIEs), key events (KEs), and adverse outcomes (AOs). To understand toxicological mechanisms, predictive models are essential for AOP components in computational toxicology, including molecular structures. Objectives: This study reviewed the literature and investigated previous research cases related to AOP and in silico methodologies. We describe the results obtained from the analysis, including predictive techniques and approaches that can be used for future in silico-based alternative methods to animal testing using AOP. Methods: We analyzed in silico methods and databases used in the literature to identify trends in research on in silico prediction models. Results: We reviewed 26 studies related to AOP and in silico methodologies. The ToxCast/Tox21 database was commonly used for toxicity studies, and MIE was the most frequently used predictive factor among the AOP components. Machine learning was most widely used among prediction techniques, and various in silico methods, such as deep learning, molecular docking, and molecular dynamics, were also utilized. Conclusions: We analyzed the current research trends regarding in silico-based alternative methods for animal testing using AOPs. Developing predictive techniques that reflect toxicological mechanisms will be essential to replace animal testing with in silico methods. In the future, since the applicability of various predictive techniques is increasing, it will be necessary to continue monitoring the trend of predictive techniques and in silico-based approaches.

• Toxicological Research
• /
• 제32권1호
• /
• pp.5-8
• /
• 2016

Risk assessment is the process of quantifying the probability of a harmful effect to individuals or populations from human activities. Mechanistic approaches to risk assessment have been generally referred to as systems toxicology. Systems toxicology makes use of advanced analytical and computational tools to integrate classical toxicology and quantitative analysis of large networks of molecular and functional changes occurring across multiple levels of biological organization. Three presentations including two case studies involving both in vitro and in vivo approaches described the current state of systems toxicology and the potential for its future application in chemical risk assessment.

• International Journal of Fluid Machinery and Systems
• /
• 제10권1호
• /
• pp.1-8
• /
• 2017

Bifurcation refers to wye division of penstock to divide the flow symmetrically or unsymmetrically into two units of turbine for maintaining economical, technical and geological substrates. Particularly, water shows irrelevant behavior when there is a sudden change in flow direction, which results into the transition of the static and dynamic behavior of the flow. Hence, special care and design considerations are required both hydraulically and structurally. The transition induced losses and extra stresses are major features to be examined. The research on design and analysis of bifurcation is one of the oldest topics related to R&D of hydro-mechanical components for hydropower plants. As far as the earlier approaches are concerned, the hydraulic designs were performed based on graphical data sheet, head loss considerations and the mechanical analysis through simplified beam approach. In this paper, the multi prospect approach for design of Bifurcation, incorporating the modern day's tools and technology is identified. The hydraulic design of bifurcation is a major function of dynamic characteristics of the flow, which is performed with CFD analysis for minimum losses and better hydraulic performances. Additionally, for the mechanical design, a simplified conventional design method as pre-estimation and Finite Element Method for a relevant result projections were used.

• 콘크리트학회논문집
• /
• 제14권2호
• /
• pp.266-274
• /
• 2002

콘크리트 구조물 또는 조적식 구조물을 비파괴적으로 평가하는 충격반향시험은 타 기법과 비교하였을 때, 현장 적용면에서 탁월하게 우수하며, 그 신뢰성도 매우 높게 평가되고 있다 그러나 경우에 따라서 충격반향기법은 낮은 신뢰성을 나타내고 있다. 본 연구에서는 충격반향기법의 신뢰성을 수치해석에 의해 검토하였다. 유한요소해석 및 이론을 근거로 하는 동강성행렬법을 이용하여 균질한 강성구조 깊이에 따라 증가 또는 감소하는 전단강성구조, 샌드위치형 전단강성구조 등 대표적 유형의 전단강성구조를 가지는 콘크리트 터널벽체에 대해 충격반향실험의 수치 모사를 수행하였다. 이를 바탕으로 충격반향기법의 실험자료 분석 및 해석에 있어서 보다 신뢰성 있는 결과 도출을 위한 제언을 하였다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2012년도 춘계학술대회 논문집
• /
• pp.439-440
• /
• 2012

New analysis methods complement classical approaches in the vehicle NVH development by reducing and accelerating iteration steps to obtain a target sound. Therefore, tools are required that allow an integrative approach of sound engineering and structural analysis and enable a precise simulation and modification based on measured data. The Response Modification Analysis (RMA) is such a hybrid solution, which provides indications of relevant transfer paths taking into account the sensitivity of response channels to modifications of reference channels.

• 비파괴검사학회지
• /
• 제31권1호
• /
• pp.11-23
• /
• 2011

In this study, a finite element(FE) analysis on electro-mechanical impedance response of cable-anchor connection interface under various anchor force is presented. In order to achieve the objective, the following approaches are implemented. Firstly, an interface washer coupled with piezoelectric(PZT) material is designed for monitoring cable-force loss. The interface washer is a small aluminum plate on which a PZT patch is surface-bonded. Cable-force loss could be monitored by installing the interface washer between the anchor plate and the anchorage of cable-anchor connection and examining the changes of impedance of the interface washer. Secondly, a FE model for cable-anchor connection is established to examine the effect of cable-force on impedance response of interface washer. Also, the effects of geometrical and material properties of the interface washer on impedance responses under various cable-forces are investigated. Finally, validation of the FE analysis is experimentally evaluated by a lab-scale cable-anchor connection.

• 비파괴검사학회지
• /
• 제36권2호
• /
• pp.149-154
• /
• 2016

The use of nonlinear ultrasonics wave has been accepted as a promising tool for monitoring material states related to microstructural changes, as it has improved sensitivity compared to conventional non-destructive testing approaches. In this paper, third harmonic generation of shear horizontal guided waves propagating in an isotropic plate is investigated using the perturbation method and modal analysis approach. An experimental procedure is proposed to detect the third harmonics of shear horizontal guided waves by electromagnetic transducers. The strongly nonlinear response of shear horizontal guided waves is measured. The accumulative growth of relative acoustic nonlinear response with an increase of propagation distance is detected in this investigation. The experimental results agree with the theoretical prediction, and thus providing another indication of the feasibility of using higher harmonic generation of electromagnetic shear horizontal guided waves for material characterization.

• 한국컴퓨터정보학회논문지
• /
• 제24권4호
• /
• pp.107-112
• /
• 2019

Failure testing is a test that verifies that the system is operating in accordance with failure response requirements. A typical failure test approaches the operating system by identifying and testing system problems caused by unexpected errors during the operational phase. In this paper, we study how to evaluate these Failure at the software development stage. Evaluate the probability of failure due to code changes through the complexity and duplication of the code, and evaluate the probability of failure due to exceptional situations with bugs and test coverage extracted from static analysis. This paper studies the possibility of failure based on the code quality of software development stage.