• 제목/요약/키워드: 존재 증명

검색결과 529건 처리시간 0.02초

디지털 증거 선별 조사의 효율성을 위한 Digital Evidence Container 설계 및 구현 (A New Design and Implementation of Digital Evidence Container for Triage and Effective Investigation)

  • 임경수;이창훈;이상진
    • 전자공학회논문지CI
    • /
    • 제49권4호
    • /
    • pp.31-41
    • /
    • 2012
  • 최근 국내외 수사 기관은 초동 수사 시 현장에 컴퓨터가 있을 경우, 사이버 범죄 수사가 아닌 경우에도 시스템을 압수 또는 확보하는 것이 필수적인 단계로 자리 잡고 있다. 이렇게 확보한 시스템으로부터 용의자의 범죄 사실 입증을 위한 정황 증거를 확보하여 수사에 활용되고 있다. 하지만 사이버 범죄가 아닌 일반 범죄 사건에서 확보한 시스템에서 디스크 이미지를 확보한 후, 면밀히 조사하는 것은 시간이 많이 소요되며 신속한 사건 대응이 필요한 납치, 살인사건과 같은 범죄 유형에는 더욱 어려움이 따른다. 또한 기업 수사에서도 대용량 데이터베이스나 파일 서버 조사에서 나아가 클라우드 환경에서는 디스크 단위의 복제는 불가능하므로 선별 수집한 디지털 증거를 분석에 이용해야 한다. 하지만 다양한 종류의 디지털 증거를 선별 수집하더라도 이를 저장 및 보관하기 위한 표준화된 데이터 포맷이 존재하지 않아 법정에서 증거력을 증명하기 어려운 것이 현실이다. 따라서 본 논문에서는 선별 수집된 다양한 디지털 증거를 보관하기 위한 새로운 증거 보관 포맷을 제시한다. 본문에서 제시하는 디지털 증거 포맷은 다양한 디지털 증거 자료에 활용할 수 있도록 범용성과 확장성에 중심을 두었으며, 일반적인 XML 기술과 압축 파일 포맷을 이용하여 기존 시스템에 적용하기 쉽도록 설계하여 기존 연구들보다 활용하기 쉬운 장점이 있다.

엔트로피 개념을 이용한 개수로에서 등류 및 부등류 흐름의 전단응력 산정 (The Estimation of Shear Stress in Uniform and Nonuniform Flow by the Entropy Concept)

  • 추연문;추태호;양다운;김중훈
    • 한국습지학회지
    • /
    • 제19권2호
    • /
    • pp.202-210
    • /
    • 2017
  • 전단응력은 여러 분야에서 사용하는 매우 중요한 역학 인자 중 하나이며, 인공수로의 설계를 위해서 중요하다. 현재 전단응력은 과거에 정해진 계산법을 사용하고 있지만, 사용되는 식에서 바닥전단응력과 에너지경사와 같이 실제로 측정하거나 계산하기 어려운 요소들이 존재한다. 특히, 에너지경사는 산정하기 매우 어려운 인자이며, 전단응력분포를 구하기위해서는 에너지경사가 있어야만 산정할 수 있지만, 경계층의 유속기울기와 유속을 측정하는 것은 현실적으로 어려운 부분이다. 또한 전단응력분포 중 바닥전단응력은 직접 측정하기 매우 어렵고, 유속에 비해 연구가 다소 더딘 실정이다. 전단응력분포를 정확하게 산정할 수 있다면, 바닥전단응력과 에너지경사를 손쉽게 산정할 수 있다. 본 연구에서는 에너지경사를 반영하지 않고 엔트로피 M을 이용하여 평균유속과 전단응력분포를 간단히 산정하는 연구를 진행하였고, 적용한 식의 효용성을 증명하기 위해 기존의 실험실 실측 자료를 사용하였다. 이는 그래프를 통해 응력분포를 나타내어 비교분석을 하였으며, 등류와 부등류에서 각각 결정계수는 0.930-0.998까지로 거의 일치하였다.

