• Communications of Mathematical Education
• /
• v.35 no.4
• /
• pp.413-423
• /
• 2021

This study investigated the empty set which is one of the mathematical objects. We inquired some misconceptions about empty set and the background of imposing empty set. Also we studied historical background of the introduction of empty set and the axiomatic system of Set theory. We investigated the nature of mathematical object through studying empty set, pure conceptual entity. In this study we study about the existence of empty set by investigating Alian Badiou's ontology known as based on the axiomatic set theory. we attempted to explain the relation between simultaneous equations and sets. Thus we pondered the meaning of the existence of empty set. Finally we commented about the thoughts of sets from a different standpoint and presented the meaning of axiomatic and philosophical aspect of mathematics.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2015.07a
• /
• pp.552-554
• /
• 2015

본 논문은 AVX2 (Advanced Vector eXtension 2) 명령어 집합을 이용하여 HEVC (High Efficiency Video Coding) 복호화기의 역-변환 모듈을 고속화하는 방법을 제안한다. AVX2 명령어 집합은 256 비트 레지스터를 사용하여 다수의 데이터를 한번의 명령을 통해 병렬적으로 연산할 수 있으며 반복적인 산술 연산 혹은 논리 연산 구조에서 효율적이다. 제안하는 방법은 AVX2 명령어 집합을 이용하여 $8{\times}8{\sim}32{\times}32$ 크기의 TU (Transform Unit) 단위로 수행되는 역-변환 연산을 행렬의 곱 형태로 연산하여 고속화하였다. 실험 결과 AVX2 명령어 집합을 이용한 역-변환 연산은 Chen 알고리즘에 비해 평균 51% 속도 향상을 보였으며 SSE (Streaming SIMD Extension) 명령어 집합을 이용한 연산에 비해 평균 20%의 속도 향상 결과를 얻을 수 있었다.

• Proceedings of the IEEK Conference
• /
• 2001.09a
• /
• pp.169-172
• /
• 2001

본 논문은 얼굴의 특징점 추적을 위하여 얼굴 회전 변환과의 크기 변환을 고려한 BMA(Block matching alogorithm)을 이용한 방법을 제안한다. 우선 얼굴의 크기 변화를 구하기 위하여 얼굴 영역을 분리하여 그 면적을 구한다. 이 면적을 이전 프레임에서 구한 얼굴 영역의 면적과 비교하여 크기 비례를 계산한다. 다음으로 각 특징점을 중심으로 하는 8방위 영역의 화소들로 집합을 설정한다. 집합을 설정할 때에는 얼굴의 크기 변화를 고려하여 영역 내 화소들을 포함하는 양을 수정한다. 그리고 새로운 영상에서 화소 집합간의 거리가 가장 작은 화소를 새로운 특징점으로 지정한다. 이 때, 회전 변화를 고려하여 화소 집합의 순서를 순차적으로 바꿔 집합 간 거리를 산출한다. 제안하는 방법은 회전과 크기 변환에 강인한 특성을 보일 뿐 아니라, 단순한 움직임 예측 방법인 BMA보다도 쉽고 빠르게 계산된다.

• Proceedings of the Korean Fiber Society Conference
• /
• 2002.04a
• /
• pp.219-222
• /
• 2002

의류, 타월, 와이퍼 등 대부분의 섬유제품은 수분을 흡수하는 능력이 요구되는데, 여기에서 흡수란 고체 표면에 부착되어 있던 비교적 점성이 낮은 액상 물질, 즉 물 및 용제류 등이 섬유 집합체의 표면에 젖으면서 모세관현상에 의해 표면으로부터 내부로 이동한 다음 방출되지 않고 그 상태를 유지하는 현상을 말한다. 이러한 섬유집합체의 흡수 특성을 정확히 규정하기 위해서는 실제와 같은 상황에서 정확하게 흡수 속도와 흡수량을 측정할 수 있는 방법이 요구되는데 기존의 실험 방법들은 미흡한 점이 다소 있었다. (중략)

• Proceedings of the Korean Fiber Society Conference
• /
• 1991.06a
• /
• pp.51-51
• /
• 1991

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.10a
• /
• pp.127-127
• /
• 1993

