• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2011년도 춘계학술대회 초록집
• /
• pp.55.1-55.1
• /
• 2011

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

• 대한가정학회지
• /
• 제30권3호
• /
• pp.271-283
• /
• 1992

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

• 한국통신학회논문지
• /
• 제26권5B호
• /
• pp.669-676
• /
• 2001

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

• 재활치료과학
• /
• 제8권4호
• /
• pp.77-92
• /
• 2019

목적 : 본 연구의 목적은 낙상 위험 주거환경 평가인 HOME FAST의 국내사용을 위해 체계적인 절차를 통해 한국어로 번안하여 내용이해도 및 신뢰도를 검증하고자 하였다. 연구 방법 : 한글로 번역된 HOME FAST의 내용이해도를 알아보기 위해 작업치료사 총 21명에게 한글번역본의 이해도 평가하게 하였다. 이후 한글번역본을 역번역 하여 원문과 비교하고 문장구조 및 의미 유사성을 평가하였다. 아울러 신뢰도 검증을 위해 지역사회에 거주하고 있는 낙상 고위험군 노인 75명을 대상으로 평가를 진행하고 내적 일치도를 검증하였다. 그중 9명의 대상자의 경우 2명의 작업치료사가 방문하여 각각 평가한 뒤 검사자 간 신뢰도를 검증하였다. 결과 : 작업치료사를 대상으로 한 내용이해도 검증 결과에서 11개 문장이 이해도가 떨어지는 것으로 나타났다. 이해도 검증 결과의 의견을 바탕으로 검증위원회를 통해 구문을 수정하고 한글번역본을 완성하였다. 한글판을 역번역하여 유사성 검증을 한 결과 문장구조에서는 3문항이 유사하지 않음으로 평가되었고, 의미적 측면에서는 총 6문항이 유사하지 않음으로 평가되었다. 최종적으로 반복적 역번역 과정을 통해 한글판 HOME FAST의 내용 타당도를 확보하였다. 한글번역본의 내적일치도는 .62(p<.01)로 나타났고, 검사자 간의 신뢰도는 .97 (p<.01)로 매우 높은 것으로 나타났다. 결론 : 본 연구는 체계적 번역-역번역 과정을 통해 HOME FAST를 한국어로 번역하였다. 아울러 한글판의 내용이해도를 검증하였고, 내적일치도 및 검사자간 신뢰도 검증을 통해 신뢰도를 입증하였다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2008년도 제35회 하계학술대회 초록집
• /
• pp.199-199
• /
• 2008

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(1)
• /
• 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 문제에서는 큰 오차를 보였다.

• 한국항공우주학회지
• /
• 제43권6호
• /
• pp.516-525
• /
• 2015

본 연구에서는 정지 비행과 저속 하강 비행하는 회전익기 로터에 대한 소음을 예측하고 실험값과 비교하여 검증하였다. Ffowcs Williams-Hawkings 방정식을 이용한 소음압 예측 프로그램을 개발하였다. 해석 결과의 검증을 위해서 2가지 풍동 시험 결과를 이용하였다. Boeing 360 모델 로터를 이용하여 정지 비행 조건에서의 저차 주파수 대역의 소음압을 검증하였고, HART II 로터를 이용하여 저속 하강 비행 조건의 중간 주파수 대역의 BVI 소음을 검증하였다. 하중 소음을 예측하기 위해서 정지비행 조건에서는 자유후류기법을 통한 공력계수를 이용하였고, 저속 하강 비행 조건에서는 CFD/CSD 연계해석 결과를 이용하였다. 소음해석 결과 저차 주파수 대역의 소음압과 중간 주파수 대역의 BVI 소음압을 비교적 잘 예측하는 것을 확인하였다. BVI 소음압은 FFT 해석을 통하여 소음 방사 지도를 그려 실험결과와 비교하였다. 비교 결과 시험결과와 비교적 유사하게 예측하는 것을 확인하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 추계학술대회 논문집 전력기술부문
• /
• pp.439-440
• /
• 2008

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

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2008년도 춘계학술발표논문집
• /
• pp.60-62
• /
• 2008

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

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제12권2호
• /
• pp.141-148
• /
• 2006

본 논문에서는 정형 검증 도구를 이용한 보안 소프트웨어의 보안성을 검증하고 검증된 결과를 이용하여 안전한 보안 소프트웨어 개발 방안을 살펴본다. 정형 검증 기법에 따라 사용되어질 수 있는 각 정형 검증 도구들을 살펴보고 그 특성을 파악하여 보안 소프트웨어의 안정성과 신뢰성을 보장하는 적합한 도구들을 알아보고, 보안 소프트웨어 개발 방안을 제시한다. Z 언어를 이용하는 도구인 Z/EVES는 Z명세에 대한 분석 방법을 제시함으로써 보안 소프트웨어에서 가장 많이 사용되는 대표적인 정형 검증 도구이다. 본 논문에서는 보안 소프트웨어 검증을 위하여 C 언어로 작성된 보안 소프트웨어를 Z명세 언어로 변환하고 이것을 Z/EVES도구를 이용한다.