• 정보화사회
• /
• s.93
• /
• pp.34-43
• /
• 1995

CALS의 개념을 한마디로 정의하기에는 범위나 방법상 어려움이 있다. 그럼에도 불구하고 과거에는 군의 무기체계를 지원하는 개념에서 출발하였으므로 일반적으로 "무기체계의 설계, 제작 및 군수유통체계 지원을 위해 디지털기술의 통합과 정보공유를 통한 신속한 자료처리 환경 구축"으로 정의할 수 있었다. 그러나 이제는 "제품의 생산(생산계획 등 이전 활동 포함)으로 부터 폐기에 이르는 모든 활동을 디지털정보기술의 통합을 통해 구현하는 산업화전략"이라는 표현으로 바꾸어야 할 것이며, 이것은 곧 제품에 대한 요람에서 무덤까지의 총체적 관리를 위한 정보기술 통합전략이라고 정의할 수 있을 것이다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.4 no.2
• /
• pp.55-70
• /
• 1994

본 논문은 데이타베이스의 동적 기능을 모형화하기 위해서 동적 규칙을 사건과 동적 규칙 객체로 취급하여 개념적 스키마에 표현하는 동적 객체지향 데이타 모델을 제안한다. 제안된 모델에서 정적 구조와 동적 구조에 대한 개념들을 정의하고 모형화 과정에서 사용자의 이해도를 증진시키는 모델의 구성요호에 대한 그래픽 다이어그램을 제시하였다. 그리고 동적 규칙이 데이타베이스 구조에 포함됨으로써 발생가능한 정보의 불법적인 노출 또는 변경을 방지하기 위해서 BLP모델의 보안 정책을 확장하여 제안된 모델에 대한 11가지 종류의 다단계 보안 성질들을 정의하였다. 또한, 정의된 다단계 보안 성질들이 타당한가를 조사하기 위해서 패트리네트를 확장하여, 보안 성질의 검증작업을 수행하였다.

• Communications of Mathematical Education
• /
• v.14
• /
• pp.251-272
• /
• 2001

학생들은 변수의 개념을 실제 우리 실생활에서 많이 사용하고 있으면서도 실제 수학 수업에서는 상당히 어려워 한다. 변수의 교수-학습에서 수학화의 개념을 적용한 수업으로 학생들의 수학화가 이루어지는 과정, 정의적 측면의 변화와 실생활의 적용 여부에 대하여 조사하였다. 그 결과 학생들은 변수개념을 보다 쉽게 이해하고, 정의적 측면의 긍정적 변화와 실생활에서의 적용도 가능하다는 것을 확인 할 수 있었다.

• 한국정보교육학회:학술대회논문집
• /
• 2006.08a
• /
• pp.123-128
• /
• 2006

수학 학습은 구체적인 사물의 조작을 통해 추상적인 개념을 습득하는 과정이다. 이 과정에서 여러 가지 학습 도구들이 사용되어지는데, 그 중에서 컴퓨터를 활용한 Logo프로그램을 도입하여, 도형 문제해결과정에서의 부정확한 도형 개념과 정의로 인한 오류를 줄여 정확한 개념과 정의를 형성하는 지도 방안을 마련하고, 실제 수업을 통하여 일반적 수학 도형 수업보다 Logo를 활용한 수학 도형 수업이 도형 문제해결과정에서 학습자가 오류를 줄이는데 효과가 있는지 알아보고자 한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2008.11a
• /
• pp.379-382
• /
• 2008

u-Healthcare 활성화의 필요성이 꾸준히 제시되어 왔으나, 아직까지 이해자들의 공감대를 이끌어 낼 수 있는 개념정립 및 분류체계가 미비한 실정이다. 새로운 서비스 영역인 u-Healthcare 분야 산업 발전을 위해서는 정책적 전략과 제도적 정비 등의 기반조성이 필요하며, 이에 앞서 명확한 개념 정의와 영역 범주화의 필요성이 제기되고 있다. 본 연구에서는 ubiquitous computing 속성에 대한 이해를 통해 u-Health 환경과 u-Healthcare를 정의하며, 보건의료적 접근에 의한 분류를 통해 보건의료서비스에의 적용가능 분야를 제시하고자 한다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2005.11a
• /
• pp.290-294
• /
• 2005

