• Journal of Institute of Control, Robotics and Systems
• /
• v.20 no.7
• /
• pp.730-735
• /
• 2014

This paper introduces a GP (Genetic Programming) based robust technique for the prediction of a heavy rain newsflash. The nature of prediction for precipitation is very complex, irregular and highly fluctuating. Especially, the prediction of heavy precipitation is very difficult. Because not only it depends on various elements, such as location, season, time and geographical features, but also the case data is rare. In order to provide a robust model for precipitation prediction, a nonlinear and symbolic regression method using GP is suggested. The remaining part of the study is to evaluate the performance of prediction for a heavy rain newsflash using a GP based nonlinear regression technique in Korean regions. Analysis of the feature selection is executed and various fitness functions are proposed to improve performances. The KLAPS data of 2006-2010 is used for training and the data of 2011 is adopted for verification.

• The Research Journal of the Costume Culture
• /
• v.9 no.2
• /
• pp.277-294
• /
• 2001

The purpose of this study is to examine characteristics of symbolism as an important trend of the end of centuries, by comparing the symbolic characteristics from two periods, modern(1880∼1910s) and comtemporary(1990s), based on the typical characteristics of symbolic art by Robert R. Delevoy. Af for the study method, the contents analysis is adopted to present an objective data analysis and interpretation accompanied by theoretical approach through literature survey. Delevoy classifies symbolism into three categories such as mysticism, eroticism, and decorativeness. This study is developed based on the Delevoy's three categories. symbolistic costume reflecting systems of the society and the phases of the times, became to contain all aspects of functional, symbolic, and practical. Especially, the costume I contemporary era adopted a new approach, philosophical factors controling human's sensibility, and a sincere and analytical attitude on progress of technology. This study provide the fact that costume is a part to create aesthetic of self-expression as a field of formative art. Contemporary costume allows vital power for daily life of human by pursuing new aesthetic value, and it expresses inner world of human and moves on future-oriented to regain humanity. The symbolistic characteristics will continue to influence varous aspects of our society and play a main role in shaping the purpose of fashion design in the 21st century.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.35D no.10
• /
• pp.107-115
• /
• 1998

A multiplier bit-pair recoding technique derived from Booth algorithm is used as an effective method that can carry out a fast binary multiplication regardless of a sign of both multiplicand and multiplier. In this paper, we propose an implementation of an optical high-speed multiplier which consists of a symbolic substitution adder and an optical multiplication algorithm, which transforms and enhances the multiplier bit-pair recoding algorithm to be fit for optical characteristics. Specially, a symbolic substitution addition rules are coded with a dual-rail logic, and so the complement of the logic of the symbolic substitution adder is easily obtained with a shift operation because it is always present. We also construct the symbolic substitution system which makes superposition image by superimposing two shifted images in a serial connection and recognizes a reference image by feeding this superimposed image to a mask. Thus, the optical multiplier, which is compared with a typical system, is implemented to the smaller system by reducing the number of optical passive elements and the size of this system.

• The Research Journal of the Costume Culture
• /
• v.25 no.3
• /
• pp.375-390
• /
• 2017

The aims of this research were to characterize magic realism by analyzing existing magical reality literature reviews and research and to identify material that may inspire ideas for stage and film costume design by analyzing and drawing design characteristics and magic realism of costumes from Director Tarsem Singh's movie, 'Mirror, Mirror'. For the methodology, characteristics of magic realism in literature and, movies were analyzed, with a theoretical consideration of these materials on magical realism. Data on costume design and magical realism characteristics for use in the analysis were collected from the main characters of 'Mirror, Mirror' as well as from other characters. The result of this analysis was the emergence of five common characteristics of the magic realism Historicity, the most remarkable characteristic seen in Tarsem Singh films, was expressed through the symbolic meaning and decorative patterns shown by the traditional-style costumes, colors. Symbolization was expressed through the symbolic meaning, decorative elements, and traditional clothes, as shown by the colors and forms of the costumes. Fantasy was expressed through the colors, decorative elements, forms of traditional clothing, and forms with symbolic meaning. Reproducibility was expressed through the method of decorative element, symbolic meaning, traditional forms and de-structural clothes. Ambiguity, which can be associated with the combined characteristics of historicity and fantasy, was expressed in the clothes worn in the scenes that confounded time and space within the film.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.24 no.3
• /
• pp.437-444
• /
• 2014

