• Title/Summary/Keyword: 검증집합

Search Result 364, Processing Time 0.027 seconds

System Modeling of PHWR Fuelling Machine Ram Assembly and Development of the Mock UP of RAM Assembly (중수로 핵연료교환기 램집합체의 시스템 모델링 및 모형 제작)

  • Kim, J.H.;Byun, S.H.;Cho, B.H.;Shin, C.H.;Kim, J.S.;Yang, J.B.;Seo, E.S.
    • Proceedings of the KIEE Conference
    • /
    • 2002.07d
    • /
    • pp.2479-2481
    • /
    • 2002
  • 중수로 핵연료교환기 램집합체 이상진단시스템 개발과제의 일환으로 램집합체의 시스템 모델링을 수행하고 이를 기초로 램집합제 모형(Mock Up)을 설계 제작하였다. 이를 위해 램집합체 중 B-램의 동적거동에 대해 비선형요소의 영향을 고려하여 시스템에 대한 운동방정식을 유도하였다. 그리고 B-램의 구조를 단순화시킨 모형을 제작하고 이를 검증하기 위해 발전소 현장에서 취득한 램집합체의 운동데이터와 모형의 데이터를 비교 분석하였다.

  • PDF

휴대인터넷 서비스 제공을 위한 IEEE 802.16 표준화 동향

  • 예충일;조석헌;차재선;윤철식
    • The Magazine of the IEIE
    • /
    • v.32 no.6 s.253
    • /
    • pp.43-51
    • /
    • 2005
  • 시속 60 km/hour의 시내 주행 속도로 이동하면서도 언제 어디서나 인터넷 서비스를 제공받을 수 있는 휴대인터넷 서비스는 정보통신부 IT839 전략의 일환으로 추진되고 있다. 휴대인터넷 서비스는 2003년부터 HPi (High-speed Portable Internet) 라는 프로젝트 명으로 한국전자통신연구원, 주요 제조업체 및 사업자를 중심으로 규격 및 시스템이 개발되고 있으며 운용 주파수 대역은 2300$\~$2400 MHz of고 TDD (Time Division Duplex), OFDMA (Orthogonal Frequency Division Multiple Access) 방식을 사용한다. 휴대인터넷과 관련된 표준화 기구로는 IEEE 802.16 및 TTA PG302가 있다. 휴대인터넷 서비스 제공을 위한 국내 규격은 IEEE 802.16 표준과의 호환성이 완벽하게 유지되어야 한다. IEEE 802.16 표준은 성격상 프로파일 설정에 따라 다양한 형태의 시스템 형상이 가능하다. 따라서 TTA PG302에서 규정되는 표준은 IEEE 802.16 표준의 완전한 부분집합으로 정의되고 PG302 표준화 활동은 규격 작업과 더불어 시스템 형상 및 성능 검증을 위한 프로파일 및 컨포먼스 테스트를 위한 작업이 포함된다. 본고에서는 휴대인터넷과 관련된 IEEE 802.16 표준화 동향을 소개하고 향후 방향을 전망해 본다.

  • PDF

A Technique of Calculating a Weighted Euclidean Distance with a Personalized Feature Set in Parametric Signature Verification (매개변수적 서명 검증에서 개인화된 특징 집합의 가중치 유클리드 거리 산출 기법)

  • Kim, Seong-Hoon
    • Journal of the Korea Society for Simulation
    • /
    • v.14 no.3
    • /
    • pp.137-146
    • /
    • 2005
  • In parametric approach to a signature verification, it generally uses so many redundant features unsuitable for each individual signature that it causes harm, instead. This paper proposes a method of determining personalized weights of a feature set in signature verification with parametric approach by identifying the characteristics of each feature. For an individual signature, we define a degree of how difficult it is for any other person to forge the one's (called 'DFD' as the Degree of Forgery Difficulty). According to the statistical characteristics and the intuitional characteristics of each feature, the standard features are classified into four types. Four types of DFD functions are defined and applied into the distance calculation as a personalized weight factor. Using this method, the error rate of signature verification is reduced and the variation of the performance is less sensitive to the changes of decision threshold.

  • PDF

영광 2호기 4주기 운전자료 비교 분석

  • 이기복;배창준
    • Nuclear Engineering and Technology
    • /
    • v.25 no.3
    • /
    • pp.470-479
    • /
    • 1993
  • 노심설계의 검증을 통하여 설계의 신뢰성이 확인되며 이는 발전소 운전의 안전성과 경제성을 향상시킬 수 있는 발판이 된다. 본 기고문은 국산핵연료가 장전되었던 영광 2호기 4주기의 운전자료 중에서 핵설계와 관련한 인자의 측정치를 설계치와 비교 분석하고 평가하였다. 비교대상이 된 핵 특성인자는 반응도 관련 자료인 임계붕소농도, 제어봉가, 등온온도계수 및 감속재온도계수 둥이고 출력분포 관련자료인 핵반응률 분포, 집합체 출력분포, 반경방향 첨두출력 F_ $\Delta$H/$^{N}$ , 축방향 출력분포, 축방향 첨두출력 Fq(z) 및 노심 평균 축방향 출력편차(AO)등이다. 이들 인자들에 대한 설계치는 측정치와 잘 일치하였으며, 모두 안전성 관련 제한치이내로 만족함을 확인하였다. 또한 운전자료의 비교 분석을 통하여 후속주기의 핵설계에 반영할 수 있는 근거를 마련하였다.

  • PDF

