소프트웨어 개발 초기 단계에서의 부정확에 기인한 에러들을 줄이기 위한 노력이나 기술이 절실하다. [1][2] 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z 나 VDM 과 같은 정형 표기법(formal notation)에 의해 쓰여지며, 정형성(formality)과 추상화(abstraction)의 제공 등 두 가지 사항에 대한 요구사항을 충족시켜 준다. [3][4] 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP (Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 논문은 이를 보완하기 위해 범용 목적의 명세 언어인 기존의 Z 를 확장하여 병행성을 명세 가능하도록 하고자 한다. 이를 위해서 병행 프로세스(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다. 아울러, 확장된 Z 로 작성된 명세서를 목적 언어로 자동 변환(translate)하기 위한 변환기(translator)를 Lex 와 Yacc을 이용하여 구현하고, 변환된 목적 언어 파일을 실행하여 확장된 Z 가 모호성을 포함하지 않는지 시뮬레이션을 통해 검증한다.
XML(eXtensible Markup Language, XML)은 인터넷에서의 자료 교환을 위해 고안된 언어이다. 본 논문에서는 XML의 개념을 발전시킨 확장형 규칙 표식 언어(extensible Rule Markup Language, XRML)를 제안하고 있다. XRML은 웹 페이지에 내재된 암묵적 규칙의 식별, 구조적인 규칙으로의 변환, 사람과 소프트웨어 에이전트간의 지식 공유를 가능하게 하며, 이를 통해 지식기반시스템(Knowledge Based System)과 지식관리시스템(Knowledge Management System)의 통합을 실현할 수 있는 새로운 언어가 될 것이다. 본 고에서는 XRML이 이상과 같은 능력을 갖기 위해 반드시 갖춰야 할 6가지 설계 기준과, 이들 기준을 반영한 XRML 구성 요소로서 RIML(Rule Identification Markup Language), RSML(Rule Structure Markup Language)과 RTML(Rule Triggering Markup Language)을 설계하였으며, 개별 요소들의 기능 및 특성과 함께 태그와 DTD(Document Type Definition)도 식별하였다. 나아가 전술한 구조를 기반으로 하여 XRML을 워크플로우 시스템상의 폼처리에 적용한 Form/XRML이라는 프로토타입 시스템을 설계하고 구현하였다. 본 프로토타입의 개발을 통해, 지식기반시스템의 지식을 활용하는 RTML이 폼을 비롯한 다양한 응용시스템에 내재될 수 있으며, 웹 페이지의 암묵적 규칙과 지식기반시스템의 규칙이 일관성 있게 유지될 수 있음을 보여 주었다. 요컨대 본 연구는 XRML이 지능형 웹으로 발전하기 위한 새로운 도구이며, KBS와 US의 통합을 위한 중요한 도구임을 입증하였다는 점에서 큰 의의를 갖는다고 하겠다.
The purpose of this study was to review the current language level of children from multi-cultural background and whether the language level of these children would be increased after participating in the 'We Start Language Intervention Program'. The subjects were 30 36-75-month old children attending daycare centers in Ansan city, South Korea. The results showed that the receptive and expressive language levels of children from multi-cultural families were low compared to those of other children, and that their expressive language level was evaluated more negatively than their receptive language level. After participating in the 'We Start Language Intervention Program', language test scores, language age and language percentile rank were all increased. It was also found that the developmental language level of multi-cultural children increased, and that of the children that had a language delay or language disorder decreased.
플라즈마 시뮬레이션을 수행하기 전에 현 컴퓨터의 계산 능력범위 내에서 물리적으로 타당하게 설명할 수 있는 수치 해석 방법을 먼저 정한다. 예를 들면, 가스 반응이 많고 각 가스 반응 중에 중요가스 반응을 빠르고 선택적으로 선별하고자 할 때, 혹은 외부 입력 변화에 따른 플라즈마 종의 온도 또는 밀도를 대략적으로 파악하고자 할 때는 공간적인 분포를 고려하지 않는 0차원 global 모델링을 이용한다. 압력이 높고 충돌이 빈번한 경우에는 플라즈마를 유체적인 관점에서 기술이 가능하므로, 볼츠만 방정식에서 속도에 관한 0차, 1차, 2차 모멘텀을 이용하여 유도된 유체 방정식을 이용한다. 반대로 압력이 낮고 충돌이 거의 없는 경우에는 플라즈마 입자를 개별적으로 추적하는 입자 전산 모사 방법을 이용한다. 지금까지는 앞에서 언급한 예와 같이, 개별 플라즈마 상태에 맞는 시뮬레이션 코드를 각각 만들어야 했고, 각 코드를 개별적으로 유지 보수해야 했다. 하지만, 개별적으로 코드를 유지 보수를 해야 할 경우에는, 동일한 기능을 하는 함수를 반복적으로 각 코드에 입력해야 하는 불편함이 따르고, 각 수치해석 방법의 장점을 모은 하이브리드 방법과 같은 전사모사를 개발할 때 각 기능을 통합해야 하는 어려움이 따른다. 또한 지금까지 개발된 대부분의 플라즈마 코드는 외부 입력에 대해 유연하지 못한 대처로 새로운 가스 반응을 추가하거나 새로운 수치해석 방법을 추가할 경우에는 코드를 전체적으로 수정해야 하는 어려움이 있었다. 따라서 코드를 통합적으로 관리할 수 있고, 외부 입력에 대해 유연하게 대처할 수 있는 시뮬레이터가 필요했다. 여기에서는 객체 지향 언어인 C++ 언어를 이용하여, 사용자 입력에 대해 유연하게 대처할 수 있고, 복잡한 화학 반응을 특정 수치 해석 방법에 상관없이 통합적으로 관리할 수 있는 코드를 개발하였다.
본 연구는 과학적 소양은 과학적 지식의 획득과 과학적 담화에 참여할 수 있는 언어적 능력을 통하여 길러진다는 전제하에 대기 중의 물의 상태변화에 관한 학생 글에서 나타나는 의미관계와 과학 언어적 특징을 알아보았다. 중학교 3학년 학생 67명이 참여하여 일상생활에서 흔히 경험할 수 있는 현상과 학교과학교육에서 체계적으로 배우는 현상 에 관한 두 개의 서술형 문항에 대한 글을 작성하였다. 연구의 결과 학생들은 '이슬점' 같은 생소한 용어뿐만 아니라 '수증기', '김' 등과 같은 친숙한 용어에 대해서도 잘못된 의미관계를 형성하고 있었고, 학교과학 교육보다 일상의 경험에서 형성된 지식에서 옳은 의미관계와 잘못된 의미관계 모두 더 많이 나타났다. 일상의 과학적 현상에 대해서는 행위와 절차를 중심으로 한 서술 양상이, 학교 교육에 의해 접하게 된 현상에 대해서는 전문용어와 명사구의 사용 양상이 보였다. 본 연구를 통하여 경험에 기초한 자발적 과정은 풍부한 의미관계 형성에, 형식적이고 이론적인 과정은 명사화를 중심으로 한 전문적이고 추상적인 서술의 측면에서 과학적 언어 능력 발달에 기여함을 알 수 있었다.
수학 수업에서 사용하는 음성 언어에는 비교적 짧은 문장에 많은 수학적 개념과 원리가 함축적으로 들어있을뿐더러 일상생활에서 사용하지 않는 기호와 수학 용어들이 포함되어 있다. 따라서 수학 수업에서 학생들은 일반적인 듣기와 달리 자신이 알고 있는 수학적·언어적 지식을 통합하여 음성 언어의 의미를 파악하는 듣기 능력이 필요하다. 본 연구에서는 일반적인 듣기와 구분하여 수학적 내용이 포함된 음성 언어를 이해하는 능력을 수학 청해력이라 지칭한다. 본 연구의 목표는 초등학교 학습자의 수학 청해력 유형을 구체화하고 그중 초등학교 교사가 수학 학습과 관련하여 적절하다고 인식하는 유형을 조사하는 데 있다. 본 연구에서는 선행연구 분석을 통해 수학 청해력 유형을 발견하며 듣기, 해석하며 듣기, 평가하며 듣기, 선택적으로 듣기, 듣는 척하기, 무시하기의 여섯 가지 형태로 구분하였다. 초등학교 교사 412명의 설문, 추가 20명과의 면담 결과를 분석한 통합연구 조사 결과 초등학교 교사들은 수학 청해력 여섯 가지 유형 중 해석하며 듣기를 가장 적절한 듣기 유형으로 인식하고 있었다. 본 연구의 조사 결과는 학생들의 수학 청해력 실태 조사와 교사의 수학 청해력의 지도 방법 개발을 위한 기초 자료로 활용될 수 있다.
The purpose of this study is to justify the effects of role play with respect to speaking and listening functions and to provide the strategic methodology for improving English communicative competence of fifth grade primary school students. We can expand role play as a strategic teaching method to develop English learning models, so that English can be more easily acquired to the students who are in the critical language acquisition period. Strategic role play reflects the events and experiences of many kinds of people in everyday life. It is suggested that one of the best methods to improve English communicative competence in the primary classroom is through role play. Students can develop meaning for language patterns by portraying situations in which these instances in language would be used. This study proposes to facilitate English communicative ability using various student-centered role play strategies. It is concluded that the student-centered activities using strategic role play help the students to improve their English communicative competence. This is done by deriving their own creative dialogues and presenting the role play with their interests in learning English and with subsequently positive learning effects.
In this study, changes in verbal cognitive performance, blood oxygen saturation and heart rate due to 30% concentration oxygen supply were observed. Five male (24.6±0.9) and five female (22.2±1.9) college students were asked to perform 28 verbal cognitive tasks of the same difficulty during two types of oxygen (concentration 21%, 30%) administration. The experimental sequence consisted of Rest1 (1 min.), Control (1 min.), Task (4 min.), and Rest2 (4 min.) and the physiological signals such as blood oxygen saturation and heart rate were measured throughout the stages. The experimental result showed that the performance increased significantly at 30%'s concentration of oxygen rather than 21%'s, which shows oxygen supply has positive influence on verbal cognitive performance. When 30% concentration oxygen is supplied, the oxygen saturation in the blood significantly increased comparing to 21%. The heart rate showed no significant difference. Significant correlations were found between changes in oxygen saturation and cognitive performance. It is suggested that 30% oxygen can stimulate brain activation by increasing actual blood oxygen concentration in the process of cognitive performance.
SEJONG-NET은 시각 문자패턴의 인식 과정을 설명 할 수 있는 적절한 패러다임을 제공하기 위해 척추동물의 시신경계 구조와 기능을 모방하여 만든 문자인식 모형이다. 초기에는 온라인 한글 인식을 위하여 설계되었으며, 이후 다양한 문자 집합이나 오프라인 한글 문자를 위한 모뎀들이 개발되었다. 현재까지 개발된 여러 SEJONG-NET 모델이 가지고 있는 문제점은 정직성이라고 할 수 있다. 즉, 설계 초기에 고려한 인식 대상 문자 집합과 문자 패턴에 대해서만 인식이 가능하고, 변형된 패턴을 기존의 패턴으로 근사화하여 해석하거나 새로운 패턴에 대하여 그것을 추가 학습하는 것이 불가능하다. 따라서 본 논문은 SEJONG-NET의 이러한 제약점을 해결하여 한글 인식 문제에 일반적으로 적용될 수 있도록 개선하는 것을 목적으로 한다. 이를 위해 상위층에서는 인간이 가지고 있는 문자에 대한 구조적인 지식을 표현하고 학습을 통해 추가적으로 습득할 수 있는 형태로 구현하였고, 하위층에서는 상위층에서 쓰이는 구조적인 지식을 표현하는데 적합한 특징을 추출해 낼 수 있도록 구현하였다. 특히 하위층에서는 인간의 초기 시각 피질에서 감지되는 특징들을 추출하도록 구현하여 사용되는 특징이 일반성을 가질 수 있도록 하였다. 이러한 방법을 기반으로 하여 본 논문에서는 변형된 패턴에 대한 적응 학습 능력을 가지며 인지과학적인 사실에 보다 충실하도록 개선된, 온라인 한글 인식을 위한 SEJONG-NET 모델을 제안한다.
This study focused on the comprehension of texts written either in Korean script (Hangul) or Chinese script (Hanja). For this purpose, we measured the reading time and the correct response in text comprehension tasks with 104 Korean-Chinese children who were either 10 or 19 years old. There was a main effect of script : The reading time of Hanja texts was shorter than that of Hangul or Hangul Hanja mixed texts. But the older subjects who spent the same reading time in both Hangul and Hanja texts showed the longer reading time in Hangul Hanja mixed texts revealing the interaction between age and script. The correct response rate on the comprehension task was the highest in Hangul text. The results were discussed in relation to the independent dual language processing systems in Korean-Chinese.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.