• 한국신재생에너지학회:학술대회논문집
• /
• 2011.05a
• /
• pp.55.1-55.1
• /
• 2011

풍력터빈에 적용되는 제어로직에 대한 검증을 실험실 기반에서 검증하기 위해서는 바람 및 터빈에 대한 적절한 모델링이 선행되어야 한다. 특히 피치 및 토크제어에 대한 특성을 검증하기 위해서는 블레이드 공력특성 및 터빈의 동특성에 대한 반영이 필연적이다. 본 논문에서는 풍력터빈 적용 제어로직 검증을 위하여 대상터빈에 대한 스케일링 결과, 바람을 모사하기 위한 구동장치 동작 및 터빈 모사장치에 대한 설계 결과에 대하여 소개하도록 한다.

• Journal of the Korean Home Economics Association
• /
• v.30 no.3
• /
• pp.271-283
• /
• 1992

본 연구의 목적은 가족스트레스 이론과 선행연구를 바탕으로 하여 제안된 이론적 모델의 검증을 통하여 일과 가정생활의 두 역할을 병행하는 데서 기인하는 역할긴장이 매개변수인 가족자원과 대처방안에 의해 어떻게 중재되어 삶의 질에 영향을 미치는가를 규명하는데 있다. 다단계 추출법으로 미국 로스엔젤레스에 거주하는 한인교포 중 맞벌이부부를 연구대상으로 선정하여 질문지를 통해 남편과 아내의 자료를 표집하였지만 본 연구에서는 117명의 남편의 자료만을 결과 분석하였다. 분석방법은 이론적 검증에 유용한 LISREL Ⅶ 프로그램이 사용되었다. 처음에 제안된 이론적 모델의 검증에는 문제를 보였지만 PSI Matrix를 고정하고 가정생활의 역할 stressor와 가족자원의 경로를 첨가하여 수정된 모델은 자료에 의해 충분히 검증되었다. 그러나 남편의 이론적 모델은 가족스트레스 이론을 일반화시키지 못했기 때문에 일과 가정생활의 두 역할을 병행하는 데서 기인하는 남편의 역할긴장을 가족스트레스 이론으로 설명하는데는 문제가 있는 것으로 나타났다. 연구결과를 바탕으로 본 연구에서 제안된 이론적 모델의 의미와 제한점 등을 살펴본 후 미래연구가를 위한 방안이 제시되었다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.5B
• /
• pp.669-676
• /
• 2001

본 논문은 DCT 기반의 블라인드 워터마킹 방법에 관한 연구 결과이다. 본 논문에서 사용한 4096비트의 워터마크는 512x512 영상이 수용할 수 있는 최대 용량의 절반에 해당한다. 각 워터마크 비트는 8x8 DCT 블록의 12개의 계수에 확산 패턴을 이용하여 삽입하였다. 워터마크 삽입 과정에서, 워터마크 이득 계수는 비가시성과 견고성을 고려하여 최적화되었다. 워터마크 검출 과정에서는, 상관검출을 통하여 워터마크에 대한 예비판정을 하며, 이진가설 검증의 검증 과정을 통해서 예비판정에서의 검출 오류를 수정하였다. 검증 과정에서는 복원된 DCT계수를 이용한 가중치가 사용되었으며, 대부분의 예비 판정의 오류는 검증 과정에서 수정이 되었다. 실험 결과, 영상에 공격이 가해지지 않은 경우는 최종 검증 후에 BER이 0.5% 미만으로 낮아졌으며, 20% JPEG의 고압축에서도 BER이 9% 미만으로 산출되었다. 기존의 방법들과의 비교에서, 제안한 방법은 워터마크 검출 성능 및 워터마크 용량 측면에서 우수하였다.

• Therapeutic Science for Rehabilitation
• /
• v.8 no.4
• /
• pp.77-92
• /
• 2019

