• 대한감각통합치료학회지
• /
• 제19권1호
• /
• pp.24-38
• /
• 2021

목적 : Evaluation in Ayres Sensory Integration(EASI)의 국내사용을 위해 번역연구를 통한 한글 연구판 EASI를 제시하고, EASI의 구성타당도를 검정하고자 하였다. 연구방법 : EASI의 번역연구는 타문화 적응을 위한 번역 가이드라인의 4단계에 따라 실행하였다. 과정은 번역, 번역내용의 통합과 내용타당도 분석을 거쳤으며, 하위 검사 하나는 역번역을 실시하여 한글 연구판 EASI를 제시하였다. 구성타당도 검증은 3~12세의 일반아동과 감각통합문제를 가진 아동을 대상으로 EASI를 사용하여 평가하였다. 구성타당도는 일반아동과 감각통합문제를 가진 아동 그룹의 집단비교와 학령전기와 학령기 일반아동의 집단비교를 통하여 검증하였다. 집단비교는 Mann Whitney U 검정을 사용하여 분석하였다. 결과 : 번역 내용타당도 검증 결과 20개의 모든 항목은 평균 3.17점 이상을 보였다. 일반아동군과 감각통합문제 아동군의 EASI 영역별 차이를 알아본 결과 4개의 영역 중 감각지각 영역에서 두 그룹간 차이를 보였다(p=0.044). 세부적으로 촉각과 전정감각과 관련된 항목에서 통계학적인 차이를 보였다. 일반아동의 학령전기 아동군와 학령기 아동군의 EASI 영역별 비교에서는 실행, 안구, 자세 및 양측운동통합의 2개 영역에서 통계학적 차이가 있는 것으로 나타났다. 결론 : EASI 번역연구를 통해 제시된 한글판 EASI는 연구용으로 사용하기에 적합하다. 구성타당도 검증결과 일반아동과 진단군 아동의 차이를 설명할 수 있는 항목들과 연령에 따른 차이를 설명할 수 있는 항목들을 제시하였다. 이는 EASI 결과 해석에 고려될 수 있으리라 생각된다. 감각통합 기능의 종합적인 평가와 중재에 대한 근거를 제시하기 위해서는 앞으로 검사자간 신뢰도와 검사-재검사 신뢰도 검증이 필요하며, 추가적인 타당도 검증이 필요하리라 생각된다.

• 대한기계학회논문집A
• /
• 제34권5호
• /
• pp.541-547
• /
• 2010

메타모델의 정확도를 엄밀하게 검증하는 것은 메타모델링에서 중요한 연구주제이다. k 점 선택교차검증기법이 많은 계산시간을 요구하면서도 메타모델의 정확도를 정략적으로 측정하지 못한다. 최근들어, 평균 $_0$ 기준이 메타모델의 정확도를 정량적으로 제공하기 위하여 제안되었다. 그러나 평균 $_0$ 검증 기준은 크리깅 메타모델이 부정확함에도 불구하고 일찍 수렴하는 경향이 있다. 따라서 본 연구에서는 최대엔트로피를 이용한 순차적 실험계획에서 크리깅모델의 평균과 분산을 이용한 정확도 평가기법을 제안한다. 이 제안한 기법은 평균 및 분산을 계산할 때 수치해석으로 구하는 것이 아니라 크리깅메타모델을 직접 적분하여 구하기 때문에 k 점 선택교차검증기법보다 효율적이며 정확하다. 제안한 기준은 실제 응답의 평균제곱오차의 경향과 매우 유사하여 순차적 실험계획의 수렴기준으로 사용할 수 있다.

• Journal of the Korean Data and Information Science Society
• /
• 제21권3호
• /
• pp.407-417
• /
• 2010

신BIS협약에서는 자본적정성 규제에 있어서 자율성 확대를 위해 내부등급시스템을 허용하였고, 이에 따라 시스템의 적합성 검증의 중요성을 더욱 강조하게 되었다. 적합성검증은 양적 질적 검증으로 나뉘며 이 때 양적 검증은 변별력, 안정성, 등급의 계량화로 구별된다. 본 논문에서는 양적 검증의 등급의 계량화 중 신용등급 변화 검정기법에 대하여 연구하려고 한다. 등급의 계량화 검정은 등급별로 추정된 부도율과 실제 부도율과의 차이를 검정하는 방법으로 한 시점에 대한 검정으로 이항검정과 카이제곱검정, Brier score, 신호등 검정이 있고, 여러 시점의 정확성을 검증하는 방법으로 정규성 검정, 확장된 신호등 검정이 있다. 신용평가시스템의 정확성을 높이고, 현실 상황에 반영이 가능하려면 상관관계를 고려하지 않을 수 없다. 본 논문에서는 부도상관관계를 고려한 확장된 신호등 검정을 제안하고자 한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제36권6호
• /
• pp.488-501
• /
• 2009

