• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권10호
• /
• pp.768-772
• /
• 2010

콘콜릭 테스트는 높은 테스트 커버리지를 달성하기 위해 실제 프로그램 수행과 심볼릭 수행을 결합하여 테스트 데이터를 생성한다. CREST는 콘콜릭 테스팅을 구현한 대표적인 open-source인 테스트 도구이다. 그러나 현재 CREST는 기본적으로 프로그램의 모든 가능한 실행 경로들을 탐색하는 것을 목적으로 한다. 이 때문에 특정 분기 또는 블록만을 테스트하는 경우에는 비효율적일 수 있다. 이 논문에서는 프로그램 상의 한 분기 또는 블록을 주고 이률 실행할 수 있는 테스트 데이터를 생성하는 목적 지향 콘콜릭 테스트 방법을 제안한다.

• 산업공학
• /
• 제15권1호
• /
• pp.20-25
• /
• 2002

In this research, a nameplate engraving system for images and texts downloaded through Internet on nameplate is developed. The system consists of two subsystems: thinning algorithm and NC code generation module. In the thinning algorithm, the concept of connectivity is used and center lines of images and texts, which will be used as NC tool paths, can be obtained successfully. Because the center lines are composed of a lot of pixels, NC code would be too long. In the NC code generation module, many useless pixel data are removed and linear interpolation algorithm is applied to only the remaining pixels. By performing actual experiments, the thinning algorithm and the NC code generation module are verified.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1996년도 가을 학술발표회 논문집
• /
• pp.105-112
• /
• 1996

A practical approach for the assessment of system reliability-based safety and load carring capacity under vehicle traffics is proposed for the realistic evaluation of safety and rating of cable-stayed bridges. A partial event tree analysis model incorporating major critical failure paths is suggested as a practical tool for the system reliability analysis and system reliability-based capacity rating. The proposed approach for the system reliability analysis and system reliability-based rating is applied to the safety assessment of the Jindo Bridge which is one of two existing cable-stayed bridges in Korea. The results of analyses at the system level based on the system reliability are compared with those at the element level.

• 대한기계학회논문집A
• /
• 제26권9호
• /
• pp.1888-1896
• /
• 2002

This study presents a new type of CNC interpolator that is capable of generating cutter paths for ball-end milling of NURBS surfaces. The proposed surface interpolator comprises real-time algorithms for cutter contact (CC) path scheduling and CC path interpolator. Especially in this study, a new interpolator module to regulate cutting forces is developed. This propose algorithm utilizes variable-feedrate commands along the CC path according to the curvature of machined surfaces during the interpolation process. Additionally, it proposes an OpenGL graphic library for computer graphics and animation of interpolated tool-position display. The proposed interpolator is evaluated and compared with the existing method based on constant feedrates through computer simulations.

• 한국공작기계학회논문집
• /
• 제11권1호
• /
• pp.70-76
• /
• 2002

Unmanned vehicles have to decide their velocities suitable for the paths which should be generated by the vehicles themselves, based on the kinematic and dynamic aspects of vehicles. For this purpose, this paper is to propose a mathematical modeling of tuning trace for the cornering of an unmanned vehicle by using normal-tangent coordinates as well as extracting the characteristics of behavior for car drivers in cornering. In the proposed modeling, the limitations of velocity can be determined based on the knowledge that the handling of drivers means the control of radius of curvature. The proposed modeling can reduce computational load and generate turning angles and velocities suitable for the cornering of unmanned vehicles.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 추계학술대회 논문집
• /
• pp.371-374
• /
• 1997

This study presents a new type of real-t~me CNC interpolator that is capable of generating cutter paths for ball-end milling of NURBS surfaces. The proposed surface interpolator comprises real-time algorithms for cutter-contact (CC) path scheduling and CC path interpolation. Especially, in this study, a new interpolator module to regulate cutting forces is developed. This proposed algorithm utilizes variable-feedrate commands according to the curvature of machined surfaces. The proposed interpolator is evaluated and compared with the conventional method based on constant feedrates through computer simulation.

• 한국공작기계학회논문집
• /
• 제16권5호
• /
• pp.14-23
• /
• 2007

Welding fabrication invariantly involves three district sequential steps: preparation, actual process execution and post-weld inspection. One of the major problems in automating these steps and developing autonomous welding system is the lack of proper sensing strategies. Conventionally, machine vision is used in robotic arc welding only for the correction of pre-taught welding paths in single pass. However, in this paper, multipass tracking more than single pass tracking is performed by conventional seam tracking algorithm and developed one. And tracking performances of two algorithm are compared in multipass tracking. As the result, tracking performance in multi-pass welding shows superior conventional seam tracking algorithm to developed one.

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

The sound transmission from the machine room where air-conditioner outdoor unit is located into the adjacent room is predicted and evaluated. The software package for statistical energy analysis(SEA) is utilized to determine the transmission losses of multi-layerd panels. To determine the noise level in the machine room, ray tracing method is adopted. The various sound transmission paths have been effectively identified and evaluated by the SEA tool.

• 소성∙가공
• /
• 제20권8호
• /
• pp.611-618
• /
• 2011

Flow forming is an incremental forming process in which rollers are used to form cylindrical parts with repeated turning of both roller and starting material. Both sheet and tube can be used as the starting material. The process is highly useful for producing hollow shaped parts from a tube, with the benefit of the average strain in the final shape being significantly lower than that from a sheet material. In the present study, the flow forming process was studied and optimized for producing a hollow shaped part from seamless steel tube by both experiment and numerical analysis. Upon considering the difficulty of forming seamless steel sheet, the thickness reduction was distributed over several tool paths. In the end, an optimum process condition was attained, and the experiment verified the simulation results.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2001년도 추계학술대회논문집 II
• /
• pp.719-724
• /
• 2001

The study on reducing vehicle noise and vibration has gained much attention to ensure the comfortability as well as the safety. These days. in this paper, we applied Statistical Energy Analysis(SEA) to characterize the tire assembly, which is useful analytical tool for mid- and high-frequency range. First, the SEA tire model was developed by dividing the tire and the wheel into several subsystems. The material properties were estimated experimentally. Finally. the SEA model was validated by comparing the estimated and the measured. In addition, we investigated the energy level and the energy transfering paths through the tire assembly in different frequency region.