진정성(authenticity)과 완전성(integrity)을 적용한 서원의 식재 실태 (The Planting of a Seowon(書院) Made to the Authenticity and Integrity Status)

  • 이원호;이소현;신현실
    • 한국전통조경학회지
    • /
    • 제31권2호
    • /
    • pp.31-42
    • /
    • 2013
  • 본 논문은 최근 세계문화유산 등재 추진 중에 있는 서원의 조경 공간 및 그 공간을 구성하고 있는 요소들을 도출한 후 새롭게 도입된 수목에 대한 실태와 유형변화를 규명하고, 등재에 있어서 중요가치인 진정성과 완전성 측면으로 조명하였다. 그 결과는 다음과 같이 요약될 수 있다. 각종 고문헌에서 나타난 수목으로는 복사나무, 매실나무, 버드나무 등 10종이었다. 공간별 식재현황으로는 수종에 따라 어느 정도의 규칙성을 보였는데, 향나무, 배롱나무, 대나무(오죽) 등 3종류는 주로 서원의 본질적 공간(경내)에 위치하고, 느티나무, 버드나무는 주로 서비스 공간(경외)에 위치했다. 공간 구분 없이 위치하는 수종으로는 향나무, 은행나무 등 5종류로 이 수종은 전국 서원에서 가장 많이 나타나는 서원의 대표적 수목이라고 할 수 있다. 유한한 생장력을 가진 식물은 서원의 역사를 증명하는 요소이며, 배향인물(配享人物)이 선호했다는 상징적인 의미가 부여되므로 진정성 측면에 부합한다. 수년간에 걸쳐 수행된 정비사업은 원형을 훼손시켰으며, 철저한 고증을 거치지 않고 무분별하게 식재된 수목으로 인하여 본질적 공간의 존재감을 약화시키는 결과를 낳았다. 따라서 본래 가지고 있던 기능이 변화된 현재의 시점을 반영한 사적의 본 모습을 갖추어 나가 다양한 장소의 역사성을 잘 드러낼 수 있도록 보존해야 할 것이다. 이는 식물을 대상으로 한정된 것으로 향후 건축물 등 공간적 차원에서의 연구가 이루어져 총체적인 공간구성에 대하여 본질적 가치를 판단하는 연구가 계속되어야 할 것이다.

주문형 비디오 서버의 버퍼 최소화를 위한 가변적 서비스 모드 변환 (Adaptive Service Mode Conversion to Minimize Buffer Space Requirement in VOD Server)

  • 원유집
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제28권5호
    • /
    • pp.213-217
    • /
    • 2001
  • CPU, 네트웍 대역폭, 디스크 속도등 컴퓨터와 통신 기반을 이루는 기반기술의 급진적인 발달에 따라, 컴퓨터 또는 단말기로 멀티미디어 데이터 서비스를 받는 것이 이제는 우리 생활의 일부분이 되었다. 이러한 급속한 서비스 저변의 확대에도 불구하고 아직도 고화질 멀티미디어 서비스를 제공하는 데 있어서 많은 기술적인 문제가 존재하는 것이 현실이라고 할 수 있겠다. 그 중의 하나로 멀티미디어 정보를 디스크로부터 읽어들여 실시간 상영하는 경우, 과도한 주기억 장치 버퍼의 요구가 문제점으로 등장한다. 주기억 장치 버퍼가 필요한 이유는 디스크는 자료를 비동기적으로 읽는데 반해 멀티미디어 데이터(프레임)를 상영하는 방법은 동기적으로 행해지므로 두 가지 특성이 다른 작업간에 비동기성을 해결하기 위함이다. 사용자에게 스트리밍 데이터를 전송하는 방법에는 두 가지 (디스크에서 읽어들이는 방법 : 디스크 모드와 기존에 메모리에 탑재된 데이터를 재 전송하는 방법 : 메모리 모드)가 있는데, 각 방법에 따라 필요로 하는 주기억 장치 버퍼의 양이 다르다. 본 연구에서는 각 방법에 따른 주기억 장치 요구량을 계산하는 모델을 개발하고, 전체 버퍼양을 최소화하도록 자료 전송방법을 가변적으로 변환시키는 기법을 소개한다. 본 기법의 가장 큰 장점은 각 비디오 세션의 데이터 전송하는 방법이 서버의 상태에 따라서 가변적으로 변환된다는 사실이다. 본 기법은 대용량 비디오 서버에서 다수의 멀티미디어 세션을 상영하는 데 필요한 버퍼 양을 효과적으로 감소 시킬수 있으며, 특히 사용자들의 주문이 소수의 화일들에게 집중되어 있는 경우 더욱 효과적으로 작동하고 있다. 제안된 기법의 근간이 되는 이론들의 구체적인 모델링이 제공되었으며, 본 기법이 항상 최적의 해를 구한다는 사실은 증명을 통해 보여진다. 주창되는 기법의 효율성과 성능을 시뮬레이션을 통해서 검증한다.

  • PDF

