• Annual Conference of KIPS
• /
• 2003.05c
• /
• 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에게로의 응답을 위한 서비스를 제공함으로써 전자상거래를 통한 트랜젝션에 적합한 시스템을 위한 것이다.

• The Journal of Korean Association of Computer Education
• /
• v.5 no.4
• /
• pp.31-42
• /
• 2002

In this paper, We set up the development methodology of communication protocols as well as the concrete design concept concerning for how to define and use the PDU, SDU, SAP, and service primitives using SDL, which is recommended by ITU-T, and other international standard languages such as ASN.l, MSC, and TTCN. This methodology covers the SDL design of extended lures protocol, a well known protocol example, insertion of ASN.1 message for transportation of bit string, generation of MSC for validation of design specification, generation of test cases using TTCN from validation, and performance of conformance test.

• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.503-506
• /
• 1998

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

• Environmental and Resource Economics Review
• /
• v.5 no.2
• /
• pp.291-302
• /
• 1996

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

• The Journal of Korean society of community based occupational therapy
• /
• v.7 no.1
• /
• pp.49-57
• /
• 2017

Objective : The purpose of this study to create a translation of Life Space Assessment(LSA) for elderly, which was then tested for content related validity and understanding test. Methods : The translation and content validation process involved direct and backward translation, and the collection of content-related evidence from 6 expert panels and 13 clinician panels. A content validity indices (CVI), means, and standard deviations were used for the analysis of the content validity. Results : The results of the comparison between the original LSA and the Korean LSA with the expert panels were I-CVI showed a very high value of .93. and 1.00, and S-CVI/Ave 0.99. The results of the understanding test were showed a very high value of .92 and 1.00, and S-CVI/Ave 0.97. Conclusion : Korean LSA showed content related validity and understanding test, and illustrated the applicability of LSA in a Korean clinical setting. The results showed LSA can be used a useful tool for evaluating the community mobility of elderly.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.12
• /
• pp.1020-1027
• /
• 2014

Singularity indices for steering law design of CMGs have been analyzed. Several qualitative criteria to evaluate the suitability of indices have been suggested. Fast calculation and consistency with the condition number of the input matrix are the most important ones. Based on these criteria, modified indices have been proposed. Properties of infinite value and finite value indices have been compared and an ad hoc method to combine those properties has been presented. Computer simulation results are given to verify the proposed method.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.43-45
• /
• 2003

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

• Journal of Aerospace System Engineering
• /
• v.14 no.spc
• /
• pp.49-55
• /
• 2020

The average probability of a lightning strike to transport aircraft operating in airline service has been estimated to be approximately one strike in every year (or one strike per 1,000 through 20,000 flight hours). The important thing is not the probability of a lightning strike to aircraft, but the fact that aircraft is struck by lightning. Therefore, lightning protection design for aircraft should be qualified and compliance with airworthiness standards related to lightning protection must be substantiated in the process of certification. In this paper, I studied means of compliance for lightning protection through analysis of some test cases, including the KC-100 airplane that firstly obtained civil type certificate in Korea. Based on this paper, it will be also necessary to study on the effect of lightning for space launch vehicles.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.10a
• /
• pp.267-273
• /
• 1998

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

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.36 no.2
• /
• pp.59-66
• /
• 2018

This study examined the correlation among topography, forest type, soil and geology in Inje area where landslides occurred during heavy rainfall from July 11 to July 18, 2006 to assess the landslide susceptibility. In order to assess the susceptibility of future landslides, landslides occurred in Inje area were classified into slide type and flow type, and slope angle, aspect, curvature, ridge and valley were extracted from the area. The landslide susceptibility was assessed by applying diameter class, age class, density, and forest type to Bayesianbased LR (Logistic Regression) model and WOE (Weight of Evidence) model, and the fitness of modeling was verified by predict rate curve. As the results of susceptibility assessment, using all landslides without no distintion, it was found that 75% of the LR model and 73% of the WOE model were fit in terms of the top 20% of the landslides. According to slide type and flow type in the top 20% of the landslides, it was found that 71% of the LR model and 69% of the WOE model were fit in terms of the slide type. Whereas, it was found that 86% of the LR model and 82% of the WOE model were fit in terms of the flow type. That is, the results of the LR model showed higher fitness than the results of the WOE model, and the fitness of the flow type was higher than that of the slide type. Consequently, it suggests that it is reasonable to assess and verify the landslide susceptibility according to the types of landslides.