• 한국정밀공학회지
• /
• 제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.

• 한국컴퓨터정보학회논문지
• /
• 제12권6호
• /
• pp.123-130
• /
• 2007

본 논문은 객체모델에서 표현되는 객체와 관련성을 형식명세의 상태와 오퍼레이션 도메인으로의 변환 규칙을 제시하였다. 즉 정보모델의 요소인 객체와 관련성을 형식명세 표현에서 상태영역으로 변환하였다. 동적모델의 상태, 이벤트, 행위를 오퍼레이션 영역으로 변환하였다. 비형식적인 객체모델을 형식 명세 언어로 변환하므로써 객체모델을 정형화된 방법으로 검증할 수 있다. 검증과정을 통해 소프트웨어 개말 초기단계에서 모델링 과정의 편리함과 신뢰성을 제공할 수 있다 또한 검증된 모델과 사용자 요구사항 사이의 일관성을 위해 시뮬레이션 도구를 구현하였다. 시뮬레이션 도구는 적합한 모델의 선택과 검증이 가능하도록 하므로 소프트웨어 개발비용과 노력, 개발 시간을 최소화할 수 있다.

• Journal of Electrical Engineering and Technology
• /
• 제1권4호
• /
• pp.513-519
• /
• 2006

As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, some ambiguity may be contained therein. This indwelling ambiguity in control systems can cause the occurrence of accidents, especially in the case of safety-critical systems. To clear the vagueness contained in the designed protocol, we use the LTS (Labeled Transition System) model to design the protocol for railway signaling. And then, we verify the safety and the liveness properties formally through the model checking method. The modal ${\mu}$-calculus, which is an expressive method of temporal logic, has been applied to the model checking method. We verify the safety and liveness properties of Korean standard protocol for railway signaling systems. To perform automatic verification of the safety and liveness properties of the designed protocol, a communication verification tool is implemented. The developed tools are implemented by C++ language under Windows XP. It is expected to increase the safety and reliability of communication protocol for signaling systems by using the developed communication verification tool.

• 한국음향학회지
• /
• 제29권3호
• /
• pp.216-221
• /
• 2010

본 논문에서는 Gaussian Mixture Model (GMM)-supervector의 Mahalanobis 거리측정 방법 기반의 Support Vector Machine (SVM) 커널을 이용한 새로운 화자인증 방법을 제안한다. 제안된 GMM-supervector SVM 커널방식은 GMM 방식과 SVM 방식을 결합한 방식으로서, GMM 파라미터에 의해 형성된 화자 및 비 화자 GMM-supervectors의 화자인증 임계값을 Mahalanobis 거리측정 방법기반의 SVM 커널에 적용함으로써 화자인증 정확도를 높인다. 제안한 방식의 성능 측정을 위해 20명의 화자를 대상으로 문장독립형 화자인증 실험을 수행하여 기존에 사용되고 있는 GMM, SVM, Kullback-Leibler (KL) divergence 거리측정 방법 기반의 GMM-supervector SVM 커널, Bhattacharyya 거리측정 방법기반의 GMM-supervector SVM 커널 방식을 통한 화자인증 결과들과 비교하였다.

• 한국멀티미디어학회논문지
• /
• 제25권10호
• /
• pp.1416-1432
• /
• 2022

The access control system is a system that allows users to selectively enter the building by granting an access key to the user for security. Access keys with weak security are easily exposed to attackers and cannot properly perform the role that authenticates users. Access code keys should be protected from forgery or spoofing. For this reason, access key verification service models is important in security. However, most models manage all access keys on one central server. This method not only interrupts all services due to server errors, but also risks forgery and spoofing in the process of transmitting access keys. Therefore, blockchain algorithms are used to reduce this risk. This paper proposes a blockchain-based access key verification service model that used distributed stored blockchain gateways on storing access keys and authenticates the user's identity based on them. To evaluate the performance of this model, an experiment was conducted to confirm the performance of the access key forgery recovery rate and the blockchain network performance. As a result, the proposed method is 100% forgery recovery rate, and the registration and verification process is evaluated at 387.58 TPS and 136.66 TPS.

• 한국정밀공학회지
• /
• 제19권12호
• /
• pp.86-92
• /
• 2002

This paper presents a new model of NC verification in NC milling using z-map. The model can describe the motion of machine tool like a real machine effectively. The model uses x, y, and z directional feed rate as well as cutting data for modeling Z-map of workpiece. The model verifies the over-cut, the under-cut and the surface topography using NC codes and cutting conditions. To investigate the performance of the model, simulation study was carried out. As the results, the model gave the geometry accuracy of workpiece, the surface topography, and the chip loads.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2000년도 춘계학술대회 논문집
• /
• pp.725-729
• /
• 2000

This paper presented a new model of NC verification in ball end milling. The model verifies the over cut the under cut and the surface roughness using NC file generated from CAM and cutting condition. The model uses Z-map model to verify workpiece. In this paper, the model used the velocities of x, y and z direction and obtained a center point of a ball end mill for modeling Z-map of workpiece. To investigate the performance of the model simulation study was carried out. As the results, the model gave geometry accuracy of workpiece, the surface roughness and the chip loads in finish cutting that can predict tool chipping.

• 대한기계학회논문집A
• /
• 제26권2호
• /
• pp.267-274
• /
• 2002

Using a flexible rotating beam test bed, experimental verification of a flexible multibody dynamic simulations for a rotating beam model has been carried out. The test bed consists of a flexible arm, harmonic driver reducer, AC servo motor and DSP board with PC. The mechanical ports of the test bed has been designed using 3D CAD program. For the simulation model, mass and moment of inertia of each part of the flexible rotating beam test bed are also obtained from 3D CAD model. In the flexible multibody dynamic simulations, the substructuring model has been established to capture nonlinear effects of the flexible rotating beam. Through the experimental verification, substructuring model provides better results than those from the linear model in the high speed rotation.

• 대한기계학회논문집
• /
• 제19권7호
• /
• pp.1555-1562
• /
• 1995

This study represents the non-dimensional cutting force model. With the non-dimensional cutting force model it is possible to estimate efficiently the maximum cutting force during one revolution of cutter. Using the non-dimensional cutting force model, the feed rate and spindle speed are adjusted so as to satisfy the maximum cutting force and maximum machining error. To verify the accuracy and efficiency of the non-dimensional cutting force model, a series of experiments were conducted, and experimental results proved and verified the non-dimensional cutting force model. The NC toolpath verification system developed in this paper uses the non-dimensional cutting force model, so that it is effective for calculating the cutting force and adjusting the cutting conditions.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 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.