• 한국정밀공학회지
• /
• 제19권6호
• /
• pp.35-42
• /
• 2002

Verification of tool collision Is an important issue in die and mold machining. In this paper three functions of verification for 3-axis milling machining are schematically explained. Operators of geometric models are explained at first, which will be used in the functions of verification. The first verification function is getting a collision-free region when a tool assembly and a part surface model are given. The second function estimates the shortest length of cutter shank with that the tool cuts all of a region without collision The last one is cutting simulation considering all parts of tool assembly as well as cutter blade. Proposed approaches can be easily implemented by using several basic operators of geometric model. An example to calculate collision-free region is presented also.

• 한국정밀공학회지
• /
• 제24권7호
• /
• pp.39-48
• /
• 2007

This paper presents a method of a line balanced assembly sequence generation based on the verification of a disassemblability and a work time. To derive the disassemblability for a part to be disassembled, first we inference collision free assembly directions by extracting separable directions fur the part. And we determine the disassemblability defined by the separability and stability cost. The separability cost represents a facility of the part disassembly operation, and the stability cost which represents a degree of the stability for the base assembly motion. Based upon the results, we propose a new approach of evaluating work time using neural networks. The proposed assembly sequence generation provides an effective means of solving the line balancing problem and gives a design guidance of planning assembly lay-out in flexible manufacturing application. Example study is given to illustrate the concepts and procedure of the proposed schemes.

• 한국연소학회:학술대회논문집
• /
• 한국연소학회 2012년도 제44회 KOSCO SYMPOSIUM 초록집
• /
• pp.35-36
• /
• 2012

Part load operation usually covers large periods of the total operation time on the economic ground and electricity demand in small-scale boilers. Performance analysis of part load behavior is very important for the purpose of boiler operation optimization. A simple thermal calculation approach is applied to predict performance of a pilot-scale circulating fluidized bed (CFB) boiler at part load operation. Verification has been carried out by comparing between calculation results an operation data of the boiler.

• 대한기계학회논문집A
• /
• 제41권2호
• /
• pp.103-109
• /
• 2017

AMM(Additive Metal Manufacturing)이라 호칭되는 3차원 금속 프린팅(metal 3-D printing) 공정은 금속분말(metal powder)을 적층 재료로 사용하여 기계적부품용 실형상 금속 파트(metallic parts)를 직접 조형하여 제조한다. 한편, 조형 파트형상의 STL모델에 존재하는 기하학적 오류들과 특징형상들의 특이성으로 인하여 조형 작업 중에 내부에 결함들이 포함된 실형상 파트가 조형될 가능성이 존재하게 되며 이로 인해 3차원 금속 프린팅 조형공정 자체의 신뢰성에 문제를 야기할 수 있다. 본 논문에서는 이러한 조형작업 중 발생할 수 있는 결함들을 미리 진단, 분석하고 수정하기 위하여 첫째, 조형 전에 STL 형상모델의 진단분석을 통하여 결함요소를 사전에 탐지하고 둘째, 적층 단면내 조형 공구 경로상에 실제로 포함된 결함들을 분석하고 이를 수정하기 위한 조형 파트 진단 및 조형 공구 경로 검증 연구방법을 제시하였다. 또한 DED(direct energy deposition) 공정을 기준으로 2가지 STL 형상파트 사례들에 대하여 제시한 연구방법의 case study를 수행하였다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1995년도 추계학술발표회논문집(1)
• /
• pp.173-178
• /
• 1995

The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential ewer checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP (Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompleteness in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assumed error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• 한국통신학회논문지
• /
• 제21권2호
• /
• pp.409-416
• /
• 1996

This paper describes the simulation environment that verifies whether a new microporcessor described with HDL is compatible with an existing microprocessor. The compatibility verification is done by showing that the new microprocessor executes the OS(Operating System) program used in the existing microprocessor without any modification of its binary code. The proposed verification environment consists of a virtual system and a graphic user interface (GUI) module. Each module is independently designed based on serve-client model and three exists a communication part for information interchange between the two modules. This paper describes the method of constructing the verification environment and presents the compatibility verification environment of the x86 microprocessor as the simulation result.

• Nuclear Engineering and Technology
• /
• 제28권6호
• /
• pp.522-531
• /
• 1996

The adoption of expert systems mainly as operator supporting systems is becoming increasingly popular as the control algorithms of system become more and more sophisticated and complicated. The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential error checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP(Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompletensess in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assume error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• 시스템엔지니어링학술지
• /
• 제3권1호
• /
• pp.33-40
• /
• 2007

The requirement verification is the integral part of the weapon system R&D to reduce cost and schedule. And, a systems engineering is an interdisciplinary engineering management process that evolves and verifies an integrated, life-cycle balanced set of system solutions that satisfy customer needs. Therefore, this study analyzes the national defense need and acquisition management process, investigates the systems engineering verification activity. Through the requirement verification example in terms of technical evaluation this study presented the requirement verification approach in the weapon system R&D.

• 항공우주기술
• /
• 제1권2호
• /
• pp.173-178
• /
• 2002

전자부품 높은 신뢰성이 요구되며 극한의 운용 환경을 견디어야 하는 우주 프로그램에는 High-Reliability Part로 분류되는 Class S 이상의 Microcircuit, JANS 급 이상의 Discrete Semiconductor, 그리고 ER(Established Reliability) 등급 R 수준 이상의 Passive 소자들이 주로 사용된다. 그러나 일부 부품에 대해서는 High-Reliability Part로서 검증되지 않은 이른바 비표준 부품을 사용해할 경우가 빈번하게 생기고 있다. 이 경우 위성의 제작자는 자체적으로 부품을 검증하여 잠재적인 결함이 있는 부품들을 Screening할 수 있어야 한다. 본 기술 논문에서는 아리랑위성 1호기 및 2호기 개발을 통해서 이루어진 부품 검증과정을 간략히 소개하고자한다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 춘계학술대회논문집C
• /
• pp.116-121
• /
• 2001

Verification of tool collision is an important issue in die and mold machining. In this paper three functions of verification are schematically explained based on Z-Map model. The first function is getting a collision-free region when a tool assembly and a part surface model are given. The second function estimates the shortest length of cutter shank with that the tool cuts all of a region without collision. The last one is cutting simulation considering all parts of tool assembly as well as cutter blade. Those functions can be easily implemented by using several basic operators of Z-Map model which are explained also. Proposed approaches have enough accuracy to verify collision in reasonable computing time.