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

검색결과 364건 처리시간 0.033초

C++ 컴파일러에서 중간코드의 검증과 분석을 위한 역컴파일러의 설계 및 구현 (Design and Implementation of a Decompiler for Verification and Analysis of Intermediate Code in C++ Compiler)

  • 배성균;김영근;이양선
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2006년도 춘계학술발표대회
    • /
    • pp.1405-1408
    • /
    • 2006
  • C++ 언어는 객체지향 프로그래밍 언어로, 기존의 C++ 프로그램은 각각의 플랫폼에 따른 컴파일러를 통해 목적기계의 코드(object code)로 변환되므로 실행되는 플랫폼에 의존적인 단점이 있다. 이러한 단점을 보완하는 방법으로 스택기반의 가상기계와 가상기계의 입력형태인 중간코드를 이용하는 기법이 있다. EVM(Embedded Virtual Machine)은 ANSI C, ISO/IEC C++ 언어와 SUN사의 Java 언어 등을 모두 수용할 수 있는 임베디드 시스템 기반의 가상기계이며, EVM에서 실행되는 중간코드인 SIL(Standard Intermediate Language)은 객체지향 언어와 순차적인 언어를 모두 수용하기 위한 명령 코드의 집합으로 설계되어 있다. 본 논문에서는 C++ 컴파일러를 통해 생성된 SIL 코드가 올바른지 검증하고 원시코드의 분석을 용이하게 하기 위해서 SIL 코드를 어셈블리 코드와 유사한 형태의 재 표현된 C++ 프로그램으로 역컴파일하는 시스템을 설계하고 구현하였다.

  • PDF

점진적 움직임 기반 구조를 위한 적응적인 영상 켤레 제거 방법 (Adaptive Image Pair Resection for Incremental Structure from Motion)

  • 고재련;호요성
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송∙미디어공학회 2017년도 하계학술대회
    • /
    • pp.188-189
    • /
    • 2017
  • 점진적 움직임 기반 구조(Incremental Structure from Motion)는 다양한 시점에서 촬영한 영상들을 하나 씩 점진적으로 추가하여 3차원 장면을 복원하는 방법이다. 3차원 구조 복원에 사용되는 영상 켤레들 중에는 불필요한 켤레들도 충분히 포함되어 있으므로 복원된 구조의 불안정성과 불필요한 영상 켤레 처리로 인한 성능 손실이 발생할 수 있다. 이 논문은 상대적으로 불필요한 영상 켤레를 입력 영상 집합에 맞게 적응적으로 제거하는 방법을 제안한다. 대응점 탐색 단계에서 기하학적 검증작업 전후로 총 두 번의 영상 켤레 제거가 실행되며, 통계적인 방법 및 기하학적으로 검증된 대응점 비율을 이용하여 문턱치를 결정한다. 실험 결과 3차원 복원 결과에 지장을 주지 않으면서 복원에 필요한 영상 켤레 개수를 효과적으로 줄일 수 있었다.

  • PDF

UML 다이아그램간의 일관성과 완전성을 위한 검증 규칙 생성에 관한 연구 (The Study on the Generation of Verifying Rules for Consistency and Completeness of the Unified Modeling Language Diagrams)

  • 김재웅;김진수;김치수;황선명
    • 한국멀티미디어학회논문지
    • /
    • 제3권3호
    • /
    • pp.290-297
    • /
    • 2000
  • 객체지향 설계에 많이 사용되고 있는 UML의 일부 다이아그램들의 일관성과 완전성을 검증하기 위하여 UML다이아그램들을 분석하여 ER모델에 적용하고, 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 함수들의 의미에 따라 UML 다이아그램들의 일관성과 완전성을 보장하는 일련의 규칙들을 유도한다. 이러한 규칙들은 추후에 다이아그램을 생성하는 능력과 일관성과 완전성을 검사하는 능력을 함에 가진 CASE 도구에 포함될 수 있다.

  • PDF

3 차원 영역확장 알고리즘 기반의 MRI 에서의 뇌 영상 분할 시스템 (The segmentation system of brain in MRI based on 3-D region growing algorithm)

  • 이정민;윤현주;김명희
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2005년도 춘계학술발표대회
    • /
    • pp.1769-1772
    • /
    • 2005
  • 본 논문에서는 사용자의 작업을 최소화하고 결과의 정확성을 높일 수 있는 3 차원 영역 분할 알고리즘을 제시하고 있다. 경계선을 강화하고 유사영역을 평탄화하는 SRAD(Speckle Reducing Anisotropic Diffusion) 필터링은 잡음에 의한 3 차원 영역확장의 오류를 줄이고 분할 대상의 경계부분까지 안정적으로 영역을 확장시켜준다. 3 차원 영역확장 방법은 사용자에 의해 입력된 시작점을 기반으로 영역의 유사성과 집합성을 판단하는 평가함수(cost Function)를 계산하여 3 차원으로 영역을 확장시킨다. 이러한 방법을 이용할 때에 보다 효과적으로 3D MRI 데이터에 대한 영상 분할을 수행할 수 있다. 또한 논문에서 제시한 알고리즘의 검증을 위해서 분할 결과에 대한 의료진의 검증을 수행하였다.

  • PDF

