• School Mathematics
• /
• v.15 no.4
• /
• pp.847-866
• /
• 2013

The purpose of this study was to analyze students' various solution methods revealed in the lessons of finding out the area of plane figures, and to explore instructional implications on how to draw meaningful formalization out of such multiple methods. The teacher in this study tended to select a few solution methods that were easy for students to understand and to induce formalization. An analysis of students' solution methods and the process of formalization showed that students need to understand what parts of the length of the given plane figure they should know, and to identify the base, height, and diagonal line of the figure. The analysis also showed that it was effective to choose the solution methods that were used by many students and that could be easily transformed into a concise formula. Based on these results, this paper provides instructional suggestions for a teacher to orchestrate classroom discussion toward formalization based on students' multiple solution methods.

• ETRI Journal
• /
• v.11 no.2
• /
• pp.150-176
• /
• 1989

인간과 컴퓨터의 대화(interaction)에 있어서 가능하다면 인간이 쓰는 언어로 인간이 원하고자 하는 소정의 작업을 지시하고 그 출력을 제공받을 수 없을까하는 목표를 두고 세계각국이 모국어의 컴퓨터처리 이론 및 알고리즘개발에 열중하고 있다. 이 논문은 우리의 국어인 한글을 컴퓨터가 처리하는 지적처리를 목표로, 연구중인 한글 이해 시스팀의 구축을 위한 이론과 그 처리 알고리즘에 대해서 논하고 있다. 구체적으로는 최신의 이론언어학의 문법이론을 도입하여 국어의 언어현상에 대한 형식화 모델을 제시하고 있다. 우리의 모델은 각각의 이질적인 언어현상에 대한 지식을 통일적 지식표현과 그 이용법을 체계적으로 기술하고 있다. 그 결과 우리의 접근법이 세계 어느 언어권의 형식화 수준보다 선진하고 있음을 제시한다.

• The KIPS Transactions:PartB
• /
• v.9B no.4
• /
• pp.437-444
• /
• 2002

There are some important that development of tools to retrieve information by simple operation in large of nave users in the world wide web. In general, query formulation method and operators are variety, not easy to formulate query in information retrieval system or web based retrieval engine. In this paper, we propose "Concept Wizard" to support query formulation with concept term expansion in natural language query information retrieval system. The Concept Wizard are interactively supporting query formulation using thesaurus and Providing plug-in on the web.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.4
• /
• pp.691-699
• /
• 2009

Recently, the ERO protocol has been adopted as a standard to protect the routing optimization mode introduced by MIPv6. This protocol uses the public key cryptography and the early binding update method to improve the Return Routeability protocol while optimizing both security and performance. On the other hand, though various security approaches including the ERO protocol have been proposed for MIPv6, they lack formal verification. Especially, to our best knowledge, there is no formal analysis on the ERO protocol. In order to provide a good example for formal analysis on MIPv6 security protocols, this paper verifies the correctness of the ERO protocol through BAN-logic. For this goal, BAN-logic is extended to consider the address tests on the mobile nodes's CoA and HoA. It is expected that the analysis presented in this paper will be useful for the formal verifications on the security protocols related to MIPv6.

• Proceedings of the KIEE Conference
• /
• 2001.11a
• /
• pp.288-289
• /
• 2001

흡착열공간분포를 외형적으로 포함하는 Heterogeneous 표면상의 흡착등온식을 형식화한다 그리고 흡착열공간분포는 위치에 대한 주기함수로서 주어지는 것임을 논한다. 본 논문에서 얻어진 결과를 재료의 박막형성 문제에 결부시켜 논의한다.

• Korean Architects
• /
• s.558
• /
• pp.150-157
• /
• 2015

대한건축사협회 50년 동안 제도의 생성과 흐름을 이해하는데 먼저 제도란 무엇인지에 대한 이해가 필요하다. 제도는 규범의 복합체라고 한다. 규범의 내용이 형식화되고 정리되어 공권력을 수반하는 법률에서부터 형식화되지 않은 채 일상생활에서의 막연한 약속과 같은 집단의 도덕적 기준이나 관습에 이르기까지 그 범위는 광범하다. 즉 정치 경제 교육 제도 등에서부터 도덕이나 언어와 같은 것까지 포함한다. 이 제도가 존재함으로써 사회를 구성하는 모든 개인의 행동은 얼마간 틀에 박히고 방향이 부여되기 때문에 사람들을 시행착오의 낭비를 절약하여 큰 불편 없이 어느 정도 자동적으로 행동할 수 있다. 이런 점에서 제도는 사회질서 유지를 그 중요한 기능으로 하는 한편 모든 개인의 자유를 다소나마 규제하고 부자연스럽게 하는 측면도 있다. 모든 개인에 대한 제한이나 속박이 심해져 정상적인 대다수의 개인의 생활요구가 자해되고 억제되는 정도가 지나치게 되면 그 사회의 가치체계나 규범이 흔들리기 시작하며, 마침내는 기존의 제도가 바뀌고 새로운 제도가 생기게 된다고 한다.