Objective : This study aims to obtain the validation of Korean version of HOME FAST using the translation-back translation process and to evaluate the reliability. Methods : Total three stages were conducted which includes forward translation to Korean, test for degree of understanding of translated version, back translation to English, and then review and proof reading process. 21 occupational therapists were participated in the evaluation of understanding of Korean-translated HOME FAST, then some of expressions were modified for better understanding. Korean version was went through back-translation to English. Similarity between the original version and re-translated version were evaluated. Total 75 data from community dwelling elderly group were collected to assess internal consistency. Two occupational therapists simultaneously evaluated for the inter-rater reliability. Results : 11 items of Korean-translated scale were responded as having confused meaning by occupational therapists. There was some modification on expression. In the evaluation of similarity between original version and re-translated version, 3 items were selected as dissimilar items in terms of syntax and 6 items were selected in terms of semantic similarity. After the repetitive modification process, items were obtained conceptual equivalence between two different languages. Internal consistency was .62(KR20) (p<.01) and inter-rater reliability was .97(ICC) (p<.01). Conclusion : Korean version of HOME FAST was finalized through translation-retranslation process. The conceptual equivalence was established and Korean version showed highly reliable. In further study, The modification of items reflecting Korean house and life style should be conducted.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2008.08a
• /
• pp.199-199
• /
• 2008

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.93-98
• /
• 1998

PEN(1)(다항식전개 노달) 해법을 육방형 노심의 과도상태 해석과 Adjoint flux(수반 중성자속)해법에 응용하여 여러가지 Benchmark문제들(3)(4)(5)을 풀고 그 결과를 다른 수치기법 결과와 비교·분석하였다. 2차원 육방형 대형중수로 과도상태 Benchmark문제(5)를 다항식전개 노달해법에 의한 과도상태 해석·검증의 대상으로 삼았으며 그 기준 계산치로서 FX2-TH 코드의 계산결과를 사용하였다 대형중수로 노심의 과도상태 해석 결과, 기준해와 비교해 집합체 낙하시작 3초 후에 집합체가 낙하한 위치에서 Normalized Flux 오차가 0.5% 이내, 집합체가 낙하하지 않은 위치에서 Normalized Flux 오차가 1% 이내의 정확한 결과를 보였다. Adjoint flux 해의 검증을 위해서는 VENTURE 코드(2)의 계산 결과를 기준해로 하였으며, 계산능 검증을 위해 사용된 대부분 의 Benchmark 문제들에서 작은 오차를 보였으나 반사체가 포함된 IAEA 문제에서는 큰 오차를 보였다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.43 no.6
• /
• pp.516-525
• /
• 2015

In this paper, the acoustic pressure of a helicopter rotor in hovering and low speed descent flight is predicted and compared with experimental data. Ffowcs Williams-Hawkings equation is used to predict the acoustic pressure. Two different wind tunnel test data are used to validate the predicted results. Boeing 360 model rotor test results are used for the low-frequency noise in hover, and HART II test results are employed for the mid-frequency noise, especially BVI noise, in low speed descent flight. A simple free-wake model as well as the state-of-the-art CFD/CSD coupling method are adopted to perform the analysis. Numerical results show good agreement against the measured data for both low-frequency and mid-frequency harmonic noise signal. The noise carpet results predicted using the FFT(Fast Fourier Transform) shows also reasonable correlation with the measured data.

• Proceedings of the KIEE Conference
• /
• 2008.11a
• /
• pp.439-440
• /
• 2008

본 논문은, 장기 전력수요예측시 최종 수요예측 결과에 수요관리량을 어떻게 반영할 것인가와 관련하여 "수요관리 순증분 차감방식"에 대하여 설명하고, 순증분 차감방식이 수요관리량 반영방법으로서 적정한지 검증해보았다. 검증 결과 순증분 차감방식은 현실적으로 수요관리 실적에 대한 정확한 계량이 어려운 상황에서 가장 타당한 방법으로 검증되었다.

• Proceedings of the KAIS Fall Conference
• /
• 2008.05a
• /
• pp.60-62
• /
• 2008

AHP 기법을 통해 도출된 결과에 대하여 개별 계산 방법과 그룹 계산 방법을 통해 정확성을 검증하였다. 일반적으로 AHP 기법을 사용하여 가중치를 도출하지만 일관성 확인은 되지만 결과 값의 검증은 하지 못하고 있다. 본 연구에서는 이러한 문제점을 엑셀을 통해 확인하는 과정을 제시하였다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.141-148
• /
• 2006

This paper suggests method of safe security S/W by verifying and its result of formal verification tool. We will survey many formal verification tools and compare features of these tools. And we will suggest what tool is appropriate and methodogoly of developing safe security S/W. The Z/EVES is the most appropriate tool. This paper proposes formal verification of ACS by using RoZ tool which is formal verification tool to create UML model. The specification and verification are executed using Z/EVES tool. These procedures can find weak or wrong point of developed S/W.