• Journal of KIISE:Software and Applications
• /
• v.26 no.4
• /
• pp.508-520
• /
• 1999

이 기종 시스템들간의 교환을 목적으로 사용되는 SGML(Standard Generalized Markup Language)문서는 논리적인 구조를 나타내는 구조를 나타내는 DTD(Document Type Definition )가 필요하다. 이러한 SGML DTD을 모델링하기 위해 기존에 여러 가지 방법이 제안되어 왔는데, 본 연구에서는 SGML DTD를 UML (Unified Modeling Language)클래스 다이어그램이 객체 모델로 사상시키는 알고리즘과 데이터 베이스 스키마 형태로 나타내기 위한 형식 모델을 제안한다. 본 연구에서 제안한 사상 규칙들과 알고리즘을 이용하면 SGML DTD을 보다 자연스럽게 객체지향 모델링하므로 데이터베이스 스키마로 변환이 용이하며, 형식모델을 데이터베이스 스키마 형태를 정의하므로 객체지향적인 문서 처리와 검색을 위한 효율적인 환경을 제공하게 된다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.04a
• /
• pp.174-179
• /
• 2000

Workflow 관리 시스템은 비즈니스 프로세스의 자동화를 지원하는 것으로서, 비즈니스 프로세스의 각 업무 단계에 관련된 인적 자원 및 IT자원을 적절히 활용하도록 구현되어야 한다. 이러한 Workflow 관리 시스템은 Workflow 프로세스에 대한 명세로부터 실행 모델이 구성되어 Workflow 엔진을 통해 수행되는 과정을 거친다. 한편, 명세된 프로세스의 논리적 검증과 성능 예측을 위하여는 Workflow 의 수행 전에 시뮬레이션을 통한 분석이 선행되어야 한다. 본 연구에서는 기술된 Workflow 프로세스 명세로부터 이산사건 시스템 형식론인 DEVS를 기반으로 통일된 실행모델을 생성하고, 이를 바탕으로 시뮬레이션 분석과 실시간 수행을 하는 시뮬레이션 엔진과 실시간 분산수행 엔진을 각각 개발하였다. 간단한 업무 프로세스의 예를 통하여 분산환경에서 실행함으로써 제안된 방법의 유용성을 검증할 수 있었다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2003.11a
• /
• pp.207-217
• /
• 2003

지능적으로 공격 패턴을 달리하는 많은 공격들에 대응하기 위해 기존의 보안 시스템은 강력한 보안시스템으로 확장되고 있다. 보안 시스템과 같은 규모가 크거나 복잡한 소프트웨어 계발에 있어서 설계 및 구현 과정에서 있는 설계 변경 및 구현상의 변경으로 인한 전체 시스템에 미치는 영향이 크다. 본 논문에서는 규모가 큰 보안시스템 계발에 있어서 전체 시스템의 영향 관계를 체계적으로 정립한 소프트웨어 설계 방법론으로의 적용이다. 소프트웨어 설계 방법론은 시스템 형식론에 의거하여 소프트웨어가 표현되었으므로 논리적 연관관계를 추적하기 쉽다 이는 소프트웨어 설계 또는 설계 변경 후 인터페이스 시스템의 중요한 동적 특성을 미리 파악 할 수 있게 하여 소모적일 수 있는 시간과 노력을 절약 할 수 있다.

• Journal of The Korean Association For Science Education
• /
• v.20 no.2
• /
• pp.297-306
• /
• 2000

The purpose of this study was to examine the relationship among an achievement, a meaningful learning orientation and a reasoning ability. 149 third grade middle school students were tested. The achievement test was designed to measure students' interrelated understanding of genetics. A modified LPQ(Learning Process Questionnaires) was used to measure students' meaningful learning orientation. Students' reasoning ability were identified by the short version GALT(Group Assessment of Logical Thinking). Correlations between different variables were examined. Regression analyses were conducted to examine the predictive influence of meaningful learning orientation and reasoning ability on the achievement of students. And ANCOVA was used to identify the interaction of these variables on students' achievement. Students did not understand well enough the concepts of genetics. Meaningful learning orientation indicated a significant gender difference. Girls tend to do more meaningful learning than boys(p<.05). Many students(48.76%) were at the transitional cognitive level. Results of correlations indicated that students' attainment of meaningful understanding was significantly and positively related with a meaningful learning orientation and a reasoning ability. But there was no significant correlation between students' meaningful learning orientation and reasoning ability. Regression analyses indicated that learning orientation and reasoning ability were able to predict the achievement of students. They predicted better on solving genetics problem than understanding genetics problem. Results of ANCOVA showed that the test scores of genetics were significantly different according to not only learning orientation levels but also cognitive levels. But, there was no interaction between learning orientation and cognitive levels. Within the transitional and formal cognitive level, the meaningful learners performed significantly better than the rote learners on the test of genetics.

• Annual Conference on Human and Language Technology
• /
• 2000.10d
• /
• pp.411-418
• /
• 2000

