• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.3
• /
• pp.327-339
• /
• 1986

In this paper, a hardware compiler for symbolic description language(SDL) is proposed for logic design automation. Lexical analysis is performed for SDL which describes the behavioral characteristics of a digital system at the register transfer level by the proposed algorithm I. The algorithm I is proposed to get the expressions for the control unit and for the data transfer unit. In order to obtain the network description language(NDL) expressions equivalent to gate-level logic circuits, another algorithm, the the algorithm II, is proposed. Syntax analysis for the data formed by the algorithm I is also Performed using circuit elements such as D Flip-Flop, 2-input AND, OR, and NOT gates. This SDL hardware compiler is implemented in the programming language C(VAX-11/750(UNIX)), and its efficiency is shown by experiments with logic design examples.

• Journal for History of Mathematics
• /
• v.12 no.2
• /
• pp.15-23
• /
• 1999

This paper deals with the origin of the concept of lattices in mathematics and its development until 1930's. Although it is purely mathematical, its formation is due to the development of symbolic logic Further, logicians were mostly concerned about how to imitate the methods and duplicate the problems of algebra but not the application to mathematics. The first purely mathematical approach was given by Dedekind and his results were neglected and then reappeared in 1930's.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.12a
• /
• pp.493-496
• /
• 2002

감정은 상당히 애매 모호하고 불명확하며 상대방의 감정을 이해하는 것은 매우 어렵다. 본 논문에서는 Plutchik의 감정 모델을 기호 다치 논리 함수의 미분을 이용하여 감정의 변화과정을 추론하는 방법을 제안한다.

• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.147-157
• /
• 2001

In this study I try to show some numerical analogy between Leibniz's binary system anc I-ching's symbolic system of duo rerum principia, imagines quator, octo figurae am 64 hexagrams. But, there is really a formal logical accordance in their symbolic foundations, on which are based especially the Wittgenstein's 16 truth-tables in his Tractatus-logico-philosophicus(5.101) am 16 hexagrams, as long as we interpret with the binary values 0 am 1, i.e. the Bi-Polarity, the logical tradition from J. Boole, G. Frege through B. Russell and AN. Whitehead to R. Wittgenstein. So, I argue that the historical and theoretical root of that tradition goes back to the debate between Bouvet and Leibniz about the mathematical structure of I-ching' symbols and the Leibnizian binary arithmetic. In the letter on 4. 11. 1701 from Peking to Leibniz, Bouvet wrote that the I-Ching's symbolism has an analogous structure with Leibniz's binary arithmetic. Corresponding to his suggestion, but without exact knowledge, in the letter of 2. January 1967 to the duke August in Braunschweig-Lueneburg-Wolfenbuettel had Leibniz shown already an original idea for the creation of the world with imago Dei which comes from binary progression, dark and light on water.

• 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 Intelligence and Information Systems
• /
• v.16 no.4
• /
• pp.67-84
• /
• 2010

In terms of business, forecasting is a work of what is expected to happen in the future to make managerial decisions and plans. Therefore, the accurate forecasting is very important for major managerial decision making and is the basis for making various strategies of business. But it is very difficult to make an unbiased and consistent estimate because of uncertainty and complexity in the future business environment. That is why we should use scientific forecasting model to support business decision making, and make an effort to minimize the model's forecasting error which is difference between observation and estimator. Nevertheless, minimizing the error is not an easy task. Case-based reasoning is a problem solving method that utilizes the past similar case to solve the current problem. To build the successful case-based reasoning models, retrieving the case not only the most similar case but also the most relevant case is very important. To retrieve the similar and relevant case from past cases, the measurement of similarities between cases is an important key factor. Especially, if the cases contain symbolic data, it is more difficult to measure the distances. The purpose of this study is to improve the forecasting accuracy of case-based reasoning approach using fuzzy relation and composition. Especially, two methods are adopted to measure the similarity between cases containing symbolic data. One is to deduct the similarity matrix following binary logic(the judgment of sameness between two symbolic data), the other is to deduct the similarity matrix following fuzzy relation and composition. This study is conducted in the following order; data gathering and preprocessing, model building and analysis, validation analysis, conclusion. First, in the progress of data gathering and preprocessing we collect data set including categorical dependent variables. Also, the data set gathered is cross-section data and independent variables of the data set include several qualitative variables expressed symbolic data. The research data consists of many financial ratios and the corresponding bond ratings of Korean companies. The ratings we employ in this study cover all bonds rated by one of the bond rating agencies in Korea. Our total sample includes 1,816 companies whose commercial papers have been rated in the period 1997~2000. Credit grades are defined as outputs and classified into 5 rating categories(A1, A2, A3, B, C) according to credit levels. Second, in the progress of model building and analysis we deduct the similarity matrix following binary logic and fuzzy composition to measure the similarity between cases containing symbolic data. In this process, the used types of fuzzy composition are max-min, max-product, max-average. And then, the analysis is carried out by case-based reasoning approach with the deducted similarity matrix. Third, in the progress of validation analysis we verify the validation of model through McNemar test based on hit ratio. Finally, we draw a conclusion from the study. As a result, the similarity measuring method using fuzzy relation and composition shows good forecasting performance compared to the similarity measuring method using binary logic for similarity measurement between two symbolic data. But the results of the analysis are not statistically significant in forecasting performance among the types of fuzzy composition. The contributions of this study are as follows. We propose another methodology that fuzzy relation and fuzzy composition could be applied for the similarity measurement between two symbolic data. That is the most important factor to build case-based reasoning model.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.6 no.4
• /
• pp.3-9
• /
• 1996

