• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2009년도 정기 학술대회
• /
• pp.517-520
• /
• 2009

본 연구에서는 비선형 FEM 해석을 이용하여 PSC(Prestressed concrete)와 강으로 구성된 혼합구조 보의 휨 실험을 검증하였다. 혼합구조 보의 거동에 가장 큰 영향을 미치는 연결부는 Perfobond rib로 구성된 경우와 스터드로 구성된 경우를 고려하였다. 이종 재료가 접하는 경계면의 상호 작용에 대해 완전합성과 부분합성인 경우를 고려하여 혼합구조 보의 비선형 해석을 수행한 후 해석 결과와 실험 결과를 비교하였다. 하중-처짐관계, 파괴 형상 등의 해석 결과를 실험 결과와 비교한 결과, 부분합성을 고려한 모형이 실험 결과와 유사한 거동을 보였으며 또한 Perfobond rib를 갖는 실험체가 스터드를 갖는 실험체보다 해석 결과와 비교 시 안전측의 결과를 나타냈다.

• 대한교통학회지
• /
• 제20권6호
• /
• pp.81-98
• /
• 2002

본 연구는 Wilcoxon Rank Sum Test 기법을 이용한 자동 돌발상황 검지 모형을 개발하는 것이다. 본 연구의 수행을 위하여 고속도로에 설치된 루프 차량 검지기(Loop Vehicle Detection System)에서 수집된 점유율 데이터를 사용하였다. 기존의 검지모형은 산정하기가 까다로운 임계치에 의하여 돌발상황을 검지하는 방식이었다. 반면 본 연구 모델은 위치와 시간대 교통 패턴에 관계없이 모형을 일정하게 적용하며, 지속적으로 돌발상황 지점과 상·하류의 교통패턴을 비교 검정 기법인 Wilcoxon Rank Sum Test 기법을 사용하여 돌발상황 검지를 수행하도록 하였다. 연구모형의 검증을 위한 테스트 결과 시간과 위치에 관계없이 정확하고 빠른 검지시간(돌발 상황 발생 후 2∼3분)을 가짐을 알 수 있었다. 또한 기존의 모형인 APID, DES, DELOS모형과 비교검증을 위하여 검지율 및 오보율 테스트를 수행한 결과 향상된 검지 능력(검지율 : 89.01%, 오보율 : 0.97%)을 나타남을 알 수 있었다. 그러나 압축파와 같은 유사 돌발상황이 발생되면 제대로 검지를 하지 못하는 단점을 가지고 있으며 향후 이에 대한 연구가 추가된다면 더욱 신뢰성 있는 검지모형으로 발전할 것이다.

• 정보관리학회지
• /
• 제17권1호
• /
• pp.103-127
• /
• 2000

본 연구에서는 정보시스템과 정보의 유형이 DIALOG와 인터넷 데이터베이스의 검색 효율에 어떤 영향을 미치는 지를 알아 보기 위해서 두 가지 작업을 수행하였다. 첫째는 이 두 시스템의 검색 성능에 대한 기초 자료를 얻기 위해서 두 시스템의 특성을 비교/분석하고 설문지를 통해 에너지 및 경제 분야 정보 이용자들의 정보 이용 행태를 조사하였다. 두 번째는 에너지와 경제 분야의 20개의 정보 질문들을 이용하여 탐색 실험을 하여 두 시스템의 검색 효율성을 측정/비교하였는데 검색 효율성을 좀 더 효과적으로 비교하기 위해서 9가지 가설들을 설정하였다. 연구 결과를 종합해 보면 정보 유형이 DIALOG와 인터넷 데이터베이스 시스템의 적합성에 영향을 미칠 것이라는 가설들은 별 무리없이 검증되었으나 DIALOG를 활용한 검색 결과의 적합도가 인터넷을 활용한 경우의 적합도 보다 높을 것이라는 가설은 경제 분야만 통계적으로 검증되고 에너지 분야는 검증되지 못했다. 본 연구 결과에서 상대적으로 인터넷의 검색 효율이 높게 나온 이유로는 먼저 인터넷 검색에서 전문 정보가 비교적 많이 수록된 전문 검색엔진을 사용하게 한 점을 들 수 있고, 둘째는 인터넷 데이터베이스의 질적인 성장을 들 수 있으며, 끝으로 경제 및 에너지 분야의 주제 특성상 인터넷 데이터베이스를 통해 관련 자료를 많이 얻을 수 있지 않았을까 하는 가정을 해 볼 수 있다.

• 인지과학
• /
• 제14권1호
• /
• pp.41-50
• /
• 2003

