• 대한지역사회작업치료학회지
• /
• 제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의 수렴타당도, 구성타당도, 신뢰도 검증 등의 다양한 연구들이 진행되어야할 것이다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권4호
• /
• pp.448-456
• /
• 2000

설계되는 시스템의 규모가 커지고 복잡해지므로 이를 빠른 시간 내에 효율적으로 검증하기 위한 상위 단계에서의 검증 기술의 개발이 중요하게 되었다. 본 연구에서는 하드웨어와 소프트웨어가 혼합되어 있는 시스템을 위한 상위 단계에서의 검증기술을 개발하였다. 에뮬레이션 또는 시뮬레이션만을 수행하는 것보다 빠르고 우수하게 기능적으로 검증하기 위해, 하드웨어와 소프트웨어 부분으로 분할한 후 인터페이스 회로를 이용하여 구현 가능하도록 하였다. 그리고, 상위 단계의 회로를 쉽게 하드웨어를 이용하여 검증하기 위한 설계 지침들을 제시하였다. 본 방법을 이용하여 리드-솔로몬 디코더 회로에 대한 검증을 수행한 결과 시뮬레이션만을 수행한 경우에 비하여 modified Euclid 알고리즘 수행 블록은 12,000배 이상의 속도로 검증을 수행할 수 있었으며, 전체 검증 시간도 반 이하로 줄었다.

• 한국학교ㆍ지역보건교육학회지
• /
• 제19권1호
• /
• pp.127-144
• /
• 2018

배경 및 목적: 이 연구의 목적은 OECD "더 나은 삶의 지수 2015"에서 34개 국가 중 29위로 평가된 한국인의 주관적 건강(subjective well-being)과 치료적 지지(therapeutic support) 관계에서 장소애착(place attachment)의 매개 효과를 탐색하였다. 방법: 비확률 표본추출 방법을 사용하여 서울 시민들 중 헬스클럽 이용자를 대상으로 설문지 조사를 실시하였으며, 구조방정식 모형분석을 통해 가설을 검증하였다. 결과: 분석 결과 치료적 감독(therapeutic oversight )만이 주관적 건강에 직접적인 영향을 미치는 것으로 확인되었다(B = .281, p < .05). 장소애착의 매개효과를 통해서 검증한 결과 치료적 감독 뿐만 아니라 치료적 증언(therapeutic testimonial)에 대해서도 유의하게 검증되었다(치료적 감독 간접 효과 = .155, p < .05, 치료적 증언 간접 효과 = .175, p < .05). 결론: 연구결과 주관적 건강에 영향을 미치는 것으로 장소애착의 매개효과가 큰 것으로 나타났다. 따라서 서로를 돌보며 회원들 간의 업적을 축하 할 수 있는 장소를 기반으로 한 건강 프로그램을 실행한다면 사회 구성원들의 주관적 건강 향상에 도움이 될 것으로 사료된다.

• Spatial Information Research
• /
• 제14권1호
• /
• pp.115-128
• /
• 2006

본 연구의 목적은 GIS를 이용하여 공간자료 분석을 통한 포항지역의 지하수 개발적지 선정 및 검증을 하는 것이다 이를 위해 본 연구에서는 물수지, 토지이용, 임상도, 토양분포, 지형고도, 경사, 수문지질 및 선구조 등을 분석하였다. 그리고 이러한 분석 자료 및 GIS 공간분석기법을 이용하여 지하수 산출성 표본자료와 상관 분석하여 수문지질 특성평가를 실시하여 수문지질특성에 따른 지하수 산출 특성을 도출하였다. 이러한 결과를 바탕으로, 포항시의 지하수 개발 적지 선정을 위한 지하수 잠재 가능성도를 작성하였고, 이를 지하수 산출량 자료와 비교 검증을 하였다. 검증 결과 지하수 개발 적지 분석 결과와 지하수 산출량 자료와의 관련성이 높게 나타났다. 이러한 지하수 개발 적지 선정 결과는 지하수 개발에 관련된 관리에 사용될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.349-351
• /
• 2005

자가 적응 시스템을 무인 시스템(UWS: Unmanned Weapon Systems)에 적용하기 위한 다양한 연구가 이루어지고 있다. 자가 적응 시스템은 임무중인 시스템이 다양한 주변 환경 및 시스템의 변화에 따라 능동적으로 시스템 또는 임무수행을 위한 전략을 주정해 항상 최상의 성능을 발휘할 수 있도록 하는 능력을 갖춘 시스템을 말한다. 자가 적응 시스템에서 능동적으로 변화시킨 시스템의 아키텍처나 임무수행 전략이 유효한 것인지에 관한 검증을 수행한 후 시스템에 적용해야 한다. 기존의 대부분의 자가 적응 시스템에 대한 연구결과에서는 능동적으로 변화된 시스템이 임무수행에 적합한지에 대한 검증 방법을 제시해 주고 있지 않다. 본 연구에서는 UWS의 자가 적응 시스템이 임무수행 중 변화 되었을 때 미래의 발생할 사건에 대해 적절하게 적용 가능한지를 검증하기 위하여 시간적인 사건의 완전성을 검증하기에 적합한 Computation Tree Logic(CTL) 모델체킹(Model Checking)을 적용하여 자가 적응 시스템의 적응결과를 검증하는 방법을 제시하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 추계학술발표대회
• /
• pp.609-612
• /
• 2014

