• Journal of Korea Society of Industrial Information Systems
• /
• v.25 no.4
• /
• pp.17-27
• /
• 2020

In this paper, we proposed verification methods to prove the effectiveness of automatic test equipment (ATE) for weapon systems. Since the test results from the unproven ATE is not reliable and its use is limited as objective data, it is essential to verify the test equipment in order to guarantee the quality level of the unit under test (UUT). Through the suggested methods, it is applied to the ATE of the tactical information communications network (TICN) system to confirm the verification results and to describe the validation results.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.867-870
• /
• 2005

인터넷 및 전자상거래의 발전으로 인해 물류가 급증하고 있다. 물류 인수인계 문서 및 물류 정보의 전달 수단으로서 2 차원 바코드가 사용되는데 본 논문에서는 MaxiCode 에 대한 관심영역 추출 결과를 검증하는 방법을 제시하였다. 제안된 방법은 물류상에 바코드 영역 추출 방법에 의해 여러 종류의 바코드 중에서 MaxiCode 영역인지 검증하는 방법으로써 검증 후보 영역 설정, 후보 영역으로부터 중심점 획득, 중심점 검증 단계로 MaxiCode 의 영역 검증 방법을 제시한 것이다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2022.06a
• /
• pp.1222-1225
• /
• 2022

본 논문에서는 저조도 환경에서 촬영된 영상의 조도를 개선하여 얼굴 검증 정확도를 높이는 방법을 제안하였다. 입력 이미지의 조도 개선을 통해 얼굴 검출 정확도를 개선하며, 검출된 얼굴의 반복적인 조도 향상을 통해 생성된 다수의 특징 벡터를 이용하여 얼굴 검증에 이용하였다. 얼굴 검출 및 검증 정확도 측정을 위해 K-FACE 데이터셋을 이용하였다. 저조도 환경에서 촬영된 검증 이미지에 대하여, 제안하는 특징 벡터 합성 방법으로 인해, 동일인 쌍 및 타인 쌍의 유사도 점수 분포의 표준 편차가 줄어드는 경향을 확인했으며, 이로 인해 검증 성능이 높아지는 결과를 얻었다.

• Journal of Families and Better Life
• /
• v.12 no.2
• /
• pp.60-67
• /
• 1994

본 연구는 아동의 자기-효능감을 측정할 수 있는 검사도구를 개발하는데 그 목적을 두고 있다 연구대상자는 554명의 국민학교 5, 6학년 아동들로서, 선행연구를 중심으로 구성 한 문항들에 대한 몇 차례의 예비조사를 통하여 최종 23문항을 선정하였고 척도 구성을 위 한 검증 결과는 다음과 같다. 척도의 문항 양호도 검증을 위한 문항의 반응율과 변별도 분 석결과는 대체로 양호하게 나타났으며 척도의 타당도 검증을 위한 요인분석 결과 본 검사도 구가 세 요인으로 구성되어 있는 것으로 확인되었다. 신뢰도 분석 결과는 Cronbach's a 값 이 .62에서 .79로 나타났다.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.196.1-196.1
• /
• 2012

인공위성은 지상에서부터 발사 및 궤도 운용까지 다양한 전자파 환경에 노출되며 이러한 환경에서의 위성 운용을 검증하기 위하여, 다양한 전자파 환경을 모사하는 전자파 환경시험을 수행하게 된다. 특히, 궤도내에서 위성의 운용시 지상국과의 교신을 위하여 X 밴드 안테나와 S 밴드 안테나에서 지상국으로 강한 전자기파를 방사하게 되는데, 이 방사에너지가 위성에 영향을 주는지 검증하는 시험을 지상에서 수행한다. 이런 시험을 RFC (RF Auto-Compatibility) 시험이라고 부른다. RFC 시험은 위성으로부터 방사되는 전자기파가 외부에 새어나가지 않도록 전자파 챔버내에서 시험하며, 강한 전자기파를 흡수할 수 있는 고전력 전파 흡수체가 설치된 전자파 챔버가 필요하다. RFC 시험시 X 밴드 안테나와 S 밴드 안테나를 최대 전력으로 방사시키고, 이때 위성 주변에 전자파 센서를 부착하여 전계강도를 측정함으로써 위성으로 입사되는 전자기파의 세기가 적정 레벨 이하인지를 검증하고, 동시에 위성의 운용상태를 확인하여 위성에 영향이 없음을 검증한다. 본 논문에서는 다목적 실용위성 3호의 RFC 시험시 측정된 전계강도를 이론적으로 검증하고, RS 시험시 인가하는 레벨과의 상관관계를 설명한다. RS 시험 레벨의 선정은 위성 안테나의 방사레벨과 관련이 있으며 RFC 시험결과를 검토함으로써 RFC 시험 결과의 유효성과 RF 레벨 요구사항의 적절성을 검증한다.

