• The Journal of the Korea Contents Association
• /
• v.8 no.11
• /
• pp.94-102
• /
• 2008

The development of digital technology constructs meaning through the narrative by digitalized story. Including mobile whole aspect movie, visual contents have the narrative structure and signification based on the digital technology. This study planned to explore the possibility that mobile movie can expand the classical narrative structure and bring up the method of signification. For this purpose, this paper proved the process to cohere narrative through redundancy and a double across of space-time structure according to the principle of causality in mobile movies such as and . According to the findings, mobile movies appeared to construct a consolidated structure through cohesion of meaning and to move the space-time doubly across at a subjective point of view of the characters for continuity of story. Such a result means the narrative structure and the method of signification of mobile movie are modifying or expanding the unique formation of classical films in accordance with mobile devices as digital media.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.664-666
• /
• 2005

시맨틱 웹은 네트워크에 존재하는 자원에 의미를 부여하고 이를 컴퓨터가 자동으로 처리 할 수 있도록 설계된 차세대 지능형 웹이라 할 수 있다. 그러나 수많은 양의 문서를 대상으로 각각의 의미를 정의하기 어려울 뿐만 아니라 이미 정의된 의미를 바꾸는 데에도 문제가 있다. 또한 여러 종류의 의미를 중첩적으로 갖는 것이 힘들며, 문서 검색을 하는데 있어 전체 네트워크를 대상으로 검색해야 한다는 정에서 소모적인 면을 가지고 있다. 본 논문에서는 문서의 의미 정의에 있어 내재된 문제점과 다의성 문제를 해결하기 위해, 문서와 대응할 수 있는 의미를 구조화된 형식에 따라 분리하여 이를 통합적으로 관리 할 수 있는 SR(Semantic Repository)을 설계 하고자 한다. 여기서 SR은 각 문서에 대응되는 의미와 각 문서들 사이의 독립된 의미관계만을 나타내므로 검색에 따른 부하 감소를 기대할 수 있다.

• School Mathematics
• /
• v.11 no.3
• /
• pp.513-526
• /
• 2009

The purpose of this paper intuitively shows the exact and logical explanation of Independent Event and Dependent Event. In actual classrooms, teachers have difficulty in describing the connection between those events and real life. Some teachers have wrong perceptions on the definition of those events. For example, they may not realize exactly what P(B A)=P(B) means and may not explain intuitively the original meaning of why it is independent event. Also they believe that Independent Event and Dependent Event do not always match with real life. This paper, therefore, tries to prove intuitively the exact meanings of those events in the Verbal Form with some examples and it proves that those events exactly match with real life. It is expected that this paper will greatly contribute to the improvement of probability education.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2001.06a
• /
• pp.59-73
• /
• 2001

이 논문은 영어와 한국어에서 논 항구조의 교체를 허용하는 처소격 동사들의 통사구조와 의미를 비교 분석해 보려고 한다. 지금까지 연구가 논항구조의 교체를 허용하는 이런 동사들이 통사적 유사성에만 국한되어 연구가 되었을 뿐 여러 다른 통사적 형식에서 보여지는 차이점이나 논항 교체 동사들의 의미적 차이점과 같은 중요한 현상들에 대한 많은 연구가 되어지지 않았다. 따라서 첫 번째로 이 논문에서는 Pinker (1989)에 제시한 논항 교체 동사들의 의미적 분석을 구체적으로 소개하고, 이런 교체 동사들의 의미적 유사성과 차이점으로 구분한 Pinker의 의미분류들을 자세히 알아본다. 또한 Pinker가 교체동사들의 의미적 분류를 위해 사용한 통사적 기준인 논항 생략 (PP-omission test)을 소개한다. 두 번째로 영어의 논항 교체 동사들에 해당하는 한국어 동사들의 통사적 형태를 알아봄으로써 영어와 한국어에서의 통사적 유사성과 차이점을 알아본다. 세 번째로 영어와 한국어에서 나타나는 통사적 차이점의 설명을 위해 Pinker가제시한 의미 분류들을 수정한 새로운 분류를 제시한다 마지막으로 Jackendoff (1996)에서 제시된 의미적 설명이 영어의 논항 교체 동사에 해당하는 한국어 동사들의 통사적 형태들의 다양성을 설명할 수 있음을 보여준다

• The KIPS Transactions:PartB
• /
• v.8B no.4
• /
• pp.373-380
• /
• 2001

