• 제목/요약/키워드: 증명 구성

검색결과 838건 처리시간 0.035초

신뢰성 있는 정보의 추출을 위한 퍼지집합의 유사측도 구성 (Similarity Measure Construction of the Fuzzy Set for the Reliable Data Selection)

  • 이상혁
    • 한국통신학회논문지
    • /
    • 제30권9C호
    • /
    • pp.854-859
    • /
    • 2005
  • 모호함의 측도를 위하여 퍼지 엔트로피와 거리측도 그리고 유사측도와의 관계를 이용하여 새로운 퍼지 측도를 제안하였다. 제안된 퍼지 엔트로피는 거리측도를 이용하여 구성된다. 거리측도는 일반적으로 사용되는 해밍 거리를 이용하였다. 또한 집합사이의 유사성을 측정하기 위한 유사측도를 거리 측도를 이용하여 구성하였고, 제안한 퍼지 엔트로피와 유사측도를 증명을 통하여 타당성을 확인하였다.

높은 정렬 안정성을 갖는 레이저 공진기 구성에 관한 연구 (A Study on configuration of a laser resonator with high alignment stability)

  • 차혁진
    • 한국광학회지
    • /
    • 제11권4호
    • /
    • pp.279-288
    • /
    • 2000
  • 다양한 종류의 펄스형 Nd:YAG 레이저 공진기를 구성하여 출력경의 각도변화에 따른 레이저 출력에너지의 변화를 최대 출력에너지가 반으로 줄어드는 점의 각도변위인 반치폭 (FWHM)을 측정하여 비교하였다. 출력경의 기울어짐에 대하여 높은 반치폭을 갖고 반사경의 각도변화에 대해서도 덜 민감하게 반응하는 안정적인 펄스형 고체 레이저의 새로운 공지기를 구성하였다. ABCD 광선 전파 행렬식을 이용하여 이러한 공지기의 전파행렬식이 단위행렬이 됨을 해석함으로서 높은 정렬 안정성을 가지고 있음을 증명하였다.

  • PDF

거리측도를 이용한 유사도의 구성과 퍼지 넘버를 이용한 유사도와의 비교연구 (Comparison Study for similarities based on Distance Measure and Fuzzy Number)

  • 이상혁
    • 한국지능시스템학회논문지
    • /
    • 제17권1호
    • /
    • pp.1-6
    • /
    • 2007
  • 거리측도를 이용한 유사도를 구성하였고 제안된 유사도의 유용성을 증명을 통하여 확인 하였다. 퍼지 넘버와 무게 중심 법을 이용한 기존의 유사도 구성에 대한 결과를 소개하였고 두 가지의 유사도를 다양한 형태의 소속 함수에 대하여 유사도 계산을 통하여 비교하였다.

라이다 데이터로부터 지표점의 자동 추출 (Automatic Extraction of Ground Points from LIDAR data)

  • 이임평
    • 한국GIS학회:학술대회논문집
    • /
    • 한국GIS학회 2004년도 GIS/RS 공동 춘계학술대회 논문집
    • /
    • pp.374-379
    • /
    • 2004
  • 지표점의 추출은 DTM 생성을 위한 가장 중요한 과정이다 기존의 추출 방법은 대부분 점기반방법으로 분류될 수 있다. 점기반방법은 모든 점을 개별적으로 각각의 점이 지표를 구성하는지를 시험한다. 이 때 시험의 회수는 점의 개수와 동일하기 때문에, 특히 다량의 점을 포함한 데이터를 처리하려면 시험과 관련되어 심각한 계산량이 유발되어 시험에 보다 정교한 기준과 전략을 사용하는데 어려움이 있었다. 이로 인해 많은 연구에도 불구하고 아직 만족할만한 결과를 제공하는 방법이 개발되지 못하였다. 이에 본 연구는 시험하는 개체의 수를 줄이면서 보다 안정적인 결과를 얻을 수 있도록 점이 아닌 피쳐에 기반한 방법을 제안한다. 여기서, 피쳐란 점을 그룹핑하여 얻을 수 있는 개체를 의미한다. 제안된 방법은 먼저 점들로부터 표면패치들을 생성하고, 이어서 표면패치들로부터 표면집단들을 구성한다. 표면집단들로부터 지표를 구성하는 표면집단을 식별한 후 식별된 표면집단에 포함된 모든 점들을 지표점으로 명시한다. 제안된 방법을 항공라이다 실측데이터에 적용하여 제안된 방법의 뛰어난 성능을 실험적으로 증명하였다.

  • PDF