선형 계획법을 이용한 Timing Diagram의 테스트 입력 시퀀스 자동 생성 전략 (Test Input Sequence Generation Strategy for Timing Diagram using Linear Programming)

  • 이홍석;정기현;최경희
    • 정보처리학회논문지D
    • /
    • 제17D권5호
    • /
    • pp.337-346
    • /
    • 2010
  • Timing diagram은 시간에 따른 시스템의 행동을 표현하기 용이하고 표현된 행동을 쉽게 인식할 수 있는다는 장점 때문에 널리 사용되고 있다. Timing diagram으로 기술된 시스템을 테스트 하기 위해서는 여러 기술이 필요하다. 그 중의 하나는 테스트 케이스 목표들이 존재할 때, 시스템 모델이 원하는 상태에 도달하도록 하기 위해 입력 값들의 시퀀스를 생성하는 기술이다. 본 논문은 Timing diagram모델에 대한 테스트 케이스 목표로부터 테스트 입력 시퀀스를 자동으로 생성하는 방법을 제안한다. Timing diagram에서 테스트 입력 시퀀스를 자동으로 생성하기 위해서는 입력 waveform과 시간 제약으로 이루어진 시점의 전이 조건을 만족시키는 적절한 입력 집합을 필요로 한다. 이와 같은 문제를 해결하기 위해, 본 논문에서는 선형 계획법을 이용한 접근 방식을 택하였는데, 해결과정은 다음과 같다. 1) Timing diagram 모델을 입력으로 받아 이를 선형 계획 문제로 변형한다. 2)변형된 선형 계획 문제를 선형 문제 해결 도구를 사용하여 해결한다. 3) 선형 계획 문제의 해답으로부터 Timing diagram모델의 테스트 입력 시퀀스를 생성한다. 본 논문에서는 임의의 Timing diagram 모델에 대해 이를 선형 계획법으로 모델링 하는 방법을 형식적으로 기술하였고, 증명을 통해 본 논문의 접근 방법의 타당성을 보였으며, 또한 도구를 구현하여 Timing diagram 예제 모델로부터 테스트 입력 시퀀스를 생성함으로써 본 논문의 유용성을 입증하였다.

산화환원효소에 의한 휴믹산의 산화중합반응 (Oxidative Coupling Reaction of Purified Aldrich Humic Acid by Horseradish Peroxidase)

  • 지상현;김도군;김정현;고석오
    • 대한환경공학회지
    • /
    • 제32권11호
    • /
    • pp.1054-1062
    • /
    • 2010
  • 휴믹물질의 산화중합반응은 천연 효소나 금속산화물 촉매에 의해 유도될 수 있다. 본 연구에서는 천연 효소인 horseradish peroxidase (HRP)에 의한 휴믹산의 특성 변화와 이러한 변화된 특성이 정밀여과 공정에 미치는 영향을 평가하였다. 정제된 Aldrich 휴믹산(PAHA)이 HRP 및 과산화수소 존재 하에 산화중합되어 보다 크고 복잡한 분자를 형성하였으며, 크기배제크로마토그래피(SEC, size exclusion chromatography, SEC)에서도 평균분자량의 증가가 관찰되었다. 또한, HRP 및 $H_2O_2$ 주입량이 증가함에 따라 PAHA의 분자량은 더욱 증가하였다. 휴믹물질의 화학적 안정성은 산화중합반응에 기인한 휴믹 분자 상호간의 공유결합이 촉진됨에 따라 향상되었으며, 형광 분광 및 적외선 분광 분석 결과, 산화중합반응에 의한 PAHA 분자 작용기의 변화도 확인되었다. 수처리 공정에 미치는 영향을 평가하기 위해, 정밀여과를 적용한 결과, 산화중합반응 산물은 높은 분자량으로 인해 그 제거효율이 크게 향상되었다. 이는 산화중합된 자연유기물이 정밀여과에 의해 제거될 수 있음을 증명하는 것이다.

