• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.2077-2080
• /
• 2003

일반적으로 기존의 도메인으로부터 인증서를 검증하는 방법은 CRL(Certificate Revocation List), OCSP(Online Certificate Status Protocol), Freshest CRL, Delta CRL등이 있으나 CRL 검증 방식에 대해서 여러 단점이 부각되었다. 현재 CRL 검증 방법에 대해서 효율적으로 검증하기 위한 방안이 OCSP, Delta CRL등이 제시하여 서비스를 하고 있는 실정이다. 피러나 이런 검증 서비스 시스템에도 한계성이 드러나게 되었고 그 단점을 보완하기 위한 검증 시스템을 채택하여 기존의 인증서 검증 서비스보다 효율적이고 안정적인 시스템을 구현하기 위해 CSMS(Certificate Status Management Server)를 제시한다. CSMS는 OCSP와 같이 실시간으로 검증과 빠른 서비스로 USER에게로의 응답을 위한 서비스를 제공함으로써 전자상거래를 통한 트랜젝션에 적합한 시스템을 위한 것이다.

• 컴퓨터교육학회논문지
• /
• 제5권4호
• /
• pp.31-42
• /
• 2002

본 논문에서는 통신 프로토콜 개발 시 사용되는 PDU, SDU, SAP, 서비스 프리미티브를 어떻게 정의하고 사용하는지에 대한 명확한 설계 개념과 검증 방법을 ITU에서 통신 규격 및 설계 언어로 권고하고 있는 SDL과 국제 통신 표준 언어인 ASN.1, MSC, TTCN을 사용하여 정립한다. 통신 프로토콜의 예로 잘 알려진 Inres 프로토콜을 확장하여 SDL로 설계하며, SDL의 설계 규격에 비트 스트링 전송을 위한 ASN.1 메시지의 삽입, 규격에 대한 설계 검증을 위한 MSC의 생성, 검증으로부터 TTCN을 이용한 시험 케이스의 생성 및 적합성 시험 등 프로토콜 개발 순기 전반에 걸친 개발 방법론을 정립한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 추계종합학술대회 논문집
• /
• pp.503-506
• /
• 1998

본 논문은Multimedia video processor로써 멀티미디어 데이터, 특히 비디오데이타 처리에 적합?록 구성되어 있는 프로세서이다. TMS320C80에 Multimedia OS를 사용할 경우에 효율성의 타당성을 검증하기 위하여 영상처리를 3가지 방법으로 수행시켜 그 결과를 비교한다. 채택한 영상처리로 DCT와 2차 Laplacian을 채택하였고 이를 적용하는 방법은 첫째, 일반적인 순차적으로 수행하는 방법과 둘째 기본으로 제공되는 kernel의 규약을 따르는 방법, 셋째로 OS모델을 따르는 경우의 방법으로 연산한다. 이 결과 첫번째 두번째 세번째 경우의 순서로 효율이 높은 결과를 얻었다. 이는 구현 방법이 복잡한 응용에 사용되어질 경우, OS모델이 우수할 것임을 반증한다. 이와 같은 결과를 토대로 TMS320C80에 적합한 task managing 부분의 OS kernel model을 제시한다.

• 자원ㆍ환경경제연구
• /
• 제5권2호
• /
• pp.291-302
• /
• 1996

환경질 개선의 편익추정에 사용되는 헤도닉 가격모형에서 제1단계 헤도닉 함수 추정시 그 함수형태에 따라 결과가 편의를 가질 수 있다. 본 논문에서는 13가지의 각기 다른 비선형 및 선형 헤도닉 함수 등을 한국 주택시장에 적용하여 그 적합성을 이론 및 실증적 방법을 병행하여 검증하였다. 그 결과, 고전적으로 종속변수만을 변환시키는 Box-Cox 함수형태나 Box-Cox 변형계수가 사전적으로 0과 1사이에 있음을 가정하는 오목한(concave) 한 함수형태가 기존 연구와는 달리 한국시장에는 적합한 함수형태가 아니라는 결과를 이끌어 냈다. 나아가 서울 주택시장에 가장 적합한 함수형태는 종속 및 독립변수를 각각 다르게 변환시키는 헤도닉 함수형태임을 보여 주었다. 아울러 본 연구는 간접적으로 헤도닉 가격모형 적용시 그 지역의 주택시장 특성에 관한 연구가 선행되어야 함을 시사하고 있다.

