• 제목/요약/키워드: 절차적 생성

검색결과 412건 처리시간 0.032초

윈도우 서버 2012에서 데이터 중복 제거 기능이 적용된 파일의 복원 방법에 관한 연구 (A Study of Method to Restore Deduplicated Files in Windows Server 2012)

  • 손관철;한재혁;이상진
    • 정보보호학회논문지
    • /
    • 제27권6호
    • /
    • pp.1373-1383
    • /
    • 2017
  • 중복 제거는 데이터를 효과적으로 관리하여 저장 공간의 효율성을 높이기 위한 기능이다. 중복 제거 기능이 시스템에 적용되면 저장되어 있는 파일을 청크 단위로 분할하고 중복되는 부분은 하나의 청크로만 저장함으로써 저장 공간을 효율적으로 사용할 수 있게 한다. 하지만 중복 제거된 데이터에 대해 상용 디지털 포렌식 도구에서 파일시스템 해석을 지원하지 않으며, 도구로 추출된 원본 파일을 실행하거나 열람할 수 없는 상황이다. 따라서 본 논문에서는 중복 제거 기능을 적용할 수 있는 윈도우 서버 2012 시스템을 대상으로 청크 단위의 데이터를 생성하는 과정과 그 결과로 생성되는 파일의 구조를 분석하고, 기존 연구에서 다뤄지지 않은 청크가 압축되는 경우에 대해서도 분석결과를 도출하였다. 이러한 결과를 바탕으로 디지털 포렌식 조사에서 적용할 수 있는 수집 절차와 원본 파일로 재조합하기 위한 방법을 제시한다.

다중 하중 과도응답해석 과정에 대한 크리로프 부공간 모델차수축소법의 자동화 (Automation of Krylov Subspace Model Order Reduction for Transient Response Analysis with Multiple Loading)

  • 한정삼;김승현
    • 한국전산구조공학회논문집
    • /
    • 제34권2호
    • /
    • pp.101-111
    • /
    • 2021
  • 다중 하중 과도응답해석은 시간에 따른 작용 하중에 대한 과도응답을 확인하므로 정교한 시스템 모델링 및 조밀한 시간 간격을 가질수록 해당 시스템에 대한 동특성은 정확하게 나타내지만 이에 따른 계산 시간은 크게 증가하게 된다. 크리로프 부공간 기반 모델차 수축소법은 기계 시스템이 가지는 동적 특성과 거의 동일한 결과를 나타내면서 계산 시간을 줄일 수 있기 때문에 효율적인 과도응답해석 방법이다. 본 연구에서는 다중 하중 및 이동 하중을 가지는 수치 예제를 통하여 크리로프 부공간 모델차수축소법 기반 과도응답해석을 수행하고, 이를 통해 초기 시스템 및 축소차수 모델의 정확성 및 효율성을 비교하였다. 또한, 시스템 행렬 추출, 크리로프 부공 간의 기저 벡터로 구성되는 변환행렬 생성 및 축소차수모델 생성 그리고 이를 바탕으로 과도응답해석을 하는 절차를 수립하여 상용 유한요소 프로그램인 ANSYS Workbench ACT를 통해 과도응답해석 과정 자동화를 구현하여 그 효용성과 효율성을 보였다.