유비쿼터스 환경에서 모바일 단말기의 제한적인 자원 문제를 해결하기 위해 주변 자원을 실시간으로 공유하는 연구들이 진행되고 있다. 그리고 자원의 공유뿐만 아니라 상황 정보에 기반한 추론을 통해 개인 맞춤형 자원을 추천하는 연구도 활발히 진행되고 있다. 개인 맞춤형 자원 추천을 위하여 사용자의 기본 정보, 자원에 대한 선호도, 공유 대상이 되는 자원의 정보, 단말기의 위치, 시간과 같은 다양한 상황 정보는 효과적으로 공유 및 관리되어야 한다. 또한 신뢰성 있는 자원 추론을 위해 필요한 추론규칙을 검증하는 단계는 매우 중요하다. 이를 위해서 다양한 상황 정보를 구성하여 실제 단말기 상에서 자원 추론규칙이 올바르게 동작하는지 검증해야 하지만 이는 현실적으로 많은 비용과 시간이 필요하다. 따라서 본 논문애서는 이러한 문제점을 해결하기 위하석 추론 검증 도구를 제안한다. 제안하는 추론 검증도구는 편리한 그래픽 사용자 인터페이스를 제공하여 원하는 상황 정보를 쉽게 생성할 수 있고, 실제 단말기를 대신하여 동적인 상황 정보의 변경에 따른 추론을 정확하게 검증한다.

• KSBB Journal
• /
• 제17권4호
• /
• pp.326-332
• /
• 2002

크로마토그래피 공정 성능 검증의 한 항목인 담체의 수명 검증을 위해 자동화된 미니 크로마토그래피 시스템(MiniValChrom)을 개발하였다. 이 시스템은 크로마토그래피공정의 자동화된 반복수행, 크로마토그래피 각 step의 작동순서 및 공정조건의 자유로운 구성, on-line 실시간 모니터링 및 제어, 여러 담체 수명 검증법의 method file 저장기능 등을 갖추었다. MiniValChrom을 사용하여 BSA와 Cibacron Blue 3G-A를 각각 모델 단백질과 담체로 담체 수명 검증실험을 사례연구로 수행하였다. 담체 수명의 감소는 크로마토그래피 공정을 반복수행하면서 5 cycle 마다 변화하는 HETP값을 측정하여 HETP 값이 1 cm 이상 될 때까지 반복 수행함으로써 담체 수명을 결정할 수 있었다. 본 연구를 통해 개발된 MiniValChrom은 다른 검증 항목이나 multi-product 생산공장 내 크로마토그래피 공정 검증에도 유용하게 쓰일 수 있을 것으로 기대된다.

• 한국수자원학회논문집
• /
• 제47권6호
• /
• pp.513-522
• /
• 2014

최근 도시화 및 기후변화에 의한 홍수피해의 증가로 인하여 이에 대응하는 방안으로 저영향개발(LID) 요소기술에 관하여 다양하게 개발이 되고 있다. 하지만 이러한 요소기술에 대한 효율을 검증할 수 있는 표준화된 검증방법 및 기기는 부재한 실정이다. 본 연구에서는 LID 기법에 대한 물순환의 효율성 검증이 가능한 강우-유출 모의장치를 개발하였다. 소유역 내 강우가 균등하게 분사될 수 있도록 강우공간분포실험 및 유입유량-유효우량 관계 실험을 통하여 강우를 검증하고 유입되는 강우와 이로 인해 발생되는 침투 및 지표유출 관계 실험을 실시하였다. 그 결과 노즐의 종류에 따른 적정유량범위와 RPM의 관계를 정리하였으며 강우-유출 모의장치를 이용한 실험을 통해 투수면과 불투수면에서의 강우 시의 수문학적 물순환(지표유출, 중간유출, 침투량)의 관계를 정량적으로 검증하였다.

• 플랜트 저널
• /
• 제13권2호
• /
• pp.39-45
• /
• 2017