방향성 변을 이용한 집적회로 설계검증용 회로 추출기 (A Circuit Extractor Using Directional Edges for Edsign Verification of Integrated Circuit)

  • 손영찬;박석홍;유상대
    • 한국정보처리학회논문지
    • /
    • 제5권12호
    • /
    • pp.3244-3256
    • /
    • 1998
  • 집적회로가 고집적화 그리고 고성능화 되어지면서 설계된 레이아웃의 전기적 연결 관계와 회로 성능을 검증할 필요성이 더욱 강조되고 있다. 본 논문에서는 레이아웃으로부터 소자의 기하학적인 모델 파라미터와 기생 저항과 커패시턴스 등을 포함하는 회로 정보를 추출하기 위하여 레이아웃 내의 모든 배선에 대한 도형을 방향성 변을 사용하여 독립된 다각형 블록의 집합으로 기술하고, 이 블록과 소자의 인접여부에 의해 MOS 트랜지스터와 전기적 연결 관계를 찾아서 회로를 추출할 수 있는 새로운 알고리즘을 제안한다.

  • PDF

복지사각지대 예측을 위한 속성 선택 및 평가 기법 (A Method of Feature Selection and Evaluation for Resolving Estrangement of Welfare)

  • 이건수;박준호
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2019년도 추계학술발표대회
    • /
    • pp.671-673
    • /
    • 2019
  • 복지사각지대 발굴은 복지 서비스가 필요하지만 수혜를 받지 못하고 있는 국민을 찾아내서 지원해주는 정부 시스템이다. 본 연구는 이 복지사각지대 발굴 관리 시스템의 효용성을 높이기 위해, 발굴 예측 모델의 정확도를 높이기 위한 방법으로, 발굴 과정에서 사용하는 속성을 선택하고 평가하기 위한 방법을 제안한다. 제안 방법은 각 속성의 유효성을 검증하고, 검증된 속성 집합을 선택한 뒤, 예측 기준을 결정하는 세 단계로 구성되며, 이 방법을 통해 기존 복지사각지대 예측 모델의 개선에 적용할 수 있을 것으로 기대할 수 있다.

조밀화 집합체로 중간저장하는 경우 원자력 발전소 9, 10호기의 사용 후 핵연료 저장조의 임계분석 (The Criticality Analysis of Spent Fuel Pool with Consolidated Fuel in KNU 9 & 10)

  • Jae, Moo-Sung;Park, Goon-Cherl;Chung, Chang-Hyun;Jang, Jong-Hwa
    • Nuclear Engineering and Technology
    • /
    • 제20권1호
    • /
    • pp.27-34
    • /
    • 1988
  • 1990년 중반에는 우리나라 모든 원자력 발전소의 사용 후 핵연료 저장조의 용량부족이 예견된다. 따라서 조밀화 집합체로 저장하는 MDR 방법을 가장 저장용량이 적은 9, 10호기 원전의 저장용량을 확장시키는데 적용하고자 하였다. 이러한 방법을 채택할 때 9,10원전의 사용후 핵연료 저장조의 안전성을 확인하기 위해 격자 간격과 저장통 두께를 변화시키면서 중성자 증배계수를 AMPX-KENO IV코드로 계산하였다. 그리고 이 전산체제를 검증하기 위해 1981년 B & W에서 실시한 임계실험에 대하여 검증계산을 수행하였다. 또한 가상사고로써 malposition사고도 모사하였다. 그 결과, 원전 9, 10호기의 핵연료 조밀화 저장법은 안전하며, 설비 및 냉각공간을 고려하여 9/3 노심분을 27/3 노심분의 저장 용량으로 확장할 수 있을 것이다.

  • PDF

