• 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.

• The Journal of Korean Society for School & Community Health Education
• /
• v.19 no.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
• /
• v.14 no.1 s.36
• /
• pp.115-128
• /
• 2006

The aim of the study is to select and verify for development of groundwater resources using Geographic Information System(GIS). The water balance, land cover, forest, soil, elevation, slope, hydrogeology and lineament were analyzed. Using GIS, relationship between the data and groundwater yield data was analyzed and the groundwater resources potential map was made for selecting suitable area for groundwater development. Then groundwater resource potential map was verified using groundwater yield data. The verified result showed the good agreement between the potential map and groundwater yield data. The potential map can be used for groundwater management which is related to groundwater development.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.4
• /
• pp.448-456
• /
• 2000

As the system complexity increases, it is important to develop high-level verification techniques for fast and efficient design verifications. In this research, fast verification techniques for hardware and software co-design systems have been developed by using logic emulation and algorithm-level simulation. For faster and superior functional verification, we partition the system being designed into hardware and software parts, and implement the divided parts by using interface modules. We also propose several hardware design techniques for efficient hardware emulation. Experimental results, obtained by using a Reed-Solomon decoder system, show that our new verification methodology is more than 12,000 times faster than a commercial simulation tool for the modified Euclid's algorithm block and the overall verification time is reduced by more than 50%.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.349-351
• /
• 2005

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.609-612
• /
• 2014

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.349-351
• /
• 2004

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.890-895
• /
• 2000

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

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2016.10a
• /
• pp.177-178
• /
• 2016

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

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2021.06a
• /
• pp.190-192
• /
• 2021

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