• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2001년도 International Conference CALS/EC KOREA
• /
• pp.155-163
• /
• 2001

There are cases that revoke the certification because of disclosure of private key, deprivation of qualification and the expiration of a term of validity based on PKI. So, a user have to confirm the public key whether valid or invalid in the certification. There are many method such as CRL, Delta-CRL, OCSP for the cert-validation of certification. But these method many problems which are overload traffic on network and the CRL server because of processing for cert-validation of certification. In this paper we proposed the realtime cert-validation of certification method which solved problems that are data integrity by different time between transmission and receiving for CRL, and overload traffic on network and the CRL server based on DARC.

• 대한전기학회논문지:전력기술부문A
• /
• 제55권11호
• /
• pp.485-491
• /
• 2006

In this paper, we study the problem of model selection for Support Vector Machine(SVM) predictor for short-term load forecasting. The model selection amounts to tuning SVM parameters, such as the cost coefficient C and kernel parameters and so on, in order to maximize the prediction performance of SVM. We propose that Cross-Validation method can be used as a model selection algorithm for SVM-based load forecasting technique. Through the various experiments on several data sets, we found that the difference between the prediction error of SVM using Cross-Validation and that of ideal SVM is less than 5%. This shows that SVM parameters for load forecasting can be efficiently tuned by using Cross-Validation.

• Journal of Digestive Cancer Research
• /
• 제11권3호
• /
• pp.157-164
• /
• 2023

Prediction is a significant topic in clinical research. The development and validation of a prediction model has been increasingly published in clinical research. In this review, we investigated analytical methods and validation schemes for a clinical prediction model used in digestive cancer research. Deep learning and logistic regression, with split-sample validation as an internal or external validation, were the most commonly used methods. Furthermore, we briefly introduced and summarized the advantages and disadvantages of each method. Finally, we discussed several points to consider when conducting prediction model studies.

• 한국지리정보학회지
• /
• 제21권1호
• /
• pp.83-95
• /
• 2018

최근 조선 산업의 기술이 발전함에 따라 선박의 크기 및 성능이 향상되었다. 이에 따라 한 번의 선박 간 충돌로 인한 좌초 등의 사고가 대형 해난사고를 초래할 수 있게 되었다. 이러한 심각성을 고려하여 국제 사회에서는 해사안전 향상을 위해 지속적으로 전자해도 기준을 업데이트하고 있다. 국제수로기구(IHO)에서 관리하는 기존의 전자해도 관련 표준은 S-57로, S-57 안에는 기존 이진(Binary) 형태의 전자해도 데이터를 제작하기 위한 기준이 담겨있다. 그러나 S-57은 2000년 12월 3.1 버전이 발표된 이후 업데이트가 중단되어 지속적으로 성장하고 있는 해양공간정보의 기술 경향을 반영하지 못하고 있다. IHO에서는 이러한 흐름에 대처하기 위해 차세대 전자해도 제작기준 표준인 S-100을 제정하였으며, 기존 S-57과 다른 데이터의 교환 형식을 사용하였다. 기존 전자해도의 경우에는 이진 형태로 구성되었으나 차세대 전자해도 표준을 기반으로 한 S-10X 전자해도 데이터의 경우에는 피처 카탈로그(Feature Catalogue), 포트리얼 카탈로그(Portrayal Catalogue), GML로 구성되어 있다. 이러한 점을 고려할 때 전자해도의 유효성 검증 표준인 S-58의 업데이트 또는 새로운 유효성 검증 표준의 제정이 필요하다. 본 연구에서는 이에 변화된 데이터의 유효성 검증 시험을 위해 자체 소프트웨어를 개발하였고 테스트 결과에 따른 개선점을 도출하였다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2010년도 제34회 춘계학술대회논문집
• /
• pp.181-189
• /
• 2010

