• 제목/요약/키워드: 공집합

검색결과 472건 처리시간 0.029초

그래픽 시뮬레이터에 의한 사용후핵연료 집합체 해체공정 가상모형 (Virtual Prototyping of Spent Fuel Disassembling Process Using Graphic Simulator)

  • 이종열;송태길;김성현;김영환;홍동희;윤지섭
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 2001년도 춘계학술대회 논문집
    • /
    • pp.760-763
    • /
    • 2001
  • In this study, the graphical design system is developed and the digital mock-up is implemented for designing the spent fuel handling and disassembling processes. This system is used throughout the design stages from the conceptual design to the motion analysis. By using this system, all the processes involved in the spent fuel handling and disassembling precesses are analyzed and optimized. Also, this system is used in developing the on-line graphic simulator to enhance the reliability and safety of the spent fuel handling process by providing the remote monitoring function of the process. The graphical design system and the digital mock-up system can be effectively used for designing the process equipment, as well as the optimization of the main processes and maintenance processes of the spent fuel management.

  • PDF

직교모듈라 격자에서의 논리적 함의 (Logical Implications on Orthomodular Lattices)

  • 연용호
    • 한국콘텐츠학회:학술대회논문집
    • /
    • 한국콘텐츠학회 2017년도 춘계 종합학술대회 논문집
    • /
    • pp.431-432
    • /
    • 2017
  • 고전 논리의 연산이 집합의 연산과 밀접하게 관련되어 있는 것과 같이 양자논리(quantum logic)는 힐버트 공간(Hilbert space)의 닫힌부분공간(closed subspace)의 연산과 관련되어 있다. 닫힌부분공간들의 집합은 직교모듈로 격자(orthomodular lattice)를 이루고, von Neumann과 Birkhoff를 포함하여 많은 수학자들은 양자논리의 수학적 체계를 만들기 위해 직교모듈로 격자를 이용하였다. 일반 격자(lattice)에서 논리적 함의(implication)는 $x{\rightarrow}y={\neg}x{\vee}y$에 의해 일의적으로 정의되지만 직교모듈로 격자에서는 6개의 서로 다른 논리적 함의가 정의되는 것으로 알려져 있다. 본 논문에서는 직교모듈로 격자에서 정의되는 3개의 논리적 함의를 소개하고 이들 사이의 관계를 조사한다.

  • PDF

효율적인 유사문자열 검색을 위한 역리스트 탐색 기법 (Efficient Approximate String Searches with Inverted Lists through Search Range Reduction)

  • 이은석;김종익
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2011년도 춘계학술발표대회
    • /
    • pp.1310-1313
    • /
    • 2011
  • 유사문자열 검색이란 문자열 집합에서 주어진 문자열과 유사한 문자열들을 검색하는 것으로 정보검색, 데이터 클리닝 등의 분야에서 활용되고 있다. 효율적인 유사문자열 검색을 위해 사전에 문자열 집합에 대한 역리스트를 구성하고 문자열이 주어졌을 때, 주어진 문자열에 관련된 역리스트를 병합하여 유사도 기준을 만족하는 문자열을 찾는다. 이때 비용을 줄이기 위해 일부의 역리스트만 병합하고 나머지 역리스트에 대해서는 이진탐색을 하는 방법이 있다. 본 논문에서는 역리스트를 이진탐색할 때, 불필요한 탐색구간을 제거하여 역리스트 탐색 비용을 줄이는 방법을 제안한다.

집합주택 배수 설비의 설계와 과제

  • 최동식
    • 대한설비공학회지:설비저널
    • /
    • 제9권2호
    • /
    • pp.125-131
    • /
    • 1980
  • 이 보고서는 6월 15일 본 학회의 후원으로 세계 설비기연이 주최한 학술강연회에서 발표한 내용을 게재한 것이다.

  • PDF

시간열 마이크로어레이 데이터를 이용한 질병 관련 유의한 패스웨이 유전자 집합의 검출 (A Method of Identifying Disease-related Significant Pathways Using Time-Series Microarray Data)

  • 김재영;신미영
    • 전자공학회논문지CI
    • /
    • 제47권5호
    • /
    • pp.17-24
    • /
    • 2010
  • 최근 특정 질병의 진단이나 예후 예측을 위해 마이크로어레이 실험 데이터를 이용한 질병 관련 바이오마커 검출 연구가 활발히 진행되고 있다. 특히 정상인에 비해 질병 환자군에서 특이하게 발현되는 개별 유전자를 바이오 마커로 이용하는 기존의 방식과는 달리 동일한 생물학적 패스웨이에 관여하는 유전자 집합의 변화를 분석하여 특이하게 발현되는 패스웨이 유전자 집합을 바이오 마커로 사용하는 유전자 집합 분석(Gene-set analysis) 연구가 주목받고 있다. 본 논문에서는 다양한 실험 조건 요인을 가지는 시간열 마이크로어레이 실험 데이터를 이용한 유의한 패스웨이 유전자 집합을 검출하는 방법에 대해 제안한다. 시간열 마이크로어레이 데이터을 이용하여 유전자 집합 분석을 수행하기 위해서는 시간에 따른 유전자 발현값의 변화에 따라 개별 유전자의 유의성을 나타내는 스코어를 maSigPro (microarray Significant Profiles)를 이용하여 계산한 후, 이를 기반으로 전체 유전자의 순위를 결정하여 후보 유전자 집합에 대한 유의성 검증을 윌콕슨 순위합 검증을 통해 수행한다. 후보 유전자 집합의 생성을 위해서는 MSigDB (Molecular Signatures Database)의 패스웨이 정보를 이용하였으며, 본 논문에서 제안한 방법의 검증을 위해 공개된 전립선 암 관련 시간열 마이크로어레이 실험 데이터에 적용한 결과 실제로 전립선암과 관련된 것으로 밝혀진 7개의 패스웨이 중 6개의 패스웨이를 정확하게 검출할 수 있었다.

