• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2012년도 추계학술논문요약집
• /
• 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로 설계하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권1_2호
• /
• pp.102-111
• /
• 2004

단순 다각형 P의 가시성 다각형을 점이나 에지와 같은 P에서의 가시원으로부터 가시적인 점들의 집합을 말한다. 가시성 다각형은 점들의 ,집합이므로 가시성 다각형들에 대해 교집합, 합집합, 차집합 등과 같은 집합 연산을 수행할 수 있다. 두 가시성 다각형의 교집합은 해당되는 두 가시원으로부터 동시에 보이는 점들의 집합이고, 합집합은 하나 이상의 가시원으로부터 보이는 점들의 집합이다. 두 가시성 다각형의 차집합은 하나의 가시원으로부터만 보이는 점들의 집합이다. 모두 n개의 정점을 가진 두 개의 일반적인 다각형에 대해 집합 연산을 수행하는 기존의 알고리즘으로 가장 효율적인 알고리즘은 O(nlogn + k) 시간이 소요된다, k는 집합 연산의 출력의 크기이다. 그러나 본 논문에서는 가시성 다각형의 특성을 이용하여 O(n) 시간에 교집합, 합집합, 차집합을 구하는 최적인 알고리즘을 제시한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2008년도 제20회 한글 및 한국어 정보처리 학술대회
• /
• pp.75-78
• /
• 2008

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

• 대한수학회논문집
• /
• 제18권4호
• /
• pp.587-602
• /
• 2003

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

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2014년도 춘계학술대회
• /
• pp.795-797
• /
• 2014

단순 다각형 P의 가시성 다각형은 점이나 에지와 같은 가시원으로부터 가시적인 P의 내부 점들의 집합을 말한다. 가시성 다각형은 점들의 집합이므로 가시성 다각형에 대한 교집합과 합집합과 같은 집합 연산을 수행할 수 있다. 두 가시성 다각형의 교집합은 두 가시원으로부터 동시에 가시적인 점들의 집합이고, 합집합은 두 가시원 중 하나 이상에 가시적인 점들의 집합이다. 기존 연구로서 n개의 정점을 갖는 두 가시성 다각형에 대해 O(n) 시간에 수행되는 순차 알고리즘이 나와 있다. 본 논문에서는 $O(n^2)$크기의 재구성가능한 메쉬(Reconfigurable MESH) 병렬 모델에서 $O(log^2n)$ 시간에 해결하는 병렬 알고리즘을 제시한다.

• 산업경영시스템학회지
• /
• 제21권48호
• /
• pp.153-164
• /
• 1998

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

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2004년도 춘계학술발표대회논문집
• /
• pp.37-40
• /
• 2004

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

• 한국재료학회:학술대회논문집
• /
• 한국재료학회 2009년도 추계학술발표대회
• /
• pp.36.1-36.1
• /
• 2009

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

• 한국수학사학회지
• /
• 제9권2호
• /
• pp.30-42
• /
• 1996

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

• 정보처리학회논문지A
• /
• 제16A권4호
• /
• pp.245-254
• /
• 2009

임베디드 프로세서 사용이 증가함에 따라 임베디드 프로세서를 위한 컴파일러를 시기 적절히 개발해야 할 필요성이 증가하고 있다. 컴파일러 후단부를 수정하여 새로운 컴파일러를 구성하는 재겨냥 기법이 이에 적합한 기법으로 채택되고 있다. 이 논문에서는 재겨냥성 C 컴파일러를 테스트하기 위한 테스트 집합 생성 시스템을 제안한다. 제안한 시스템은 문법 커버리지 개념을 이용하여 테스트 집합을 생성한다. 일반적으로 원시 프로그래밍 언어의 문법을 이용하여 테스트 집합을 생성하면 방대한 크기의 테스트 집합이 얻어진다. 그러나 신속히 컴파일러를 출시해야하는 상황에서는 방대한 테스트 집합 크기가 문제가 될 수 있다. 이에 이 논문에서 제안한 시스템은 중간 코드를 고려하여 테스트 집합을 축약하는 기능을 탑재하고 있다. 실험 결과에 따르면, 비록 축약된 테스트 집합 크기는 원본 테스트 집합 크기의 평균 10%에 불과하지만 원본 테스트 집합이 검출할 수 있는 컴파일러 오류의 75% 정도를 검출할 수 있음을 알 수 있었다. 이는 본 논문에서 제시한 축약 기법이 임베디드 컴파일러 개발 초기 단계에서 효과적으로 사용될 수 있음을 의미한다.