• 정보처리학회논문지D
• /
• 제17D권4호
• /
• pp.297-310
• /
• 2010

최근에 콘콜릭 테스트이라 불리는 새로운 테스팅 방법이 많은 관심을 받고 있다. 콘콜릭 테스팅은 높은 테스트 커버리지를 달성하기 위해 실제 프로그램 수행과 심볼릭 수행을 결합하여 테스트 데이터를 생성한다. CREST는 콘콜릭 테스팅을 구현한 대표적인 open-source 테스트 도구이다. 그러나 현재 CREST는 입력으로 정수형만 다룬다. 이 논문은 포인터형인 입력이 존재하는 경우에 자동 테스트 데이터 생성을 위한 새로운 규칙을 제안한다. 이 규칙들은 C 프로그램에서 주로 사용되는 다단계 스택 지향 포인터를 효과적으로 처리한다. 또한, 이 논문에서는 제안 된 규칙을 구현한 vCREST라 불리는 도구에 대해 기술하고 C 프로그램에 적용한 결과도 함께 기술한다.

• 한국시뮬레이션학회논문지
• /
• 제23권4호
• /
• pp.21-29
• /
• 2014

일반적으로 시뮬레이션 프로젝트는 목적에 부합되는 수준에서 연구 대상 시스템과 유사하게 작동되는 모델을 개발해야 하기 때문에 시간과 비용이 많이 소요된다. 따라서 적절한 개념 모델 설계와 이를 바탕으로 시뮬레이션 모델을 자동 생성하여 모델 개발 과정의 시행착오를 최소화함으로써 모델링 시간을 단축하기 위한 연구가 요구되고 있다. 본 논문에서는 실무에서 많이 사용되고 있는 Microsoft Excel과 Visio를 활용하여 개념 모델을 개발하고 이를 Arena 모델로 자동으로 변환하는 툴을 제안하였다. 예제를 이용하여 본 논문의 모델 자동 생성 툴의 효용성을 보였다.

• 한국정밀공학회지
• /
• 제18권3호
• /
• pp.61-67
• /
• 2001

The finishing process for die is an important process because it has influence on final quality of products. Recently s study on development of 5-axis die automated finishing machine has been progressed. But die must be moved from the cutting machine to the die automated finishing machine. So manufacturing cost and time increase and machining error occurs by transfer. So, in this study, a 3-axis machining center was applied to die finishing. Because cutting tool can be changed to finishing tool by ATC, both of cutting and finishing process are possible on the machine. However, this application results in the decrease of finishing for the improvement of form accuracy. So this study focused on the generation of finishing tool path suitable to 3-axis die finishing for the improvement of form accuracy. The form accuracy evaluation is performed by the measurement of removal depth using a stylus profilometer. From the result, it is confirmed that form accuracy was improved less than 2$\mu$m of removal depth error.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2002년도 ICCAS
• /
• pp.95.5-95
• /
• 2002

Tool condition monitoring is recognized important in CNC machining processes since the excessive wear or breakage of tool has to be noticed immediately in an automated manufacturing system to keep the quality and productivity. In this research, as an economic way of detecting the status of tool change, the wavelet transform has been applied to the measurement of spindle motor current. The energy of a specific level shows the difference between a normal tool and worn one. By setting a limit on the change of energy, it is possible to notify the time to inspect the tool.

• 한국기계연구소 소보
• /
• 통권19호
• /
• pp.69-79
• /
• 1989

Cutting tool life monitoring is a critical element needed for designing unmanned machining systems. This paper describes a tool wear measurement system using computer vision which repeatedly measures flank and crater wear of a single point cutting tool. This direct tool wear measurement method is based on an interactive procedure utilizing a image processor and multi-vision sensors. A measurement software calcultes 7 parameters to characterize flank and crater wear. Performance test revealed that the computer vision technique provides precise, absolute tool-wear quantification and reduces human maesurement errors.

• 한국정밀공학회지
• /
• 제17권4호
• /
• pp.69-80
• /
• 2000

