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

검색결과 1,046건 처리시간 0.024초

그룹 인증 기법을 이용한 이동 멀티미디어 방송 콘텐츠 사용자 관리 방안 (Management of Digital Media Broadcasting Contents Users Based on Group Signature Scheme)

  • 신기우;박영훈;서승우
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송공학회 2010년도 추계학술대회
    • /
    • pp.155-158
    • /
    • 2010
  • 급증하고 있는 이동 멀티미디어 방송 콘텐츠 서비스의 수요에 발맞추어 이 서비스를 이용하는 사용자들을 효율적으로 관리하는 방안에 대해 관심이 집중되고 있다. 1991년 Chaum과 van Heyst에 의해 소개된 그룹 인증 관리 기법은 익명성의 보장이나, 관리상의 편의로 인해 앞에서 언급된 문제를 해결하는 데 중요한 역할을 할 것으로 예상되었다. 하지만, 이후 소개된 몇개의 그룹 인증 관리 기법들이 실제로는 익명성을 보장하지 못 하거나, 외부 그룹에 의해 악용될 수 있다는 점이 증명되어, 그룹 인증 관리 기법을 실제로 응용하기 이전에 안전성 보장을 위해 요구되는 적합한 기준들을 선정하고, 이 기준에 부합하는지를 살펴보는 일이 더욱 시급한 문제로 대두되었다. 이에 본 논문은 이동 멀티미디어 방송 콘텐츠 서비스를 이용하는 사용자들을 그룹 인증 기법으로 관리하는 데 있어, 요구되는 안전성 조건과 이에 적합한 그룹 인증 기법을 소개하고, 실제로 소개한 그룹 인증 기법이 본 논문에서 선정한 안전성 조건에 부합하는지를 증명하였다. 더불어, 그룹 인증 기법을 실제 효과적으로 응용할 수 있는 비즈니스 모델을 제안하여 그룹 인증 기법의 효용 및 앞으로의 개발 방향을 제시하였다.

  • PDF