• Journal of the Korean Crystal Growth and Crystal Technology
• /
• v.12 no.3
• /
• pp.115-119
• /
• 2002

An adsorption isotherm on the heterogeneous surface which has spatially periodic adsorption heat distribution was formalized. Usefulness of the formalized adsorption isotherm is discussed with the help of a model calculation. Statistical thermodynamics is used throughout.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.755-758
• /
• 2000

시각 언어는 인간-컴퓨터 사이의 인터랙션 수단이다. 올바른 인터랙션을 위하여 저작된 컨텐츠와 재생되는 씬의 시맨틱이 인간과 컴퓨터는 물론 인간과 인간 사이에서 일관성과 신뢰성을 가져야 한다. 본 논문에서는 인터랙션의 일관성과 신뢰성을 위한 시각 언어의 시각문장 집합을 정의하고 형식화한다. 이러한 형식화는 시각 언어의 시각적 저작 내용의 모호성을 제거하여 공동 참여자의 신뢰성을 높인다. 또한 형식 정의에 대하여 저작 컨텐츠와 재생 씬의 동일성을 그래프로 증명한다. 이러한 형식 정의를 MPEG-4 컨텐츠 저작 도구에 적응한다. 즉. 각 객체 사이의 시간관계 정의에 따라 저작하며, 사용자 인터랙션에 따른 씬의 속성의 변화를 효율적으로 지원한다. 저작된 컨텐츠는 씬의 속성 정보에 따라 객체 사이의 동기화를 유지하면서 재생한다.

• The Journal of Information Technology and Database
• /
• v.4 no.1
• /
• pp.31-50
• /
• 1997

객체지향 데이터베이스 시스템에서 시간지원 데이터베이스를 다룰 때 발생하는 중요한 문제는 관계 의미에 따라 시간과 속성을 결합하는 방법에 있다. 관계형 모델처럼 속성 버전화에 대한 기존의 연구 결과는 시간지원 객체지향 모델에 적용할 수 없다. 이것은 객체지향 모델이 복합 객체를 구성하기 위해서 기존의 모델보다 더욱 강력한 구성자들을 제공하기 때문이다. 그래서 이 논문은 객체지향 데이터베이스에 시간 개념을 통합하기 위한 형식적 접근방법을 제안한다. 이 논문의 목적은 객체 사이에 관계하는 일반화, 집단화와 연관화에 따라 시간지원 객체지향 데이터베이스 표현을 연구하는 것이다. 이 논문은 시간지원 객체지향 모델에서 속성 버전화의 개념을 정의하고, 객체 사이에 존재하는 관계에 대해서 시간을 표현하는 것에 중점을 둔다. 또한 관계 의미에 대한 제약조건을 규정하고, 표현 기준에 기반하여 검토한다. 이 논문은 객체지향 데이터 모델을 형식화함으로써 대수 연산자의 설계시 강력한 연산 기능을 제공할 뿐만 아니라 모듈의 재사용성을 제공할 수 있다.

• Annual Conference on Human and Language Technology
• /
• 2006.10e
• /
• pp.220-227
• /
• 2006

지식표현의 도구초서 온톨로지 사용이 증가함에 따라 온톨로지를 구축하기 위한 온톨로지 구축 도구들도 다양하게 개발되고 있다. 그러나 현재까지의 온톨로지 구축 도구들은 개념화(conceptualization)한 지식을 형식화(formalization)하는 목적으로 개발되었다. 그러므로 온톨로지 구축자가 지식을 개념화하는 과정에서, 온톨로지의 특성에 따라 적절한 온톨로지 구축을 지원하는 시스템이 필요하다. 본 논문에서는 특정분야의 전문가 또는 비전문가가 언어자원을 기반으로 지식을 개념화하고 형식화하여 온톨로지를 구축하는 온톨로지 구축 시스템(Ontology Construction System)을 제안한다. 제안한 시스템을 구현하고, 구현한 시스템을 활용한 실제 온톨로지 구축 실험을 통해 OntoCS가 온톨로지를 구축함에 있어서 능률을 높임을 알 수 있었다.