본 논문은 시스템엔지니어링기법을 이용하여 해양플랜트 산업의 소형 유틸리티 장비의 입찰단계에서 사용가능한 FEED 검증 수행모델에 대한 연구이다. 현재 국내 해양플랜트 기자재산업계는 해양플랜트에 진출하면서 프로젝트 수행에 따른 재정적 위험에 직면한 상태이며, 그 주요한 원인으로 기자재업체의 발주처(COMPANY 또는 EPC: Engineering, Procurement and Construction) 로부터 제공받은 FEED 결과물에 대한 검증능력부족으로 조사되었다. 이에 요구사항 분석, 기능, 성능분석 및 물리적아키텍처 구축프로세스를 순차적으로 적용하는 시스템 엔지니어링 기법을 간략화 한 FEED 설계 검증방법을 제안하고 이를 소형 유틸리티 장비(Air Compressor)를 대상으로 기존의 경험에 의존한 검증방법과 개발한 FEED 검증 모델을 적용한 결과를 비교함으로써 개발된 모델의 사용적정성을 검증하였다.

• 산업융합연구
• /
• 제20권11호
• /
• pp.57-63
• /
• 2022

자동차의 센서, 신호 등 데이터를 수집·처리하는 ECU 데이터가 공격에 의해 조작되면 운전자에게 피해를 줄 수 있다. 본 논문에서는 블록체인을 이용하여 자동차 ECU 데이터의 무결성을 검증하는 시스템을 제안한다. 자동차와 서버는 세션 키를 이용해 데이터를 암호화하여 송·수신하기 때문에 통신 과정에서 신뢰성을 보장한다. 서버는 해시 함수를 이용해 전송받은 데이터의 무결성을 검증한 후, 데이터에 이상이 없으면 블록체인과 off-chain인 분산저장소에 저장한다. ECU 데이터 해시값은 블록체인에 저장하여 변조할 수 없으며, 원본 ECU 데이터는 분산저장소에 저장한다. 해당 검증 시스템을 이용해 ECU 데이터에 대한 공격 및 변조를 사용자가 검증할 수 있으며, 악의적인 사용자가 ECU 데이터에 접근하여 데이터 변조 시 무결성 검증을 수행할 수 있다. 보험, 자동차 수리, 거래 및 판매 등의 상황에서 사용자의 필요에 따라 사용할 수 있다. 향후 연구로는 실시간 데이터 무결성 검증을 위한 효율적인 시스템 구축이 필요하다.

• 한국시뮬레이션학회논문지
• /
• 제19권2호
• /
• pp.9-16
• /
• 2010

본 사례 연구는 가상환경에서 자동차 의장 라인의 PLC 코드 검증 시스템을 구현하였다. 그간 인력과 PLC 검증 시간을 줄이고자 표준화된 PLC 에디터를 개발하려고 노력해왔으나, 실제 현장 환경에서 PLC 에디터를 적용하는데 어려움이 있었다. 본 연구는 현장의 PLC 모듈과 통신하며, 특별한 프로토콜을 이용하여 연결 환경을 구축하는 가상장비를 개발했다. PLC 모듈과 가상장비가 OPC 프로토콜에 의해 실시간으로 통제되므로 실제 장비를 설치하지 않고 PLC 코드를 검증할 수 있게 되었다. 실험적 모델을 자동차 공장의 최종 조립라인에 적용하고, DELMIA Automation을 이용하여 검증하였다. 결론적으로 PLC 코드 검증 과정과 가상장비 작동에 이 시스템이 유용하게 이용되었다. 이 시스템은 PLC 코드 개발 시간을 절약하며 조립라인의 생산성, 무결성을 높이는데 기여했다.

• 한국산학기술학회논문지
• /
• 제13권9호
• /
• pp.4207-4213
• /
• 2012

소프트웨어의 품질은 요구사항 품질과 강하게 관계되어 있다. 이에 따라서 기업들은 요구사항의 품질을 향상시켜 주기 위한 노력을 하고 있다. 그러나 명세서 형태의 요구사항은 검증하기 어려우며, 분석가의 비정형화된 업무 지식에 의존해야 한다. 또한 명세서 형태의 요구사항 품질을 향상시켜 주기 위한 정형화된 방법론이나 자동화된 기법이 미흡한 상황이다. 본 논문에서는 요구사항의 품질을 향상시켜 주기 위한 요구사항 검증 프로세스 및 자동화 검증 도구를 제안한다. 검증을 위해 요구사항에 대한 외적뷰 설계와 내적뷰 설계를 비교한다. 사례연구를 통해 제안된 요구사항 자동화 검증 기법의 타당성을 검증한다.