유비쿼터스 컴퓨팅 환경에서 상황적응형 자가구성 시스템의 설계와 구현 (A Design and Implementation of Context-Adaptive Self-Configuration System in Ubiquitous Computing Environment)

  • 이승화;오제환;이은석
    • 한국지능정보시스템학회:학술대회논문집
    • /
    • 한국지능정보시스템학회 2004년도 추계학술대회
    • /
    • pp.233-241
    • /
    • 2004
  • 본 논문에서는 분산된 관리대상의 시스템자원과 사용자정보, 사용패턴을 Context로 수집하여, 구성(Configuration)을 수행하는 적응형 자가관리시스템을 제안한다. 본 시스템은 기존에 수동으로 이루어지던 Configuration 작업들 (Install, Reconfiguration, Update)을 자율적으로 수행하여, 사용자의 시스템관리에 대한 부담을 줄여주게 되며, 많은 비용과 오류를 감소시켜준다. 본 시스템은 수집된 Context 정보를 기반으로 사용자의 환경에 맞는 구성요소를 선택하여 설치하게 되며, 사용자의 기존 애플리케이션의 환경설정과 사용패턴을 기반으로, 보다 개인화된 설정을 해준다. 설정 이후에는 사용자의 행동을 암시적 피드백으로 받아, 이를 학습하고 유사한 상황이 다시 발생할 경우, 이를 다음 행동에 반영한다. 그리고 기존에 중앙서버로부터 일률적으로 관련파일을 전송하고 관리하는 중앙집중배포방식의 여러 문제점에 대응하기 위해 Peer-to-Peer 방식으로 파일을 카피하고, 이를 통해 중앙서버의 과부하를 줄이는 동시에 빠른 파일의 배포가 가능하도록 하였다. 본 시스템의 평가를 위해 프로토타입을 구현하여, 기존 수동 Configuration작업, MS-IBM과 같은 관련시스템과의 비교를 수행하였으며, 기능적 측면과 작업에 소요되는 시간에 대한 비교결과를 통해 본 시스템의 유효성을 증명하였다.

  • PDF

입력제어신호 변형을 이용한 유연한 빔의 제어 (The Control of flexible Beam using A Simple Command Control Shaping)

  • 박윤명;김승철;박양수;박선국;최부귀
    • 한국정보통신학회논문지
    • /
    • 제4권1호
    • /
    • pp.115-121
    • /
    • 2000
  • 입력제어신호 변형은 유연한 빔의 진동을 감소시키는 중요한 수단이다. 본 논문에서는 유한시간에서 다중 모드인 유연한 빔의 오차 진동을 제거하는 매우 단순한 입력제어신호 변형 방법을 소개한다. 제어신호는 선형 방정식의 풀이에 의해 구성되어 진다. 유한시간 동안 원하는 동작의 모터 각도는 임의의 한정된 오차 진동을 제거함으로서 도달된다. 폐루프 구성에서 모터 각도에 대한 기준입력으로서의 제어신호 사용에 대한 필요한 조건들 또한 다루게 된다. 제안된 시스템 구성의 효과는 컴퓨터 시뮬레이션을 통해 증명된다.

  • PDF

