• Title/Summary/Keyword: Model-Based Testing

Search Result 1,604, Processing Time 0.028 seconds

Cyclic behavior of self-centering braces utilizing energy absorbing steel plate clusters

  • Jiawang Liu;Canxing Qiu
    • Steel and Composite Structures
    • /
    • v.47 no.4
    • /
    • pp.523-537
    • /
    • 2023
  • This paper proposed a new self-centering brace (SCB), which consists of four post-tensioned (PT) high strength steel strands and energy absorbing steel plate (EASP) clusters. First, analytical equations were derived to describe the working principle of the SCB. Then, to investigate the hysteretic performance of the SCB, four full-size specimens were manufactured and subjected to the same cyclic loading protocol. One additional specimen using only EASP clusters was also tested to highlight the contribution of PT strands. The test parameters varied in the testing process included the thickness of the EASP and the number of EASP in each cluster. Testing results shown that the SCB exhibited nearly flag-shape hysteresis up to expectation, including excellent recentering capability and satisfactory energy dissipating capacity. For all the specimens, the ratio of the recovered deformation is in the range of 89.6% to 92.1%, and the ratio of the height of the hysteresis loop to the yielding force is in the range of 0.47 to 0.77. Finally, in order to further understand the mechanism of the SCB and provide additional information to the testing results, the high-fidelity finite element (FE) models were established and the numerical results were compared against the experimental data. Good agreement between the experimental, numerical, and analytical results was observed, and the maximum difference is less than 12%. Parametric analysis was also carried out based on the validated FE model to evaluate the effect of some key parameters on the cyclic behavior of the SCB.

Model-based Test Cases Generation Method for Weapons System Software (무기체계 소프트웨어의 모델 기반 테스트 케이스 생성 방법)

  • Choi, Hyunjae;Lee, Youngwoo;Baek, Jisun;Kim, Donghwan;Cho, Kyutae;Chae, Heungseok
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.23 no.4
    • /
    • pp.389-398
    • /
    • 2020
  • Test cases in the existing weapon system software were created manually by the tester analyzing the test items defined in the software integration test procedure. However, existing test case generation method has two limitations. First, the quality of test cases can vary depending on the tester's ability to analyze the test items. Second, excessive time and cost may be incurred in writing test cases. This paper proposes a method to automatically generate test cases based on the requirements model and specifications to overcome the limitations of the existing weapon system software test case generation. Generate test sequences and test data based on the use case event model, a model representing the requirements of the weapon system software, and the use case specification specifying the requirements. The proposed method was applied to 8 target models constituting the avionics control system, producing 30 test sequences and 8 test data.

Script-based Test System for Rapid Verification of Atomic Models in Discrete Event System Specification Simulation

  • Nam, Su-Man
    • Journal of the Korea Society of Computer and Information
    • /
    • v.27 no.5
    • /
    • pp.101-107
    • /
    • 2022
  • Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.

Frictional Contact Model for Finite Element Analysis of Sheet-Metal Forming Processes (박판 성형 공정의 유한요소 해석을 위한 마찰접촉 모델)

  • 금영탁
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • v.17 no.9
    • /
    • pp.2242-2251
    • /
    • 1993
  • The mesh-based frictional contact model has been developed which does not rely on the spatial derivatives of the tool surface. Only points on the surface are evaluated from the description. which can then be simplified because of the relaxed demands placed on it. The surface tangents, normals, and corresponding derivatives at each finite-element node are evaluated directly from the finite-element mesh, in terms of the connecting nodal positions. The advantages accrue because there is no longer a need for a smooth tool surface to assure reasonable normals and derivatives. Furthermore, it can be shown that the equilibrium equations can only be properly written with a special normal derived from the mesh itself. The validity, accuracy, computation time, and stability of mesh-based contact model were discussed with the numerical examples of rounded flat-top and rough, flat-top rounded punch forming operations. Also, the forming process of a automobile inner panel section was simulated for testing the robustness of new contact model. In the discussion, the superiority of new model was examined, comparing with tool-based contact one.

Development of a transfer learning based detection system for burr image of injection molded products (전이학습 기반 사출 성형품 burr 이미지 검출 시스템 개발)

  • Yang, Dong-Cheol;Kim, Jong-Sun
    • Design & Manufacturing
    • /
    • v.15 no.3
    • /
    • pp.1-6
    • /
    • 2021
  • An artificial neural network model based on a deep learning algorithm is known to be more accurate than humans in image classification, but there is still a limit in the sense that there needs to be a lot of training data that can be called big data. Therefore, various techniques are being studied to build an artificial neural network model with high precision, even with small data. The transfer learning technique is assessed as an excellent alternative. As a result, the purpose of this study is to develop an artificial neural network system that can classify burr images of light guide plate products with 99% accuracy using transfer learning technique. Specifically, for the light guide plate product, 150 images of the normal product and the burr were taken at various angles, heights, positions, etc., respectively. Then, after the preprocessing of images such as thresholding and image augmentation, for a total of 3,300 images were generated. 2,970 images were separated for training, while the remaining 330 images were separated for model accuracy testing. For the transfer learning, a base model was developed using the NASNet-Large model that pre-trained 14 million ImageNet data. According to the final model accuracy test, the 99% accuracy in the image classification for training and test images was confirmed. Consequently, based on the results of this study, it is expected to help develop an integrated AI production management system by training not only the burr but also various defective images.