Separating Hyperplane의 기하학적인 성질을 이용하여, 일반적인 Closed Convex Set들의 교집합에 속하는 점을 찾아가는 방법을 제안하고, 교집합에 속하는 점을 찾아가는 과정에서 그 교집합의 공집합 여부를 판정할 수 있는 방법을 제안하였다. 이 기법은 기존의 방법들이 가정하는 수렴조건보다 더 일반적인 조건 하에서도 수렴성을 갖는 것을 증명할 수 있었으며, 그 교집합의 공집합 여부를 선형부동식 해의 존재 유무로 판정할 수 있는 방법을 제시하였다. 몇가지 특수한 경우의 Convex Set들의 경우에 대한 기법의 적용 결과도 알아 보기로 한다.

• Convergence Security Journal
• /
• v.18 no.5_1
• /
• pp.59-66
• /
• 2018

The performance of a network intrusion detection system using the machine learning method depends heavily on the composition and the size of the feature set. The detection accuracy, such as the detection rate or the false positive rate, of the system relies on the feature composition. And the time it takes to train and detect depends on the size of the feature set. Therefore, in order to enable the system to detect intrusions in real-time, the feature set to beused should have a small size as well as an appropriate composition. In this paper, we show that the size of the feature set can be further reduced without decreasing the detection rate through using Pearson correlation coefficient between features along with the multi-objective genetic algorithm which was used to shorten the size of the feature set in previous work. For the evaluation of the proposed method, the experiments to classify 10 kinds of attacks and benign traffic are performed against NSL_KDD data set.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.20 no.1
• /
• pp.18-24
• /
• 2016

The purpose of this study is to induce the ductile behavior of the Ultra High Perfomance Concrete Reinforced I beam by substituting the part of steel fiber for bundle of reinforcing bars. Experiment of flexural behavior of the Ultra High Performance Concrete I shaped beam with the combination of the steel fiber and bundle of reinforcement bars was carried out. The volume fractions of steel fiber are 0%, 0.7%, 1%, 2%. The bundle of reinforcing bars and prestressing wire are used to restrain the concrete in compression zone. Length of bundle of reinforcing bar and prestressing wire is the one of test factors. The 9 Reinforced UHPC I shaped beam were made with these test factors. Not only steel fiber but also bundle of longitudinal reinforcing bar has effect to induce the ductile behavior of Reinforced UHPC I beam. The combination of 0.7% or 1.0% steel fiber and bundle of reinforcing bar showed the effective ductile behavior of I beam. The relationship of load-deflection and the crack pattern indicate the usefulness of the bundle of the longitudinal bar which has small diameter with close arrangement each other.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.3
• /
• pp.66-66
• /
• 2001

새로운 마이크로프로세서의 설계, 최적화, 그리고 완성 후 어플리케이션의 작성 단계에서 칩의 명령어 집합 시뮬레이션은 필수적인 요소이다. 그러나, 기존의 시뮬레이션 툴들은 저 수준의 하드웨어 기술언어와 게이트 레벨 이하의 시뮬레이션으로 인해 시뮬레이터 구성과 실행 시에 상당한 시간적 지연을 초래하고 있다. 본 논문에서는 이러한 문제들을 해소하고 칩 제작과정에서 발생하는 잦은 설계 변경에 유연성 있게 대응할 수 있는 레지스터 전송 수준의 명령어 집합 시뮬레이터 생성기를 제안하며 그 설계 및 구현에 관해 기술한다.

• Proceedings of the Korean Fiber Society Conference
• /
• 2002.04a
• /
• pp.351-351
• /
• 2002

새로운 LCST 형 블록 공중합체를 설계하기 위하여 LCST 블렌드 계를 선정하고, 이로부터 대응되는 블록 공중합체를 고안하였다 고안된 블록 공중합체의 분자 변수와 자기 집합에 의한 나노 미세 상 발현 거동과의 관계를 Cho의 압축성 random-phase approximation (RPA) 이론을 이용하여 구하였다. 본 연구의 대상 물질은 polystyrene (PS)과 poly(vinyl methyl ether) (PVME), PS 와 Poly(cyclo hexyl methacrylate) (PCHMA)의 블록 공중합체이다. (중략)