수리/수치파동수조에서 안정적인 쓰나미 조파를 위한 고찰 (A Study on Stable Generation of Tsunami in Hydraulic/Numerical Wave Tank)

  • 이우동;박종률;전호성;허동수
    • 대한토목학회논문집
    • /
    • 제36권5호
    • /
    • pp.805-817
    • /
    • 2016
  • 본 연구에서는 쓰나미에 대응할 수 있는 다양한 파형의 고립파를 수리/수치파동수조에서 안정적으로 생성시키기 위하여 기존의 고립파 근사이론에 관한 검토를 수행하였다. 그리고 이 근사이론식을 토대로 다양한 고립파의 파형을 추정할 수 있는 두 가지 방법을 제안하였다. 이 방법들은 기존의 고립파 근사식들을 토대로 파형분포조절계수와 가상수심계수를 적용하여 다양한 파형 및 유속을 추정하는 절차를 거친다. 새롭게 제안한 고립파 추정방법들을 수리/수치파동수조의 조파에 적용하였다. 그 결과, 수리파동수조에서는 조파기의 위치정보신호를 추정할 수 있을 뿐만 아니라, 기존의 수리모형실험의 입력신호와 매우 유사한 것을 확인할 수 있었다. 수치파동수조에서는 파랑을 생성하기 위하여 고립파의 파형 및 유속을 적용하였다. 그리고 기존의 고립파 근사이론으로는 재현할 수 없었던 쓰나미의 파형을 조파할 수 있었고, 기존 실험결과와 높은 일치도를 나타내는 것을 확인할 수 있었다. 이로써 수리/수치파동수조에서 안정적인 쓰나미를 생성하기 위하여 제안한 두가지 추정방법의 타당성 및 유효성을 확인할 수 있었다.

키넥트를 이용한 배추 생체중 추정 (Estimation of fresh weight for chinese cabbage using the Kinect sensor)

  • 이석인;김광수
    • 한국농림기상학회지
    • /
    • 제20권2호
    • /
    • pp.205-213
    • /
    • 2018
  • 작물 모델의 개발과 검증에 사용되는 생체중 자료는 파괴적 샘플링을 통해 얻어져 왔다. 파괴적 샘플링이 가지는 단점을 보완하기 위해 저가형 3D 센서인 Kinect 센서와 무료 공개 소프트웨어들을 사용하여 생체중을 추정하는 기법을 개발하였다. 특히, 많은 작물모델들이 개발되어 있지 않은 배추를 대상으로 입체이미지를 생성하여, 그로부터 얻어진 부피와 생체중 추정치의 신뢰도를 분석하고자 하였다. 크기가 다른 배추 결구 부위를 스캔하기 위해 Kinect 센서와, Microsoft가 무상으로 제공하는 Software Development Kit 내 Kinect Fusion Explorer 프로그램을 사용하였다. 개별 배추의 입체이미지를 생성하기 위해 3D 그래픽 편집 소프트웨어인 Meshlab을 활용하여 배경과 불필요한 물체를 수동으로 제거하였다. 또한, 불완전한 입체모델로부터 생체중 추정을 위해 3D 프린터 소프트웨어인 Makerbot Desktop 을 사용하여 배추를 생성하기 위해 필요한 플라스틱 필라멘트 소모량을 추정하였다. 입체모델 편집 프로그램인 Blender를 사용하여 부피를 추정하였을 때, 실제 부피에 비해 17.6%에서 2160.6% 범위의 상당한 오차가 있었다. 반면, 필라멘트 소요량은 실제 배추 생체중 변이의 98.7%를 설명할 수 있었다. 또한, 이들의 상관관계는 5% 수준에서 유의하였다. 이러한 결과들은 직접적인 부피 계산 절차를 제외하더라도 간편하게 생체중을 추정할 수 있음을 확인하였다. Kinect 센서를 사용하여 배추의 생체중 추정이 가능하다는 것이 확인 되었으나, 기존의 고가형 3D 센서에 비해 낮은 해상도와 주간에 활용이 어려운 점이 있다. 그럼에도 불구하고, 배추 생육 모델의 시계열적 검증 자료를 Kinect 센서를 이용하여 간편하고 신속하게 획득할 수 있어 모델의 불확도를 감소하는 데에 기여할 수 있을 것으로 판단된다. 따라서, 후속 연구에서 보다 저렴한 가격대의 3D 센서들을 대상으로 야외 및 주간조건애서 작물의 생체중 측정 가능성에 대해 검토하고 작물 모형 개발 및 개선을 위한 기술개발이 이루어져야 할 것으로 사료된다.