개방형 액체로켓엔진 시스템에 대한 동특성 예측 프로그램을 작성하였다. 이 프로그램을 통해 얻은 펌프 시동 시 시간에 따른 압력 및 유량 변화 결과를 수류실험장치를 구축하여 실험적으로 검증하였다. 수류실험장치는 실제 액체로켓엔진 추진제 공급 계통에서 구성품의 형태와 배치위치, 가스발생기와 주연소실로 분기되는 유량비를 기준으로 모사되었다. 측정 시 관로가 채워진 상태에서 펌프를 시동하였으며 펌프는 전동기로 구동된다. 동특성 예측 프로그램의 작성을 위해 구성품별 동특성 모델링을 수행하고 엔진 시스템을 기준으로 각 모델링을 순차적으로 통합하였다. 구성품의 동특성 파라미터를 측정 반영하였고 압력 밸런싱을 통해 수렴 조건이 결정된다. 수렴된 밀도와 유량을 가지고 다음 시간에서의 초기 입력 값으로 대체하여 계산을 수행하였다. 천이 작동 상태에서 엔진 시스템 내의 물리량 변화를 전산 예측과 더불어 실험적으로 측정하고 비교하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권6호
• /
• pp.247-252
• /
• 2015

소프트웨어의 규모가 커지고 복잡성이 증가함에 따라 소프트웨어의 유지보수가 보다 중요해지고 있으며 유지보수성에 많은 영향을 미치는 요인 중 하나는 소스코드 가독성이다. 가독성의 90% 이상 영향을 끼치는 요인은 소스코드에서 사용되는 식별자들의 이름이며 이를 위한 기존 연구들에서는 클래스의 식별자로 사용된 어휘를 이용하여 식별자의 이름을 검증한다. 하지만 대부분의 관련 연구는 그 특성상 개체의 도메인 관련 특성만을 고려하게 되며 클래스 내의 어휘가 적절하지 못한 경우 적용할 수 있는 범위가 한정적이라는 한계점이 있다. 본 논문에서는 클래스의 특성을 추출하여 의사결정트리 기법을 통해 기계학습을 시킨 후 클래스 역할 모델을 생성하며 이를 이용하여 이름을 검증할 대상 클래스의 역할에 해당하는 접미사를 추천하게 되어 클래스 이름 검증 보고서를 생성한다. 본 연구 기법의 효용성을 검증하기 위해 4개의 오픈소스 프로젝트에 대하여 본 연구 기법을 적용하였고 클래스 역할 정보를 담고 있는 5개의 접미사에 대해 정확도와 재현율, ROC 곡선과 같은 지표를 제시하였다.

• Spatial Information Research
• /
• 제21권2호
• /
• pp.45-54
• /
• 2013

해석적 또는 시뮬레이션 오차 모델은 공간 데이터가 가지는 위치오차의 분포를 설명 하는데 유용하다. 그러나 두 오차 모델은 위치오차를 모델링을 하기위하여 다른 접근 방법을 이용하므로 정의된 조건 내에서 올바른 위치오차를 예측 하는지 확인하는 내적 검증을 필요로 한다. 이에 본 논문은 오차타원과 에러밴드 모델을 이용하여 제시한 포인트와 라인 세그먼트 시뮬레이션 오차 모델을 내부적으로 검증하는 방법을 제안하였다. 시뮬레이션 오차 모델은 분산-공분산 행렬(variance-covariance matrix)의 변수에 의해 규정된 확률분포에 따라 몬테카를로 시뮬레이션을 이용하여 위치오차들을 생성한다. 검증절차에서는 시뮬레이션 모델에 의한 위치오차의 집합을 해석적 오차 모델에 의한 이론적 위치오차와 비교하였다. 결과적으로 제안된 시뮬레이션 오차 모델은 정의된 위치오차에 따라 동일한 공간 데이터의 위치적 불확실성을 실현함을 확인할 수 있었다.

• 한국항행학회논문지
• /
• 제19권1호
• /
• pp.15-21
• /
• 2015

