• Journal of KIISE
• /
• v.41 no.10
• /
• pp.774-784
• /
• 2014

Studies of fault-injection into state machine diagram have been studied for generating robustness test cases. Conventional studies have, however, tended to inject too many faults into diagrams because they only have considered structural aspects of diagrams. In this paper, we propose a method that aims to reduce the number of injected fault without a decrease in effectivenss of robustness test. A proposed method is demonstrated using a microwave oven sate machine diagram and evaluated using a hash table state machine diagram. The result of the evaluation shows that the number of injected faults is decreased by 43% and the number of test cases is decreased by 63% without a decrease in effectiveness of hash table robustness test.

• The Journal of the Acoustical Society of Korea
• /
• v.38 no.3
• /
• pp.334-339
• /
• 2019

In this study, the vibration test method to nondestructively evaluate the possibility of vehicle BSR (Buzz, Squeak, Rattle) noise generation in spot-welded structures was proposed. The weld quality was predicted by analyzing the local vibration transmission characteristics for the beam-shaped structure attached to testing spots. The bending stiffness was evaluated from the identified vibration properties. From the change in the stiffness, the weld quality was evaluated. For verification of the proposed method, the welded specimens were fabricated with partial changes in welding parameters. The local vibration transfers were measured. The frequency bands affected by the weld quality was identified. The capability of evaluating the welding parameters including defect position and quality variations was investigated. The proposed method enables fast quality evaluation to minimize the possibility of BSR noise generation in the manufactured vehicle.

• Proceedings of the KIPE Conference
• /
• 2013.11a
• /
• pp.196-197
• /
• 2013

친환경 차량의 필수장치로 사용되는 OBC(On Board Charger) 및 LDC(Low DC-DC Converter)는 시스템 성능은 물론 하드웨어적인 신뢰성과 더불어 차량에서 발생할 수 있는 다양한 Fault로부터 차량과 운전자를 보호할 수 있는 안정성과 신뢰성을 확보하는 것이 요구된다. OBC/LDC 개발에 있어 시제품을 제작하여 성능 검증과 하드웨어 신뢰성을 확보하는 것은 현재의 개발 프로세서로 충분하지만 차량에서 발생하는 다양한 Fault 상황에 대한 강건성 확보는 실차에 탑재하여 검증하지 않고서는 뚜렷한 검증 방법이 없는 실정이다. 이에 따라 본 논문에서는 차량에서 발생될 수 있는 다양한 Fault 상황을 시뮬레이터로 모사하여, 이러한 Fault를 전력변환장치에 인위적으로 주입시킨 뒤 전력변환장치가 정상적으로 동작하는지 분석한다. 이를 통해 실차에 탑재하지 않고 전력변환시스템의 신뢰성을 검증하기 위한 방안을 제시한다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.38 no.5
• /
• pp.535-543
• /
• 2014

In the robust optimization field, the robustness of the objective function emphasizes an insensitive design. In general, the robustness of the objective function can be achieved by reducing the change of the objective function with respect to the variation of the design variables and parameters. However, in conventional methods, when an insensitive design is emphasized, the performance of the objective function can be deteriorated. Besides, if the numbers of the design variables are increased, the numerical cost is quite high in robust optimization for nonlinear programming problems. In this research, the robustness index for the objective function and a process of robust optimization are proposed. Moreover, a method using the supremum of linearized functions is also proposed to reduce the computational cost. Mathematical examples are solved for the verification of the proposed method and the results are compared with those from the conventional methods. The proposed approach improves the performance of the objective function and its efficiency.

• Journal of KIISE:Software and Applications
• /
• v.36 no.10
• /
• pp.800-815
• /
• 2009

