• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10b
• /
• pp.207-213
• /
• 1997

본 논문은 논리함수의 Module-2 방식에 따라 신경회로망을 구성하고, 구성된 신 경회로망에 의해서 논리함수 XOR을 예를 들어 표현하였다. 논리함수에서 사용된 Module-2 방식은 2치자료를 처리하는 것으로, 논리함수의 대표적인 것이 부울함수(Boole function)이 다. 신경회로망의 입력층에서는 논리함수의 값을 입력하고, 중간층에서는 논리함수의 직교 전개를 이용하고, 출력층에서도 직교전개등을 통하여 최종적인 결과값을 얻는 것이다. 이를 위해서 내적(inner product) 및 norm등을 정의하고, 직교(orthogonal)에 대한 정의를 하였 다. 또한, 부울함수(Boole Function)의 미분에 대한 정의 및 부울함수의 Maclaurin 전개에 대해서도 정의하였다. 본 논문에서 논리함수의 최종적인 출력값은 부울함수의 Maclaurin 전 개에 의해서도 실제적인 값이 출력될 수 있다는 것을 나타내었다.

• Annual Conference on Human and Language Technology
• /
• 1990.11a
• /
• pp.128-130
• /
• 1990

문장의 논리적인 내적이며 형식적이라고도 말하여지는 구조는 단순한 구문론적인 것이라기 보다는 우리의 외적 세계 이해의 범주라고도 말하여져 왔다. 이러한 이해에는 검증이 어렵다는 이유에서 쉽게 받아들일 수 없는 점이 있으나, 실제의 언어 이해에서 부인 할 수 없는 작용을 하는 것은 어쩔 수 없다. 원자 문장에서의 이러한 논리적인 제약이라고도 말하여지는 것은 거의 형이상학적인 측면이 있더라도 언어의 수학적인 성질로 받아들이지 않을 수 없다. 그래서 여기에서는 원자 문장 형성에서의 수학적인 성질들을 말하여 보고자 한다.

• The Journal of the Korea Contents Association
• /
• v.17 no.6
• /
• pp.571-579
• /
• 2017

The main purpose of this research is to investigate the impact of compensation on job satisfaction. The study is designed to determine whether perceived internal equity acts as a mediation role in affecting the relationship between compensation and job satisfaction. This study also aims to explore the role of supervisor support in affecting employees' perception of equity toward the compensation. A total of 157 samples was obtained for the data analysis as a quantitative approach. The results of the data analyses revealed that both extrinsic and intrinsic rewards are positively correlated with job satisfaction. The results also showed that perceived internal equity acts as a mediating role in predicting variables of compensation and job satisfaction. The supervisor support does not moderate the relationship between compensation and perceived internal equity. It is suggested that management's efforts must be made in compensation management in order to increase employees' job satisfaction and to improve employees' perception of equity.

• The Korean Publising Journal, Monthly
• /
• s.138
• /
• pp.10-10
• /
• 1993

국제정치의 논리와 구조, 한국외교정책의 현황.전망을 다루고 있는 이 책들은 외교정책 결정 과정에서의 내적요인에 대한 분석의 결여라는 한국 국제정치학의 한계를 극복한 것으로 평가된다. 국제정치학 주요이론을 소개.평가하고 구체분석도 행함으로써 이론과 실제를 잘 조망하고 있다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.3B
• /
• pp.584-591
• /
• 2000

In distributed arithmetic-based architecture for an inner product between two length-N vectors, the size of the ROM increases exponentially with N. Moreover, the ROMs are generally the bottleneck of speed, especially when their size is large. In this paper, a ROM size reduction technique for DA( distributed arithmetic ) is proposed. The proposed method is based on modified OBC( offset binary coding) and control circuit reduction technique. by simulations, it is shown that the use of the proposed technique can result in reduction in the number of gates up to 50%.

• Journal for History of Mathematics
• /
• v.25 no.3
• /
• pp.29-39
• /
• 2012

As a product of modern proof theory, linear logic is a new form of logic developed for the purpose of enhancing programming language by Professor Jean-Yves Girard of Marseille University (France) in 1987 by supplementing intuitionist logic in a sophisticated manner. Thus, linear logic' s connectives can be explained using information processing terms such as sequentiality and parallel computation. For instance, A${\otimes}$B shows two processes, A and B, carried out one after another. A&B is linked to an internal indeterminate, allowing an observer to select either A or B. A${\oplus}$B is an external indeterminate, and as such, an observer knows that either A or B holds true, but does not know which process will be true. A ${\wp}$ B signifies parallel computation of process A and process B; linear negative exhibits synchronization, that is, in order for the process A to be carried out, both A and $A^{\bot}$ have to be accomplished simultaneously. Since the field of linear logic is not very active in Korea at present, this paper deals only with syntax aspect of linear logic in order to arouse interest in the subject, leaving semantics and proof nets for future studies.

• Proceedings of the Korean Society of Fisheries Technology Conference
• /
• 2000.10a
• /
• pp.31-32
• /
• 2000

어군의 이동경로(Priede ＆ Swift, 1993)를 어류 외적인 주변 환경변수와 어류의 내적인 생리생태 등에 따른 행동요인을 고려하여 보다 합리적이고 논리적인 방법으로 어군탐색을 효율적으로 수행할 필요가 있으며, 따라서 어류이동경로 추적에 대한 모델링과 시뮬레이션(Arnolds ＆ Holford, 1995) 기법의 개발이 필요한 실정이다. 따라서 본 연구는 저서성 어류의 이동 궤적에 관한 현장 계측자료를 해양환경요인과 관련시켜 분석하고, 어류이동에 관한 수치행동의 모델링의 주요한 변수를 파악하였다. (중략)

• The KIPS Transactions:PartA
• /
• v.10A no.4
• /
• pp.347-356
• /
• 2003

The OCT algorithm needs efficient hardware architecture to compute inner product. The conventional methods have large hardware complexity. Because of this reason. a computation sharing multiplier was proposed for implementing inner product. However, the existing multiplier has inefficient hardware architecture in precomputer and select units. Therefore it degrades the performance of the multiplier. In this paper, we proposed a new efficient computation sharing multiplier and applied it to implementation of 1-D DCT processor. The comparison results show that the new multiplier is more efficient than an old one when hardware architectures and logic synthesis results were compared. The designed 1-D DCT processor by using the proposed multiplier is more high performance than typical design methods.

• The Journal of the Korea Contents Association
• /
• v.8 no.4
• /
• pp.117-129
• /
• 2008

This analysis is intended to approach a computer game in the context of cultural-study theories. The semiotics can be applied to various area, and it is assumed to also applied to computer games. In semiotical background we tried to analyze the mythology of Starcraft mainly by using Propp's narratives theory and Brathes' mythologies theory. In the narratives of Starcraft, we fouind some simplified functions which penetrate the internal structure. And while most of the games having paradigmatic flow in narratives, Starcraft has syntagmatic flow mainly because of the function of network. With these conditions, we could find some mythologies in Starcraft : (1) naturalization of discipline and control, (2) time and space as resources, (3) deprivation of values of object.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.1 s.33
• /
• pp.189-199
• /
• 2005

Technology has many potential uses and changes by social context surrounding it. Therefore political implications are reflected in the internal logical system of articraft, technology. This explanation is ale to apply to the regulation technology of Internet. The empowerment of information is changeable according as which regulation technology is adopted. This paper explores the structure, principle and its social implication of regulation technology of Internet, which coincides with user empowerment of information as a case of ICRS(Internet Content Rating System).