• 대한지역사회작업치료학회지
• /
• 제7권1호
• /
• pp.49-57
• /
• 2017

목적 : 본 연구의 목적은 노인의 지역사회 이동성을 측정하는 평가도구인 Life Space Assessment(LSA)를 한국어로 번역하여 이에 대한 적합성을 검증하기 위하여 내용 타당도와 이해도 검증을 실시하는 것이다. 연구방법 : 원문 LSA을 번역-역번역한 최종 한글 번역본을 6명의 전문가 위원에게 내용 타당도 검증을 실시하였고, 신입 작업치료사 13명에게 문항에 대한 이해도를 검증을 조사하였다. 내용 타당도와 이해도 검증은 내용 타당도 지수(Contents Validity Index; CVI)를 사용하였다. 결과 : 내용 타당도에 대한 각 문항에 대한 CVI .93~1.00이었으며, 도구 전체 CVI는 .99로 매우 높은 수준의 내용 타당도를 보였다. 또한 내용 이해도 결과는 각 문항 CVI .92~1.00로 분포하였고, 도구 전체 CVI는 .97로 매우 높은 수준으로 검증되었다. 결론 : LSA의 한국어 번역 검증 결과 내용 타당도 및 이해도가 매우 높은 수준으로 검증되어 국내에서 노인의 지역사회 이동성을 평가할 수 있는 도구로 적용가능성을 보여주었다. 앞으로의 연구에서는 LSA의 수렴타당도, 구성타당도, 신뢰도 검증 등의 다양한 연구들이 진행되어야할 것이다.

• 한국항공우주학회지
• /
• 제42권12호
• /
• pp.1020-1027
• /
• 2014

CMG의 특이점 회피를 위한 구동법칙의 설계와 관련된 특이성 지수를 분석하였으며, 지수를 선택하거나 개발할 때 필요한 정성적인 적합성 기준을 제시하였다. 빠른 계산과 조건수와의 일치성을 중요한 기준으로 선정하였으며, 이에 따라 세 가지의 변형된 지수를 제안하였다. 유한지수와 무한지수의 특성을 비교하였고, 가중치를 이용하여 두 가지의 장점을 결합하는 방안을 제시하였다. 컴퓨터 시뮬레이션을 이용하여 제안한 방법을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.43-45
• /
• 2003

소프트웨어 공학이 소프트웨어 시스템에 관한 방법론, 기술 및 툴 등의 유지보수와 개발에 중점을 두어 왔는데 최근에는 프로세스 개선과 프로세스 능력수준의 향상에 초점을 두는 방향으로 발전하면서 CMM 및 SPICE 활동이 증가하고 있다. 이와 같은 심사기법은 대규모의 회사에서 주로 시행되고 있어서 중소규모의 조직을 위한 간략한 심사기법의 도입이 요구되는 있는 상황이다. 본 논문에서 제시하는 심사기법은 CMM 심사를 위한 KPA 설문서의 rating 방법을 응용한 것으로서 SPICE 심사를 받은 국내 기업 중 일부 회사를 대상으로 하였다. 이 방법론에 대한 신뢰성의 평가는 아직 미흡한 상황이다. 이를 위해서 통계학적 접근방법을 도입하였는데 사용된 통계 기법은 상환계수를 통한 가설검정이다. 그 결과 성숙도 설문서(MQ) 선정모델의 적합성을 통계적 기법을 통해서 검증하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 추계학술대회 학술발표 논문집
• /
• pp.267-273
• /
• 1998