포인트와 라인 세그먼트의 해석적 에러 검증을 위한 확률기반 시뮬레이션 모델에 관한 연구 (A Study on Stochastic Simulation Models to Internally Validate Analytical Error of a Point and a Line Segment)

  • 홍성철;주용진
    • Spatial Information Research
    • /
    • 제21권2호
    • /
    • pp.45-54
    • /
    • 2013
  • 해석적 또는 시뮬레이션 오차 모델은 공간 데이터가 가지는 위치오차의 분포를 설명 하는데 유용하다. 그러나 두 오차 모델은 위치오차를 모델링을 하기위하여 다른 접근 방법을 이용하므로 정의된 조건 내에서 올바른 위치오차를 예측 하는지 확인하는 내적 검증을 필요로 한다. 이에 본 논문은 오차타원과 에러밴드 모델을 이용하여 제시한 포인트와 라인 세그먼트 시뮬레이션 오차 모델을 내부적으로 검증하는 방법을 제안하였다. 시뮬레이션 오차 모델은 분산-공분산 행렬(variance-covariance matrix)의 변수에 의해 규정된 확률분포에 따라 몬테카를로 시뮬레이션을 이용하여 위치오차들을 생성한다. 검증절차에서는 시뮬레이션 모델에 의한 위치오차의 집합을 해석적 오차 모델에 의한 이론적 위치오차와 비교하였다. 결과적으로 제안된 시뮬레이션 오차 모델은 정의된 위치오차에 따라 동일한 공간 데이터의 위치적 불확실성을 실현함을 확인할 수 있었다.

국내 공항 주변환경에서의 전리층 폭풍이 항공용 지역위성항법 보강시스템에 미치는 영향 및 비행 시험을 통한 Code-Carrier Divergence Test 결과 분석

  • 주정민;허윤정;조정호;허문범
    • 한국우주과학회:학술대회논문집(한국우주과학회보)
    • /
    • 한국우주과학회 2010년도 한국우주과학회보 제19권1호
    • /
    • pp.35.3-35.3
    • /
    • 2010
  • 항공용 지역위성항법 보강시스템(Ground Based Augmentation System, GBAS)은 지상에서 위성항법시스템에 대한 위치보정정보와 무결성 정보를 생성 및 제공하여 공항 주변 항공기의 정밀 이착륙을 돕는 지상기반의 시스템이다. 이 시스템은 기본적으로 위성항법신호를 사용하기 때문에 전리층 영향을 받게 되는데 특히 전리층 폭풍(Ionospheric storm)의 경우 공간적으로 급격한 위치오차 차이를 발생시키기 때문에 안정적인 항공기의 정밀이착륙을 위해서는 전리층 폭풍의 영향을 최소화 하는 것이 중요하다. 이를 위하여 현재 항공용 지역위성항법 보강시스템의 지상시스템(Ground Facility)과 항공기 탑재시스템에서의 전리층 폭풍에 대한 정확한 감시와 전리층 폭풍의 지배적 영향을 받는 위상항법신호를 제거하거나 보완하는 방식 등 전리층 폭풍의 영향을 최소화하기 위한 기법들이 계속해서 연구 중이다. 이 논문에서는 2001년과 2003년 미국에서 발생한 전리층 폭풍에 대한 위성항법데이터 분석 결과와 기존의 연구결과를 기반으로 전리층 폭풍에 대한 모델링과 지상시스템과 항공기 간의 공간적 상이현상(Spacial decorrelation)을 고려하여 전리층 폭풍이 항공기 이착륙에 미치는 영향에 대한 분석 결과를 제시한다. 전리층 폭풍에 대한 수학적 모델링을 하기 위해서는 전리층 폭풍의 물리적 특성에 대한 이해와 전리층 폭풍 발생 시 획득한 위성항법 데이터를 이용한 통계학적 분석이 선행되며 이러한 분석결과와 항공기 이착륙에 절차를 반영하여 항공기에 미치는 영향 분석을 위한 수학적 모델을 완성하였다. 완성된 모델을 국내 공항에서 실제 비행시험을 통하여 획득한 위성항법데이터에 적용하여 전리층 폭풍이 국내 공항에서 항공기 이착륙에 어떠한 영향을 미치는지를 분석하였다. 또한, 대표적 전리층 폭풍 감지기법 중 하나인 Code-Carrier Divergence Test 알고리즘을 적용한 결과도 함께 제시하였다. 이 논문의 결과는 항공용 지역위성항법 보강시스템에 대한 전리층 폭풍의 영향을 최소화하기 위한 기법 연구의 기반이 되며 시스템의 성능평가를 위한 다양한 시뮬레이션환경의 하나로서도 활용이 가능할 것이다.

  • PDF

