• 제목/요약/키워드: 다단계 방법

검색결과 371건 처리시간 0.031초

다단계 프로그램을 위한 타입 기반의 실행흐름 분석 (Type based Control Flow Analysis of Multi-Staged Program)

  • 진민식;이광근
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (C)
    • /
    • pp.516-520
    • /
    • 2007
  • 이 논문에서는 다단계 프로그램의 실행흐름을 타입을 기반으로 분석하는 방법을 제시하고 있다. 다단계 프로그램이란 실행 중 코드를 만들고 실행할 수 있는 언어를 말한다. 본 논문에서는 기존의 고차 함수형 언어의 실행흐름을 분석하는 방법을 다단계 언어를 위해서 확장한 방법을 제시하고 있다. 이 분석은 한 수식이 평가될 때 호출될 수 있는 함수들의 집합을 정적으로 분석하여 다단계 프로그램의 실행흐름 정보를 제공한다.

  • PDF

다단계정렬을 활용한 효율적인 문서 유사도 비교법 (An effective method for comparing similarity of document with Multi-Level alignment)

  • 서종규;황혜련;조환규
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 춘계학술발표대회
    • /
    • pp.402-405
    • /
    • 2012
  • 문서와 문서간의 유사도들 측정하는 방법 은 크게 지문법 (fingerprint)을 이용한 방법과 서열 정렬(sequence alignment)알고리즘을 이용한 방법이 있다. 두 방법은 각각 속도와 정확도라는 장점을 가지고 있다. 다단계정렬(MLA, Multi-Level alignment))는 이러한 두 방법을 조합하여 탐색 속도와 정확도 사이의 비중을 사용자가 결정할 수 있도록 하기 위한 방법이다.[1] 다단계 정렬은 두 문서를 단위 블록(basis block)로 나누고 블록 간의 벡터를 비교하여 유사도를 측정하게 되는데, 본 연구에서는 초성 추출 및 어간 추출을 통해 단위 블록의 벡터를 빠른 시 간에 생성하고 비교하는 방법과 다단계 탐색을 통해 정확도를 유지하면서 빠르게 유사도를 측정하는 방식에 대해 설명한다. 실험결과 제안 방법을 통해 다단계 정렬 방법을 이용한 대용량 문서 비교의 속도가 2 배 이상 빨라짐을 보인다.

지문법과 서열정렬법을 결합한 다단계 정렬 방법의 문서 유사도 비교 (A method for comparing documents using fingerprinting and sequence alignment.)

  • 서종규;옥창석;조환규
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 추계학술발표대회
    • /
    • pp.576-579
    • /
    • 2012
  • 문서유사도를 비교하는 방법은 지문법과 서열 정렬법이 널리 알려져 있다. 지문법은 계산속도가 빠른 대신 정확도가 떨어지며, 서열정렬법은 계산속도가 느린 대신 정확도가 높다. 다단계 정렬은 두 방법의 비중을 조절하여 문서 유사도를 비교할 수 있는 방법으로, 각 방법의 장점을 얻으면서 단점을 보완하도록 고안되었다[1]. 이 논문에서는 다단계 정렬방법에 대해 설명하고, 다단계정렬 방법에서 발생 가능한 단편화 문제를 제거하여 정확도를 향상시키는 방법에 대해 소개한다.

보안이 적용된 객체모델의 객체지향 스키마로의 변환방법 (The Transformation of an Object Model Adopting Securities into an Object-Oriented Schema)

  • 김정종;박운재;송호영;김재영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
    • /
    • pp.484-486
    • /
    • 1999
  • 객체지향 방법으로 시스템을 개발할 때 분석단계의 객체모델을 객체지향 스키마로 변환을 용이하도록 하기 위하여 분석단계의 객체모델을 정제할 필요가 있다. 따라서 본 논문에서는 분석단계의 객체모델을 정제하여 다단계 데이터베이스 어플리케이션으로 설계하는 방법을 제시한다. 또한 자료의 잘못된 유출이나 수정을 예방하고 모호성을 제거하기 위하여 보안을 적용한다. 보안을 적용한 분석단계의 객체모델을 다단계 데이터베이스 어플리케이션으로 설계할 때 이 보안이 다단계 데이터베이스 어플리케이션의 설계에서 적용되는 방법을 제시한다.

  • PDF