내적상태 쾌 및 각성 차원에 근거한 표정 합성 시스템의 성능을 검증하고 이 시스템을 효과적으로 사용할 수 있는 인터페이스를 제안하였다. 우선 내적상태의 기저 구조에 대하여 차원모형을 가정한 것이 적절한가를 확인하고자 하였다. 이를 위해 평정자들로 하여금 차원 축 상의 17가지 표정들을 비교하도록 하였다. 참가자들의 비교 판단 결과로부터 시스템의 기본 가정에 대한 타당성이 확보되었다. 다음으로 시스템의 성능을 검증하기 위해 대표 표정 21가지를 선정하고 평정자들로 하여금 이들의 유사성을 판단하도록 하였다. 평균 유사성 평정값을 대상으로 다차원분석을 실시한 결과, 시스템의 성능이 신뢰로운 수준임을 확인하였다. 마지막으로 시스템 사용을 위한 최적의 조건을 찾기 위해 좌표평면 및 슬라이드바의 두 가지 방법으로 설계된 인터페이스들의 효율성을 비교하였다. 사용자들로 하여금 각각의 방식으로 25가지 특정 내적상태의 표정들을 직접 구현해보도록 하였다. 이들의 구현 결과들을 비교, 분석한 결과 내적상태 차원에 기반하여 표정을 합성하는 경우 좌표평면에서의 위치를 제시하는 입력 방법이 더 안정적인 것으로 확인되었다.

• 한국통신학회논문지
• /
• 제31권6A호
• /
• pp.563-574
• /
• 2006

본 논문에서는 OFDM(Orthogonal Frequency Division Multiplexing) 기반 다중 안테나 시스템의 링크레벨 성능 분석을 위하여 실제 전파 환경과 유사한 특성을 갖는 Ray-tracing 방식 채널의 하나인 SCM(Spatial Channel Model) 채널을 구현한다. 3GPP & 3GPP2 Spatial Channel AHG(Ad-hoc Group)에서 시스템레벨 성능 비교용으로 제안한 SCM 채널을 링크레벨 성능의 비교 분석을 위하여, 본 논문에서는 시스템레벨 채널에 대한 채널 계수 및 파라메터들을 링크레벨 성능 비교용으로 변환하여 구현한다. 모의실험을 통하여 구현한 SCM 채널의 특성을 검증하고, 이를 이용하여 기존의 OFDM 기반 MIMO (Multiple Input Multiple Output) 적용 시스템 및 스마트 안테나 적용 시스템에서의 실제적인 링크레벨 성능을 분석하고, 정확한 비교 검증을 위하여 SCM 채널과 동일한 파라메터를 적용한 I-METRA 채널 및 독립 채널 상황에서의 링크 레벨 성능을 함께 비교 분석한다. MIMO 및 스마트 안테나 적용 시스템에 대하여 여러 채널 환경에서 채널 상관도에 따른 링크레벨 성능을 분석함으로써, 채널 상관도의 영향에 따라 주어진 환경에 적합한 다중 안테나 시스템을 제안한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2022년도 학술발표회
• /
• pp.353-353
• /
• 2022

본 연구에서는 CMIP5(The fifth phase of the Couple Model Intercomparison Project) 미래기후시나리오와 LSTM(Long Short-Term Memory) 모형 기반의 딥러닝 기법을 이용하여 하천유량 예측을 위한 최적 학습 기간을 제시하였다. 연구지역으로는 진안군(성산리) 지점을 선정하였다. 보정(2000~2002/2014~2015) 및 검증(2003~2005/2016~2017) 기간을 설정하여 연구지역의 실측 유량 자료와 LSTM 기반 모의유량을 비교한 결과, 전체적으로 모의값이 실측값을 잘 반영하는 것으로 나타났다. 또한, LSTM 모형의 장기간 예측 성능을 평가하기 위하여 LSTM 모형 기반 유량을 보정(2000~2015) 및 검증(2016~2019) 기간의 SWAT 기반 유량에 비교하였다. 비록 모의결과에일부 오차가 발생하였으나, LSTM 모형이 장기간의 하천유량을 잘 산정하는 것으로 나타났다. 검증 결과를 기반으로 2011년~2100년의 CMIP5 미래기후시나리오 기상자료를 이용하여 SWAT 기반 유량을 모의하였으며, 모의한 하천유량을 LSTM 모형의 학습자료로 사용하였다. 다양한 학습 시나리오을 적용하여 LSTM 및 SWAT 모형 기반의 하천유량을 모의하였으며, 최적 학습 기간을 제시하기 위하여 학습 시나리오별 LSTM/SWAT 기반 하천유량의 상관성 및 불확실성을 비교하였다. 비교 결과 학습 기간이 최소 30년 이상일때, 실측유량과 비교하여 LSTM 모형 기반 하천유량의 불확실성이 낮은 것으로 나타났다. 따라서 CMIP5 미래기후시나리오와 딥러닝 기반 LSTM 모형을 연계하여 미래 장기간의 일별 유량을 모의할 경우, 신뢰성 있는 LSTM 모형 기반 하천유량을 모의하기 위해서는 최소 30년 이상의 학습 기간이 필요할 것으로 판단된다.

• 한국콘텐츠학회논문지
• /
• 제7권6호
• /
• pp.9-21
• /
• 2007