Output Tracking Controller Design of Discrete-Time TS Fuzzy Systems (이산 시간 TS 퍼지 시스템의 출력 추종 제어기 설계)

  • 이호재;주영훈;박진배
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.11 no.1
    • /
    • pp.45-51
    • /
    • 2001
  • 본 논문은 이산 시간 Takagi-Sugeno (TS) 퍼지 시스템에 대한 출력 추종 제어기 설계에 관하여 연구한다. 출력 추종 제어기의 설계를 위하여 이산 시간 TS 퍼지 시스템을 불확실성을 포함한 선형 시스템의 집합으로서 표현하는 기법을 제시한다. 시스템의 상태에 대하여 어파인 변환을 하여 출력 추종 제어문제를 안정화 문제로 변환한다. 점근적 추종성능을 보장하는 제어기 설계를 위한 충분조건은 선형 행렬 부등식의 형태로 표현되면 주어진 제어기 설계의 해는 여러 가지 수치적 기법을 이용하여 효율적으로 구해질 수 있다. 트레일러 트럭의 임의의 위치에 후진 주차시키기 위한 제어기 설계의 예를 통하여 본 논문에서 제안한 추종 제어 기법의 효용성을 검증한다.

  • PDF

Development of GARP/GVRP for network switches based on Linux (리눅스 기반 네트워크 스위치를 위한 GARP/GVRP 개발)

  • 노윤정;이원석;김준우;강경태;김지현;신현식
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.04a
    • /
    • pp.211-213
    • /
    • 2003
  • 가상랜(VLAN:Virtual LAN) 기술은 멀티 캐스트 트래픽의 감소 효과가 크고, 효율적인 네트워크 보안 및 관리를 지원하므로, 대부분 최근의 상용 스위치는 가상랜 환경에서의 동작을 지원하고 있다. 가상랜 환경에서 동작하는 스위치에서 가상랜 정보를 주고받기 위하여 사용하는 프로토콜이 GARP/ GVRP(Generic Attribute Registration Protocol/GARP VALN Registration Protocol)이다. 이 프로토콜은 네트워크 환경에서 가상랜 정보가 바뀔 때마다 동적으로 각 스위치의 가상랜 정보를 설정해 줌으로써 네트워크 관리자의 수고를 덜어주며, 효율적으로 가상랜을 관리하는 방법을 지원하는 것이다. 따라서 가상랜 환경에서 동작하는 스위치는 대부분 GARP/GVRP를 내장하고 있으나, 범용 소스가 없이 생산업체 별로 자체 구현한 GARP/GVRP를 각각의 스위치에 탑재하고 있다. 본 논문은 이렇게 가상랜 환경을 지원하는 스위치에 필수적인 프로토콜인 GARP/GVRP를 리눅스 커널에 삽입 가능한 모듈 형태로 개발하였다. 또 개발한 모듈을 기가빗 이더넷 스위치(Gigabit Ethernet Switch)에 이식된 리눅스 커널에 삽입. 동작시키고 공인된 테스트 집합을 이용하여 프로토콜이 정확하게 동작함을 검증하였다.

  • PDF

An Analysis of Race Detection Tool for OpenMP Programs (OpenMP 프로그램을 위한 경합탐지 도구의 분석)

  • 김영주;강문혜;전용기
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10a
    • /
    • pp.478-480
    • /
    • 2003
  • 공유메모리 기반의 OpenMP 프로그램에서 발생하는 경합은 의도하지 않은 비결정적 수행 결과를 초래하므로 효과적으로 경합을 탐지하는 도구가 필요하다. 본 연구는 OpenMP 프로그램의 경합탐지를 위한 Intel 사의 Thread Checker를 내포병렬성의 여부와 접근사건들의 분포 형태를 기준으로 개발한 커널프로그램 집합을 이용하여 분석한 결과로서, 스레드들을 순서적으로 수행하면서 내포된 스레드를 부모 스레드와 동일한 스레드로 간주하고 적어도 하나의 읽기와 쓰기 접근사건들을 유지하면서 수행중에 경합을 탐지하는 도구임을 보인다. 이 도구는 접근사건의 발생 시에 이전 접근사건들과의 경합 여부를 검사한 후에 그 접근사건의 유지 여부를 결정하므로, 논리적 병행성 관계를 반영하지 못하는 내포된 스레드가 존재하지 않으면 경합의 존재를 검증한다.

  • PDF

