• Communications for Statistical Applications and Methods
• /
• v.10 no.3
• /
• pp.1069-1086
• /
• 2003

This article presents the asymptotic theory of triple sampling procedure as pertain to estimating the shape parameter of Pareto distribution. Both point and confidence interval estimation are considered within the same inference unified framework. We show that this group sampling technique possesses the efficiency of Anscome (1953), Chow and Robbins (1965) purely sequential procedure as well as reduce the number of sampling operations by utilizing Stein (1945) two stages procedure. The analysis reveals that the technique performs excellent as far as the accuracy is concerned. The present problem differs from those considered by many authors, in multistage sampling, in that the final stage sample size and the parameter's estimate become highly correlated and therefore we adopted different approach.

• Journal of the Korean housing association
• /
• v.10 no.4
• /
• pp.161-174
• /
• 1999

This study tried to search for solutions of present problems in architecture through interdisciplinary study which includes biology, literature, aesthetics, and psychology, and set up two models composed of the nature and the human perception which contemporary architecture has problems on. By nature-oriented approach through biology and romanticist literature, the five types of organic principles which could be obtained from structure and order in natural system and by human perception-oriented approach through aesthetic theory of Harold Osborne and perceptual and cognitive psychology the structure and order of perceptual arousal, perceptual balance, and perceptual order in human cognition based on perceptual appropriateness could be found. The unified and organic framework of architectural composition must be considered through a deductive and inductive study as this study was approached. The results of the present study can be applied to construct human-oriented design principles and factors in architectural space and form, and better environmental quality.

• Asia pacific journal of information systems
• /
• v.14 no.1
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.4
• /
• pp.359-372
• /
• 2000

Current CAD systems are good enough to be used as a tool to manipulate three-dimensional shapes. This is a very important capability to be owned by a design tool because a major portion of designers'activities is spent on the shape manipulation in the design detailing process. However, the whole design process involves a lot more than the, shape manipulation. Currently, these remaining tasks, mostly logical reasoning process for the function realization together with structure decomposition in the top-down manner, are processed in the designer's brain. To support the top-down functional design process of a mechanical product, a system integrating the functional, structural and geometrical aspects of a product design in a unified environment is presented. Using this system, a designer can perform function decomposition, structure decomposition, and geometry detailing, and function verification activities in parallel and the whole design process it modeled resultantly. Once the whole design process is modeled, any redesign task can be automatically performed with the verification of the desired functions.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.30A no.9
• /
• pp.46-58
• /
• 1993

Owing to the nature of locality in mask layouts, it appears that most mask layout problems can be solved by transforming a part of the given mask layout into a better layout segment continuously toward a global suboptimal solution. This notion of local transformation addresses major weak points of existing mask layout processing systems, which lack both extensibility and unifiability. This paper attempts to elaborate upon developing a new rule-based mask layout transformation system wherein most of the mask layout problems can be solved under the unified framework of local mask layout transformation. The rule-based mask layout transformation system is applicable to various mask layout problems such as net extraction, mask layout compaction, mask layout editing, and design rule checking. The experimental results show that the rule-based expert system approach is an efficient means of solving those mask layout problems, and thus confronting major drawbacks of existing layout processing systems.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.338-340
• /
• 2016

최근 사물인터넷에 대한 관심이 증가함에 따라 미래인터넷에 대한 연구가 증가하고 있다. 각기 다른 사물인터넷을 연결하기 위하여 다양한 네트워크 인프라가 필요하며, 사용자뿐만 아니라 다양한 네트워크 자원에서 요구하는 서비스나 콘텐츠 등이 증가하고 있다. 이에 따라 이들을 식별하기 위한 통일된 식별 체계가 필요하다. 이를 위하여 미국에서는 NDN에 대한 연구가 진행 중이며, 이외에도 MobilityFirst, XIA와 같은 프로젝트성 연구들이 활발히 이루어지고 있다. 따라서, 본 논문에서는 기존의 연구들을 보완하고 새로운 미래인터넷에 확장 가능한 통합된 Name-Identifier-Locator 프레임워크를 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.448-450
• /
• 2005

