• Journal of the Korean Mathematical Society
• /
• v.40 no.5
• /
• pp.789-830
• /
• 2003

By forming completions of families of noncommutative polynomials, we define a notion of noncommutative continuous function and locally bounded Borel function that give a noncommutative analogue of the functional calculus for elements of commutative $C^{*}$-algebras and von Neumann algebras. These notions give a precise meaning to $C^{*}$-algebras defined by generator and relations and we show how they relate to many parts of operator and operator algebra theory.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.9 no.4
• /
• pp.68-74
• /
• 2000

Even in a fully automated factory, many deburring operations are carried out manually . To remove or minimize the burreffectively or automatically, understanding of the burr formation which occur at the exit stage of machining is necessary. Burrs can be formed on the feed mark ridges an the edges of the machined parts in machining operations. These burrs are underirable in terms of the surface quality, the precise dimensioning of the machined parts and the safety of operators. This paper demonstrates the effectiveness of using end mill tool on minimizing the exit burr formation in machining . In particular, the experimental relationships between the size of exit burr and the cutting parameters are established in end mill machining . Methods to control the size of exit burr are then explained.

• Journal of the Korean Society of Safety
• /
• v.13 no.2
• /
• pp.164-169
• /
• 1998

Burrs can be formed on the feed marks ridges as well as on the edges of the machined parts in machining operations. These burrs are undesirable in terms of the surface quality, the precise dimensioning of machined parts and the safety of operators. This paper experimentally investigates the sideward burr formation in 3-dimensional cutting. In particular, the experimental relationships between the size of sideward burr and the cutting parameters are established and suggestions are made for minimizing sideward burr formation.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.9
• /
• pp.45-49
• /
• 2016

In this study, an image processing algorithm was developed to increase readability of the images of specific parts of a KTX train acquired by using a mobile digital radiographic testing device in a situation where a running train is stopped. The image processing algorithm was realized by using a Visual C++ development tool. The algorithm developed in this study allows to select an interested region in the acquired images when the interested region is suspected to cause a problem, and applies a thinning process based Sobel operators to the selected region. The experimental results show that the readability of defect parts that are not visible to naked eyes was increased through edge detector. Application of the algorithm developed in this study may help to accurately read non-destructive inspection images.

• Journal of the Korean Society for Precision Engineering
• /
• v.21 no.6
• /
• pp.188-196
• /
• 2004

The objective of this paper is to propose a new technology of the orthopaedic surgery using the combination of reverse engineering (RE) based on CT data and rapid prototyping (RP). The proposed technology utilizes symmetrical characteristics of the human body and capability of the combination of RE and RP, which rapidly manufactures three-dimensional parts from CT data. The original .stl data of injured extents are generated from the mirror transformation of .stl file fur uninjured extents. The physical shape before injuring is manufactured from RP using the original .stl data. Subsequently, pre-operative planning, such as a selection of proper implants, preforming of the implant, a decision of fixation locations and an insert position for the implant, an estimation of the invasive size, and pre-education of operators are performed using the physical shape. In order to examine the applicability and the efficiency of the proposed surgical technology, various case studies, such as a distal tibia commented fracture, a proximal tibia plateau fracture and an iliac wing fracture of pelvis, are carried out. From the results of case studies, it has been shown that the proposed technology is an effective surgical tool of the orthopaedic surgery reducing the operational time, the operational cost, the radiation exposure of the patient and operators, and morbidity. In addition, the proposed technology could improve the accuracy of operation and the speed of rehabilitation.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.2987-2997
• /
• 2011

As a public transit playing an important role in the era of high gas prices, subway corresponds the national strategy 'Low carbon, Green growth'; accordingly, passengers who would use the transportation are steadily increasing. Subway operators are required to provide subway users with services based on higher-quality system, safety, convenience & high reliability level. Furthermore, as the legally allowed maximum life time of EMUs is extended, it is necessary to localize & standardize the parts of EMUs. This paper presents a modelling of systematic EMU(SR001) manufacturing technique which enables us to reflect passenger and subway operator's demands in the whole EMU manufacturing process from the initial design phase to its completion by making full use of the know-how based on subway operators' experiences. SR001 enabled SMRT's staffs to participate in the EMU design & its equipment manufacturing; consequently, it realized the innovative system which meets passengers' requirements. Moreover, the process lead time was reduced dramatically. The result of this research will be helpful in providing useful guidelines for railway industry policy and development making in Korea.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.46 no.4
• /
• pp.331-338
• /
• 2023