저주파필터를 적용한 Wegmann 방법의 수렴성에 관한 연구 (A study on the convergence of Wegmann's method applying a low frequency pass filter)

  • 송은지
    • 정보처리학회논문지A
    • /
    • 제11A권2호
    • /
    • pp.203-206
    • /
    • 2004
  • 저자는 등각사상을 구하기 위한 기존의 여러 Theodorsen 방정식의 해법 중 가장 유효한 해법으로 알려져 있는 Wegmann의 방법을 다룬바 있다. Wegmann의 방법으로 수치실험을 한 결과 난이도가 높다고 예상되는 문제에 있어 수렴했다가 발산을 하는 불안정현상이 나타났으며 수렵하지 않는 불안정현상의 원인을 분석하여 저주파필터를 적용한 새로운 반복법을 제안하였다. 원래의 Wegmann 반복법으로는 발산하는 모튼 문제에 있어서 새로 제안한 방법에 의해서 수렴하는 수치실험 결과를 얻었는데 본 논문에서는 저주파필터를 적용한 Wegmann해법에 의해 실험적으로 수렴한 결과를 Fourier 분석기법에 의해 이론적으로 증명한다.

임펄스성 잡음의 유무를 결정하는 Kolmogorov-Smirnov 검증의 수치적 접근의 효율성 (Numerical Approach with Kolmogorov-Smirnov Test for Detection of Impulsive Noise)

  • 오형국;남해운
    • 한국통신학회논문지
    • /
    • 제39C권9호
    • /
    • pp.852-860
    • /
    • 2014
  • 본 논문에서 임펄스성 잡음의 유무를 검증하는 알고리즘을 제안한다. 본 알고리즘을 제안하는 이유는 기존의 Kolmogorov-Smirnov 검증의 단점으로 낮은 분류 성공률 및 높은 복잡도가 있기 때문이다. 이는 이론적으로 문제가 없으나 실제로 구현함에 있어 많은 문제를 야기한다. 먼저 기존의 검증 방법을 설명 후 제안하는 알고리즘을 설명한다. 이 알고리즘은 기존의 Kolmogorov-Smirnov 검증 방법의 이론적 배경으로부터 제안된다. 알고리즘의 효율성을 증명하기 위해 임펄스성 잡음의 샘플을 이용하여 실험 후, 검증 실패 확률을 조사한다. 검증 실패 확률에 기반한 실험 결과는 제안한 알고리즘의 효율성을 증명한다.

디지털 재설계를 이용한 관측기 기반 디지털 퍼지 제어기 설계 (Observer-Based Digital fuzzy Controller Design Using Digital Redesign)

  • 이호재;주영훈;박진배
    • 한국지능시스템학회논문지
    • /
    • 제13권5호
    • /
    • pp.520-525
    • /
    • 2003
  • 본 논문은 지능형 디지털 재설계 기법을 이용한 Takagi-Sugeno (T-S) 퍼지 시스템의 관측기 기반 출력 궤환 디지털 제어기 설계 기법을 제안한다. 지능형 디지털 재설계란 아날로그 퍼지 모델 기반 제어기를 등가의 성능을 발휘하는 퍼지 모델 기반 디지털 제어기로 변환하는 기법을 일컫는다. 여기서 등가의 성능은 상태 정합의 정확도를 의미한다. 본 연구에서 고려된 지능형 디지털 재설계 기법은 정합되어야 할 두개의 선형 작용소의 놈(norm)을 최소화하는 볼록 최적화 문제로 간주한다. 선형 행렬 부등식의 형태로 문제를 구성함으로써 재설계된 디지털 제어기에 의한 시스템의 안정가능성을 증명할 수 있다. 또한 제어기와 관측기의 재설계는 독립적으로 설계될 수 있음을 증명한다.

합성곱 신경망을 통한 강건한 온라인 객체 추적 (Robust Online Object Tracking via Convolutional Neural Network)

  • 길종인;김만배
    • 방송공학회논문지
    • /
    • 제23권2호
    • /
    • pp.186-196
    • /
    • 2018
  • 본 논문에서는 객체를 추적하기 위해 합성곱 신경망 모델을 이용한 온라인 추적 기법을 제안한다. 오프라인에 모델을 학습시키기 위해서는 많은 수의 훈련 샘플이 필요하다. 이러한 문제를 해결하기 위해, 학습되지 않은 모델을 사용하고, 실험 영상으로부터 직접 훈련 샘플을 수집하여 모델을 갱신한다. 기존의 방법들은 많은 훈련 샘플을 획득하여 모델의 학습에 사용하였지만, 본 논문에서는 적은 수의 훈련 샘플만으로도 객체의 추적이 가능함을 증명한다. 또한 컬러 정보를 활용하여 새로운 손실 함수를 정의하였고 이로부터 잘못 수집된 훈련 샘플로 인해 모델이 잘못된 방향으로 학습되는 문제를 방지한다. 실험을 통해 4가지 비교 방법과 동등하거나 개선된 추적 성능을 보임을 증명하였다.

모바일 애드혹 네트워크에서 시간제약 응용을 위한 캐쉬 무효화 기법 (Cache Invalication Schemes for Time Constraint Applications in Mobile Ad hoc Networks)

  • 최재호;오재오;이명수;이상근
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 추계학술발표대회
    • /
    • pp.1276-1279
    • /
    • 2008
  • 최근 모바일 장치의 증가와 무선 네트워크 환경의 발전은 모바일 애드혹 네트워크에 대한 관심을 증가시키고 있다. 최근까지의 연구는 모바일 애드혹 네트워크에서 데이터 접근성(Accessibility) 향상을 위해 복제의 활용이 효율적임을 증명하고 있다. 복제 기법이 모바일 애드혹 네트워크에서 실제로 활용되기 위해서는 원본과 복제본 사이에 일관성(Consistency)이 확보되어야만 한다. 기존의 연구에서는 일관성 확보를 위해 원본을 가진 노드에게 확인하는 기법을 활용하고 있다. 그러나, 시간제약을 가지는 응용의 경우 원본을 가진 노드에게 확인하는 기법은 효율적이지 못하며, 때로는 심각한 문제를 일으킬 수도 있다. 본 논문에서는 시간제약응용을 위한 캐쉬 무효화 기법을 제안하고 있다. 제안하는 기법을 통해 기존의 일관성 확인 기법에서 일어나는 '롤백(Rollback)' 문제를 해결할 수 있었으며, 접근시간(Access time) 측면에서 성능향상을 얻을 수 있었다. 실험 결과는 본 논문의 접근시간 측면에서의 효율적임을 증명하여 준다.

Study on the Transmit Power, MMSE Receiver Filter, and Access Point Selection Optimization Algorithm

  • Oh, Changyoon
    • 한국컴퓨터정보학회논문지
    • /
    • 제26권9호
    • /
    • pp.65-72
    • /
    • 2021
  • 다중 엑세스포인트에 적용하는 전송전력, 최소평균제곱오차(MMSE) 수신필터와 최적의 엑세스 포인트 선택 최적화문제를 살펴본다. 지난 연구에서는 전송전력과 MMSE 수신필터 최적화문제[1]와 전송전력과 최적의 엑세스포인트 선택문제[2]를 다루었다. 각각의 문제에 대한 알고리즘을 제안하고 알고리즘의 전송전력의 최소값에 수렴함을 증명하였다. 본 논문에서는 세 가지 변수를 함께 최적화하여 알고리즘의 성능을 개선한다. 구체적으로, 1) 전송전력, MMSE 수신필터, 엑세스포인트 선정을 동시에 고려하여 알고리즘을 제안한다. 2) 또한, 제안하는 알고리즘이 최적화 전송전력값에 수렴하는 것이 보장하는 것을 증명한다. 제안하는 알고리즘이 기존에 제안되었던 두 개의 알고리즘인 1)전송전력과 MMSE 수신필터 최적화 알고리즘, 2) 전송전력 최적화 알고리즘보다 전송전력 소모량에서 성능이 우수함을 실험을 통해서 확인하였다.