Hausser (1999)와 이기용 (1999a, 1999c)에서는 데이터베이스 관리 시스템(DBMS)을 이용하여 자연언어의 의미를 다루는 데이터베이스 의미론을 제안하였다. 특히 이기용 (1999c)에서는 수형도(tree), 논리 형태(logical fomulas), 자질 구조(feature structure)와 같은 다양한 언어 표상 형식들을 관계형 데이터베이스 관리 시스템(RDBMS)의 표상 형식인 테이블 형식으로 전환 가능함을 보임으로써 데이터베이스 의미론에 관계형 데이터 베이스 관리 시스템을 도입할 수 있음을 제시하였다. 한편, Lee (2000)에서 제시한 데이터베이스 의미론 모형에서는 데이터베이스 관리 시스템과 사용자(end-user)를 연결하는 언어 정보 처리 시스템(LIPS; Linguistic Information Processing System)을 제안하였다. 이 언어정보 처리 시스템은 사용자에 의해 입력된 언어 자료를 처리하여 그 분석 결과를 데이터베이스 관리 시스템에 전달하고, 이를 통해 구축된 데이터베이스에서 추출한 정보를 다시 사용자에게 전달하는 시스템이다. 이 논문은 한국어 '이, 히, 리, 기' 피동형을 전산처리를 할 수 있도록, 데이터베이스 의미론에서 핵심 요소인 언어정보 처리 시스템과 데이터베이스 관리 시스템을 구현하는 것 이 목적이다.

• Korean Journal of Child Studies
• /
• v.5
• /
• pp.47-52
• /
• 1984

인지 어휘 유형(cognitive dictionary)이란 단어 연상의 반응 어휘를 인지 유형에 따라 분류, 분석하는 것을 가리킨다. 인지 어휘 유형 개념을 McNeill의 언어 발달 연구에 준하여 논의하였다. 즉 아동의 어의(語義) 발달은 자작문(自作文) 형식(形式) 표현에서 시작되어 어휘 사용에 이른다는 것이다. 한편 Moran은 범세계적으로 유아들의 인지 어휘 유형은 단어의 동작적(動作的) 특성에 주로 의거한다는 것을 발견했는데 이는 언어의 효시에 관한 Piaget 나 Bruner의 이론과 일치하는 것이다. Moran의 인지 어휘 유형의 추가 개념은 Bruner의 심상(心象)(ikonic representation)에 의한 관계, 기능적 관계 (functional representation), 논리적(logical)관계를 포함한 단어의 연합 관계에 반영시켰다.

• Journal for History of Mathematics
• /
• v.24 no.4
• /
• pp.21-31
• /
• 2011

In this paper I claim that Lobachevsky's philosophy of mathematics is a kind of reservoir of contemporary philosophy of mathematics. I discuss how his philosophy contributed to the rise of non-Euclidean geometry.

• Journal of Korea Fair Competition Federation
• /
• no.117
• /
• pp.2-7
• /
• 2005

연예계에 있어서 강자와 약자의 지위는 고정된 것이 아니라 대중의 인기라는 매우 불안정한 상황에 의존한다. 그러므로 연예인 매니지먼트 전속계약의 효력에 대해서는 단순히 강자와 약자라는 고착화된 논리로서 접근할 것이 아니라 기획사와 소속 연예인들 간에 상생이라는 관점에서 신인발굴에서부터 훈련 그리고 스타로서 뜬 이후의 상황 등을 종합적으로 고려하여 그 불공정성 여부를 가려내어야 할 것이다. 그리고 이러한 종합적인 기준에 기초해서 당사자간에 합당한 계약조항을 표준계약이나 표준약관의 형식으로 제정하여 보급하는 것도 분쟁의 예방에 있어서 좋은 방법이 될 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.25-28
• /
• 2011

본 논문에서는 강의노트의 저장 형식이 XML 문서라는 사실을 기반으로 강의노트 사이의 유사도 계산 문제를 XML 문서 사이의 유사도 계산 문제로 치환해 해결한다. 그리고 유사도를 계산할 때 강의노트가 포함하는 컨텐츠의 논리적 구조의 특징을 반영한다. 본 논문에서 제안한 기법을 사용해 사용자가 소유한 강의노트와 유사한 강의노트들을 정확하게 검색함으로써 사용자가 효과적으로 강의노트를 학습할 수 있도록 도움을 줄 수 있다.

• Annual Conference on Human and Language Technology
• /
• 1991.10a
• /
• pp.171-177
• /
• 1991

한글 표현에 나타난 부정의 사용의 애매성에서 부터 그 속의 어떠한 종류이던간의 특성을 귀납적으로 추론하는 것은 언어학적으로 중요하나, 부정이 가지고 있는 원초적인 문제를 고찰하는 것이 또다른 측면으로 한글속의 부정을 조명하여 볼 수도 있을 것이다. 그래서 부정의 개념적 구조에서 부터 한글 표현에서의 부정의 사용을 이해하여 보려는 형식적 구조에서 시작하여서 한글 부정의 특성을 살펴 보고자 한다.