• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2012.10a
• /
• pp.83-84
• /
• 2012

SF 집합체 해체장치 개념설계요건 설정을 위해서 PWR $16{\times}16$ SF집합체 제원을 분석하였다. 또한 집합체 해체장치 주요요건을 도출하여 핵심메커니즘을 도출하였다. 주요요건은 다음과 같다. 집합체의 최대 clamping 힘은 각 grid의 경우: 240 kg, 하부노즐의 경우: 900 kg이다. 3 축 방향에서 절단을 위한 정확한 위치공자는 ${\pm}0.25mm$이다. 또한 처분을 위해 cuttings, fines 및 다양한 hardware를 수거하는 기능을 제공해야 한다. SF 집합체 해체를 위하여 드릴링 방식을 채택하였다. PWR SF의 종류에 따라 드릴링 위치가 다르기 때문에 위치제어와 해제장치 하단과 중간에 있는 X, Y, Z 제어를 할 수 있는 구조로 고안 하였다. SF 집합체 해체장치는 국내에서 가동되는 모든 PWR SF 집합체를 해체할 수 있는 구조로서 범용성을 가지고 있다. 원격 유지보수성을 향상하기 위하여 Solid Works 프로그램 툴(tool)을 이용하여 8개의 주요 모듈을 구성하였고, SF 집합체 해제장치 개념을 3D로 설계하였다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.1_2
• /
• pp.102-111
• /
• 2004

The visibility polygon of a simple polygon P is the set of points which are visible from a visibility source in P such as a point or an edge. Since a visibility polygon is the set of points, the set operations such as intersection, union, or difference can be executed on them. The intersection (resp. union) of two visibility polygons is the set of points which are visible from both (resp. either) of the corresponding two visibility sources. The difference of two visibility polygons is the set of points which are visible from only a visibility source. Previously, the best known algorithm for the set operations of two polygons with total n vertices takes O(nlogn ＋ k) time, where k is the output size. In this paper, we present O(n) time algorithms for computing the intersection, the union, and the difference of given two visibility polygons, which are optimal.

• Annual Conference on Human and Language Technology
• /
• 2008.10a
• /
• pp.75-78
• /
• 2008

온톨로지 어노테이션(Annotation)과정은 수동에 의해 대부분의 문서 처리 작업이 진행되고 있다. 그러므로 계획적이지 않은 문서 처리는 자칫 일관성이나 효율성을 떨어뜨릴 수가 있다. 예를 들어, 처리되는 문서들의 도메인이 자주 바뀌면, 수동 어노테이션을 하는 작업자는 객관성을 잃을 가능성이 높다. 따라서, 본 연구에서는 처리되는 문서집합의 도메인이 최대한 연관성이 유지되도록 처리 문서를 집합하여 나열하는 알고리즘을 소개한다. 첫번째로, 문서들을 유사한 주제 집합으로 형성한다. 두번째로, 두개 이상의 집합에 겹치는 문서들을 계산한다. 마지막으로, 이러한 겹침이 최대화 되도록 문서들의 처리 순서를 나열한다. 본 알고리즘을 IT관련 위키피디아 문서집합을 이용하여 평가를 시행했다. 평가 결과 우리의 알고리즘을 이용하면 처리되는 문서들의 도메인 이동이 무작위로 처리하는 것 보다 연속적이었음을 수치상으로 계산할 수 있었다.

• Communications of the Korean Mathematical Society
• /
• v.18 no.4
• /
• pp.587-602
• /
• 2003

본 논문에서는 벡터값을 가지는 함수로 이루어진 벡터 변분 부등식들의 해집합사이의 관계, 미분 불가능한 볼록함수로 이루어진 벡터 볼록 최적화 문제의 해집합들과 볼록함수의 아래미분으로 표현된 벡터 변분부등식의 해집합들과의 관계, 제약집합이 볼록 함수로 구체적으로 주어질 때의 벡터 변분부등식의 해가 될 필요 충분조건, 섭동된 강 단조 벡터 변분부등식의 안정성 결과와 섭동된 벡터 강 볼록 최적화문제에의 적용에 대한 최근 연구 결과를 정리한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.05a
• /
• pp.795-797
• /
• 2014

The visibility polygon of a simple polygon P is the set of points which are visible from a visibility source in P such as a point or an edge. Since a visibility polygon is the set of points, the set operations such as intersection and union can be executed on them. The intersection(resp. union) of two visibility polygons is the set of points which are visible from both (resp. either) of the corresponding two visibility sources. As previous results, there exist O(n) time algorithms for the set operations of two visibility polygons with total n vertices. In this paper, we present $O(log^2n)$ time algorithms for solving the problems on a reconfigurable mesh with size $O(n^2)$.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.21 no.48
• /
• pp.153-164
• /
• 1998