R. sphaeroides 에서의 orf282 유전자의 분석과 이들의 기능 (Analysis of the orf 282 Gene and Its Function in Rhodobacter sphaeroide 2.4.1)

  • 손명화;이상준
    • 생명과학회지
    • /
    • 제22권8호
    • /
    • pp.1009-1017
    • /
    • 2012
  • Rodobacter sphaeroides에서 orf282 유전자는 cbb3 terminal oxidase를 암호화하는 ccoNOQP 오페론과 혐기적 활성자인 FnrL을 암호화하는 fnrL 유전자 사이에 있으며, 아직은 기능이 잘 알려지지 않았다. orf282 유전자의 기능을 알기 위해 우리는 orf282의 일부를 삭제함으로써 유전자를 붕괴시켜 orf282-minus mutant를 제조하였다. 두개의 FnrL 결합 부위가 orf282의 upstream에 존재한다는 것이 밝혀져 있으며, orf282 유전자가 FnrL에 의해 양성적으로 조절된다는 것이 증명되었다. orf282 유전자는 B875와 B800-850 spectral complexes의 형성과 관련이 없다. orf282 mutant에서의 cbb3 oxidase 활성을 wild type와 비교해보면 orf282 유전자가 ccoNOQP 오페론의 조절과 cbb3 cytochrome c oxidase의 생합성과 무관하다는 것을 알 수 있다. orf282 mutant의 구조 유전자인 nifH와 조절유전자인 nifA의 프로모터 활성이 증가한 것은 orf282 유전자 산물이 nifH와 nifA의 발현에서 음성적 effector로 작용한다는 것을 시사한다.

PC12 세포에서 생물학적 활성에 미치는 원지 열수 추출물의 효능 (Effect of Polygala radix Hot Water Extract on Biological Activity in PC12 Cells)

  • 남향;김문무
    • 생명과학회지
    • /
    • 제23권8호
    • /
    • pp.1041-1049
    • /
    • 2013
  • 원지의 뿌리는 기억력을 향상시키는 동양의 전통 약재로 널리 알려져 있다. 그러나 그 작용기전은 아직까지 해명되지 않았다. 본 연구에서는 항산화 효과 뿐만 아니라 신경 세포 에서 파생된 PC12 세포의 acetylcholinesterase(AchE) 활성과 연관된 인지능에 대한 원지열수추출물(PRHWE)의 효과를 in vitro 및 살아 있는 세포에서 조사하였다. 먼저 MTT assay을 이용한 세포생존에 대한 연구에서 PRHWE는 0.1% 이하의 농도에서 세포독성이 없는 것으로 나타났다. PRHWE는 DPPH radical, hydrogen peroxide 및 superoxide의 소거활성과 환원력이 농도에 비례하여 증가시킨다는 것이 관찰되었다. 특히 PRHWE는 hydroxyl radical에 의하여 유발되는 DNA의 산화에 대한 보호효과를 나타내었다. 부가적으로 그것은 신경성세포에서 nitric oxide의 생성을 억제하였다. 더욱이 AchE 활성은 PRHWE의 농도에 비례하여 감소하였다. 뿐만 아니라, PRHWE는 PC12 세포에서 SOD-1과 NOS-2 발현수준을 증가 시킨다는 것이 발견되었다. 더욱이 reporter gene assay를 이용한 실험에서 p53과 NF-${\kappa}B$의 전사활성이 PRHWE의 존재 하에서 감소했다. 그러므로 이러한 결과들은 PRHWE가 신경성세포에서 항산화 활성 및 신경 세포 보호 효과가 있다는 것을 증명하였고, 이는 PRHWE가 사람의 건강을 위한 치료제로 큰 잠재성을 가지고 있다는 것을 시사한다.