ROK Navy Landing Ship Fast(LSF-II) is equipped with special equipment that is not compatible with other combat ships due to special missions. So there are almost no maintenance capabilities except for simple repair parts replacement and maintenance parts. The researcher determined that the way to solve these problems was to apply Performance Based Logistics (PBL), and reviewed the cases of PBL applications abroad and domestically. To confirm the current maintenance capability, we visited LSF-II operation unit to identify maintenance capabilities for each mounted equipment, and interviews with operators and maintenance practitioners confirmed the limitations of outsourcing maintenance and the need to apply PBL. In order to analyze the effect of PBL application, the measure of effectiveness and measure of performance were selected based on the opinions of LSF-II operation/maintenance practitioners and PBL experts and the practical experience of this researcher. A survey was conducted on operation/maintenance practitioners and professional personnel. Based on the survey results, the effect of applying PBL was analyzed using the AHP technique, and an efficient PBL application plan was proposed for LSF-II.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.12 no.5
• /
• pp.141-148
• /
• 2013

There are several problems in the conventional 2-D image processing and 3-D measurement systems. In the case of the 2-D image processing system, it is not possible to detect elevation data. In a 3-D measurement system, it requires a skillful operator and a lot of time for measuring data. Also, there exist data errors depending on operators. The limitation of detecting elevation data in the 2-D image processing system can be solved by laser diodes. In this study an algorithm that measures the accurate data in a subject face to be detected by combining laser diodes and a commercial CCD camera is developed. In the development process, a planar equation is developed using laser diodes and the equation is used to obtain a normal vector. Based on the results, an algorithm that transforms commercial CCD camera coordinates to 3-D coordinates is proposed. The completed measurement method will be applied to replace a manual measurement system for vehicle bodies and parts by an automated system.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.6
• /
• pp.1072-1076
• /
• 2009

This paper proposes a real time TMS real-time video monitoring system that emphasizes environmental accident precautions. In order to make up for the problems of the existing system, the digital numeric values of air pollution materials and video signals are displayed on the screen in this system. And through this process, air pollution can be monitored in real time. In tile system proposed in this paper, other relevant parts, as well as the managers and field operators of environmental parts, can also monitor the real time changes of air pollution.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.44 no.2
• /
• pp.102-114
• /
• 2021

NDF (No Defect Found) is a phenomenon in which defects have been found in the manufacturing, operation and use of a product or facility, but phenomenon of defects is not reproduced in the subsequent investigation system or the cause of the defects cannot be identified. Recently, with the development of the fourth industrial revolution, convergence of hardware and software technologies in various fields is spreading to products such as aircraft, home appliances, and mobile devices, and the number of parts is increasing due to functional convergence. The application of such convergence technologies and the increase in the number of parts are major factors that lead to an increase in NDF phenomena. NDF phenomena have a significant negative impact on cost, reliability, and reliability for both manufacturers, service providers and operators. On the other hand, due to the nature of NDF phenomena such as difficult and intermittent cause identification and ambiguity in judgment, it is common to underestimate the cost of NDF or fail to take appropriate countermeasures in corporate management. Therefore, in this paper, we propose a methodology for estimating NDF costs by the PAF model which is a quality cost analysis model and ABC (Activity Based Costing) technique. The methodology of this study suggests a detailed procedure and the concept to accurately estimate the NDF costs, using ABC analysis, accounting system information, and IT system data. In addition case studies have validated the methodology. We think this could be a valid methodology to refer to when estimating the cost of other parts. And, it is meaningful to provide important judgment information in the decision-making process based on quality management and ultimately reduce NDF costs by visualizing them separately by major variable factors.