WA-DGNSS는 지상에서 수신한 GNSS 신호를 관련 오차 계산 후 보정 정보를 생성하여 위성을 통해 사용자에게 보정 정보를 제공하는 시스템을 말한다. 사용자는 이 시스템을 통해 위치 정확도 향상 및 GNSS 신호에 대한 신뢰성을 보장 받는다. 또한 국제 민간항공기구(ICAO)에서는 항공기 이착륙 절차에 광역 보정시스템의 적용을 권고하고 있다. 본 논문에는 항공관련 소프트웨어 개발 절차 관련 규격문서인 RTCA DO-278의 소프트웨어 검증 프로세스를 참고하여 기 구축된 WA-DGNSS 광역 기준국 소프트웨어의 모듈 및 통합 테스트 단계를 구성하여 검증을 위한 방법론을 제시한다. 또한 제시한 방법론을 통해 기준국 소프트웨어 테스트를 통계적으로 검증하였으며 이러한 검증을 통해 기준국 소프트웨어의 기능이 적절히 수행됨이 확인되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.646-648
• /
• 1999

본 논문에서는 가입자망의 고속화를 실현하는 방안으로 개발되고 있는 B-WLL 시스템의 MAC 프로토콜을 설계하고 검증하였다. MAC 프로토콜의 설계는 DAVIC에서 제시하는 MAC 메시지를 사용하여 SDL로 설계했으며, 가변적인 경쟁/예약 타임 슬롯할당 알고리즘을 적용했다. 또한 설계한 MAC 프로토콜의 유효성을 검증하기 위하여 Object(GEODE의 SDL Design Tracer를 이용하여 문법적인 오류를 검사하고, MSC를 생성하여 프로토콜의 동작절차에 대해 검증하였다. 검증의 결과, 설계한 MAC 프로토콜이 절차에 따라 정확하게 동작했으며, B-WLL 시스템이 지원하는 모든 서비스에 대해 유효함을 확인했다.

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

건축, 토목 분야의 정보 교환을 위한 표준으로 주목받고 있는 BIM 모델의 국제 표준인 IFC 표준을 위해, 소프트웨어가 IFC 표준에 맞게 유효한 정보를 입출력 하도록 도와주고, IFC 파일이 표준에 맞는지 검증할 수 있는 모듈을 개발했다. 특히, 지역별 및 국가별 상황에 맞게 BIM 모델을 수정하거나 확장해 사용하도록 권고하고 있는 상황에서 다양한 확장 IFC 표준을 효과적으로 지원할 수 있도록 IFC 표준을 정의하는 EXPRESS 언어로부터, 객체 지향 언어를 위한 소프트웨어 개발 라이브러리를 자동으로 생성하고, 해당 SDK를 활용해 IFC 모델을 검증하는 라이브러리를 자동으로 생성하며, IFC 파일을 검증할 수 있는 독립적인 실행 파일도 자동으로 생성할 수 있도록 했다. 또한 객체 지향 라이브러리를 사용함으로써 주어진 IFC 모델을 효과적으로 문서화 할 수 있도록 HTML 생성 도구를 개발하거나 3차원 형상 확인이 가능하도록 VRML 생성 도구를 개발하는 등의 작업이 쉽게 이뤄짐을 확인했다. 이렇게 자동화된 BIM 소프트웨어 개발 도구는 IFC 모델의 수정이나 확장을 고려하는 BIM 소프트웨어 개발 프로젝트의 생산성을 향상시키고, 해당 시스템의 운영에 신뢰도를 높이는 것은 물론이며, 향후 국내 실정에 맞게 운영될 BIM 인증 제도에도 활용하면 기존의 수작업 방식 인증제도에 비해 인증에 걸리는 시간과 비용을 줄이는 것은 물론 인증 자체의 객관성과 정확성, 투명성과 신뢰성을 높일 수 있을 것으로 기대된다.