본 논문은 한국어 보조동사의 의미를 Sowa에 의해 제안되고 국제표준이 되고있는 개념그래프를 이용하여 형식적으로 기술하는 방법을 제안한다. 이를 위해 영어의 양상과 상에 관한 개념그래프를 알아보고 한국어 보조동사를 통사/의미론적으로 고찰한다. 한국어 보조동사의 개념그래프적 기술을 위해, 각종 논문과 국어사전에서 한국어 보조동사 40개의 여러 예문들을 수집하여 완료, 진행, 봉사, 시도, 강세, 원망, 지속, 추정의 8가지 의미로 분류하고 이들을 개념그래프로 기술한다. 실험에서는 이들 8가지 의미들을 인공지능언어의 일종인 LIPS과 유사한 KIF로 작성하고 C++를 이용하여 한국어 보조동사가 포함된 문장을 입력받아 개념그래프로 변환하는 프로그램을 구현한다. 문장 내의 모든 범주들의 개념과 개념 관계가 자연어의 모든 의미관계를 표시할 수 있는 개념그래프는 한국어 보조동사의 다양한 의미를 기술하는데 적합함을 알 수 있었다.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.202-211
• /
• 2003

Abstract Formal definitions of syntax and semantics for the static and dynamic models in Object Oriented methods are already defined. But the behavior of interacting objects is not formalized. In this paper, we defined the common behavior of interacting objects in terms of process algebra using sequence diagram in UML and regularized properties of interacting objects. Based on the results, we can develop a formal specification by. using of the object interaction instead of the existence dependency suggested by M. Snoeck and G. Dedene[9].

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.274-276
• /
• 2001

기존의 여러 동적 추천 시스템에서 사용자들의 브라우징 패턴을 반영하려고 노력하였다 .그러나 대부분의 동적 추천 시스템들은 웹 문서들의 형식이나 웹 문서들 간의 연관성을 고려하지 않고, 사용자들의 브라우징 패턴에만 근거하기 때문에 연관성이 없거나 의미 없는 웹 문서들에 대한 추천까지 제공하는 문제점을 지니고 있다. 본 논문에서는 웹 문서들 사이의 유사도와 로그 파일 안에 들어있는 사용자들이 패턴을 이용하여 웹 문서 자체의 형식에 따라 연관된 웹 문서뿐만 아니라 순차적인 특성을 가진 웹 문서를 추천 문서로 제공한다. 이때 추천 웹 문서의 형식이 탐색 페이지이면 사용자 브라우징 순차 패턴 DB 중에서 사용자들이 자주 항해하는 순차적인 특성을 갖는 웹 문서까지 제공하는 동적 추천 시스템을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.289-291
• /
• 2002

본 논문에서는 객체지향 패러다임의 구조적 특성을 적용하여 만든 시소러스를 이용하여 웹 자원의 의미적 연관성을 RDF 형식으로 표현할 수 있는 RDF 문서 자동 생성기를 소개한다. 객체지향 시소러스를 RDF 형식으로 나타내기 위해 시소러스에 사용된 객체와 관계의 내용을 명세한 네임 스페이스를 정의하여 시맨틱 웹에서 메타데이타를 기술하는 표준이 되는 RDF와 RDF Schema 형식으로 매핑할 수 있다. 이러한 연구를 통해 객체지향 시소러스의 내용을 RDF 형식으로 표현함으로써 지식베이스(KnowledgeBase)라 불리는 온톨로지를 생성할 수 있으며, 구축된 온톨로지는 시맨틱 웹 상의 에이전트나 다른 어플리케이션에 응용될 수 있다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.1-5
• /
• 2000

하이브리드 시스템의 행동 표현을 각각의 시스템에 적합한 모델링 형식론으로 표현하면, 각각의 모델이 지니고 있는 정확도를 유지할 수 있고, 수행속도를 증가시키는 이점을 가지게 된다. 하이브리드 시스템을 모델링 하는 과정에서 시간 진행에 따른 수행 의미의 고찰은 모델링 방법에 중요한 영향을 끼칠 수 있다. 본 논문에서는 이산 사건 시스템과 연속 시간 시스템간의 입출력 교환을 위해서, 사건을 연속 입력으로 변환하고, 연속 출력을 사건으로 변환하는 인터페이스를 표현하는 형식론을 정의하고, 시뮬레이션의 시간 진행에 따른 종속 관계 방법과 독립 관계 방법을 모두 수행할 수 있는 알고리즘을 제안한다. 이 때, 이산 사건 시스템은 DEVS 형식론에 기반한 알고리즘으로 수행하고, 연속 시스템을 미분방정식의 산술적 누적 알고리즘에 따라 수행하는 통합 환경을 구축하며, 이를 바탕으로 두 미사일의 격추 예제를 수행하여 전쟁 시뮬레이션 분야에 적용가능성을 확인한다.