• Korean Management Science Review
• /
• v.17 no.2
• /
• pp.13-20
• /
• 2000

In this research, we compare and analyze the two initial basis construction procedures: LPAKO’s procedure proposed by Seo et. al. and symbolic crash procedure proposed by Maros et. al.. Based on the analysis, we present a new procedure which complements the previous procedures. The new procedure shows superiority to the previous procedures with respects to the optimality of initial basis. Also, the linear basis Also. the initial basis constructed by the new procedure reduces the number of simplex iterations.

• Proceedings of the IEEK Conference
• /
• 2003.07b
• /
• pp.939-942
• /
• 2003

Design verification problem is emerging as an important issue to detect any design errors at the early stage of the design. Conventionally, design verifications have been done using a simulation technique. However, this technique has been proved not to cover all potential design errors. Therefore, formal technique is often used to verify digital circuits as an alternative. In this paper we adopted formal verification technique and verified some important properties derived from our pipelined digital systems, using SMV (Symbolic Model Verifier). Our example shows that model checking method (one of formal verification techniques) can be effectively performed in verifying the large digital systems.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.10a
• /
• pp.768-771
• /
• 2002

A method to derive the constitutive relations of a piezoelectric bender actuator is developed here. The constitutive relations are derived from the geometry, material properties of the actuator. The very complicated constitutive relations can be easily calculated by use of symbolic function in Mathematica. The developed program can calculate the constitutive relations for the unimorph bender made by attaching a short piezoelectric beam on a longer metal beam. The program can also calculate the constitutive relations of a piezoelectric bender with spring at its end.

• Proceedings of the KIEE Conference
• /
• 1999.07c
• /
• pp.1195-1198
• /
• 1999