유사 분광반사율 모집단별로 구성된 주성분 집합을 이용한 개선된 분광반사율 추정 (Improved Spectral-reflectance(SR) Estimation Using Set of Principle Components Separately Organized for Each SR Population with Similar SRs)

  • 권오설;이철희;이호근;하영호
    • 대한전자공학회논문지SP
    • /
    • 제40권2호
    • /
    • pp.11-19
    • /
    • 2003
  • 본 논문에서는 3대역 RGB카메라를 이용하여 분광 반사율을 추정할 때 추정오차를 개선하는 방법을 제안한다. 제안된 방법에서는 색상의 영역별로 적응적인 주성분 집합을 구성함으로써 추정오차를 줄였다. 이때 적응적인 주성분 집합을 구성하기 위하여 Lloyd양자화기 설계 알고리즘을 적용하여 N개의 주성분 집합을 구성하기 위한 분광반사율 모집단을 구성하였다. 전체 모집단으로 사용한 1485 Munsell 색시료의 대표값을 찾아내기 위해서, 초기값으로 Macbeth Color Checker를 사용하였으며 Lloyd 알고리즘의 반복 적용으로 분광 반사율 모집단 전체를 영역별로 분류하고 각 영역에 대하여 주성분 분석을 통해 적응적인 주성분 집합을 구성하였다. 실험 결과, 제안한 방법은 색차 및 분광 반사율에 대한 평균자승오차가 기존의 두 가지의 3대역 주성분 분석 방법 및 5대역 위너 추정을 이용한 분광 반사율 추정 방법보다 개선됨을 확인하였다.

볼록 집합 투영 기법을 이용한 3D 메쉬 워터마킹 (3D Mesh Watermarking Using Projection onto Convex Sets)

  • 이석환;권성근;권기룡
    • 전자공학회논문지CI
    • /
    • 제43권2호
    • /
    • pp.81-92
    • /
    • 2006
  • 본 논문에서는 3D 메쉬 모델에 대한 POCS 기반의 워터마킹 방법을 제안하였다. 제안한 방법에서는 워터마킹 시스템의 조건들 중 견고성 및 비가시성에 대한 볼록 집합을 설계한 후 3D 메쉬 모델의 꼭지점들을 이 두 집합들로 수렴 조건을 만족할 때 까지 반복 교대 투영한다. 견고성 제약 조건 집합은 각 꼭지점의 거리 분포에 워터마크를 삽입하는 방법에 의하여 정의되며, 비가시성 제약 조건 집합은 꼭지점 좌표의 변화량에 의하여 정의된다. 실험 결과로부터 제안한 방법이 좌표 변환, 스케일링, 메쉬 간단화, 절단, 및 꼭지점 잡음 첨가 등의 공격에 대한 우수한 견고성 및 비가시성을 확인하였다.

교차롤로 냉간 압연한 IF 강에서 압연 집합조직과 재결정 집합조직의 형성 (Formation of Rolling and Recrystallization Textures in IF Steel Cold-rolled by Cross-Roll Rolling Mill)

  • 이계만;김상현;허무영
    • 대한금속재료학회지
    • /
    • 제48권7호
    • /
    • pp.644-650
    • /
    • 2010
  • Interstitial free (IF) steel sheets were cold rolled by the cross-roll rolling mill in which the roll axes are tilted by ${\pm}7.5^{\circ}$ away from the transverse direction of the rolled sample. After cross-roll rolling of IF steel sheets, the cold rolling and the recrystallization textures were distinguished from those observed after rolling in a normal rolling mill. The three-dimensional finite element method (FEM) simulation revealed that the operation of a large shear strain ${\varepsilon}_{23}$ during cross-roll rolling leads to the formation of a distinct cold rolling texture. During recrystallization annealing, a pronounced change in texture components was not observed, which is attributed to the lack of either selective growth or oriented nucleation during the recrystallization process. Cold cross-roll rolling led to the formation of finer recrystallized grains in IF steel sheets.

조합논리회로의 결함검출 (Fault Detection in Comvinational Circuits)

  • 고경식;허웅
    • 대한전자공학회논문지
    • /
    • 제11권4호
    • /
    • pp.17-22
    • /
    • 1974
  • 본논문에서는 조합논리회로의 결함검출에 관한 문제를 취급하였는데 먼저 fan-out가 없는 회로에 대한 결함검출방법을 논하고 이 방법을 fan-out가 있는 회로에 확장하였다. Fan-out가 있는 회로에서는 내부 fan-out점을 전후하여 fan-out가 없는 부분회로로 분리구분하고 우선 각 부분회로에 대한 최소테스트집합을 구한다. 다음에 각 부분테스트집합사이에서 최대한으로 병립가능한 테스트를 조합하여 전체회로에 대한 종합적인 입력테스트벡터를 구한다. 이와같은 절차에 의하면 테스트수가 최소인 완전테스트집합이 용이하게 구해질 뿐만 아니라 검출가능한 결함 및 불가능한 결함이 명확하게 판가름 된다.

  • PDF