다차원 색인구조 M-트리에서 노드 색인공간의 중첩을 최소화하기 위한 효율적인 분할 알고리즘 (An Efficient Split Algorithm to Minimize the Overlap between Node Index Spaces in Multi-dimensional Indexing Scheme M-tree)

  • 임상혁;김유성
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
    • /
    • pp.124-126
    • /
    • 2003
  • 다차원 색인 기법 M-트리는 노드의 중심점과 객체간의 상대적 거리로 색인을 구성하고, 검색 공간에 포함되는 객체를 액세스하는 기법으로서 노드들은 페이지 단위로 구성되며 하위 엔트리들을 포함할 수 있는 반경, 즉 유사도 거리에 의해 노드의 영역이 표현되어진다. 그러나 이와 같은 노드의 영역 표현에 있어서 노드 색인공간의 중첩으로 인해 질의 시 검색 패스가 증가하고 이로 인해 거리계산과 디스크 입출력의 증가를 야기하는 문제를 갖는다. 본 논문에서는 M-트리에서 문제가 되고 있는 노드 색인 공간의 중첩을 최소화할 수 있는 노드 분할 정책을 제안한다. 기존의 M-트리와는 다르게 노드의 가상 중심점을 계산하여 그것을 라우팅 객체로 만들어 노드를 커버하는 영역을 최소화하고 노드 안의 엔트리를 재분배하여 밀도 높은 노드를 구성 하도록 한다. 제안된 분할 알고리즘의 효율성을 증명하기 위한 실험 결과 색인공간의 중첩이 줄고 이로 인해 거리계산과 디스크 입출력의 횟수가 줄어듦을 보였다.

  • PDF

규칙기반 웹 서버 장애 진단 추론 기법 (Rule-based Reasoning Scheme for Web Server Fault Diagnosis)

  • 윤정미;한정수;정진욱
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
    • /
    • pp.406-409
    • /
    • 2000
  • 이 논문에서는 웹 서버에 발생할 수 있는 장애 항목들을 정의하고, 발생한 장애를 자동적으로 진단하고 이를 검출하기 위한 방법을 규칙기반 추론기법을 사용하여 제안하였다. 즉, 웹 서버 관리에서 발생할 수 있는 장애 항목을 정의하고, 장애를 진단하기 위한 규칙을 제안하였는데, 장애 항목으로는 프로세스 장애, 서버 과부하, 인터페이스 장애, 구성 및 성능 장애를 정의하였으며, 각 장애 항목을 진단하기 위한 지식을 활성 네트워크기법을 적용하여 표현하고, 이를 시스템 레벨 장애 진단 생성규칙과 서비스 레벨 장애 진단 생성규칙으로 정형화하였다. 그리고 제안한 장애 진단규칙의 타당성을 증명하기 위한 장애 환경 구성을 구성하고, 각 장애 환경에 대한 생성규칙 적용과정을 실험을 통하여 제시하였다. 이 논문에서는 기하 급수적으로 증가하는 웹 서버의 장애를 관리하기 위한 메커니즘 제안함으로써 웹 서버 관리에 소요되는 관리자의 노력을 최소화할 수 있는 지능적인 장애 관리를 위한 방법론을 제시하고자 한다.

  • PDF

거리 측도를 이용한 퍼지 엔트로피와 유사측도의 구성 (Construction of Fuzzy Entropy and Similarity Measure with Distance Measure)

  • 이상혁;김성신
    • 한국지능시스템학회논문지
    • /
    • 제15권5호
    • /
    • pp.521-526
    • /
    • 2005
  • 모호함의 측도를 위하여 퍼지 엔트로피와 거리측도 그리고 유사측도와의 관계를 이용하여 새로운 퍼지 측도를 제안하였다. 제안된 퍼지 엔트로피는 거리측도를 이용하여 구성된다. 거리측도는 일반적으로 사용되는 해밍 거리를 이용하였다. 또한 집합사이의 유사성을 측정하기 위한 유사측도를 거리 측도를 이용하여 구성하였고, 제안한 퍼지 엔트로피와 유사측도를 증명을 통하여 타당성을 확인하였다.

영상기반 딥러닝을 이용한 창고 화재 진압 로봇 (Warehouse Fire Suppression Robot with Image-based Deep learning)

  • 이완기;조범연;이한세;이강주;김형훈;심현민
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2022년도 추계학술발표대회
    • /
    • pp.887-889
    • /
    • 2022
  • 화재로 발생하는 산업시설의 인명·재산 피해를 줄이고 기존 소방 설비의 단점을 보완하는 소방 로봇을 제안한다. 소방 로봇은 무인 시스템으로 설계되었으며 6개의 핵심 기능인 화재 감지, 화재 진압, 현장 이동, 화재 알림, 소방서 신고, 현장 모니터링으로 구성된다. 로봇의 구성은 구동부, 제어부, 소화부로 이루어져 있으며, 각 구성 중 일부를 선정하고 테스트 통하여 화재 진압에 유효함을 증명하였다.