http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
정음기반 한국어 학습 u-Learning교육 표준시스템 연구
최성 ( Sung Choi ),류갑상 ( Gabsang Ryu ) 한국정보처리학회 2015 한국정보처리학회 학술대회논문집 Vol.22 No.1
본 연구는 컴퓨터시스템을 이용한 맞춤형 정음기반 한국어 학습 지원시스템의 효율적인 모델에 관한 연구 논문으로서, IMS/AICC 국제규격을 준수하는 LCMS 와 SCORM 기반의 정음 정보처 리로 한국어 교육이 가능한 학습지원시스템에 구축 시스템의 세부 모듈들을 정의하였다. 주 내용은 학습자의 학습결과와 학습 습관을 분석 평가하여 자가 주도식으로 학습할 수 있는 기능을 제공한 것이다. 본 연구는 효율적인 PMS 세부모듈 시스템은 물론, 표준 역량모델관리시스템, 학습자 개별 역량 관리시스템, 역량저장 및 저장소, 커뮤니티를 활용한 역량 모델기반의 지식관리시스템, 교육 수요 분석용 e-Survey시스템, 모바일 학습지원서비스 시스템 등이다. 앞으로 클라우드컴퓨팅 기술을 적용한 외국인을 위한 정음기반 한국어 학습지원시스템 구축 표준 모델을 제시하였다.
SychCharts를 이용한 임베디드 시스템을 위한 RTOS Scheduling 검증
이수영(SuYoung Lee),안영아(YoungAh Ahn),김진현(JinHyun Kim),류갑상(GabSang Ryu),최진영(JinYoung Choi) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.1A
Mission-Critical한 실시간 반응형 내장 시스템들의 설계과정에 있어 high-level abstraction과 formal(software 기반) modeling은 없어서는 안될 중요한 부분이다. 실시간 반응형 내장 system의 OS는 정형 명세 기법을 이용하여 시스템의 주요 component들을 설계하고 OS의 Formal model들을 모든 가능한 input들 아래 OS의 behavior를 엄격하게 검증함으로써 error가 없는 완벽한 OS를 개발할 수 있다. 본 논문에서는 uC/OS-II의 OS Scheduling 부분을 반응형 시스템 언어인 Esterel의 SyncCharts로 명세, 명세한 시스템의 요구조건을 정형기법을 이용해서 검증해보고자 한다.