본 논문에서는 Boole 함수를 기호 다치 논리 함수로 확장하여 법-M(Modulus-M)의 수체계를 기본으로 하는 기호 다치 논리 함수에 대한 MacLaurin 전개의 구조적 성질을 분석한다. 그리고 기호 다치 변수의 상태 변화에 따라 이에 사상된 퍼지 규칙을 자동 생성할 수 있는 기법을 제안한다. 또한 이러한 이론과 성질을 기존의 퍼지 추론 기능과 결합하여 동적인 상태 변화에 적응할 수 있는 퍼지 추론 시스템 설계방법을 제안한다.

• Korean Institute of Interior Design Journal
• /
• v.27 no.1
• /
• pp.97-108
• /
• 2018

This study is based on the way Kim Kwang Soo works, which reveals a strong expressive tone that is rare in Korean architecture. His work is not decorative and symbolic representation of the intention of positive amusement. Therefore, the following noteworthy points will arise. The various phenomena associated with architecture and society are researched and analyzed in a critical manner. So, it creates and expresses its own formal logic. In this study, the theory of the subversive appropriation theory was identified by using the expressive characteristics of engagement. The study was based on a conceptual framework for the overturning of the mimesis, which Benjamin and Adorno have described. From this, this study summarizes Kim Kwang Soo's nihilistic attitude, finding boundaries and crack points, and subversive expression as a new form of architectural formal logic as main characteristics of interpretation of works. The characteristics of subversive expression of Kim Kwang Soo architecture derived from this are as follows. It does not take an ideological approach to the dismantling of the internalization of traditional Korean architecture. Popular culture and social phenomena are used as materials for expression. These are structured sensibly with appropriated formal logic. Finally, the architectural position adhered to the limit of performativity was recognized as the dimension of new meaning generation.

• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.129-144
• /
• 2009

The purpose of this study is what exactly De Morgan contributed to abstract algebra and mathematical logic. He recognised the purely symbolic nature of algebra and was aware of the existence of algebras other than ordinary algebra. He madealgebra as a science by introducing the ordered field and made the base for abstract algebra. He was one of the reformer of classical mathematical logic. Looking into De Morgan's works, we made it clear that the developments of algebra and mathematical logic in 19C.

• Fashion & Textile Research Journal
• /
• v.1 no.3
• /
• pp.218-230
• /
• 1999

The purpose of this study is -under the post-modem situation- to emphasize the role of women which has various several logic on feminism, to look forward to division of men's consciousness of women, and to reflect a trend to accept the role of sex which is occurring in the system of sex, that is, 'The Third Gender and Homosexuality'. The category of biological and sociocultural on feminism discussed, meantime expressed the sexual logic under post-modern situation, and probed the sexual logic on feminism which was expressed in modem dress and its ornaments by redefining some characters as follows; Imitation-it was to attain masculinity by imitating the body of the opposite sex. Interaction such situations like...... masculinity in women, feminity in men was demonstrated as transvestism of cross-dressing and the symbolic meaning of homosexuality was demonstrated in the shoes of sociocultural on Feminism. Dispersion appeared as a moderation charm and a resistance against the men-ruling culture. Destruction-expressed the fetishism of punk of porny image and maternal affectional image of biological trend as playful satire. Therefore, It is conceived that Feminism would be created true human-phase come true in the men's world as long as the realization of women themselves make the phase of women higher; and further not only propose new image of women but the system of gender.