셀룰라 오토마타 신경망은 저자에 의하여 개발된 신경망으로써 주변의 셀과 국소적인 연결을 가지며 셀룰라 오토마타의 발생규칙에 따라 생성되는 신경망이다. 셀룰라 오토마타 신경망을 간단히 줄여서 ECANS라고 한다. 본 신경망은 카오스 뉴런 모델을 사용하며 뉴런사이의 연결강도는 흥분성 또는 억제성 결합을 갖는다. 신호의 전달방식은 펄스의 형태로서 뉴런이 발화하면 '1' 발화하지 않으면 '0'이 된다. 본 논문에서는 셀룰라 오토마타를 구성하는 요소별 특징을 살펴보고 주어진 문제에 적합한 셀룰라 오토마타 신경망을 얻어내기 위한 진화방법으로서 DNA 코딩방법을 제안한다. 제안한 방법의 유효성을 시뮬레이션을 통하여 검증한다.

• 항공우주시스템공학회지
• /
• 제14권spc호
• /
• pp.49-55
• /
• 2020

항공사에서 운용되는 수송급 항공기는 평균적으로 연 1회(또는 1,000~20,000 비행시간 당 1회) 낙뢰에 피격되는 것으로 추정된다. 그러나 피격 확률이 중요한 것이 아니라 항공기가 낙뢰에 피격된다는 사실이 중요하다. 그러므로 인증 과정에서 항공기의 낙뢰보호설계가 검증되고 낙뢰 관련 감항기준에 대한 적합성이 입증되어야 한다. 본 논문에서는 우선적으로 우리나라 최초로 민간 형식증명을 획득한 KC-100 비행기 및 일부 시험 사례 분석을 통해 낙뢰에 대한 적합성 입증방법을 고찰하였다. 향후 본 논문을 바탕으로 우주발사체에 대한 낙뢰 영향성도 고찰해 볼 필요가 있다.

• 한국측량학회지
• /
• 제36권2호
• /
• pp.59-66
• /
• 2018

본 연구는 산사태 발생 취약성을 평가하기 위해 2006년 7월 11일부터 7월 18일까지 집중호우 시 다수의 산사태가 발생한 인제지역의 지형요인, 임상, 토질, 지질과의 상관관계를 분석하였다. 미래에 발생할 산사태의 취약성 평가를 위해 인제지역에 발생한 산사태를 활동형태와 흐름형태로 구분하고 지형에서 경사, 경사각, 곡률, 능선, 계곡을 추출하였다. 그리고 임상요인에서 경급, 영급, 밀도, 임상을 추출하여 베이지안을 기반으로 하는 LR 모델과 WOE 모델을 적용하여 연구지역 산사태의 취약성을 평가하고 예측비율곡선을 이용하여 적합도 검증하였다. 취약성 평가 결과의 적합도 검증 결과 산사태를 유형별 구분 없이 적용한 결과 상위 20%에서 LR 모델은 75%, WOE 모델은 73%의 적합도를 보이고 있으며, 활동형태와 흐름형태로 구별하여 검증한 결과 활동 형태는 상위 20%에서 LR 모델은 71%, WOE 모델은 69%의 적합도를 나타내고, 흐름 형태에서는 상위 20%에서 LR 모델은 86%, WOE 모델은 82%의 적합도를 나타내었다. 평가결과 적합도는 LR 모델 적용 결과가 WOE 모델 적용 결과 보다 높은 적합도를 보였으며, 활동형태 보다는 흐름형태의 적합도가 높게 나타났다. 이러한 결과로 보아 산사태 취약성 평가와 검증 시에는 기존의 연구 방법과는 달리 산사태 발생 예측 시 유형별로 구분하여 실시하는 것이 타당한 것으로 사료된다.