• The Korean Journal of Financial Management
• /
• v.17 no.1
• /
• pp.67-89
• /
• 2000

반전거래전략의 투자성과와 체계적 위험의 관계를 분석한 결과를 요약하면 다음과 같다. 첫째, 시장모형과 Ibbotson(1975)의 RATS 모형을 이용하여 형성기간과 검증기간의 베타계수를 측정한 결과 체계적 위험의 변동가설에서 예견하는 것과 일치하는 결과를 발견할 수 있었다. 승자 포트폴리오의 베타계수는 검증기간에서 하락하는 한편 패자 포트폴리오와 차익 포트폴리오의 베타계수는 상승하는 것으로 나타났다. 둘째, RATS 모형을 이용하여 검증기간의 비정상수익률을 측정한 결과, 차익 포트폴리오의 경우 시장조정수익률 모형을 이용할 때의 월평균비정상수익률(1.32%)보다 작은 0.87%(t=3.153)이었다. 이러한 결과는 반대거래전략의 투자성과가 체계적 위험의 변화에 기인하는 증거로서 의미를 갖는다. 한편 형성기간과 검증기간에서 베타계수와 월평균비정상수익률의 변화를 분석한 결과 베타계수와 월평균비정상수익률이 동일 방향으로 변화하였던 것으로 나타났다. 셋째, 반전거래전략의 투자성과가 체계적 위험의 변화에 기인하는지를 검증하기 위하여 Chan (1988)의 모형을 이용하여 체계적 위험과 시장위험프리미엄의 관계를 분석한 결과, Chan(1988)이 주장한 것처럼, 패자 포트폴리오와 차익 포트폴리오의 경우 베타계수와 시장위험프리미엄 사이에 양(+)의 상관관계가, 그리고 승자 포트폴리오의 경우에는 음(-)의 상관관계가 존재하는 것으로 나타났다. 넷째, Chan(1988)이 주장한 것처럼, 체계적 위험과 시장위험프리미엄의 변화 관계가 시장상황에 따라 영향을 받는지를 검증하기 위하여 활황시장과 침체시장으로 분류하여 각 시장상황에 따라 베타계수를 추정하였다. 추정결과에 의하면, 패자 포트폴리오의 베타계수는 활황시장에서 1.0967(t=13.018), 침체시장에서 1.0883(t=15.310)을 보였으며, 승자 포트폴리오의 베타계수는 활황시장에서 0.9468(t=9.100), 침체시장에서 0.9086 (t=7.431)을 보였다. 다시 말하여 패자 포트폴리오의 베타계수는 시장상황에 따라 거의 차이를 보이지 않았지만, 승자 포트폴리오의 베타계수는 침체시장보다 활황시장에서 크게 나타남으로써 체계적 위험 변동가설과 일치하는 결과를 보였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2004.05a
• /
• pp.7-12
• /
• 2004

공개키 기반 구조(PKI; Public Key Infrastructure)에 필수적인 요소인 인증서의 상태 검증에 있어서 인증서 상태 검증 서버인 OCSP (Online Certificate Status Protocol) 서버는 실시간 상태 검증을 제공한다. 그러나, 서버와 클라이언트의 메시지 인증을 위해 전자 서명을 수행해야 하며, 이 때 사용되는 공개 암호 연산 과정의 복잡성은 동시에 많은 클라이언트의 요청이 발생할 경우에 응답 시간을 크게 지연시킨다는 단점을 가지고 있다. 본 논문에서는 이러한 문제를 해결하기 위한 인증서 상태 검증 서버의 시뮬레이션 모델을 DEVS (Discrete Event system Specification) 방법론을 이용하여 설계하였다. 이 모델은 인증서의 상태 검증을 요청하는 영역에 위치하여 해쉬 함수를 적용한 인증을 수행하도록 구성되었으며, 시뮬레이션 결과는 제시한 방법이 인증서 상태 검증 속도를 증대시켜 결과적으로 사용자의 응답 시간이 감소되는 것을 보여준다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.674-678
• /
• 2005