Generally, die polishing is a lime consuming process, resulting in 30∼50％ of the whole die manufacturing time. However, die polishing has not been automated yet, since it needs a great deal of experience and skill. This paper describes a new development of automated system for die polishing and focuses on the successful achievements of the element techniques to realize from hand skill to automation, as followings: (1) The 5 axes polishing system by the aid of robot with 2 degrees of freedom, is developed for the application of curved surface die. (2) The CAM system realizes a 5 axes tool path control for polishing and measuring. (3) The conductive elastic tool is able to meet curved surfaces of die and gives a high efficient and quality polishing characteristics. (4) The surface roughness measurement device with noncontact laser is developed and has a high reliability without surface damage.

• 천문학회보
• /
• 제46권1호
• /
• pp.57.1-57.1
• /
• 2021

The icy mantles of interstellar grains are developed by the freeze-out of interstellar molecules and atoms onto grain surfaces. The ice molecules become more complex by surface chemistry induced directly by high energy photons or by the thermal energy diffused over heated grain surface. Therefore, the ice composition is an important tracer of physical conditions where the ices form. Ices have been studied via their absorption features against continuum sources, such as young stellar objects or evolved background stars, in infrared wavelengths. The Spitzer IRS was the most sensitive spectrometer for the observations of infrared ice absorption features. We has been developing an automated analysis tool for the Spitzer IRS spectra, especially for the 15 ㎛ CO₂ bending mode. The 15 ㎛ CO₂ absorption feature is very useful for the study of accretion process in star formation since its spectral shape varies with thermal condition of the dust grains. Eventually, this tool will cover the whole range of the Spitzer IRS spectrum (5~20 ㎛).

• 국제학술발표논문집
• /
• The 6th International Conference on Construction Engineering and Project Management
• /
• pp.637-638
• /
• 2015

There has been growing interests in life-cycle project management in the construction industry. A lot of attention is given to Building Information Modeling (BIM) which stores and uses a variety of construction information for the life cycle of project management. However, due to the additional workload arising from BIM, its expected effects versus its input costs are still under discussion in practice. As an attempt to address this issue, one of previous studies suggested an automated linking process by developing Standard Classification Numbering System (SCNS) and Geometry Breakdown Structure (GBS) to enhance the efficiency of integration process of BIM objects, cost, and schedule. Though SCNS and GBS facilitates identifying all different dataset, making object sets and linking schedule activities still needs to be manually done without having an automated tool. In this context, the purpose of this paper is to develop and validate a fully automated integration system for 3D-objects, cost, and schedule. A prototype system for single family homes (Hanok) was developed and tested in order to verify its efficiency.

• 한국철도학회논문집
• /
• 제12권4호
• /
• pp.450-456
• /
• 2009

최근의 컴퓨터 기술의 발달에 따라 열차제어시스템들이 컴퓨터 소프드웨어에 의존성이 더옥 증가되고 있으며, 이에 따라 이러한 열차제어시스템 소프트웨어의 안전성과 선뢰성에 대한 테스팅이 더욱 증요하게 되었다. 본 논문에서는 이러한 열차제어시스템 소프트웨어를 위한 Metrics 분석 자동화 도구를 제안하였으며, 또한 구현결과를 제시하였다. S/W Metrics는 철도시스템 소프트웨어관련 국제표준에서 언급되고 있는 Metrics를 대상으로 하였으며, 철도 소프트웨어 소스코드의 Metrics를 자동으로 분석하여 그 결과를 사용자에게 다양한 형태로 제시할 수 있도록 구현하였다. 자동화 도구는 열차제어시스템 소프트웨어 평가단계에서도 활용될 수 있고 또한 소프트웨어 개발단계에서도 유용하게 활용될 수 있을 것으로 예상된다.

• International Journal of Safety
• /
• 제8권2호
• /
• pp.31-36
• /
• 2009

In accordance with the development of recent computer technology, railway signaling software became more complex for the intellectualization. Therefore the importance and dependency of railway signaling system on the computer software is getting more increased further, and the testing for the safety and reliability of railway signaling system software became more important. It is started to become influential as very important issue for the reliability and safety of vital embedded software like railway signaling system. The software coding which can have an effect on the safety at the coding level of software shall not be included preferentially, for the safety of software, and must be checked. This thesis suggested an automated testing tool for coding rules on this railway signaling system software, and presented its applied result for railway signaling system software. The testing items in the implemented tool had referred to the international standards in relation to the software for railway system and MISRA-C standards. This automated testing tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.