다단계 뉴럴네트워크(Neural Network)에 의한 온-라인 기계상태감시

  • 한정희;왕지남;허정준
    • 한국경영과학회:학술대회논문집
    • /
    • 대한산업공학회/한국경영과학회 1995년도 춘계공동학술대회논문집; 전남대학교; 28-29 Apr. 1995
    • /
    • pp.504-509
    • /
    • 1995
  • 컴퓨터에 의한 생산시스템의 통합체계화와 온-라인화에 따라 자동화된 설비진단 방법이 요구되어지고 있다. 이에 따라 기계설비에 각종 센서를 부착하여 실시간으로 수집된 출력신호를 이용하여 기계설비를 온-라인으로 감시하는 여러가지 기법들이 제시되고 있다. 본 연구에서는 진동센서로부터의 신호를 radial 함수에 근거한 다단계 뉴럴 네트워크(Neural Network)로 모형화하여 기계설비 상태를 감시하는 방법을 제시한다. 또한 다단계 모델링 분석을 통하여 신호를 예측하고 설비고장 원인을 분류하며, 다른 모형과의 비교를 통하여 효율성 평가와 최적 단계수를 결정하였다. 온라인 학습 알고리즘은 recursive least squares와 clustering 방법을 이용한다.

  • PDF

열린 코드를 갖는 다단계 프로그램을 타입 정보로부터 자동으로 생성하기 (Type-directed Automatic Generation of Open Code Multi-Staged Programs)

  • 정영범;이원찬;이광근
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(C)
    • /
    • pp.466-469
    • /
    • 2011
  • 단계가 없는 고차원 프로그램(higher-order program)을 다단계 프로그램(multi-staged program)으로 타입의 도움을 받아 변환하는 방법을 제시한다. 이 방법은 최첨단의 다단계 프로그램 타입시스템에 기반했기에 직관적으로 이해가 쉽고, 열린 코드(open code)를 지원한다. 변환의 결과 나올 수 있는 열린 코드는 자유 변수(free variable)을 허용하여 나중에 사용자의 의도대로 자유롭게 묶이게 할 수 있다. 우리의 변환은 기존의 타입의 도움을 받아 특화시키는 Linger와 Sheard[2,3]의 방법에 비해 더 효율적이고, 더 많은 종류의 다단계 프로그램을 만들어 낼 수 있다.

다단계 보안 스키마 설계를 위한 IDEA 방법론의 확장 (The extension of the IDEA Methodology for a multilevel secure schema design)

  • 김정종;박운재;심갑식
    • 한국정보처리학회논문지
    • /
    • 제7권3호
    • /
    • pp.879-890
    • /
    • 2000
  • 다단계 데이터베이스 응용의 설계는 복잡한 과정이며, 적절한 모델을 이용하여 개체나 그의 연관 보안 등급을 모호하지 않게 표현해야 한다. 또한, 다단계 데이터 베이스 응용에 대한 의미를 가능한 한 정확하게 파악하는 것도 중요하다. 미보호 데이터 베이스 응용 설계를 위한 IDEA 방법론은 데이터 집약 시스템에 초점을 두고 있기 때문에, 그 객체 모델에서는 응용에 대한 객체의 경직 구조와 그의 관련성을 서술한다. 다시 말해서 IDEA 방법론의 객체 모델은 객체의 정적 서술을 하기 위한 확정돈 개체-관련성 모델이다. IDEA 방법론이 다단계 보인 데이터베이스 응용을 위해 개발되지 않았지만, 기존의 방법론을 활용함으로써 그 방법론에서 개발된 여러 기법들을 이용할 수 있다. 즉, 이 방식은 다단계 보안 스키마를 처음부터 개발하는 것보다더 용이하다. 본 논문에서는 IDEA 방법론의 객체 모델에 보안 특징을 첨가하고, 이 모델을 다단계 보안 객체지형 스키마로의 변환을 제시한다. 이 다단계 보안 스키마는 Informix-Oniline/Secure, Trustrd ORACLE. Sybase Secure SQL Server와 같은 여러 상용 다단계 보안 데이터 베이스 관리 시스템으로 자동 변환하기 위한 일반적인 스킬을 설계하는 예비 연구가 될 것이다.

  • PDF