의미적인 정보검색을 위한 시맨틱 웹에 대한 연구가 본격화되었다. 시맨틱 웹을 위한 핵심은 개념과 개념들 사이의 관계를 정의한 온톨로지이다. 온톨로지를 분석하고, 분석된 결과에 포함되어 있는 새로운 사실들을 추론하여 가능한 많은 결과를 이끌어 내는 것이 의미적인 정보검색의 기반이라 할 수 있다. 본 논문은 이러한 온톨로지에 정의된 개념들을 분석하는 범용적이고 빠른 파서와 파서를 통해 분석된 사실을 바탕으로 더욱 많은 새로운 사실을 추출할 수 있는 온톨로지 기반의 추론(Inference) 시스템을 설계하고 구현하였다.

• Journal of the Korean School Mathematics Society
• /
• v.8 no.2
• /
• pp.203-222
• /
• 2005

The purpose of this study is to investigate students' understanding of functions based on concept image and concept definition suggested by Vinner, For the study a graphing calculator was provided as a tool for students to use for their exploration. Three students participated in the study using the qualitative research method to identify their processes of understanding functions. The student with previous experiences of the functions had various concept images about the functions and did not have many opportunities to modify their images because the student did not want to depend on the calculator. However, the student who did not have many chances to study about the functions before used the calculator effectively for developing the concept definition on the functions. The calculator played an important role in connecting different representations and finding relationships between these representations supported by dynamic exploration.

• Communications of Mathematical Education
• /
• v.22 no.3
• /
• pp.311-335
• /
• 2008

The importance of students' precise understanding of mathematical definitions, formulas, and theorems can not be underestimated. In this survey research, we attempted to evaluate students' understanding of the concepts of five topics -limit, continuity and intermediate theorem, derivative, application of derivative and integral. On the basis of the research result, this paper suggests that we need to 1) be more inventive and speculative in making test problems, 2) explain the examples and counter-examples more concretely, 3) stress and repeat the basic concepts on the stage of introducing new concepts, 4) develop more effective problems for the measure of students' understanding of mathematical concepts, 5) use developed problems in actual teaching.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2009.01a
• /
• pp.19-24
• /
• 2009

이 논문에서는 메타데이터 레지스트리 (MDR, Metadata Registry) 기반의 웹 온톨로지 생성모델을 제안한다. 메타데이터 레지스트리는 국제 표준(ISO/IEC 11179)으로서 데이터베이스간 상호운용성 향상을 위해 개발되었다. 그러나 데이터 표현과 상호운용성을 위한 컴퓨팅 환경의 변화는 메타데이터 레지스트리의 확장은 물론 메타데이터 레지스트리의 활용 방법의 변화를 요구한다. 이 논문에서의 웹 환경의 변화란 정적인 웹 환경에서 웹 2.0 혹은 시맨틱 웹 이라고 정의하는 차세대 웹 환경으로의 변화를 의미한다. 이러한 환경을 위해서 다양한 기술 개발과 적용 기법에 관한 연구가 필요하다. 특히 차세대 웹을 위해서는 지원에 대한 명확한 의미 정의 및 활용이 요구된다. 이는 웹 온톨로지 스키마를 구성하는 개념들에 대한 보다 일관성 있는 정의 및 사용이 필요하다. 이러한 문제가 해결되지 않을 경우, 또 다시 온톨로지를 구성하는 개념들 간 이질성 문제를 야기한다. 메타데이터 레지스트리는 다양한 표준화 된 개념들을 포함하며, 응용을 위한 데이터를 위한 의미 또한 이 개념들을 이용하여 정의한다. 따라서 이러한 표준 요소를 이용한 웹 온톨로지 스키마 정의 및 활용이 요구되며, 이 논문에서 이와 관련된 기본 개념, 요구 사항을 장의하고 전체적인 모델을 제안한다.

• Review of KIISC
• /
• v.8 no.4
• /
• pp.5-14
• /
• 1998

본 논문에서는 공개키 암호 방식에 대한 안전성 개념들을 종합적으로 조사하고 분석한다. 의미론적 안전성(semantic security ), 구별불능 안전성(indistinguishable encryption), NM- 안전성(non-malleability)등에 대한 개념을 소개한다. 그리고 이들 개념에 공격(attack)관점의 안전성을 결합한 정의에 대해서 고찰하며, 소개한 개념들 사이의 수학적 관계를 규명한다.