한국어 튜터링 챗봇을 위한 말뭉치 구축 (Building a Corpus for Korean Tutoring Chatbot)

  • 김한샘;최경호;한지윤;정해영;곽용진
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 2017년도 제29회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.288-293
    • /
    • 2017
  • 교수-학습 발화는 발화 턴 간에 규칙화된 인과관계가 강하고 자연 발화에서의 출현율이 낮다. 일반적으로 어휘부, 표현 제시부, 대화부로 구성되며 커리큘럼과 화제에 따라 구축된 언어자원이 필요하다. 기존의 말뭉치는 이러한 교수-학습 발화의 특징을 반영하지 않았기 때문에 한국어 교육용 튜터링 챗봇을 개발하는데에 활용도가 떨어진다. 이에 따라 이 논문에서는 자연스러운 언어 사용 수집, 도구 기반의 수집, 주제별 수집 및 분류, 점진적 구축 절차의 원칙에 따라 교수-학습의 실제 상황을 반영하는 준구어 말뭉치를 구축한다. 교실에서 발생하는 언어학습 상황을 시나리오로 구성하여 대화 흐름을 제어하고 채팅용 메신저와 유사한 형태의 도구를 통해 말뭉치를 구축한다. 이 연구는 한국어 튜터링 챗봇을 개발하기 위해 말뭉치 구축용 챗봇과 한국어 학습자, 한국어 교수자가 시나리오를 기반으로 발화문을 생성한 준구어 말뭉치를 최초로 구축한다는 데에 의의가 있다.

  • PDF

홈 네트워크 디바이스에서 ZigBee기반의 안전한 인증 메커니즘 (HAN(Home Area Network) in Zigbee Safety Authentication Mechanism for Zigbee Device)

  • 최지훈;김정재;전문석
    • 한국산학기술학회:학술대회논문집
    • /
    • 한국산학기술학회 2010년도 추계학술발표논문집 1부
    • /
    • pp.267-271
    • /
    • 2010
  • Zigbee는 단말에 대한 경제성이 뛰어나고 저 전력통신을 이용하기 때문에 수명이 길다. Mesh, Tree, Star 등 다양한 방식의 토플리지 구조를 지원 하며 확장성이 뛰어나 군사적인 용도, 환경 모니터링 시스템 등 많은 분야에 사용되고 있다. 최근 스마트그리드환경을 구축함에 있어 Zigbee는 HAN(Home Area Network)에 표준으로 사용될 예정이며 현재는 Zigbee를 이용한 AMR(Automatic Meter Reading)을 시범 중에 있다. 일반적으로 ZIgbee Network은 ZC(Zigbee Coordinator), ZCH(Zigbee Cluster Head), ZE(Zigbee End Device) 3가지로 구성되며, Zigbee Network에서 발생할 수 있는 취약점은 허가되지 않은 디바이스의 접근, 라우터의 흐름을 조작하는 방법, ZC(Zigbee Coordinator)와 ZE(Zigbee End Device)사이의 키 전송 시 안전하지 않은 채널을 이용하여 전송되는 문제가 발생된다. 본 논문에서는, TCP(Third Party Center)를 이용함으로써, ZE와 ZC간의 키 생성 시 발생하는 취약점을 보완하였다. 또한 인증절차를 강화함으로써 ZE(Zigbee End Device)에서 발생 할 수 있는 취약점을 보완하고자 하였으며 RS(Register Server)를 이용하여 HAN에 존재하는 디바이스에 대하여 실시간 모니터링이 가능하게 하였다.

  • PDF