Recently, Web services based service-oriented architecture is widely used to integrate effectively various applications distributed on the networks. In the service-oriented architecture BPEL as a standard modeling language for the business processes provides the way to integrate various services provided by applications. Over the past few years, some types of studies have been made on testing compatibility of services and on discriminating and tracing of the business processes in the services composition. Now a lot of studies about the services composition with BPEL are going on. However there were few efforts to solve the problems caused by the services composition. Especially, there is no effort to evaluate whether a composite service is reliable and whether it is robust against to exceptional situations. In this paper, we suggest a test framework and a testing method for robustness of the composite service written in WS-BPEL. For this, firstly we extract some information from the BPEL process and the participant services. Next, with the extracted information we construct the virtual testing environment that generates various faults and exceptional cases which may be raised within the real services. Finally the testing work for robustness of a composite service is performed on the test framework.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.21 no.5
• /
• pp.108-116
• /
• 2017

In this study, the prototype structure of seismically designed steel moment frame was analyzed statically and dynamically in order to demonstrate the applicability of energy-based approximate analysis with the dynamic effect of sudden column loss in the evaluation of the collapse resistance and a method for assessing the sensitivity to progressive collapse was proposed. For the purpose of comparing the structural behavior of buildings with different structural systems, the sensitivity of the structure to the sudden removal of vertical members can be used as a significant measure. The energy-based approximate analysis prediction for the prototype structure considered in the study showed good agreement with the dynamic analysis result. In the sensitivity evaluation, the structural robustness index that indicates the ability of a structure to resist collapse induced by abnormal loads was used. It was confirmed that the proposed methods can be used conveniently and rationally in progressive collapse analysis and design.

• Proceedings of the KAIS Fall Conference
• /
• 2007.11a
• /
• pp.198-200
• /
• 2007

본 논문에서는 블록 기반으로 압축된 이미지의 전송방법에서 EREC 기법들의 패킷 손실 내성을 평가하고 패킷 손실 환경에서 현존하는 EREC의 성능을 비교한다. 이 논문에서는 기존의 EREC 기법들이 임의의 비트에 대한 에러 내성을 제공하는 것과는 대조적으로 패킷 손실 환경에서 EREC방법의 검증을 그 목적으로 한다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.43 no.9
• /
• pp.781-786
• /
• 2015

An aeroelastic stability can be degraded due to an aeroelastic modeling error and a structural uncertainty. Therefore it is necessary to predict the aeroelastic stability boundary considering an aeroelastic modeling error and a structural uncertainty. Robust aeroelastic analysis was proposed to predict the aeroelastic stability boundary considering these error and uncertainty. In the present study, the robust aeroelastic modeling and analysis were performed by using the ${\mu}$ analysis technique and the aeroelastic model of the control fin with modal approach and MSA. The computer program for the robust aeroelastic analysis was developed and verified by comparing its results with those of conventional aeroelastic analysis methods.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.6
• /
• pp.288-295
• /
• 2005

Multi-signcryption scheme is an extension of signcryption scheme for multi-signers performing together the signcryption operation on messages, and it provides useful cryptographic functions such as confidentiality and authenticity for the sound circulation of messages through the Internet. In this paper, we show the weaknesses of the previous multi-signcryption schemes. And then we propose a new multi-signcryption scheme that improves the weaknesses and the efficiency of the previous schemes. Our scheme efficiently provides message flexibility, order flexibility, message verifiability, order verifiability, message confidentiality, message unforgeability, non-repudiation and robustness. Therefore, it is suitable for protecting messages and multi-signers from malicious attacks in the Internet.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.17 no.1
• /
• pp.115-119
• /
• 2007

The IPv6 protocol provides the method to automatically generate an address of a node without additional operations of administrators, Before the generated address is used, the duplicate address detection (DAD) mechanism is required in order to verify the address. However, during the process of verification of the address, it is possible for a malicious node to send a message with the address which is identical with the generated address, so the address can be considered as previously used one; although the node properly generates an address, the address cannot be used. In this paper, we present a strong scheme to perform the DAD mechanism based on hash functions in IPv6 networks. Using this scheme, many nodes, which frequently join or separate from wireless networks in public domains like airports, terminals, and conference rooms, can effectively generate and verify an address more than the secure neighbor discovery (SEND) mechanism.