수문학 분야에서 수문자료의 정확도를 높이는 문제는 오래전부터 고민해왔던 사항이다. 이와 관련하여 정부에서는 수문자료의 정확도를 높이고 전국의 수자원 정보를 파악하기 위하여 수문관측 매뉴얼을 작성하고 전국의 주요 지점에 수위관측소를 설치하여 유량측정을 하고 있다. 2004년에도 5대강 권역별로 유량측정이 실시되었으며, 이중 섬진강에서 유량측정이 실시된 6개 지점에 대해 올해 처음으로 도입되어 수행된 유량측정 검증시스템의 적용 결과에 따른 유량측정성과, 수위-유량관계곡선 및 유량자료의 개선된 결과를 소개하고자 한다. 유량측정 검증시스템은 유량측정성과의 기본특성 검토, 이상치 여부 판별 및 평가 등 유량측정성과의 검증, 개선된 방법론에 따른 수위-유량관계곡선의 작성 환산된 유량자료의 평가 및 평가 결과 개선이 필요한 경우 수위-유량관계곡선의 재작성하는 피드백 과정으로 이루어진다.

• The Korean Journal of Financial Management
• /
• v.9 no.1
• /
• pp.135-175
• /
• 1992

본 논문은 주가(株價)의 변동성검증모형(變動性檢證模型)을 한국주식시장(韓國株式市場)에 적용하여 시장의 효율성을(效率性) 검증하였다. 1975년부터 1990년까지 의 17년 기간중 Shiller[81a], Mankiw-Romer-Shapiro[85], West[88b]의 모형을 이용하여 검증한 결과, 높은 수준의 과잉변동성(過剩變動性)이 발견되었다. 그러나 이러한 주가의 과잉 변동성을 시장이 비효율적이라는 증거로 간주하기는 어렵다. 왜냐하면 이들 모형의 가정 중의 하나인 할인율이 일정하다는 가정을 완화시켜 다시 검증한 결과는 오히려 과잉변동성 중에서 많은 부분이 감소하는 것으로 나타났기 때문이다. 다시말해서 주가에 과잉변동성이 존재하는 것은 시장이 비효율적이라기 보다는 기간에 따른 할인율의 변동폭이 큰 데에 원인이 있는 것으로 해석된다. 따라서 할인율(割引率)의 변동원인(變動原因)을 조사하여 주식시장의 효율성을 분석하였다. 주가의 일부는 랜덤웍의 요소에 의해 결정되고, 나머지 일부는 평균회귀(平均回歸) fads(mean reverting fads)에 의해 결정된다고 가정하여 검증한 결과, 후자에 의해 설명된 비율이 매우 높게 나타났다. 즉 한국주식시장에서의 투자자는 교란거래(攪亂去來)(noise trading)나 피드백거래(去來)(feedback trading) 등의 비합리적인 투자행동을 취하고 있으며, 이러한 비합리적인 행동에 의해 주가변동의 $60{\sim}80%$가 설명되는 것으로 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.337-339
• /
• 2003

코드검증은 소프트웨어공학에서 제안한 개발 프로세스 상의 여러 절차 중 비용 대 효과 측면에서 가장 효과적이라고 알려져 있다. 그러나 코드검증 절차 도입 초기에는 적용에 따른 기대 수준이 낮으며, 추가 작업에 대한 개발자와 관리자의 부담이 높기 때문에 투입시간, 자원할당 등의 계획은 설득력 있는 근거를 바탕으로 체계적으로 수립되어야 한다. 본 논문에서는 기존 제품 개발 시 발생되었던 결함의 원인 분석과 결함 제거에 투입된 공수 산출을 바탕으로 코드검증 절차를 개발 프로세스 상에 도입, 계획할 수 있는 방안을 제시한다.