• 제목/요약/키워드: Computational model verification procedure

검색결과 14건 처리시간 0.025초

비보호 좌회전 지체도 추정모형의 개선 (Improvement of the HCM Delay Estimation Model for Exclusive Permitted Left Turns)

  • 김진태
    • 대한교통학회지
    • /
    • 제21권2호
    • /
    • pp.107-118
    • /
    • 2003
  • 미국 도로용량편람(HCM)은 도심부 신호 교차로 운영상태 평가를 돕기 위하여 지체도 추정 수리모형을 제시하고 있다. 2000년도 개정판 HCM모형은 전문가들의 최근(up-to-date) 연구결과가 반영된 것이며 많은 교통공학자들에 의해 실무 및 연구에 활용되고 있다. HCM은 비보호 좌회전 움직임의 경우, 별도의 부가절차를 통해 포화교통류율을 보정할 것을 제시하고 있다. 그러나 HCM 지체도 산정 모형식은 보호현시 직진 움직임을 기준으로 설계된 모형이기 때문에 비보호 좌회전 움직임의 지체도를 과소 추정하는 문제점을 내제한다. 본 논문에서는 (1)HCM지체도 모형의 설계과정을 검토하고 (2)이를 토대로 HCM 지체도모형을 통한 비보호 좌회전 지체도 추정에 문제가 있음을 지적하고 (3)새로운 비보호 좌회전 지체도 추정 수리모형을 제안한다. 다양한 교통상황. 제어상황을 현장실험에서 통제함에 어려움이 있어 모의실험을 통한 제안모형의 검증을 수행하였다. 검증을 위해 마련된 120가지 경우의 다양한 비보호 좌회전 교통상황에서 (1)CORSIM 모의실험 지체도, (2)HCM 모형추정 지체도, (3)제안된 모형추정 지체도를 비교하였으며, 비교분석 결과 모의실험 지체도를 기준으로 HCM지체도 추정모형은 설명력이 0.47로, 제안된 모형의 설명력은 0.77로 분석되었다.

LTE에서 사용자 위치 정보 보호를 위한 보안 향상 인증 프로토콜 (Security Enhanced Authentication Protocol in LTE With Preserving User Location Privacy)

  • 한창희;권현수;허준범
    • 정보과학회 논문지
    • /
    • 제41권9호
    • /
    • pp.715-727
    • /
    • 2014
  • 최근 네트워크 및 통신 기술의 발달로 4세대 무선이동통신은 사용자가 급격하게 늘어나고 있다. 하지만 이와 동시에 통신 데이터 및 프라이버시에 대한 외부 공격 또한 증가하고 있는 실정이다. 따라서 안전한 통신에 대한 고려는 성공적인 4세대 이동통신을 위해서 매우 중요한 사항이라고 할 수 있다. 본 논문에서는 4세대 LTE 이동통신 환경에서 통신 기기의 위치 정보를 탐지함으로써 사용자의 위치 프라이버시를 침해하는 공격모델을 제시한다. 그리고 이를 해결하기 위한 개선된 LTE 프로토콜을 제시한다. 제안하는 기법은 연산량이 적은 대칭키 암호화 알고리즘을 이용함으로써 위치정보에 대한 구별가능성을 제거함으로써 프로토콜의 효율성과 안전성을 보장할 수 있다. 또한 위치 프라이버시 보호 측면에서 제안기법의 안전성은 ProVerif 툴을 이용하여 검증하였다.

고층건물의 효율적인 구조해석 (An Efficient Structural Analysis of Multistory Buildings)

  • 김경호;이동근
    • 대한토목학회논문집
    • /
    • 제7권2호
    • /
    • pp.141-153
    • /
    • 1987
  • 고층 건물의 정확한 거동을 구하기 위한 구조 해석은 컴퓨터 적용의 중요한 분야로 취급되어 왔다. 본 논문에서는 건축구조물에 대한 3차원적인 해석방법을 연구하였다. 이 해석 방법은 건물을 각각의 독립된 프레임의 조합체로 보고 해석하므로 매우 효율적이며, 건물의 3차원적인 거동에 관한 고려는 건물이나 하중이 대칭이 아닐 때는 특히 중요하다. 그리고 matrix condensation 기법을 이용함으로써 컴퓨터의 용량과 해석 시간이 상당히 절약되므로 매우 경제적이다. 본 논문의 건물 구조해석 컴퓨터 프로그램 PFS의 정확성과 효율성을 증명하기 위해 여러가지 예제들에 대해서 SAPIV 에 의한 해석 결과와 비교하였다. 그러므로, 본 논문에서 제안한 해석방법은 고층 건물의 구조 설계에서 매우 효율적이라 할 수 있다.

  • PDF

왜곡-비트율 추정에 근거한 MPEG-2 비디오의 순방향 비트율 제어 (Forward rate control of MPEG-2 video based on distortion-rate estimation)

  • 홍성훈;김성대;최재각;홍성용
    • 한국통신학회논문지
    • /
    • 제23권8호
    • /
    • pp.2010-2024
    • /
    • 1998
  • 비디오 부호화에 있어서 평균화질의 향상뿐만 아니라 이웃한 영상들간에 일관된 화질을 유지하는 것은 매우 중요하다. 본 논문에서는 MPEG-2 비디오에 대한 왜곡-비트율 추정방식과 이 추정결과를 이용히여 일정 비트율(CBR)로 부호화되는 MPEG-2 비디오가 일관된 화질을 유지하면서도 향상된 평균화질을 얻도록 하는 순방향 비트율 제어방식을 제안한다. 본 논문에서 제안하는 왜곡-비트율 추정은 부호화에 사용되는 양자화 스텝 크기에 따라한 영상에서 발생하는 비트량과 왜곡을 예측하거나, 역으로 발생하는 비트량이나 왜곡에 대한 양자화 스텝 크기를 예측할 수 있다. 제안된 추정 방식의 장점은 실제의 비디오 부호화 응용에 적용할 수 있을 만큼 계산량이 적고 정확하다는 것이다. 한편 제안된 비트율 제어는 프레임 단위로 왜곡-비트율 추정, 목표 비트 할당, 왜곡 제한 그리고 VBV(Video B Buffer Verification) 제한 절차에 의해서 부호화에 적용할 양자화 파라메터를 결정하고, 이 양자화 파라메터를 적용하여 영상을 부호화 함으로써 일관되고도 향상된 화질을 유지한다. 또한 화면전환이나 기준영상의 화질열화 등에 의하여 화질저하가 오래 지속되는 문제를 B-picture 제거와 기준영상에 대하여 최소 비트량 할당을 보장함으로써 해결한다. 그리고 제안된 순방향 비트율 제어방식과 MPEG-2의 TM5(Test Model 5)에서 제안한 비트율 제어를 비교한 실험 결과들을 통하여 제안된 방식이 영상들 간에 일관된 화질을 유지할 뿐만 아니라 평균화질도 향상 됨을 확인한다.

  • PDF