Error Component 방법을 이용한 RP.SP 결합모형 개발 (Development of the RP and SP Combined using Error Component Method)

  • 김강수;조혜진
    • 대한교통학회지
    • /
    • 제21권2호
    • /
    • pp.119-130
    • /
    • 2003
  • SP 자료는 현재 존재하지 않는 교통정책 및 계획의 평가를 위해 광범위하게 이용되어 왔으나 현시선호와의 연계가 단점으로 지적되어 왔다. 이를 극복하는 방법의 하나로서 현시선호자료, 즉 RP 자료와의 결합이 제시되어 왔으며 RPㆍSP 결합방법론이 개발되었다. 본 논문의 목적은 Error Component 방법을 이용하여 새로운 RPㆍSP 결합방법을 제시하고 그 유용성을 입증하는 것이다. Error Component 방법은 SP 자료 또는 RP 자료의 상대적인 분산을 구하기 위해 각 자료의 오차를 분할하고 이에 대한 파라메타와 효용의 파라메타를 동시에 추정하는 것이다. 이를 위한 분석자료는 시뮬레이션을 통해서 인위적인 RP 자료와 SP 자료를 생성하여서 사용하였고 생성된 자료로 Error Component 방법을 이용한 결합모형과 기존의 결합방법의 결과를 파라메타 및 시간가치를 척도로 비교ㆍ분석하였다. 연구 결과 본 연구에서 제시한 방법론이 자료의 규모에 관계없이 일관되게 기존 RPㆍSP 결합방법에 의해 추정된 모형보다 가정된 파라메타 값에 일치함을 보여줘 Error Component 방법이 유용함을 증명하였다. 또한 파라메타의 비로 표현한 시간가치도 Error Component 방법의 적용값이 기존방법론의 적용값보다 가정된 값과 유사한 값을 보여 줘 본 연구가 제시한 방법의 우월성을 입증하였다. 또한 기존 결합모형인 동시적 모형과 순차적 모형이 모두 RP자료와 SP자료를 결합하는 방법으로 유용하게 사용될 수 있음을 보여주었으나 동시적방법이 보다 순차적방법보다 효율적인 방법으로 분석되었다.

무선환경에서 효과적인 공간질의 처리를 위한 계층적 비트맵 기반 공간 색인 (A Hierarchical Bitmap-based Spatial Index for Efficient Spatial Query Processing on Air)

  • 송두희;박광진
    • 인터넷정보학회논문지
    • /
    • 제12권6호
    • /
    • pp.43-51
    • /
    • 2011
  • 최근 무선 이동 컴퓨팅 기술과 위치기반 서비스 응용기술 등의 발전으로 과거보다 신속한 질의 처리를 지원할 수 있게 되었다. 그러나 여전히 하드웨어 및 소프트웨어의 기술적 한계가 존재한다. 질의 처리에 있어 가장 중요한 부분은 정확성과 신속성이다. 정확성을 높이기 위해서는 데이터에 상세한 정보를 저장해야 한다. 이 경우 데이터의 정보량이 증가하여 신속성이 떨어지게 된다. 반면에, 신속성을 높이기 위해서는 방송 주기를 줄여야만 얻고자 하는 데이터를 신속하게 얻게 된다. 이 경우 색인 정보의 부족으로 클라이언트의 청취 시간이 증가하여 불필요한 에너지 소모가 발생할 수 있다. 이와 같이, 정확성과 신속성 사이에는 트레이드 오프(trade-off)가 발생한다. 본 논문은 위와 같은 문제점을 극복하기 위해 계층적 비트맵 기반 공간 색인(Hierarchical Bitmap-based Spatial Index: HBI)을 제안한다. 계층적 비트맵 기반 공간 색인은 힐버트 커브(Hilbert Curve) 맵(map) 내에서 객체를 비트(0, 1)로 표기한다. 계층적 비트맵 기반 공간 색인은 비트 정보와 트리 구조를 이용하여 색인크기를 줄이는 방법으로 방송 주기를 줄임으로써 청취 시간과 질의 처리시간을 줄일 수 있다. 또한 계층적 비트맵 기반 공간 색인은 객체의 위치를 모두 파악할 수 있기 때문에 선택적인 청취가 가능하다. 성능평가를 통하여 제안 기법의 우수함을 증명한다.