평면 데이터 분포에 영향을 끼치는 점 분포의 부분집합 추출 방법 - 소규모 소매점포의 매출자료를 이용한 상권 및 경쟁력 분석기법을 사례로 - (A Method for the Extraction of a Subset of Points from a Large Set of Points Affecting the Distribution of Surface Data - A Case Study of Market Area and Competitive Power Analysis by Sales Data of Micro Scale Retail Stores -)

  • 이정은;사다히로 유키오
    • 한국지리정보학회지
    • /
    • 제9권1호
    • /
    • pp.1-12
    • /
    • 2006
  • 공간분석에서는 사용되는 공간데이터 종류에 따라, 각각의 특징있는 분석법을 요구하므로, 다양한 접근법을 필요로 한다. 특히, 두 종류의 상이한 공간데이터 집합이 공존하는 경우, 어느 한 공간객체의 분포에 영향을 끼치는 다른 공간객체 집합에 대한 부분집합을 추출하여, 공간객체간의 관계성을 규명할 수가 있다. 지리정보시스템 등의 공간객체 분석기술의 발달로, 시각적으로도 간단히 공간객체간의 관계성을 파악할 수 있으나, 데이터의 양이 방대해지는 추세에서는, 지리정보시스템 (geographical information system)상에서 시각화된 공간객체 정보만으로는 서로 다른 공간객체간의 분포에서 상호관계성을 정량적으로 분석하기 어렵다. 따라서, 본 연구에서는 정량적 기준을 통해, 서로 다른 두 공간객체 간의 관계성 분석을 주목적으로 한다. 모델화된 정량적 기준의 평가를 위해 분석에 사용되는 실제 데이터는, 소규모 소매점포의 매출데이터를 사례로 들기로 한다. 데이터 수집에 제한이 있다는 특수환경으로 인해, 본 연구에서 사용되는 모델은 로짓모델을 기반으로 한 미지파라미터 추정이 가능하도록 구성되어있다. 제안된 모델을 사용하여, 대상점포의 매출분포에 큰 영향을 끼치는 것으로 판단되는 경쟁점포를 일련의 경쟁점포 집합에서 추출하며, 그 결과의 타당성을 검증하도록 한다.

  • PDF

데이터 스트림에서 개방 데이터 마이닝 기반의 빈발항목 탐색 (Finding Frequent Itemsets based on Open Data Mining in Data Streams)

  • 장중혁;이원석
    • 정보처리학회논문지D
    • /
    • 제10D권3호
    • /
    • pp.447-458
    • /
    • 2003
  • 기존의 데이터 마이닝 방법들은 기본적으로 지식 발견의 대상이 되는 데이터 집합이 마이닝 작업 시작 이전에 명확히 정의되는 것으로 가정하며 이러한 가정은 고정적으로 정의된 특정 데이터 집합에 내재된 정보 추출이 데이터 마이닝의 목적이 될 때 유효하다. 또한, 기존의 데이터 마이닝 방법들은 대용량의 데이터 집합에 대한 마이닝 결과를 얻는데 있어서 상당한 처리 시간을 요구한다. 따라서, 새로운 트랜잭션 데이터가 지속적으로 추가되는 데이터 스트림에서 추가된 트랜잭션의 정보들을 포함하는 최신의 마이닝 결과를 최대한 빠른 시간 안에 얻기를 기대하는 실시간 처리 환경에서는 기존의 데이터 마이닝 방법을 적용하는 것이 거의 불가능하다. 이러한 목적에 부합하기 위해서 본 논문에서는 새로운 데이터 마이닝 개념인 개방 데이터 마이닝을 제안한다. 개방 데이터 마이닝에서는 새로운 트랜잭션이 발생함에 따라 이전에 발생한 트랜잭션들에 대한 마이닝 결과가 새롭게 갱신되며 따라서 확장된 전체 트랜잭션 집합에 대한 마이닝 결과를 빠르게 얻을 수 있다. 이러한 방법을 효과적으로 구현하기 위해서는 새롭게 출현한 항목에 대한 지연추가와 이전 데이터 집합에 출현한 항목들 중에서 중요하지 않는 항목에 대한 전지작업이 병행되어야 한다. 논문에서 제안하는 알고리즘은 알고리즘의 특성을 파악하기 위한 일련의 다양한 실험을 통해서 검증된다.

기술과학 분야 학술문헌에 대한 학습집합 반자동 구축 및 자동 분류 통합 연구 (Semi-automatic Construction of Learning Set and Integration of Automatic Classification for Academic Literature in Technical Sciences)

  • 김선우;고건우;최원준;정희석;윤화묵;최성필
    • 정보관리학회지
    • /
    • 제35권4호
    • /
    • pp.141-164
    • /
    • 2018
  • 최근 학술문헌의 양이 급증하고, 융복합적인 연구가 활발히 이뤄지면서 연구자들은 선행 연구에 대한 동향 분석에 어려움을 겪고 있다. 이를 해결하기 위해 우선적으로 학술논문 단위의 분류 정보가 필요하지만 국내에는 이러한 정보가 제공되는 학술 데이터베이스가 존재하지 않는다. 이에 본 연구에서는 국내 학술문헌에 대해 다중 분류가 가능한 자동 분류 시스템을 제안한다. 먼저 한국어로 기술된 기술과학 분야의 학술문헌을 수집하고 K-Means 클러스터링 기법을 활용하여 DDC 600번 대의 중분류에 맞게 매핑하여 다중 분류가 가능한 학습집합을 구축하였다. 학습집합 구축 결과, 메타데이터가 존재하지 않는 값을 제외한 총 63,915건의 한국어 기술과학 분야의 자동 분류 학습집합이 구축되었다. 이를 활용하여 심층학습 기반의 학술문헌 자동 분류 엔진을 구현하고 학습하였다. 객관적인 검증을 위해 수작업 구축한 실험집합을 통한 실험 결과, 다중 분류에 대해 78.32%의 정확도와 72.45%의 F1 성능을 얻었다.