오늘날 신뢰할 수 있는 정보통신기술(Information and Communication Technology, ICT) 시스템의 중요성은 증대되고 있으며 그에 맞춰 고위험 시스템의 검증(Verification) 작업도 점점 체계화되고 있다. 반면 여전히 일반적인 소프트웨어들은 검증 과정을 인력에 의한 테스팅과 같은 기초적인 방법에 의존하고 있다. 본 논문에서는 그 대표적인 예인 온라인 게임 서버를 대상으로, SPIN 모델 체커(SPIN model checker)를 이용한 자동화 검증방법을 적용하는 실험적인 연구를 수행한다. 연구 결과 기존의 검증 과정으로는 파악하지 못한 오류를 파악할 수 있었고, 검증 비용도 납득할 만한 수준이라는 것을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.349-351
• /
• 2004

STATEMATE는 Statecharts로 시스템의 행위를 설계하는 도구이다. 근래 들어. STATEMATE MAGNUM은 설계 뿐 아니라 모델체킹을 이용한 정형검증의 기능을 가지고 있다. 모델체킹은 상태 기반의 설계명세 된 시스템을 시제 논리로 그 요구 명세를 기술하여 설계명세가 요구명세를 만족시키는지를 검증하게 된다. 하지만 설계명세가 큰 경우, 모델체킹 시 상태폭발을 일으켜 시스템을 검증하지 못하게 한다. 모델체킹의 상태 폭발을 줄이기 위해서는 기본적으로 모델체커의 알고리즘을 개선시키거나, 모델을 추상화시킨다. 본 연구에서는 모델을 추상화시키더라도 검증 결과에는 별 영향을 주지 않는 부분을 추상화하고, 검증 결과에 직접 적인 영향을 주는 부분을 상세 명세하는 기법을 적용하여 실시간 운영체제의 코드를 어떻게 검증을 하는지를 보여준다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.890-895
• /
• 2000

본 논문에서는 인공신경망을 이용한 자모 검증을 HMM 기반 온라인 한글인식 시스템에 적용하는 방법론을 제시한다. 본 시스템에서 각각의 자모는 한 개의 HMM 모델과 한 개의 인공신경망 검증기를 갖는다. 자모 검증기는 HMM 네트웍이 생성한 자모 후보 가정을 입력으로 받은 후, 이 가정의 타당성에 대한 사후 확률을 출력한다. 이 사후 확률은 Viterbi 탐색시 탐색 경로에 반영된다. 기존 HMM 시스템의 국소적 특징의 한계를 보완하기 위하여, 한글 자모의 기본획 분석에서 얻어진 구조적, 전역적 특징이 자모 검증기에 사용되었다. 한글 낱자인식에 대한 실험 결과 HMM 기반 인식기에 자모 검증기를 도입함으로서 38.5%의 인식 오류를 줄일 수 있었다.

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2016년도 추계학술논문요약집
• /
• pp.177-178
• /
• 2016

전처리 공정장치 구축에 앞서 정확한 설계와 검증이 선행되어야 한다. 우선 디지털 목업 기술을 통해 설계검증을 철저히 함으로써 공정의 품질을 높이고 공정하자를 최소화 할 수 있다. 전처리 공정 중 사용후핵연료봉 인출 핵심장치의 유지보수를 쉽게 하고, 원격제어 효율을 높이기 위한 모듈화와 그에 대한 모듈화 방안분석을 수행하였다. 이를 위해해 전처리 디지털 목업 시스템 검증 대상과 사용 후핵연료봉 인출 핵심장치 주요모듈을 선정하였으며, 주요 모듈의 모듈화 방안 과 모듈 탈착 시간 검증하였다. 그 결과, 사용후핵연료봉 인출 핵심장치에서는 5개의 주요 모듈로 구성하였으며, 모듈 탈착 시간 검증에서 작업시간은 클램프모듈이 약 190초, 언볼팅, 푸셔 모듈이 140초, 인출 모듈이 160초, 연료봉 밀집 모듈이 80초 소요될 것 분석되었다. 향후 전처리장치별 모듈 분석과 LAYOUT 운영을 포함해서 MSM 시뮬레이터의 디바이스 및 시뮬레이터 시스템 구축을 수행할 것이다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2021년도 하계학술대회
• /
• pp.190-192
• /
• 2021

얼굴 검증 기술은 출입통제 시스템이나 모바일 기기에서의 열람 또는 금융 서비스 등 보안이 요구되는 다양한 분야에서 널리활용되고 있다. 최근 얼굴 검증 분야에서 높은 성능 향상을 보인 대부분의 검증 모델은 깊은 네트워크를 사용하므로 상대적으로 매우 큰 컴퓨팅 파워를 요구한다. 따라서 해당 모델들을 실환경에 적용하기 위해서는 모델 경량화 기술에 대한 고려가 반드시 필요하다. 얼굴 검증 연구에서 경량화 기술의 중요성에도 불구하고 해당 연구는 이제까지 잘 다뤄지지 않았다. 본 논문은 주요 얼굴 검증 모델에 대해서 지식 증류 기술을 수행하고, 이에 따른 실험 결과를 비교 분석하여 제시함으로써 경량화 기술 적용에 대한 방향성을 제시한다.