• KIISE Transactions on Computing Practices
• /
• v.21 no.2
• /
• pp.132-137
• /
• 2015

A real-time system is a system wherein the behavior of the system depends not only on the input but also on the timing of the input. Timed automata is a widely used model for real-time system modeling and analysis. Model-based testing is employed to check whether the system under test (SUT) works according to the model specifications by using test cases generated from models that represent software requirements. In this paper, a case study was performed applying the timed automata based testing tools, UPPAAL-TRON, UPPAAL-COVER and SYMBOLRT, to the same system. Comparison of the testing approaches and tools is then made based on the results of the case study.

• Steel and Composite Structures
• /
• v.51 no.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.

• Journal of Environmental Health Sciences
• /
• v.50 no.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
• /
• v.32 no.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
• /
• v.10 no.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.

• Journal of the Korea Concrete Institute
• /
• v.14 no.2
• /
• pp.266-274
• /
• 2002

The impact-echo test, which is to evaluate the integrity of concrete and masonry structures nondestructively, is an excellent method in the practical application. However, there are cases that the Impact-Echo testing nay result in the low reliability. In this study, the reliability of the Impact-Echo testing was investigated through the numerical simulation of the Impact-Echo testing. The finite element analysis and the analysis based on the dynamic stiffness matrix method was incorporated for the numerical simulation, in which the cases of a sandwiched shear stiffness, an incr＋easing or decreasing stiffness, and a homogeneous stiffness. Based on the results of the analysis were considered, this study proposed the approaches to Improve the reliability of the Impact-Echo testing.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2012.04a
• /
• 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.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.31 no.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.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.36 no.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.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.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.