In this paper, we introduce a Graph based Binary Code Execution Path Exploration Platform. In the graph, a node is defined as a conditional branch instruction, and an edge is defined as the other instructions. We implemented prototype of the proposed method and works well on real binary code. Experimental results show proposed method correctly explores execution path of target binary code. We expect our method can help Software Assurance, Secure Programming, and Malware Analysis more correct and efficient.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.39 no.3
• /
• pp.1-17
• /
• 2002

In this paper, we present our experiences in using symbolic model checker(SMV) to analyze a number of properties of RACE cache coherence protocol designed by ETRI(Electronics and Communications Research Institute) and to verify that RACE protocol satisfies important requirements. To investigate this, we specified the model of the RACE protocol as the input language of SMV and specified properties as a formula in temporal logic CTL. We successfully used the symbolic model checker to analyze a number of properties of RACE protocol. We verified that abnormal state/input combinations was not occurred and every possible request of processors was executed correctly We verified that RACE protocol satisfies liveness, safety and the property that any abnormal state/input combination was never occurred. Besides, We found some ambiguities of the specification and a case of starvation that the protocol designers could not expect before. By this verification experience, we show advantages of model checking method. And, we propose a new method to generate automatically test cases which are used in simulation and testing.

• Journal of the Chungcheong Mathematical Society
• /
• v.19 no.1
• /
• pp.49-56
• /
• 2006

A convergence behavior is under investigation near a simple real zero for the k-fold pseudo-Olver's method defined by extending the classical Olver's method. The order of convergence is shown to be at least k+3. The asymptotic error constant is explicitly given in terms of k and the corresponding simple zero. Various numerical examples with a proposed zero-finding algorithm are successfully confirmed with the use of symbolic and computational ability of Mathematica.

• Korean Institute of Interior Design Journal
• /
• v.16 no.2 s.61
• /
• pp.270-277
• /
• 2007

Postmodern designers freely used historical motifs as symbolic expressions or ornamentations. Historical references often became a key to express their ideal against modern standardization. Among the historical references, Art Deco style was frequently appreciated by postmodern furniture designers from the 1960s throughout postmodern era. This study is Intended to explore the way of incorporating Art Deco in postmodern furniture design. Rational Italian designers in Anti-design Movement began to adapt historical motifs and Pop, and this spread out throughout to other Postmodern designers. The research explored how Art Deco and postmodern design are related and what the examples of Art Deco revival in the postmodern era we. In this sense the research mainly covered from the exhibition catalogs from the 1960s to 1990s. As a result of stylistic, symbolic, methodological analysis, Art Deco revival in postmodern era was an essential method to express anti-modern characteristics of postmodernism. In postmodern design, Art Deco was one of historical styles that surpass the limitation o( modernism, at the same time decorative style that express the postmodern ideal.

• Korean Journal of Cognitive Science
• /
• v.1 no.1
• /
• pp.103-127
• /
• 1989

Learning systems by using examples have been developed which include ALEX, LP, and LEX.Specially Silver's LP systems suggerts the method to use a seyuence of operators, which was applied to the worked example, to sove a symbolic equation.This paper presents the new learning system, called LRD, in which generalization and discrimination steps are suggerted to solv all the problems similar to the worked example.The system LRD is illustrated by the problem of finding the ranges of transcendentral functions and compared to LP and LEX by the problems discussed in them.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.65 no.4
• /
• pp.242-249
• /
• 2016

The railway system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for railway system was started to become influential as the important issue. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented a software coding analysis tool using symbolic execution for railway system, and presented its result of implementation.