• 제목/요약/키워드: 언폴딩

검색결과 6건 처리시간 0.017초

비전공자 대상 기초 프로그래밍 교육을 위한 절차의 언폴딩 모델 개발 (Development of the unfolding model of procedures for the introductory programming education for non-majors)

  • 이민정;김영민
    • 컴퓨터교육학회논문지
    • /
    • 제23권4호
    • /
    • pp.35-47
    • /
    • 2020
  • 본 연구는 SW 비전공자를 포함한 프로그래밍 초보자들이 컴퓨팅 환경에서 문제해결을 위한 동작의 절차를 수립할 때 느끼는 어려움을 줄이고 작업의 과정을 적절하게 구체화할 수 있는 가이드라인을 제공하기 위해 진행되었다. 이를 위해 일상 동작 속에 함축된 작업 절차를 인지(입력)-판단(처리)-행동(출력)의 관점에서 펼쳐낼 수 있도록 대표적인 절차의 언폴딩 유형을 도출하였고, 각 유형에 따라 절차를 구체화하는 학습을 통해 학습자가 스스로 문제의 범위와 규칙을 설정하고 동작에 함축된 절차를 확장하는 것을 확인하였다. 본 연구에서 개발한 절차의 언폴딩 모델은 비전공자 혹은 초보자의 프로그래밍 학습 초기 단계에서 컴퓨팅 환경에 적합한 문제해결 절차를 구성하는 도구로 활용될 수 있을 것이다.

언폴딩에 기반한 유한페트리넷의 실용적 도달가능성 분석 (Pragmatic Reachability Analysis of Bounded Petri Nets based on Unfoldings)

  • 김의석;이정근;이동익
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제27권6호
    • /
    • pp.599-607
    • /
    • 2000
  • 본 논문에서는 유한페트리넷의 도달가능성에 대한 효율적인 분석방법을 제안한다. 일반적으로 도달가능성 분석은 유한페트리넷의 동적 성질에 관한 연구에 있어서 가장 근본이 되는 분석중의 하나이다. 그러나 일반적인 유한페트리넷의 경우, 도달가능성 분석은 분석시간과 요구되는 메모리 양의 측면에서 지수승의 복잡도를 요구하게 되며 많은 경우 상태공간폭발 문제를 야기할 수 있다. 이에 본 논문에서는 유한페트리넷의 분석을 위한 중간모델인 언폴딩(unfolding)상에서 장소(place)간의 구조관계 분석을 통하여 시간 및 메모리의 측면에서 효율적으로 도달가능성 분석을 수행하는 방법을 제안한다. 제안된 방법은 구조적 제약 없이 모든 종류의 유한페트리넷에 적용 가능하다.

  • PDF

다중 언폴딩 기법을 이용한 SHA-1 해쉬 알고리즘 고속 구현 (Implementation of High-Throughput SHA-1 Hash Algorithm using Multiple Unfolding Technique)

  • 이은희;이제훈;장영조;조경록
    • 대한전자공학회논문지SD
    • /
    • 제47권4호
    • /
    • pp.41-49
    • /
    • 2010
  • 본 논문은 다중 언폴딩 기법을 이용한 고속 SHA-1 해쉬 알고리즘 구현 방법을 제시하였다. 제안된 SHA-1 해쉬 구조는 알고리즘의 반복적인 단계 연산을 언폴딩한 후 연산의 순서를 재 배열하고, 임계경로에 포함된 연산의 일부를 이전 단계에서 선행연산하여 임계경로의 길이를 줄였다. 제안된 SHA-1 해쉬 구조는 최대 118 MHz의 동작주파수에서 5.9 Gbps 처리량을 나타낸다. 이는 기존의 SHA-1 보다 전송량이 26% 증가하였고, 회로 크기가 32% 감소하는 결과를 얻었다. 또한 이 논문에서는 여러 개의 SHA-1 모듈을 시스템 레벨에서 병렬로 연결하여 여러 개의 SHA-1을 다중 처리하여 고속화를 할 수 있는 모델을 제안했다. 이 모델은 하나의 SHA-1을 사용하는 것보다 빠르게 데이터를 처리할 수 있고 입력되는 데이터의 최소한의 지연으로 처리 가능하다. 제안된 모델은 입력되는 데이터가 지연 없이 처리 되도록 하기 위해 필요로 하는 SHA-1의 FPGA 수를 구할 수도 있다. 고속화된 SHA-1은 압축된 메시지에 유용하게 사용될 수 있고 모바일 통신이나 인터넷 서비스 등의 강한 보안에 널리 이용가능하다.

최대 임계 지연 크기에 따른 SHA-1 파이프라인 구성 (SHA-1 Pipeline Configuration According to the Maximum Critical Path Delay)

  • 이제훈;최규만
    • 융합보안논문지
    • /
    • 제16권7호
    • /
    • pp.113-120
    • /
    • 2016
  • 본 논문은 SHA-1 암호 알고리즘의 최대 임계 지연과 유사한 연산 지연을 갖는 새로운 고속 SHA-1 파이프라인 구조를 제안한다. 기존 SHA-1 파이프라인 구조들은 하나의 단계연산 혹은 언폴딩된 단계연산에 기반한 파이프라인 구조를 갖는다. 파이프라인 실행에 따른 병렬 처리로 성능은 크게 향상되나, 라운드의 모든 단계연산을 언폴딩하였을 때와 비교하여 최대 임계 지연의 크기가 증가한다. 제안한 파이프라인 스테이지 회로는 라운드의 최대 임계 지연을 반복 연산 수로 나눈 만큼의 지연 시간을 갖도록 구성함으로써, 불필요한 레이턴시 증가를 방지하였다. 실험 결과, 회로크기에 따른 동작속도 비율에서 제안된 SHA-1 파이프라인 구조는 0.99 및 1.62로 기존 구조에 비해 우월함을 증명하였다. 제안된 파이프라인 구조는 반복 연산을 갖는 다양한 암호 및 신호 처리 회로에 적용 가능할 것으로 기대된다.

LiI 섬광검출기 기반의 보너구 스펙트로메터를 이용한 MC50 사이클로트론의 중성자스펙트럼 측정 (Measurement of neutron spectra in MC50 cyclotron using Bonner sphere spectrometer with LiI scintillation detector)

  • 하위호;박세영;유재룡;윤석원;이승숙;김정호;김종경
    • Journal of Radiation Protection and Research
    • /
    • 제38권3호
    • /
    • pp.143-148
    • /
    • 2013
  • 원자력발전소 및 입자 가속기 등 상용화된 원자력관계시설에서는 해당 시설 내부의 구조 및 위치 등에 따라 다양한 에너지를 가진 중성자스펙트럼을 나타내며 이에 대한 중성자선량 평가 및 작업자의 방사선방호 조치에 대한 수요는 점차 증가하고 있다. 중성자스펙트럼을 측정하기 위해서 일반적으로 보너구 스펙트로메터가 많이 이용된다. 보너구 스펙트로메터를 이용한 중성자 스펙트럼 측정의 경우 중성자검출기의 반응함수, 초기추정 스펙트럼, 계수율 측정값을 사용하여 중성자스펙트럼 언폴딩을 수행하게 된다. 본 연구에서는 MC50 사이클로트론에서 발생하는 중성자스펙트럼을 LiI 섬광검출기 기반의 보너구 스펙트로메터를 이용하여 측정하였으며 표적에 입사되는 양성자 에너지와 위치에 따른 중성자선속, 중성자 평균에너지 및 선량률 자료를 정량적으로 평가하였다.