This paper presents optimal placement of minimal set of phasor measurement units(PMU's) and observability of measurement system with PMU. By using the incidence matrix symbolic method which directly assigns measurement and pseudo-measurement to incidence matrix, it is much simpler and easier to analyze observability. The optimal PMU set is found through the simulated-annealing(SA) and the direct combinational method. The cooling schedule parameter which is suitable to the property of problem to solve is specified and optimal placement is proven by presented direct combinational method. Search spaces are limited within reasonable feasible solution region to reduce a unnecessary one in the SA implementation based on global search. The proposed method presents to save CPU time and estimate state vectors based on optimal PMU set.

• Communications for Statistical Applications and Methods
• /
• v.25 no.3
• /
• pp.263-274
• /
• 2018

One of the common issues in large dataset analyses is to detect and construct homogeneous groups of objects in those datasets. This is typically done by some form of clustering technique. In this study, we present a divisive hierarchical clustering method for two monothetic characteristics of histogram data. Unlike classical data points, a histogram has internal variation of itself as well as location information. However, to find the optimal bipartition, existing divisive monothetic clustering methods for histogram data consider only location information as a monothetic characteristic and they cannot distinguish histograms with the same location but different internal variations. Thus, a divisive clustering method considering both location and internal variation of histograms is proposed in this study. The method has an advantage in interpreting clustering outcomes by providing binary questions for each split. The proposed clustering method is verified through a simulation study and applied to a large U.S. house property value dataset.

• Communications of Mathematical Education
• /
• v.28 no.1
• /
• pp.45-55
• /
• 2014

Lacan gives an explanation on our real actual world by the concepts the "Real", the "Imaginary" and the "Symbolic". Although this three registers are not far from each other, they never can be unified. Among animals, only human has interest in the "truth". The concept of truth is discussed and debated in several contexts, including philosophy and religion. Many human activities depend upon the concept, which is assumed rather than a subject of discussion, including science, law, and everyday life. Language and words are a means by which humans convey information to one another, and the method used to determine what is a "truth" is termed a criterion of truth. Accepting then that "language is the basic social institution in the sense that all others presuppose language", Lacan found in Ferdinand de Saussure's linguistic division of the verbal sign between signifier and signified a new key to the Freudian understanding that "his therapeutic method was 'a talking cure'". The purpose of this paper is to understand Lacan's psychology and psychoanalysis by using the mathematical concepts and mathematical models, especially geometrical and topological models. And re-explanation of the symbolic model and symbols can help students understand new ideas and concepts in the educational scene.

• Spatial Information Research
• /
• v.18 no.1
• /
• pp.77-87
• /
• 2010

Spatio-temporal join operators are essential to the management of spatio-temporal data such as moving objects. For example, the join operators are parts of processing to analyze movement of objects and search similar patterns of moving objects. Various studies on spatio-temporal join queries in outdoor space have been done. Recently with advance of indoor positioning techniques, location based services are required in indoor space as well as outdoor space. Nevertheless there is no one about processing of spatio-temporal join query in indoor space. In this paper, we introduce continuous spatio-temporal self-join queries in indoor space and propose a method of processing of the join queries over stream data of moving objects. The continuous spatio-temporal self-join query is to update the joined result set satisfying spatio-temporal predicates continuously. We assume that positions of moving objects are represented by symbols such as a room or corridor. This paper proposes a data structure, called Candidate Pairs Buffer, to filter and maintain massive stream data efficiently and we also investigate performance of proposed method in experimental study.

• Journal of the Society of Naval Architects of Korea
• /
• v.33 no.1
• /
• pp.161-172
• /
• 1996

Although conventional computer programs use efficient and precise optimization algorithms, they can not emulate the problem solving capabilities of human experts. A design optimization process involves a number of tasks which require human expertise and experience. Traditional optimization systems have concentrated on numerical aspects of a design process and have not been successful in integrating the numerical parts with human expertise. On the other hand, most knowledge-based systems focus on symbolic reasoning and have been little concerned with the numerical processes. The objective of this paper is to develop a knowledge-based multiobjective optimum design system which has the capabilities of knowledge processing and numerical computation by integrating the multiobjective optimization method and the knowledge-based system. The knowledge-based system for symbolic processing is developed. Rules for knowledge representation and the inference mechanism of the system are written in LISP. The knowledge-based multiobjective optimum design system is finally developed by integrating the multiobjective optimization method and the knowledge-based system by applying shell programming technique. The system is applied to an optimum design model of a LNG carrier in the preliminary design stage. It is found that the system well simulate design variables and objective functions of the design model.

• Journal of Fashion Business
• /
• v.23 no.3
• /
• pp.35-50
• /
• 2019

Modern family culture manifests various different social phenomenon due to shifts caused by increased societal response to industrialization in our country. It is noted that as our lifestyle patterns have shifted from being work-oriented to family-oriented, by focusing on the trend where there is an increase in families enjoying hobby and leisure activities together and where families go shopping together, I attempted to propose various different family-look' designs. In this research study we designed and planned family normal clothes designs that are required and desired for family gatherings and family events, and these designed were produced using 3D virtual clothing design software technology. The research method used the formative features of natural plants and textiles containing a symbolic motif as an element of design, and the creation of family formal clothes were designed and planned based on the method. The development of family formal clothes designs was implemented using CLO 3D virtual clothing design software. Because utilizing 3D virtual clothing design software enables prototyping various types of designs, silhouettes, fabrics and textiles, and color schemes etc. in a short amount of time, it was possible to utilize an advantage from using the software as leveraged to propose designs with a strong symbolic motif and symbolism . Also, by confirming and examining the strengths and weaknesses of the design process when using CLO 3D, It can improve the utilization of IT technologies, and this study aims to provide that efficiency.

• Journal of applied mathematics & informatics
• /
• v.4 no.2
• /
• pp.447-456
• /
• 1997

In this paper an accurate algorithm for the method of successive approximations for near-parabolic orbits is established symbolically. Numerical applications are given for motion predictions at fifteen epochs between the years 66 to 1835 for Halley's comet. and at fifteen epochs between the years 1417 to 1782 for Encke's comet. Comparisons with the standard Gauss method [4] show that the present algorithm is very accurate and efficient for motion pred-ications of near-parabolic orbits.