A Test Scenario Generation Method from Activity Diagram with Concurrency (동시성을 포함한 액티비티 다이어그램 기반 테스트 시나리오 생성 기법)

  • Back, Seungchan;Choi, Hyorin;Lee, Byungjeong;Lee, Jung-Won
    • Journal of KIISE
    • /
    • v.43 no.9
    • /
    • pp.1015-1025
    • /
    • 2016
  • Currently, software testing is becoming increasingly important in the industrial field and a large body of research supports the improvement of efficient software testing. Model-based testing is generally used to formalize user requirement data for test design. Complex system that includes loop and concurrency has a high probability of path explosion problem. Specially, as threads are added to concurrency, test scenarios have also increased exponentially. However, it is difficult to solve this problem using existing techniques. In this paper, we propose novel path-search technique that focuses on behavioral features of concurrency path in order to avoid path explosion problem. A system that contains concurrent paths is represented by activity diagram in case study section. Efficiency of our study is shown through comparison with several generated test scenarios of other studies. The result indicate that our approach is efficient for finding faults in loop and concurrency with fewer test scenario.

Full-scale testing and modeling of the mechanical behavior of shield TBM tunnel joints

  • Ding, Wen-Qi;Peng, Yi-Cheng;Yan, Zhi-Guo;Shen, Bi-Wei;Zhu, He-Hua;Wei, Xin-Xin
    • Structural Engineering and Mechanics
    • /
    • v.45 no.3
    • /
    • pp.337-354
    • /
    • 2013
  • For shield TBM (Tunnel Boring Machine) tunnel lining, the segment joint is the most critical component for determining the mechanical response of the complete lining ring. To investigate the mechanical behavior of the segment joint in a water conveyance tunnel, which is different from the vehicle tunnel because of the external loads and the high internal water pressure during the tunnel's service life, full-scale joint tests were conducted. The main advantage of the joint tests over previous ones was the definiteness of the loads applied to the joints using a unique testing facility and the acquisition of the mechanical behavior of actual joints. Furthermore, based on the test results and the theoretical analysis, a mechanical model of segment joints has been proposed, which consists of all important influencing factors, including the elastic-plastic behavior of concrete, the pre-tightening force of the bolts and the deformations of all joint components, i.e., concrete blocks, bolts and cast iron panels. Finally, the proposed mechanical model of segment joints has been verified by the aforementioned full-scale joint tests.

Hydrodynamic optimization of twin-skeg LNG ships by CFD and model testing

  • Kim, Keunjae;Tillig, Fabian;Bathfield, Nicolas;Liljenberg, Hans
    • International Journal of Naval Architecture and Ocean Engineering
    • /
    • v.6 no.2
    • /
    • pp.392-405
    • /
    • 2014
  • SSPA experiences a growing interest in twin skeg ships as one attractive green ship solution. The twin skeg concept is well proven with obvious advantages for the design of ships with full hull forms, restricted draft or highly loaded propellers. SSPA has conducted extensive hull optimizations studies of LNG ships of different size based on an extensive hull data base with over 7,000 models tested, including over 400 twin skeg hull forms. Main hull dimensions and different hull concepts such as twin skeg and single screw were of main interest in the studies. In the present paper, one twin skeg and one single screw 170 K LNG ship were designed for optimally selected main dimension parameters. The twin skeg hull was further optimized and evaluated using SHIPFLOW FRIENDSHIP design package by performing parameter variation in order to modify the shape and positions of the skegs. The finally optimized models were then built and tested in order to confirm the lower power demand of twin skeg designed compaed with the signle screw design. This paper is a full description of one of the design developments of a LNG twin skeg hull, from early dimensional parameter study, through design optimization phase towards the confirmation by model tests.

Experimental and Numerical Simulation Studies of Low-Velocity Impact Responses on Sandwich Panels for a BIMODAL Tram

  • Lee, Jae-Youl;Shin, Kwang-Bok;Jeong, Jong-Cheol
    • Advanced Composite Materials
    • /
    • v.18 no.1
    • /
    • pp.1-20
    • /
    • 2009
  • This paper describes the results of experiments and numerical simulation studies on the impact and indentation damage created by low-velocity impact subjected onto honeycomb sandwich panels for application to the BIMODAL tram. The test panels were subjected to low-velocity impact loading using an instrumented testing machine at six energy levels. Contact force histories as a function of time were evaluated and compared. The extent of the damage and depth of the permanent indentation was measured quantitatively using a 3-dimensional scanner. An explicit finite element analysis based on LS-DYNA3D was focused on the introduction of a material damage model and numerical simulation of low-velocity impact responses on honeycomb sandwich panels. Extensive material testing was conducted to determine the input parameters for the metallic and composite face-sheet materials and the effective equivalent damage model for the orthotropic honeycomb core material. Good agreement was obtained between numerical and experimental results; in particular, the numerical simulation was able to predict impact damage area and the depth of indentation of honeycomb sandwich composite panels created by the impact loading.

Dynamic Modeling of the Stator Core of the Electrical Machine Using Orthotroic Characteristics (이방성을 고려한 회전기기 고정자 코어의 동적 모델링)

  • Kim, Heui-Won;Lee, Soo-Mok;Kim, Kwan-Young;Bae, Jong-Gug
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2002.11b
    • /
    • pp.1044-1048
    • /
    • 2002
  • The experimental modal testing has been carried out for the stator of a generator to confirm the vibrational mode shapes and the corresponding natural frequencies. The model of the stator for the vibration analysis was developed and a series of vibration analyses was carried out. And the properties of the solid element were updated to reduce the differences of the natural frequencies between the measured and the analysed. In the vibration anlyses, the axial, radial and circumferential properties of the solid element were separately varied to take into account the orthotropic effect of the laminated structure and to match the primary modes of the stator core which were extracted from the modal testing. After several attempts to match the measured natural frequencies and model shapes, the properties of the stator model were determined. Comparison of the vibration analyses results based on the determined properties showed fairly good coincidence with the measured data.

  • PDF