시뮬레이션에 기초한 일정계획 시스템에서의 납기산정 절차 (An Order Promising Procedure for Simulation-Based Scheduling Systems)

  • 박문원;최성훈;이근철;김영대
    • 한국경영과학회:학술대회논문집
    • /
    • 대한산업공학회/한국경영과학회 2002년도 춘계공동학술대회
    • /
    • pp.103-108
    • /
    • 2002
  • 본 연구는 주문형 반도체 생산공장이나 인쇄회로기판 제조공장과 같이 매우 다양한 제품들을 주문에 의해 생산하며 제조공정이 매우 길고 복잡한 생산 시스템에 대하여 다룬다. 이러한 생산 시스템은 그 특성상 APS (Advanced Planning and Scheduling)의 일정계획(scheduling) 모듈로서 시뮬레이션(simulation)이 유일한 대안이 되는 경우가 발생할 수 있다. 시뮬레이션 기법은 복잡한 상황도 대부분 묘사가 가능하기 때문에 사실적이고 실현 가능한 일정계획을 생성할 수 있다는 장점이 있는 반면 수행시간이 상당히 길다는 단점이 있다. 기업이 경쟁력을 가지기 위해서는 고객이 의뢰한 주문에 대하여 가능 납기(가능한 생산완료 시점)를 빠른 시간 내에 정확히 알려주어야만 한다. 따라서, APS 역시 "즉시 납기산정, 정시 납품:(commit now, deliver on time)을 캐치프레이즈(catch phrase)로 한다. 하지만 시뮬레이션은 :정시 납품:이 가능한 납기를 산정할 수 있을지는 모르지만 "즉시 납기산정"이 불가능하다. 따라서, 본 연구에서는 시뮬레이션에 근거한 일정계획 모듈을 가지고 있는 APS 시스템에서 납기산정을 빠르고 정확하게 할 수 있는 방법론을 제시한다. 이 방법론은 기존의 MRP Ⅱ 및 ERP 시스템에서 행하던 ATP (available to promise) 흑은 CTP (capable to promise) 기법과 차별화 되며, 의뢰한 주문의 생산착수 시점과 제조 리드타임을 합리적이고 신속하게 산출한다.

  • PDF

안전한 WiBro 서비스를 위한 새로운 인증 프로토콜 (A Novel Authentication Protocol for Secure WiBro Services)

  • 구중숙;김진근;박종혁;구중두;이기성
    • 한국산학기술학회:학술대회논문집
    • /
    • 한국산학기술학회 2008년도 춘계학술발표논문집
    • /
    • pp.224-227
    • /
    • 2008
  • 사용자가 안전한 WiBro 서비스를 받기 위해서 사용자 단말과 ACR(Access Control Router) 간에 인증이 선행되어야 한다. 그렇지 않을 경우, 많은 공격 위험으로부터 노출될 수 있다. 따라서 한국정보통신기술협회(TTA)에서는 휴대인터넷(와이브로$^{TM}$) 서비스를 위한 상호 인증 절차 표준을 제정하였다. 이 표준 프로토콜은 PISIM(Portable Internet Subscriber Identity Module)을 이용하여 PE(Portable Equipment)와 ACR 간에 상호 인증을 수행한다. 그러나 표준은 인증에 필요한 메시지의 수가 대체적으로 많은 편이며 PISIM의 분실과 에러가 발생했을 경우에는 사용자는 무선인터넷 서비스를 사용할 수 없게 된다. 따라서 본 논문에서는 ACR과 PSS 간에 키 동의 프로토콜을 수행하여 PSS를 인증한다. 이때 PSS의 계산량을 지원하기 위한 PSD(Power Support Device)가 키 동의 프로토콜에 참여하게 된다. 이렇게 생성된 키는 ACR과 안전한 통신 세션을 맺고 있는 KAS(Key Authentication Server)에 PSS의 식별자와 키 정보를 암호화에서 저장한다. 끝으로 제안된 프로토콜의 안전성과 효율성을 분석한다.

  • PDF