본 연구에서는 소량의 차량 위치정보를 통해 과거의 차량 위치를 추적하고, 운행궤적을 표현할 수 있는 방향각 정보를 이용한 하이브리드 기법을 제안하였다. 제안한 기법의 효율성을 검증하기 위해 다양한 조건 하에서 실제 차량 이동객체를 운행하여 차량 위치정보를 수집하였으며, 수집된 차량 위치정보에서 기존의 시간 간격별 차량 위치정보와 방향각 정보를 이용한 차량 위치정보를 추출하여 비교 분석하였다. 또한, 제안 기법의 효율성을 검증하기 위하여 GPS TrackMaker와 차영상 기법 그리고 일관성 비교, 정량적 비교, 차량 운행거리 비교 등 다양한 방법으로 비교 분석하였다.

• 재무관리논총
• /
• 제6권1호
• /
• pp.223-247
• /
• 2000

본 연구에서는 유로커런시와 외환시장의 초과수익률을 설명하는 여러 가지 모형을 검증하였다. 비록 Campbell-Clarida(1987)와 Lewis(1990,1991)는 이 시장에서 3개월물의 초과수익률에 대한 단일잠재변수모형을 기각할 수 없었지만 본 연구에서는 이 모형이 여러 포트폴리오에 대하여 기각되고 있음을 보여준다. 그러나 이 모형의 검증은 결합가정을 필요로 하기 때문에 모형의 기각원인을 찾는다는 것은 어려운 일이다. 기각의 가능성으로 세계 경제에 하나 이상의 위험요인이 존재할 수 있다는 것이 될 수도 있고 불안정한 상수가 원인일 수가 있다. 상수의 안정성검증에서 1979년 12월을 전후한 기간에 상수가 변하지 않는다는 귀무가설이 모든 포트폴리오에서 기각되었다. 따라서 양기간에 단일잠재변수모형과 두잠재변수모형을 검증하였다. 모든 포트폴리오에 대하여 1979년 12월 이전에는 단일변수모형이 기각되지 않았지만, 1979년 이후에는 체계적으로 기각되었다. 한편 두잠재변수모형은 양기간 모두에서 기각되지 않았다 따라서 위험요인에 변화를 주는 연방준비은행의 운영절차의 변화가 단일변수모형의 기각의 원인일 수 있다고 유추할 수 있다. 마지막으로 시간 가변적인 베타가 단일변수모형의 기각의 원인이 될 수 있는지를 검증하기 위하여 Harvey(1989,1991)에 의해서 개발된 모형을 적용해 보았지만 모형이 기각되었다. 따라서 유로커런시와 외화자산의 3개월물의 초과수익률에 두 잠재변수모형이 자료를 비교적 잘 설명한다고 볼 수 있다. 그러나 잠재변수모형의 검증은 자산가격결정의 일반균형이론의 검증도 아니고 검증력도 강하지 않기 때문에, 위험프리미엄을 설명해주는 단순한 실증분석으로 보아야 한다.

• 한국정보통신학회논문지
• /
• 제10권8호
• /
• pp.1435-1442
• /
• 2006

안전성에 대한 이상적인 평가방법은 운영체제내의 모든 가능한 연산을 대상으로 실행 결과의 안정성 여부를 검사하는 것이다. 하지만 이는 현실적으로 불가능하다. 그러나 정형기법을 사용할 경우 운영체제 동작논리상의 안전성 보장 여부를 이론적으로 증명할 수 있다. 따라서 본 논문에서는 보안커널의 안정성 검증방법에 대하여 논하고, 정형검증의 대표적인 도구들에 대하여 비교분석을 수행하였다. 그리고 보안커널에 기반한 다중레벨 접근통제모델인 수정된 BLP(Bell & LaPadula) 모델을 검증하기에 적합한 PVS(Prototype Verification System) 검증도구를 선정하였다. 마지막으로 PVS 검증도구를 활용하여 정형명세를 작성하고, 작성된 정형명세의 검증을 통하여 수정된 BLP 모델이 안전한 보안모델이라는 것을 검증하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.721-724
• /
• 2005

본 논문은 육각 탐색에 기반한 고속 블록 정합 알고리즘의 성능 개선에 관한 것으로, 육각 탐색과정에서 추출한 정합점에 대해 정합 검증 패턴을 이용하여 정합도를 검증함으로써 국부 최소 문제를 효과적으로 개선한 고속 움직임 벡터 추정 기법에 관한 것이다. 제안된 방법은 우선, 적응형 육감 탐색에 있어서 차순위 국부 정합점을 이용하여 탐색 패턴을 확장한다. 이후 이렇게 확장된 탐색 패턴에서 추출한 임시 전역 정합점을 대상으로 정합 검증 패턴을 이용하여 정합도의 비교우위를 재차 검증한다. 이 검증 결과에 따라 추가 탐색 과정을 계속적으로 진행할 것인지 또는 현 임시 전역 정합점을 최종 전역 정합점으로 확정할 것인지 여부를 결정하는 과정을 반복적으로 수행함으로써 움직임 보상화질을 개선한 것이다. 제안된 방법에 따르면, 정합 검증 패턴을 적용한 검증 과정에서 추가적인 연산량 증가가 초래되지만 이를 상호타협적으로 보상할 수 있는 화질 측면에서의 성능 개선 효과를 기대 할 수 있다.