다단계 방법을 이용한 혼잡 비용의 처리 (Congestion cost allocation using multistage method)

  • 정해성;박종근;이병윤
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2001년도 춘계학술대회 논문집 전력기술부문
    • /
    • pp.330-333
    • /
    • 2001
  • 본 연구에서는 쌍방향 시장에서 혼잡 비용의 처리 방법을 제시한다. 이 방법은 쌍방향 시장에서 시장의 참여자들은 혼잡을 고려하지 않고 서로 계약을 하며 만일 혼잡이 발생한다면 Independent System Operator(ISO)가 혼잡을 해결한다는 가정을 전제로 한다. ISO는 혼잡이 발생 시 조정 입찰(adjustment bidding)을 통해 전력을 매매하여 혼잡을 해소한다. 이때 ISO는 전력의 매매 비용을 최소화하도록 하는데 이 매매 비용을 혼잡 비용이라고 부른다. 그러므로 쌍방향 시장에서는 이 혼잡 비용을 시장의 참여자에게 공평하게 배분하는 방식이 중요한 문제이다. 이 문제를 해결하기 위해 여러 가지 방법이 제시되었으며 송전 제약에 대한 라그랑지 승수를 이용하는 방식도 그 중의 하나이다. 그러나 이 방식은 연속 혼잡이 발생하면 참여자에게 혼잡 비용을 정확히 배분할 수 없다. 여기서 연속 혼잡이란 혼잡 선로에 의해 다른 선로에 혼잡이 발생하는 경우를 말한다. 본 연구에서는 직류 조류를 이용한 다단계 방법을 제시하며 이 방법은 연속 혼잡을 단계별로 처리하여 기존의 방법의 문제점을 해결하였고 혼잡 비용이 참여자에게 공평히 배분되도록 하였다.

  • PDF

다단계 프로그램에서 프로그램 생성 단계의 자유변수 제거 (Closed-code-conversion: Transforming Open Code Multi-staged Programs into Closed Ones)

  • 어현준;이광근
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제36권3호
    • /
    • pp.244-251
    • /
    • 2009
  • 다단계 프로그래밍이란 매크로 프로그래밍, 부분 계산(partial evaluation), 실행시간 코드 생성(runtime code generation)등을 포섭하는 일반적인 방법론으로, 계산을 여러 단계로 나누어 각 단계에 주어진 부분 입력을 통해 다음 단계를 전문화(specialize)함으로써 효율적인 계산을 수행하게 해 준다. 다단계 프로그램은 일반적인 계산 외에 코드(다음 단계의 프로그램)를 생성, 조림 및 실행시킬 수 있다. 본 논문은 코드에 자유변수를 허용하는 다단계 프로그램을 코드에 자유변수가 없는 다단계 프로그램으로 변환하는 방법을 제안한다. 코드에 존재하는 자유변수는 동적으로 바인딩(binding)되기 때문에 이를 구현하기 어려운 문제가 있다. 자유변수가 있는 코드는 환경을 입력으로 받는 함수의 코드로 변환하고, 필요한 환경은 코드를 조립하는 시점에 넘겨줌으로써 코드에서 자유변수를 제거할 수 있다. 이렇게 자유변수가 제거된 다단계 프로그램은 Davies와 Pfenning이 제안한 방법에 의해 단계가 없는 람다 계산(lambda-calculus)으로 변환된 후 람다 계산법에 의해 실행되어질 수 있다.

Generalized Predictor-Corrector Method

  • 함남우
    • 한국전산응용수학회:학술대회논문집
    • /
    • 한국전산응용수학회 2003년도 KSCAM 학술발표회 프로그램 및 초록집
    • /
    • pp.16.2-16
    • /
    • 2003
  • 미분 방정식의 수치적 해를 나타내는 방법 중 예측자-수정자 방법(predictor-corrector method)으로 알려진 Adams-Bashford-Moulton 방법은 다단계 방법을 이용하기 때문에 일단계 방법에 비하여 훨씬 좋은 수치적인 결과를 보여주고 있다. 이제, 이 다단계 방법에 오차제어 변수를 첨가한 새로운 형태의 예측자-수정자 방법을 제시하고 안정적인 해를 구할 수 있는 오차 제어 변수의 범위를 확인한다. 또한, 새로운 형태의 예측자-수정자 방법이 기존의 방법에 비하여 미분 방정식의 해에 대한 오차를 줄일 수 있는 방법임을 수치적인 결과를 통하여 검증한다.

  • PDF