Acme와 같은 ADL(Architecture Description Language) 들은 컴포넌트 기반 시스템의 아키텍쳐를 정형적으로 명세할 수 있는 장점을 가지고 있다. 하지만 날로 다각화되는 개발 과정 상의 이해관계들을 다 포용하지 못하고, 아키텍쳐에 특화된 별도의 표기 형식을 익혀야 하는 부담이 있어 아키텍쳐를 명세하는 언어로서 정착되지 못하고 있다. 반면 UML(Unified Modeling Language)은 범용 모델링 언어이여 소프트웨어 개발의 전 과정에 일관된 표기형식과 폭넓은 지원도구들을 제공하고 있어 소프트웨어 개발을 위한 사실상의 표준 언어로 자리잡고 있다. 이에 따라 지금까지 UML을 이용하여 아키텍쳐를 모델링하기 위한 연구들이 많이 진행되어 왔다. 특히 UML에서 표현수단이 미흡한 아키텍쳐의 핵심 개념들을 명시적으로 표현할 수 있도록 UML의 확장 메커니즘을 사용하여 UML을 특화하는 연구 결과들이 많이 소개되고 있으나 특화된 영역의 아키텍쳐를 기술하기에는 부족하다. 본 논문에서는 최근에 활발히 개발되고 있는 모바일 애플리케이션의 특징중의 하나인 device의 제약사항을 QoS로 정의하고 UML 확장메커니즘을 이용하여 모바일을 위한 아키텍쳐 모델링 언어 프레임웍을 제시하고 있다.

• Korean Journal of Computational Design and Engineering
• /
• v.12 no.5
• /
• pp.330-343
• /
• 2007

In this paper, we present a new surface content completion system that can effectively repair both shape and appearance from scanned, incomplete point set inputs. First, geometric holes can be robustly identified from noisy and defective data sets without the need for any normal or orientation information. The geometry and texture information of the holes can then be determined either automatically from the models' context, or manually from users' selection. After identifying the patch that most resembles each hole region, the geometry and texture information can be completed by warping the candidate region and gluing it onto the hole area. The displacement vector field for the exact alignment process is computed by solving a Poisson equation with boundary conditions. Out experiments show that the unified framework, founded upon the techniques of deformable models and PDE modeling, can provide a robust and elegant solution for content completion of defective, complex point surfaces.

• Management Science and Financial Engineering
• /
• v.21 no.1
• /
• pp.11-17
• /
• 2015

Min-max stochastic optimization is an approach to address the distribution ambiguity of the underlying random variable. We present a unified approach to the problem which utilizes the theory of convex order on the random variables. First, we consider a general framework for the problem and give a condition under which the convex order can be utilized to transform the min-max optimization problem into a simple minimization problem. Then extremal distributions are presented for some interesting classes of distributions. Finally, applications to the single-period inventory control problems are given.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.5 no.4
• /
• pp.353-359
• /
• 2005

In this research, we propose a Unified Fuzzy rule-based knowledge Inference Systems (UFIS) to help the expert in cosmetic brand detection. Users' preferred cosmetic product detection is very important in the level of CRM. To this purpose, many corporations trying to develop an efficient data mining tool. In this study, we develop a prototype fuzzy rule detection and inference system. The framework used in this development is mainly based on two different mechanisms such as fuzzy rule extraction and RDB (Relational DB)-based fuzzy rule inference. First, fuzzy clustering and fuzzy rule extraction deal with the presence of the knowledge in data base and its value is presented with a value between 0 -1. Second, RDB and SQL (Structured Query Language)-based fuzzy rule inference mechanism provide more flexibility in knowledge management than conventional non-fuzzy value-based KMS (Knowledge Management Systems).