k-Nearest Neighbor Classifier using Local Values of k (지역적 k값을 사용한 k-Nearest Neighbor Classifier)

  • 이상훈;오경환
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10a
    • /
    • pp.193-195
    • /
    • 2003
  • 본 논문에서는 k-Nearest Neighbor(k-NN) 알고리즘을 최적화하기 위해 지역적으로 다른 k(고려할 neighbor의 개수)를 사용하는 새로운 방법을 제안한다. 인스턴스 공간(instance space)에서 노이즈(noise)의 분포가 지역적(local)으로 다를 경우, 각 지점에서 고려해야 할 최적의 이웃 인스턴스(neighbor)의 수는 해당 지점에서의 국부적인 노이즈 분포에 따라 다르다. 그러나 기존의 방법은 전체 인스턴스 공간에 대해 동일한 k를 사용하기 때문에 이러한 인스턴스 공간의 지역적인 특성을 고려하지 못한다. 따라서 본 논문에서는 지역적으로 분포가 다른 노이즈 문제를 해결하기 위해 인스턴스 공간을 여러 개의 부분으로 나누고, 각 부분에 최적화된 k의 값을 사용하여 kNN을 수행하는 새로운 방법인 Local-k Nearest Neighbor 알고리즘(LkNN Algorithm)을 제안한다. LkNN을 통해 생성된 k의 집합은 인스턴스 공간의 각 부분을 대표하는 값으로, 해당 지역의 인스턴스가 고려해야 할 이웃(neighbor)의 수를 결정지어준다. 제안한 알고리즘에 적합한 데이터의 도메인(domain)과 그것의 향상된 성능은 UCI ML Data Repository 데이터를 사용한 실험을 통해 검증하였다.

  • PDF

Development of the Algorithm for Automatic Decision of radial T/L System in SCADA (SCADA System에서의 방사상계통 자동판별을 위한 제어 알고리즘 개발)

  • Jeon, D.H.;Kyak, N.H.;Kim, T.W.;Shim, J.W.;Kim, K.J.
    • Proceedings of the KIEE Conference
    • /
    • 2007.07a
    • /
    • pp.667-668
    • /
    • 2007
  • 운전하고 있으나 방사상계통 운전에 대한 정보공유가 미비하여 특정 계통조작시 정전으로 이어질 우려가 상존하고 있다. 본 논문에서는 방사상 계통과 환상계통을 자동 판단하여 계통조작시 정전사고로 이어질 수 있는 경우 사전 경고를 발생하여 정전조작을 미연에 방지할 수 있도록 하는 알고리즘을 개발하였다. 개발된 알고리즘은 SCADA와 미리 구축된 Rule Base를 이용하여 인근지역의 정보를 공유하고, 간단한 집합론을 이용한 수학적 연산작업을 통해 방사상계통인지 환상계통인지를 판단한다. SCADA 시뮬레이터를 통한 다양한 시험을 통해 개발된 알고리즘의 신뢰성을 검증하였으며 이를 구현한 방사상계통 자동판별시스템을 개발하여 실계통에 적용하였다.

  • PDF

Mesh Segmentation Reflecting Global and Local Geometric Characteristics (전역 및 국부 기하 특성을 반영한 메쉬분할)

  • Im, Jeong-Hun;Ha, Jong-Sung;Yoo, Kwan-Hee
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2007.06b
    • /
    • pp.167-170
    • /
    • 2007
  • 본 논문에서는 텍스춰매핑, 재메쉬화, 메쉬의 단순화와 모핑 및 압축 등 다양한 분야에 적용되는 메쉬분할 문제를 다룬다. 메쉬분할은 주어진 삼차원 메쉬를 서로 떨어진 집합(disjoint sets)으로 분할하는 것으로서 여러 연구자들에 의해 많은 연구 결과들이 제시되어 왔다. 본 논문에서는 삼차원 메쉬가 가지고 있는 기하학적 특성을 고려하여 메쉬를 분할하는 방법을 제시하고자 한다. 먼저 메쉬의 국부적 기하 특성인 곡률 정보와 전역적 기하 특성인 볼록성을 이용하여 삼차원 메쉬를 구성하는 첨예정점을 추출하였고, 이들간의 거리 정보를 이용하여 이 첨예정점들을 군집화(clustering)하였다. 최종 메쉬분할을 위해 분할된 첨예정점에 속하지 않는 나머지 정점들에 대해 거리 정보를 이용하여 군집화를 수행하였다. 본 논문에서 제안한 메쉬분할 방법을 검증하기 위해 벤치마크로 공개된 여러 메쉬 모델에 대해 실험하여 그 결과를 보여주었다.

  • PDF