• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.362-364
• /
• 1998

집합의 표현 방법에는 원소들을 그대로 가지고 있는 배열 형태와 유한한 집합에 한해서 0.1로써 표현하는 비트 벡터가 있다. 집합의 크기가 매우 클 때는 표현 방법과 연산 처리 기법이 저장 공간 및 처리 시간면에서 문제가 된다. 이 논문에서는 유한집합이지만, 범위가 매우 큰 집합에 대하여 집합 연산의 처리 기법들을 소개하고, 그 성능을 비교해 보고, 범위의 크기가 집합 연산에 참여하는 집합의 원소 수에 따른 좋은 집합 표현 방법과 집합 연산 처리 기법을 소개한다.

• Journal for History of Mathematics
• /
• v.9 no.2
• /
• pp.10-14
• /
• 1996

논리법칙은 유한집합에서 성립하는 수학의 정리들을 최대한 일반화시킨 것에 불과하다. 따라서 우리는 이들 논리법칙들이 아무런 고려없이 무한집합의 수학에서도 성립할 것으로 단정해서는 안된다. 집합론에서 역리가 발생하는 것은 논리학의 한 원리인 배중률이 무한집합의 수학에서는 성립하지 않음을 보여주는 것이다.

• Korean Architects
• /
• s.580
• /
• pp.118-123
• /
• 2017

지난 2회에 걸쳐서 2012년 가을학기 Harvard GSD의 Digital Media and Material Practice 수업의 일환으로 진행되었던 Diffusion Limited Aggregation System에 대하여 이야기를 시작 하였습니다. 먼저 유한 확산 집합체가 무엇인지를 자연에서 쉽게 발견할수 있는 예를 통하여 알아 보았고 이 현상이 어떻게 일어나는 지에 대한 고찰을 통하여 유한 확산 집합체를 디지털 모형으로 생성하기 위한 밑그림을 그려보았습니다. 이번 회는 저번회의 연장선상에서 유한 확산 집합체를 Visual Basic 을 사용하여 디지털 모형으로 재구성 하는 과정에 대하여 마져 이야기 하도록 하겠습니다.

• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.115-128
• /
• 2009

In this paper, we modify the axiom of infinity of von Neumann's axioms modified by Pinter([5]), and then discuss an existence of an unknowable class in the system and a relationship between the unknowable class and the axiom of choice.

• Korean Architects
• /
• s.578
• /
• pp.116-121
• /
• 2017

지난호에서는 2012년 가을학기 Harvard GSD의 Digital Media and Material Practice 수업의 일환으로 진행되었던 Diffusion Limited Aggregation System에 대하여 이야기를 시작했습니다. 먼저 유한 확산 집합체가 무엇인지를 자연에서 쉽게 발견할 수 있는 눈 결정의 현미경 사진을 통하여 알아 보았고 이 현상이 어떻게 일어나는 지에 대한 고찰을 통하여 유한 확산 집합체를 디지털 모형으로 생성하기 위한 밑그림을 그려보았습니다. 이번 회에서는 이를 디지털 모형으로 재구성했던 방법을 Visual Basic 을 통하여 단계별로 알아보도록 하겠습니다.

• Transactions of Materials Processing
• /
• v.13 no.7
• /
• pp.570-579
• /
• 2004

정상상태 압연공정의 오일러리안 공정해석 모델에 관한 연구들을 종합 정리하였다 본 연구의 유한요소해석 모델은 집합조직의 발전에 따른 이방성과 미세기공의 성장에 따른 기계적 성질의 열성화를 평형방정식에 직접 결합하였다 따라서 집합조직의 발전 및 기공률의 변화를 예측하고 동시에 이방성과 기계적성질의 열성화를 해석에 반영할 수 있다. 더불어 오일러리안 해석에서 형상예측을 위하여 자유곡면 수정법과 유선추적법을 유한요소해석 모델에 결합하였다 본 연구의 공정해석 모델을 평판 압연, 클래드압연, 삼차원 사각단면봉의 압연 및 형상압연에 적용하여 집합 조기의 발전, R-값, 항복곡면, 결함성장 등의 기계적성질의 변화 예측과 클래드 압연시에 이중재 접촉면 형상, 배불림, 형상압연 시의 단면변화 등의 형상변화 예측을 보여주었다.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.5
• /
• pp.127-134
• /
• 2011

A finite state machine was designed to control user's gaze on the screen when the user is monitoring the. It consists of a set of situations where pupils are gazed and a set of states which decide the gaze on a screen or sleeping. The states were especially classified into main states, pre-states and potential states. The machine uses the situation history, which decide current state using continuous previous situation and current situation, and improves the accuracy to control the gaze on a screen. We implemented the machine with the data which were get using a pupil detection method, and tested the verification of the system with monitoring operations. The experimentation using the method which get date from real images shows advantage of decision whether it is temporary gaze or long-term gaze.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.4
• /
• pp.179-189
• /
• 2007

Every purchase a customer makes builds patterns about how products are purchased together. The process of finding these patterns, called market basket analysis, is composed of two steps in the Microsoft Association Algorithm. The first step is to find frequent item-sets. The second step which requires much less time than the first step does is to generate association rules based on frequent item-sets. Even though the first step, finding frequent item-sets, is the core part of market basket analysis, when applied to Online Analytical Processing(OLAP) cubes it always raises several points such as longitudinal analysis becomes impossible and many unpractical transactions are built up. In this paper, a new OLAP cube structures designing method which makes longitudinal analysis be possible and also makes only real customers' purchase patterns be identified is proposed for market basket analysis.

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.8 no.4
• /
• pp.259-267
• /
• 2018

The subset-sum problem is to find out whether or not the element sum of a subset within a finite set of numbers is equal to a given value. The problem is a well-known NP-complete problem, which is difficult to solve within a polynomial time. Genetic algorithm is a method for finding the optimal solution of a given problem through operations such as selection, crossover, and mutation. Dynamic programming is a method of solving a given problem from one or several subproblems. In this paper, we design and implement a genetic algorithm that solves the subset-sum problem, and experimentally compared the time performance to find the answer with the case of dynamic programming method. We selected a total of 17 test cases considering the difficulty in a set with 63 elements of positive number, and compared the performance of the two algorithms. The presented genetic algorithms showed time performance improved by 84% on 13 of 17 problems when compared with dynamic programming.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.25 no.1
• /
• pp.15-21
• /
• 2015

In support vector machine, the values of parameters included in kernels affect strongly generalization ability. It is often difficult to determine appropriate values of those parameters in advance. It has been observed through our studies that the burden for deciding the values of those parameters in support vector regression can be reduced by utilizing ensemble learning. However, the straightforward application of the method to large scale problems is too time consuming. In this paper, we propose a method in which the original data set is decomposed into a certain number of sub data set in order to reduce the burden for parameter tuning in support vector regression with large scale data sets and imbalanced data set, particularly.