발행기관
- 한국정보과학회(4)
- 한국가족치료학회(3)
- 대한환경공학회(2)
- 인문사회과학기술융합학회(2)
- 한국디지털정책학회(2)
- 한국인간발달학회(2)
- 한국정보처리학회(2)
- 한국지반공학회(2)
- 경인교육대학교 교육연구원(1)
- 대한가정학회(1)
- 대한기계학회(1)
- 대한방사선방어학회(1)
- 인지발달중재학회(1)
- 한국교원교육학회(1)
- 한국교육행정학회(1)
- 한국동서정신과학회(1)
- 한국미술치료학회(1)
- 한국성인교육학회(1)
- 한국수자원학회(1)
- 한국어린이미디어학회(1)
- 한국여가문화학회(1)
- 한국예술심리치료학회(1)
- 한국의상디자인학회(1)
- 한국창의력교육학회(1)
- 한국초등체육학회(1)
- 한국컴퓨터정보학회(1)
- 한국환경농학회(1)
간행물
- 정보과학회논문지. JOURNAL OF KIISE. 소프트웨어 및 응용(4)
- 가족과 가족치료(3)
- 대한환경공학회지(2)
- 예술인문사회융합멀티미디어논문지(2)
- 인간발달연구(2)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART D. PART D(2)
- 한국지반공학회논문집(2)
- ANDRAGOGY TODAY(1)
- 교육논총(1)
- 교육행정학연구(1)
- 대한가정학회지(1)
- 대한기계학회론문집. TRANSACTIONS OF THE KOREAN SOCIETY OF MECHANICAL ENGINEERS. A. A(1)
- 동서정신과학(1)
- 디지털융복합연구(1)
- 디지털정책연구(1)
- 미술치료연구(1)
- 방사선방어학회지(1)
- 어린이미디어연구(1)
- 여가학연구(1)
- 예술심리치료연구(1)
- 인지발달중재학회지(1)
- 창의력교육연구(1)
- 한국교원교육학회 학술대회자료집(1)
- 한국수자원학회논문집(1)
- 한국의상디자인학회지(1)
- 한국초등체육학회지(1)
- 한국컴퓨터정보학회논문지(1)
- 한국환경농학회지(1)
전체 선택해제
총 38건 검색
본문검색 결과만 보기
-
RFID 시스템에 적용시 안전한 보안인증 프로토콜의 모델검증
배우식, 정석용, 한군희, Bae. WooSik, Jung. SukYong, Han. KunHee 한국디지털정책학회 디지털정책연구 7 Pages
한국디지털정책학회 디지털정책연구 2013, Vol.11 No.4 221-227 (7 pages)
데이터베이스로 구성되는데 리더와 태그 구간이 무선구간으로 보안에 취약한 문제가있다. 따라서 취약한 부분을 해결하고자 보안프로토콜의 연구가 활발히 진행되고 있으나 구현부분이 어려워 정리증명 단계의 제안이 대부분이다. 이는 추후 다른 연구자에 의해 취약성이 발견되는 부분이 많아 실제시스템에 적용시 많은 어려움이 존재한다. 본 논문에서는 제안한 보안프로토콜을 CasperFDR 정형검증 도구를 사용하여 제안한 프로토콜의 보안성을 실험 검증하였으며 각종공격에 안전한 방식임이 확인되었다. 향후 실제 태그에 적용할시... -
장애아동 가족의 수입, 내구력, 누적 스트레스, 의사소통, 가족적응에 대한 구조모델검증
대한가정학회 대한가정학회지 2002, Vol.40 No.9 175-189 (15 pages)
-
대학교원의 직무만족도 지표개발 -PLS-SEM을 통한 신뢰성, 타당성, 모델 예측력 검증을 중심으로-
한국교육행정학회 교육행정학연구 2015, 제 33권 제 3호 5 103-132 (30 pages)
매우 중요한 일이다. 그러나, 한국의 경우 대학과 교원의 관계가 외국과는 다소 상이하다. 따라서, 우리의 상황에 맞는 대학교원의 직무만족 지표가 개발되어야 한다. 즉, 대학과 교원의 관계가 높은 노동유연성에 기인한 일시적이며, 분리된 관계가 아닌 상황에서 대학의 역량을 높이기 위해 서는 대학의 기능과 교원의 직무를 연계시킬 필요가 있다. 이를 위해 본 연구에서는 구조-기 능주의를 이론적 토대로 하여 진단지표를 구안하고, PLS-SEM(PLS path modeling)을 통해 지 표의 타당성과 신뢰성, 그리고 모델 예측력을 검정하였다. -
순차적 크리깅모델의 평균-분산 정확도 검증기법
이태희, 김호성, Lee. Tae-Hee, Kim. Ho-Sung 대한기계학회 大韓機械學會論文集. Transactions of the Korean Society of mechanical engineers. A. A 7 Pages
대한기계학회 大韓機械學會論文集. Transactions of the Korean Society of mechanical engineers. A. A 2010, Vol.34 No.5 541-547 (7 pages)
메타모델의 정확도를 엄밀하게 검증하는 것은 메타모델링에서 중요한 연구주제이다. k 점 선택교차검증기법이 많은 계산시간을 요구하면서도 메타모델의 정확도를 정략적으로 측정하지 못한다. 최근들어, 평균 $_0$ 기준이 메타모델의 정확도를 정량적으로 제공하기 위하여 제안되었다. 그러나 평균 $_0$ 검증 기준은 크리깅 메타모델이 부정확함에도 불구하고 일찍 수렴하는 경향이 있다. 따라서 본 연구에서는 최대엔트로피를 이용한 순차적 실험계획에서 크리깅모델의 평균과 분산을 이용한 정확도 평가기법을 제안한다. 이 제안한... -
MBSR 단기 개입에 따른 스트레스변화양상의 카타스트로피 모델 적용방안 연구: Pilot 연구
이승일, 안희영 한국예술심리치료학회 예술심리치료연구 23 Pages
한국예술심리치료학회 예술심리치료연구 2014, 제 10권 제 2호 (통권 27권) 1 1-23 (23 pages)
따른 스트레스변화 양상이 카타스트로피 모델에 적합한지를 검증한다. 둘째, MBSR 프로그램 회기 중 카타스트로피 현상이 생긴다면 어떤 회기에서 이런 현상이 생기는지를 살펴보았다. 셋째, 선형모형과 비선형 모형, 그리고 카타스트로피 모형과의 설 명력 비교를 통해서 MBSR 단기개입에 따른 스트레스변화를 가장 잘 설명하는 모형을 비 교해 보았다. 이를 위해서 마음챙김척도, 스트레스반응척도, 지각된 스트레스척도를 이용해 서 총 4회에 걸쳐서 MBSR 프로그램 전과 후로 나누어서 측정을 했다. 분석결과, 카타스 트로피 이론의... -
남강의 수질예측을 위한 QUAL2E 모델 적용
최형섭, 박태주, 허종수, Choi. Hyoung-Sub, Park. Tae-Ju, Heo. Jong-Soo 한국환경농학회 한국환경농학회지 8 Pages
한국환경농학회 한국환경농학회지 1995, Vol.14 No.1 7-14 (8 pages)
하천 수질관리 모델인 QUAL2E를 남강에 적용한 결과는 다음과 같다. 1. 모델변수의 민감도 분석 결과는 BOD, DO의 경우 BOD decay rate constant, 영양염류인 경우 Org-N oxidation rate constant, $NH_3-N$ oxidation rate constant, Org-P decay rate constant가 각 수질인자에 중요한 변수로 작용하였다. 2. 모델보정 결과를 보면 실측치와 예측치의 상관성은 DO, BOD의 경우 r=0.93, 0.94로 높은 상관성을 보였으며 영양염류인 경우는 질산성 질소가 r=0.61이었으나, 그 외는 r=0.90 이상으로 나타났다. 3. 모델검증 결과는... -
임베디드 소프트웨어에서 코드 리팩토링과 C 바운디드 모델 체커 도구의 적용
김성호, 권기현, 한혁수, 이상은, 이혁재, 남일규, 한주동, Kim. Sung-Hae, Kwon. Gi-Hwon, Han. Hyuk-Soo, Lee. Sang-Eun, Lee. Hyuk-Jae, Nam. Il-Kyu, Han. Joo-Dong 한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 9 Pages
한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 2011, Vol.38 No.4 179-187 (9 pages)
기술이 필요하다. 다른 문제로써 임베디드 소프트웨어는 지속적으로 버전이 업그레이드 되는데 반하여 하드웨어의 경우 재설계로 인한 비용이 발생되기 때문에 초기에 설계된 구성을 변경하지 못하고 사용하는 경우가 많은데 이 경우 하드웨어 재설계를 진행하기에 앞서 코드 리팩토링 기법을 먼저 적용함으로써 적은 비용으로 실행파일의 크기를 감소시키는 것이 가능하다. 본 논문에서는 코드 리팩토링을 통하여 증가하는 임베디드 소프트웨어의 크기를 감소시켰고 소프트웨어의 정확성을 높이기 위해서 모델검증 도구를 적용하였다. -
모델기반의 커널 테스팅 프레이뭐크
김문주, 홍신, Kim. Moon-Zoo, Hong. Shin 한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 8 Pages
한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 2009, Vol.36 No.7 523-530 (8 pages)
큰 비용이 소요됨에도 불구하고, 높은 신뢰성을 달성하기가 어려운 실정이다. 이러한 커널 개발 및 테스팅의 어려움을 극복하기 위해, 운영체제 커널의 동시성 오류 검출을 지원하는 모델 기반의 커널 테스팅 (MOKERT) 프레임워크를 제안한다. MOKERT 프레임워크는 주어진 C 프로그램을 Promela 정형 명세 모델로 변환하고 나서 Spin 모델검증기를 사용하여 검증하고, 검증반례가 생성된 경우, 이 검증반례를 실제 커널 코드에서 실행을 시켜서 진위를 확인한다. 본 연구에서는 MOKERT 프레임워크를 리눅스 proc파일시스템에 적용하여,... -
휘처 모델의 Z 정형 명세와 검사 기법
송치양, 조은숙, 김철진, Song. Chee-Yang, Cho. Eun-Sook, Kim. Chul-Jin 한국컴퓨터정보학회 韓國컴퓨터情報學會論文誌 14 Pages
한국컴퓨터정보학회 韓國컴퓨터情報學會論文誌 2013, Vol.18 No.1 123-136 (14 pages)
시각적이고 비정형적인 구조로 표현된 휘처 모델(Feature model)은 구문적 명확성을 보장할 수 없고, 자동화 툴(tool)에 의한 구문(syntax)의 검증이 어렵다. 따라서, 휘처 모델이 가진 구조물의 구문적 명확성을 입증하기 위한 정형적 명세와 모델 검사(model checking)가 필요하다. 본 논문은 Z 언어를 이용한 휘처 모델의 정형적 명세와 모델 검사를 통해서, 휘처 모델의 정확성을 검사하는 기법을 제시한다. 이를 위해, 휘처 모델과 Z간 변환 규칙을 정의하고, 이 규칙에 의거하여 휘처 모델의 구문에 대해 Z 스키마(schema)로... -
내장형 소프트웨어 컴포넌트의 상향식 합성과 검증
최윤자, Choi. Yun-Ja 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part D. Part D 8 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part D. Part D 2010, No.0 415-422 (8 pages)
본 논문은 단위 컴포넌트가 제공하는 서비스를 중심으로 컴포넌트 행위모델을 합성하고 상위수준의 추상적 행위모델을 추출하는 서비스기반 합성과 검증기법을 제안한다. 이를 위하여, 상향식 행위양식 추상화의 기초가 되는 추상 컴포넌트를 정의하고, 포트기반 동기화 알고리즘과 서비스기반 투영을 통한 추상화기법을 제안하였다. 또한, 제안된 기법을 적용한 모델검증 프레임워크를 개발하고, 사례연구를 통하여 제안된 방식이 검증비용을 절감함을 입증하였다.
