• Proceedings of the KIPE Conference
• /
• 2001.12a
• /
• pp.181-184
• /
• 2001

In this paper, a novel overmodulation strategy for space-vector PWM(SVPWM) inverters to utilize dc link voltage fully is presented. The proposed strategy uses the concept of SVPWM based on the zero sequence signal(offset voltage) injection principle. So, by modifying the pole voltage simply, the linear control of inverter output voltage over the whole overmodulation range can be achieved easily. The validity of the proposed strategy is confirmed by the experimental results.

• Journal of Korean Institute of Industrial Engineers
• /
• v.15 no.2
• /
• pp.93-101
• /
• 1989

The classic machine repair problem is extended to the case where a number of different machines are arranged in the sequence of operation. The steady-state availability of the system with a series of operating machines is maximized under some constraints such as total cost, available space. In order to find the optimal numbers of spare units and repair channels for each operating machine, the problem is formulated as non-linear integer programming(NLIP) problem and an efficient algorithm, which is a natural extension of the new Lawler-Bell algorithm of Sasaki et al., is used to solve the NLIP problem. A numerical example is given to illustrate the algorithm.

• Industrial Engineering and Management Systems
• /
• v.3 no.2
• /
• pp.123-128
• /
• 2004

A tree structure model has been proposed for representing the unequal-area facility layout. Each facility has a different rectangular shape specified by its area and aspect ratio. In this layout problem, based on the assumption that the shop floor has enough space for laying out the facilities, no constraint is considered for a shop floor. Objectives are minimizing total part movement between facilities and total rectangular layout area where all facilities and dead spaces are enclosed. Using the genetic code corresponding to two kinds of information, facility sequence and branching positions in the tree structure model, a genetic algorithm has been applied for finding non-dominated solutions in the two-objective layout problem. We use three kinds of crossover (PMX, OX, CX) for the former part of the chromosome and one-point crossover for the latter part. Two kinds of layout problems have been tested by the proposed method. The results demonstrate that the presented algorithm is able to find good solutions in enough short time.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.1198-1206
• /
• 2006

프로그램 소스코드 표절 검사에 대한 기존 방법은 크게 지문(finger-print)법과 구조기반 검사법으로 나뉘며, 주로 단어의 유사성이나 발생빈도를 사용하거나 소스코드 구조상의 특징으로 두 소스간의 유사성을 비교한다. 본 연구에서는 프로그래밍 언어의 예약어 시퀀스를 사용하여 소스코드들 간의 유사성을 비교하고, 이 결과를 FCA(Formal Concept Analysis)를 통해 해석하고 시각화 하는 방법을 제시한다. 일반적인 VSM(Vector Space Model)과 같은 단일 단어 분석으로는 단어의 인접성을 구분할 수 없으므로 단어의 시퀀스 분석이 가능하도록 알고리즘을 구성하였으며 이러한 방식은 지문법의 단점인 소스코드의 부분적인 표절 탐지의 난점을 해결할 수 있고 함수의 호출 순서나 수행 순서에 상관없이 표절을 탐지할 수 있는 장점을 가진다. 마지막으로 유사도 측정결과는 FCA를 이용하여 격자(lattice)로 시각화됨으로써 이용자의 이해도를 높일 수 있다.

• Proceedings of the Korean Institute of Interior Design Conference
• /
• 2007.05a
• /
• pp.77-78
• /
• 2007

This project has been designed for people to experience and understand the process, importance and benefit of coal fire plants. As the biggest and first typical Korean fire plant using coal, Boryeong fire plant has had important roll for the Korean industries. Even so, people has had wrong prejudice for the fire plant in terms of environmental protection. To do these kind of rolls, this museum has been designed with theme, "Boryeong fire plant mating symbiotic relationship between nature, human and technologies." The space was zoned with five major themes: i. circulation of energy in nature, ii. electric power and eco-fire plant, iii. future energy, iv roll for future of environment, v. Korea as the leading energy industry. The design has been developed focused on spatial experiences to make 'Design Sequence' with linear circulations haying several important destinations. The interior has been finished with minimal color and materials projected by big sized movie and various LED movie system. Concept of appordance has been used to make interactive experiences between exhibits and visitors.

• Communications of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.527-533
• /
• 2018

Let $\mathcal{X}$ be a countably generated Hilbert module over a locally $C^*$-algebra $\mathcal{A}$ in multiplier module M($\mathcal{X}$) of $\mathcal{X}$. We propose the necessary and sufficient condition such that a sequence $\{h_n:n{{\in}}\mathbb{N}\}$ in M($\mathcal{X}$) is a standard frame of multipliers in $\mathcal{X}$. We also show that if T in $b(L_{\mathcal{A}}(\mathcal{X}))$, the space of bounded maps in set of all adjointable maps on $\mathcal{X}$, is surjective and $\{h_n:n{{\in}}\mathbb{N}\}$ is a standard frame of multipliers in $\mathcal{X}$, then $\{T{\circ}h_n:n{\in}\mathbb{N}}$ is a standard frame of multipliers in $\mathcal{X}$, too.

• Proceedings of the KOSOMBE Conference
• /
• v.1995 no.11
• /
• pp.247-249
• /
• 1995

A new localized imaging technique of reduced imaging time using a locally-linear gradient is proposed. Since most fast MR imaging methods need the whole k-space data corresponding to the whole imaging area, there are limitations in reducing the minimum imaging time. The imaging method proposed in this paper uses a specially-made gradient coil generating a local ramp-shape field and uniform field outside of the imaging area. Conventional imaging sequences can be used without any RF/gradient pulse sequence modifications. The proposed localized imaging technique has been implemented on a 2.0 Tesla whole-body system at KAIST and the imaging results show the utility of the proposed technique.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.2
• /
• pp.263-274
• /
• 2010

In this paper, a new class of general nonlinear variational inclusions involving H-monotone is introduced and studied in Hilbert spaces. By applying the resolvent operator associated with H-monotone, we prove the existence and uniqueness theorems of solution for the general nonlinear variational inclusion, construct an iterative algorithm for computing approximation solution of the general nonlinear variational inclusion and discuss the convergence of the iterative sequence generated by the algorithm. The results presented in this paper improve and extend many known results in recent literatures.

• Proceedings of the KOSOMBE Conference
• /
• v.1997 no.05
• /
• pp.119-122
• /
• 1997

In this paper, we represented the variation of heart cavity area in the space domain by 3-d rendering. We arranged the 2-d sequence of ultrasonic image acquired in the time domain as volumetric data, and extracted heart cavity region from 3-d data. For the segmentation of 3-d volume data, we extracted the cavity region using the method of expanding the cavity region that is same statistical property. By shading which is using light and object normal vector, we visualized the volume data on image plane.

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2531-2533
• /
• 2005

The proposed neural network technique is the real time computation method based theory of inter-node diffusion for searching the safety distances from the sudden appearance-objects during the work driving. The main steps of the distance computation using the theory of stereo vision like the eyes of man is following steps. One is the processing for finding the corresponding points of stereo images and the other is the interpolation processing of full image data from nonlinear image data of objects. All of therm request much memory space and time. Therefore the most reliable neural-network algorithm is drived for real-time matching of obejects, which is composed of a dynamic programming algorithm based on sequence matching techniques in moving objects.