• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2050-2060
• /
• 1998

Weighting strategy is one of the necessary control strategies in automated reasoning to solve problecs within allowable time and computer memory. But, the strategy still consumes too much time since it depends soly on the user's experience and needs much of the user's manual work at each stage. This research suggests a tool which automates the weighting system to generate the weighting thesaurus and merges it to the mechanical theorem prover.

• Journal of KSNVE
• /
• v.7 no.2
• /
• pp.231-238
• /
• 1997

An automated scanning laser Doppler vibrometer (LDV) has been designed, and built to measure in-plane vibration fields over structures. Use of optical fibers allows the compact design of a laser probe head which can be scanned over the vibrating structures. An algorithm for automated self-alignment of the laser probe is developed. The system is completely automated for scanning over the structures, focusing two laser beams at each data point until the detected vibration signal is stable, and for recording and transferring the data to a system computer. The automated system allows one to get extensive data of the vibration field over the structures. The system is tested by scanning a piezoelectric cylindrical shell and a plate excited by a continuous signal and by a pulse signal, respectively. Results show that the automated scanning LDV system can be a useful tool to measure the in-plane vibration field and to detect the elastic waves propagating on the vibrating structures.

• Journal of Digital Contents Society
• /
• v.16 no.6
• /
• pp.893-900
• /
• 2015

IMO has been proceeding in the maritime SQA for software quality is considered to be essential for the development of the introduction of the e-Navigation In order to ensure software quality, follow the prescribed procedures throughout the software development project and create the output as a result of executing the respective steps. This paper is introduced a case for applying to maritime software development using the tool that is capable of real-time monitoring and automated documentation. Also, It is discussed the improvement of procedures for applying the expected effects and maritime SQA for the tool utilization. The Development of customized tools for maritime SQA that is reflected an improved procedure for tool is the future goals.

• Journal of Platform Technology
• /
• v.11 no.3
• /
• pp.56-67
• /
• 2023

Recently, de-identification of personal information, which has been a long-cherished desire of the data-based industry, was revised and specified in August 2020. It became the foundation for activating data called crude oil[2] in the fourth industrial era in the industrial field. However, some people are concerned about the infringement of the basic rights of the data subject[3]. Accordingly, a development study was conducted on the Batch De-Identification Tool, a personal information de-identification automation tool. In this study, first, we developed an image labeling tool to label human faces (eyes, nose, mouth) and car license plates of various resolutions to build data for training. Second, an object recognition model was trained to run the object recognition module to perform de-identification of personal information. The automated personal information de-identification tool developed as a result of this research shows the possibility of proactively eliminating privacy violations through online services. These results suggest possibilities for data-based industries to maximize the value of data while balancing privacy and utilization.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.4
• /
• pp.243-249
• /
• 2013

This paper presents a tool-path generation methods for an automated robotic system for skull drilling, which is performed to access to some neurosurgical interventions. The path controls of the robotic system are classified as move, probe, cut, and poke motions. The four motions are the basic motion elements of the tool-paths to make a hole on a skull. Probing, rough cutting and fine cutting paths are generated for skull drilling. For the rough cutting path circular paths are projected on the offset surfaces of the outer top and the inner bottom surfaces of the skull. The projected paths become the paths on the top and bottom layers of the rough cutting paths. The two projected paths are blended for the paths on the other layers. Syntax of the motion commands for a file format is also suggested for the tool-paths. Implementation and simulation results show that the possibility of the proposed methods.

• Spatial Information Research
• /
• v.3 no.2
• /
• pp.147-159
• /
• 1995

To construct GIS successfully, mapping technology, primary S/W technology, and DB tool technology are necessarily required. Among them, the mapping technology is the most important one in constructing a GIS spatial database that needs much time and effort. In this paper, we designed and implemented a systematic and effective vectoring tool. The general vectoring process was analyzed and parted into an automated part and a remaining part for increasing overall efficiency. We also proposed a multi -level representation method for vector data and applied it to the developed vect1lring tool. We could verify usefulness of the proposed representation method.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.11a
• /
• pp.148-152
• /
• 2000

Detection of tool wear is very important in automated manufacturing. This paper presents tool condition monitoring system based on the wavelet analysis of the AC servo motro current in drilling and milling process. The current measurement system is relatively simple and its mounting will not affect machining operations. The discrete wavelet transform was used to decompose the current signal of a spindle AC servo motor in time - frequency domain. The feature vectors were extracted from the decomposed signals and compared for normal and wear condition. The results show the possibility for the effective application of wavelet analysis to tool condition monitoring.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.18 no.6
• /
• pp.19-25
• /
• 2019

We have developed a tool that uses finite element analysis (FEA) to rapidly evaluate a shaft-bearing system of machine tools. We extracted commercial data on suitable clamping units and defined the inner profile of the shaft to avoid needing direct user input to define the profile. We use a splitting algorithm to convert the shaft into beam elements with two diameters and length. To validate the tool, we used it to design and evaluate a shaft-bearing system and found that our tool automated the construction of an FE system model in a commercial FEA package as well as the static stiffness evaluation; both tasks were completed in seconds, demonstrating a significant reduction from the minutes normally required to complete these tasks manually.

• Proceedings of the KSR Conference
• /
• 2002.10a
• /
• pp.202-207
• /
• 2002

The rubber type AGT system is operated by driverless that signaling is CBTC type. The system function is acomplished exactly to obtain the safety and reliability of system and the system is designed to minimize risk. In order to design the system, the functional analysis is performed. Recently functional analysis is performed by RDD-100 which is used and verified by aerospace, military, etc. Therefore, The design tool RDD-100 is used to perform functional analysis in AGT system development project.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.9
• /
• pp.4207-4213
• /
• 2012

Software quality is strongly associated with requirement quality. Accordingly, companies are trying effect for enhancing requirement quality. But, it is difficult to verify the requirement of specification format, which have to rely on abnormal business knowledge of analyst. Also, it is insufficient to normal methodology or automated technique for enhancing requirement quality of specification format. In this paper, we propose the process of requirement verification and automated verification tool for enhancing requirement quality. we compare the external view design and internal view design for verifying requirement. In the case study, we evaluate the feasibility of the proposed automated verification technique of requirement.