• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.10a
• /
• pp.507-510
• /
• 2008

In this paper, we present a method of editing use case scenario for use case description. It presents interaction between scenario steps for automating the step numbering in editing scenarios and identify elements of scenario steps, extension and data structure and maintaining relationship of success scenario and ex tension.

• Journal of Korean Institute of Industrial Engineers
• /
• v.17 no.2
• /
• pp.1-16
• /
• 1991

This paper deals with some critical activities of CAPP system such as generation of part description database, part feature recognition, process and operation selection, and sequencing method for turning operation of symmetric rotational parts. The part description database is generated by data conversion module from CAD data, and the part feature is recognized by using both pattern primitives and feature recognition rules. Machining processes and operations are selected based on machining surface features and its sequence is determined by rules acquired from process planning expert. AutoCAD is employed as CAD system and computer program is developed by using Turbo-C on IBM PC/AT compatible system.

• Journal of Power Electronics
• /
• v.12 no.6
• /
• pp.974-981
• /
• 2012

A FPGA based delta modulated single phase matrix converter has been developed that may be used in both cyclo-converters and cyclo-inverters. This converter is ideal for variable speed electrical drives, induction heating, fluorescent lighting, ballasts and high frequency power supplies. The peripheral input-output and FPGA interfacing have been developed through Xilinx 9.2i, to generate delta modulated trigger pulses for the converter. The controller has been relieved of the time consuming computational task of PWM signal generation by implementing the method of trigger pulse generation in a FPGA by using Hardware Description Language VHDL in Xilinx. The trigger circuit has been tested qualitatively by observing various waveforms on an oscilloscope. The operation of the proposed system has been found to be satisfactory.

• Korean Journal of Remote Sensing
• /
• v.17 no.2
• /
• pp.155-164
• /
• 2001

In this study, we describe the technique for deriving a digital elevation model (DEM) from a synthetic aperture radar (SAR) stereo image pair and apply it to an image pair over "Kwanak-san" in Seoul, Korea. This paper contains brief discussion of the use of stereo SAR to derive topographic data, description of the overall structure of the stereo SAR processing system, description of the site and SAR data used for the evaluation and the source of validation data, results of the stereo SAR processing, analysis and evaluation of their accuracy against map data, and finally summarizes the main highlights of the method used, comments and recommendations on its future implementation.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.24 no.2
• /
• pp.338-346
• /
• 1987

This paper describes a method for verifying whether a given geometrical layout correcdtly reflects the original logic level description. The logic description extracted from layout data was directly compadred with the original logic diagram generated at logic level design stage where the logic diagram is represented as a weighted multi-place graph. The comparison is based on graph isomorphism and error messages(error categories and locations)are invoked if any difference is found between the two logic descriptions. An efficient partitioning algorithm which consists of two steps, candidate selection and equal weight partitioning procedure, enables the entire verification process to occur in O(n log n) time.

• Journal of Korean Academy of Nursing
• /
• v.29 no.6
• /
• pp.1208-1220
• /
• 1999

The purpose of this study was to describe the differences in three phenomenological research methods used to understand the experience of families of patients with cancer and so provide as guideline to novices first attempting qualitative research. The subjects were 3 family members - spouse, daughter, daughter-in-law -of cancer patients at S-hospital. Unstructured deep interviews were carried out and taped for further analyzed. Interviews were analyzed using three phenomenological methods ; Giorgi's, Colazzi's, and Van Kaam's. The results are as follows. : The experience of family the analyzed using Giorgi's method showed different characteristics according to the family members' role. According to Colaizzi's method, they experienced burden, a willingness to care, role conflict, thanks to family and significant others, and ambivalence about treatment. Using Van Kaam's methodology, two categories were identified ; change of family function and burden. Themes in change of family function were positive attitude(9), role conflict(6), negative attitude(5), active attitude(2), and passive attitude(2) ; Themes in burden were emotional burden, physical burden, and economic burden. The result from using Giorgi's method were centered or individual characteristics and these results constituteds situational structured description and a general structured description. From Colaizzi's method the focus was on the common experience of all fo the subjects. In Van Kaam's method, subthemes (13), themes(8), and categories(2) were identified. So researchers should choose the qualitative method according to their research goals and methodological characteristics.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.2
• /
• pp.552-562
• /
• 1997

This paper proposes a formal method on confromance testing for INAP(AIN) test sequence generation by optimization technique.In order to implement and prove the dffectiveness of the proposed method,we specify the SRSM of INAP protocol SRF in SDL and generate I/O FSM by using our S/W tool. We generate an opti-mal test sequence by applying our method our method to this reference I/O FSM. We prove experimentally that the length of the generated test sequence by our method is more effective and shorter(i.e 32% improved)than the one geverated by UIO method,and estimate that The test coverage space of our test sequence is larger that of UIO method.

• Journal of Korea Water Resources Association
• /
• v.32 no.2
• /
• pp.99-110
• /
• 1999

The method of moments, a Lagrangian scheme, considers the zeroth, first, and second moments of the grid cell spatial distributions of the concentration and then advects the concentration by maintaining conservation of the moments. The reasonable inital description of the first and second moments as well as the mean concentration, the zeroth moments, in grid element is important in the method of moments. In this study, the description methods of each initial moment are reviewed, and the method of moments is extended to overcome the restrictions of Courant number. Its performance is compared with those of available Eulerian and Lagrangian schemes. As the results, the method is successfully extended to overcome the stability restriction and is an accurate scheme for the advection simulation of concentration distribution, especially of which the gradient is steep. In addition, the method is very promising scheme in terms of computational efficiency when the mixing is confined in a relatively small region to the entire domain in two-dimensional problem.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.9C
• /
• pp.913-921
• /
• 2007

Retargetable compiler which generates executable code for a target processor and performance profiler are required to design a processor optimized for a specific application. This paper presents an architecture exploration methodology based on ADL (Architecture Description Language). We synthesized instruction set and optimized processor structure using information extracted from application program. The information of operation sequences executed frequently and register usage are used for processor optimization. Architecture exploration has been performed for JPEG encoder to show the effectiveness of the system. The ASIP designed using the proposed method shows 1.97 times better performance.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.11
• /
• pp.1-10
• /
• 1994

A concurrent computation model Doorae and its description language DL are developed to model problems of parallel and distributed systems. Doorae model has simple and uniform concepts of object and message passing for problem modeling and computation. A method for detecting parallelism implicitly. with no exact description of parallelism in program. is proposed. Furthermore, the method assures the maximum parallelism in dynamic environment by creating concurrent objects. Also a concept of Waiting Variable to insure maximum computation efficiency of objects is proposed.