• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.04a
• /
• pp.236-243
• /
• 1994

In this paper we consider the part-machine cell formation decision of the generalized Group Technology(GT) problem in which multiple process routes can be generated for each part. The existing p-median model and similarity coefficient algorithm can solve only small-sized or well-structured cases. We suggest an assignment method for the cell formation problem. This method uses an assignment model which is a simple linear programming. Numerical examples show that our assignment method provides good separable cells formation even for large-sized and ill-structured problems.

• 한국항공운항학회:학술대회논문집
• /
• 2016.05a
• /
• pp.108-116
• /
• 2016

Structured Checklist of System Aviation Safety Oversight had been categorized by HFACS. In this Study, Findings of Aviation Safety oversight, have been categorized by HFACS. Thus, those two categorized results have difference in incongruity clause that can be concluded that Structured Checklist has lack of elements. Therefore, we are able to identify validity and suitability of checklist that need to be restructured and redeveloped by performing test analysis through this study.

• IE interfaces
• /
• v.6 no.1
• /
• pp.47-54
• /
• 1993

Sequential Numbering System(SNS) is one of the production and inventory management system, which is more effective and practical to minor enterprises than Material Requirement Planning (MRP) system or Just-in-Time(JIT) system. The purpose of the paper is the structured analysis of SNS as the first phase of software development. Data Flow Diagram(DFD), Data Dictionary(DD), and Mini-Specs are used to analyze the system through the second level. The result can be exploited to SNS software design and programming.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.2
• /
• pp.344-352
• /
• 1997

This paper proposes an efficient lossless coding scheme for tree structured vector quantization (TSVQ) system which efficiently exploits inter-block correlation. The TSVQ index of the current block is adaptively arithmeticencoded depending on the indices of the previous blocks. This paper also presents a reductio method, which effectively resolve the memory problem which usually arises in many conditional entropy coding schemes. Simulation results show that the proposed scheme provides remarkable bitrate reduction by effectively exploiting not only linear but also non-linear inter-block correlation.

• Proceedings of the Optical Society of Korea Conference
• /
• 2007.07a
• /
• pp.285-286
• /
• 2007

Current distributions according to electrode patterns in vertical structured InGaN/GaN LED (light emitting diode) were investigated quantitatively by utilizing three dimensional electrical circuit modeling method. The uniformity of the injected current density in the active layer was compared among different electrode patterns. It was found that the current uniformity was greatly dependent on the electrode pattern in vertical InGaN/GaN LEDs.

• Language and Information
• /
• v.14 no.1
• /
• pp.197-227
• /
• 2010

This study reviews (i) the (dis)advantages of two major semantic theories of focus, i.e., the Alternative Semantics (AS) and the Structured Meaning Theory (SM), and (ii) the hybrid analysis consisting of these two theories proposed by Krifka (2006). After pointing out a problem of this hibrid analysis, this study attempts to show the third alternative, i.e., the theory of identificational predication for focus can solve this problem.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.499-499
• /
• 2000

The robust stability problems for nominally linear system with nonlinear, structured perturbations arc considered with Lyapunov direct method. The Lyapunov direct method has been utilized to determine the bounds for nonlinear, time-dependent functions which can be tolerated by a stable nominal system. In most cases quadratic forms are used either as components of vector Lyapunov function or as a function itself. The resulting estimates are usually conservative. As it is known, often the conservatism of the bounds we propose to use a piecewise quadratic Lyapunov function. An example demonstrates application of the proposed method.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.38 no.4
• /
• pp.316-325
• /
• 1989

This paper is concerned with robust stabilization of single input or single output systems. Based on the region of non-destabilizing perturbations some approaches to design which allow the given of structured perturbation of plant parameters and their gradient optimization are given. These algorithms iteratively enlarge the stability hypershere in plant parameter space and can be used to design a controller to stabilize a plant subject to given ranges of parameter excursions.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1996.10a
• /
• pp.154-157
• /
• 1996

Conventional fuzzy systems have serious problems in dealing with the nonlinear approximations on high-dimensional spaces due to the explosive increase of the number of fuzzy IF-THEN rules. In order to avoid such problems, this paper proposes a tree-structured fuzzy system in which semi-local basis functions form its basic elements, and develops a training algorithm for the proposed system based on the evolution program and LMS rule. The experimental studies demonstrate the effectiveness of the developed methodology.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.07a
• /
• pp.281-284
• /
• 2017

최근 임베디드 시스템 개발이 Model Driven Engineering 방식으로 변화하면서 요구사항과 모델 간의 추적성을 보장하는 것이 매우 중요해졌다. 이 논문에서는 기존의 FDD(Feature Driven Development)와 FOSE(Feature Oriented Software Engineering) 방법론에 적용된 feature 개념을 재정의하여 이를 AUTOSAR platform에 적용하는 방법을 제시하며 요구사항부터 model, code까지 추적성을 검증한다.