본 논문은 2-상태 시스템의 신뢰도 계산을 위하여 Heidtmann[3]이 제시한 가역 알고리즘을 부울 대수를 사용하여 경로집합으로부터 절단집합을 유도하거나, 역으로 절단집합으로부터 경로집합을 유도함으로서 효율성을 입증하였으며, 포함-불포함 공식(inclusion-exclusion formula)과 추축 분해법칙(pivotal decomposition rule)을 이용하여 직·병렬구조 및 복합구조의 신뢰도를 계산할 수 있는 알고리즘을 개발, 분석하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.37-40
• /
• 2004

본 논문에서는 POSC 기반의 3D 메쉬 워터마킹 방법을 제안하였다. 제안한 방법에서는 3D 메쉬를 두 가지의 제약 조건 집합으로 수렴 조건을 만족할 때까지 반복 투영한다. 이들 집합은 워터마크를 삽입하기 위한 강인성 집합 및 비가시성 집합으로 구성된다. 원 모델없이 워터마크를 추출하기 위하여 제안한 방법에서는 워터마크가 삽입되는 위치 정보 및 결정치를 이용한다. 실험 결과로부터 제안한 방법이 메쉬 간단화, 절단, 아핀 변환, 및 랜덤 잡음 첨가 등의 공격에 우수한 강인성을 가짐을 확인하였다.

• Proceedings of the Materials Research Society of Korea Conference
• /
• 2009.11a
• /
• pp.36.1-36.1
• /
• 2009

최근 각종 환경 규제와 자동차의 안전성 증대를 위해 고장력 자동차 강판의 수요가 증대되고 있다. 차량의 많은 강판 비중을 차지하는 외판재의경우 안전성과 경량화를 위해서는 고장력강판이 유리하지만, 일반적으로 강도가 증가함에 따라 성형성이 감소되어 자동차 생산에 커다란 문제를 야기 시킬 수 있다. 따라서 본 연구에서는 자동차용 고장력강판의 집합조직 제어를 통해 강도의 변화없이 성형성을 증대시키고자, 고장력 자동차용 강판의 집합조직의 특징을 알아보는데 목적이 있다. 강판은 $\gamma$-fiber (ND//[111]) 조직이 증가할수록 성형성의 증대를 가져올 수 있으며, 이는 압연과 열처리등의 공정 조건에 의해 제어된다. 자동차용 고강도강판의 열처리는 연속소둔방식으로 행하였으며, XRD와 EBSD 등을 통한 집합조직과 기계적인 특성을 분석하였다.

• Journal for History of Mathematics
• /
• v.9 no.2
• /
• pp.30-42
• /
• 1996

최근 <수학기초론>이란 용어는 Burali-Forti paradox 이후 족(class)과 집합(set) 개념을 이해하려는 시도에서 출발한 20세기적 문제에 적용되고 있다. 이 글에서는 그 해결책으로 제시된 주의ㆍ주장 중 논리적인 모순을 해결하기 위한 Russel의 논리주의적 공리론에 바탕을 두고 살펴보려고 한다. 제 2장에서는 무한의 심연 속에 웅크리고 있는 집합론에서의 역설과 발생 원인에 대하여 살펴보았다. 제 3장에서는 공리론적 집합론 중에서 러셀의 유형론과 그것을 단순화시킨 현대의 유형론을 살펴보고, ZF 집합론과 ZF 집합론의 연장인 처치 집합론의 기본 공리를 살펴보았다.

• The KIPS Transactions:PartA
• /
• v.16A no.4
• /
• pp.245-254
• /
• 2009

With the increasing adoption of embedded processors, the need of developing compilers for the embedded processors with timely manner is also growing. Retargeting has been adopted as a viable approach to constructing new compilers by modifying the back-end of an existing compiler. This paper proposes a test suite generation system for testing retargetable C compilers. The proposed system generates the test suite using the grammar coverage concept. Generally, the size of the test suite satisfying the grammar coverage of the source language is very large. Hence, the proposed system also provides the facility to reduce the size of the test suite. According to the experimental result, the reduced test suite can detect 75% of the compiler faults detected by the original test suite though the size of the reduced test suite is only 10% of that of the original test suite in average. This result indicates that the reduction technique proposed in this paper can be effectively used in the prior phase of the development procedure of the embedded compilers.