디지털 포렌식 관점에서 CD-R 미디어의 해쉬 값 생성에 관한 연구 (Study on Hashing of CD-R Media from the Viewpoint of Digital Forensics)

  • 박정흠;김권엽;이상진;임종인
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송공학회 2008년도 동계학술대회
    • /
    • pp.167-170
    • /
    • 2008
  • 해쉬 알고리즘은 디지털 포렌식 수사에서 디지털 증거의 무결성을 증명하기 위해 널리 사용되고 있다. 디지털 증거의 무결성은 동일한 데이터에서만 같은 해쉬 값이 계산된다는 성질에 의하여 증명된다. 일반적으로 동일한 데이터에 대한 해쉬 값은 서로 다른 포렌식 툴을 이용해서 계산을 해도 항상 같은 값이 출력될 것이라고 인식하고 있다. 하지만, CD-R 미디어의 경우에는 해쉬를 계산하는 포렌식 툴에 따라 값이 다르다는 특성이 있다. 이것은 해쉬 값이 CD 제작 도구에서 CD-R 미디어에 데이터를 기록하는 방식과 각 포렌식 툴 별로 CD-R 미디어를 인식하는 방식에 의해 영향을 받기 때문이다. 이러한 특성은 CD-R 미디어의 무결성 증명 시에 문제가 될 여지가 있기 때문에 디지털 포렌식 수사 절차에서 반드시 고려되어야 한다. 본 논문에서는 CD-R 미디어의 해쉬 값에 영향을 주는 요소에 대해 기술하고, 실험용 CD-R 미디어를 제작하여 대표적인 디지털 포렌식 도구들을 이용해서 확인한다. 이를 통해, 디지털 포렌식 수사 절차에서 CD-R 미디어에 대한 해쉬 값을 계산할 때 고려해야 할 사항을 제안한다.

  • PDF

분산 데이타베이스에서의 질의실행시간 최소화를 위한 유전자알고리즘: 총 시간 대 반응시간 (A Genetic Algorithm for Minimizing Query Processing Time in Distributed Database Design: Total Time Versus Response Time)

  • 송석규
    • 정보처리학회논문지D
    • /
    • 제16D권3호
    • /
    • pp.295-306
    • /
    • 2009
  • 질의실행시간최소화는 분산 데이타베이스 설계에 있어 가장 중요한 목적중의 하나이다. 총시간최소화는 온라인거래처리시스템의 목적인 반면, 반응시간최소화는 의사결정지원 질의시스템의 목적이다. 본 논문에서는 질의실행시간최소화를 달성하기 위해 질의를 세분화하여 최적의 데이터베이스 사이트에 할당하는 분석모델을 개발하였으며, 문제해결방법으로 유전자알고리즘을 채택하였다. 총시간최소화 관점에서의 질의실행 계획은 반응시간최소화 관점의 질의실행계획에는 적합하지 않다는 것을 증명하였으며, 그 반대의 경우도 증명하였다. 최대 20개의 조인이 포함되는 질의를 설계하여 시뮬레이션 실험을 통해 테스트를 수행하였고, 유전자알고리즘과 완전한 전수조사와의 결과를 비교함으로써 모든 경우에 유전자알고리즘을 채택한 해결책이 최적의 결과를 도출하였음을 증명하였다.

2계 선형상미방 경계치문제의 퍼지시스템 해법 (Solution of the boundary value problem for the second order ordinary differential equations by a fuzzy system)

  • 문병수;정종은;황인구;김정수
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2002년도 춘계학술대회 및 임시총회
    • /
    • pp.289-292
    • /
    • 2002
  • 2계 선형 상미분방정식의 경계치 문제는 보통 해를 구하고자 하는 구간의 양 끝점에서 도함수의 값을 임의로 선정한 후 각 점에서 초기치 문제의 해를 구한 다음 적절한 1차 결합을 이용하여 구하게 된다. 이 경우 초기값과 도함수 값을 사용한 반복연산이 수반되며 따라서 오차의 누적이 불가피 하게 된다. 이 논문에서는 이같은 오차의 누적을 피할 뿐 아니라 3차 Spline 함수를 사용함으로써 오차가 O( $h^2$)인 해를 구하는 방법에 대하여 기술한다 두 개의 경계조건과 근사값을 구하고자 하는 점에서의 함수 값을 "If x is $B_{i}$, then f is $C_{i}$"와 같은 Fuzzy Rule들로 변형하고 주어진 미분방정식을 상수 $C_{i}$들의 관계식으로 변형하여 해를 구하였다. 산출된 결과로부터의 보간 연산은 Fuzzy System사용에 의하여 대체되었다. 이상의 방법으로 산출한 해의 근사오차가 O( $h^2$).임을 증명하였으며 3개의 예제에 대한 계산결과를 4계 Runge-Kutta 방법에 의한 해와 비교하여 기술하였다였다였다였다

  • PDF