• 대한수학교육학회지:학교수학
• /
• 제15권4호
• /
• pp.847-866
• /
• 2013

본 연구는 평면도형의 넓이 구하기 수업에서 드러나는 학생들의 다양한 해결 방법을 분석하고, 이 다양한 방법으로부터 의미 있는 형식화가 이루어지기 위한 교수-학습 상의 시사점을 알아보고자 하였다. 수업에서 교사는 학생들이 찾은 여러 해결 방법 중 형식화를 도출하기 쉽거나 학생들이 이해하기에 용이하다고 판단되는 것을 선택하여 몇가지 방법에서 형식화 과정을 드러내려고 하였다. 해결 방법 및 형식화 과정을 분석한 결과 의미 있는 형식화가 되기 위해서는 우선 평면도형의 넓이를 구하기 위해 어떤 조건을 알아야하는지를 살펴보고 밑변, 높이, 대각선에 대한 명확한 개념의 형성과 관계 이해가 이루어져야 한다는 것을 알 수 있었다. 또한 많은 학생들이 찾은 해결 방법 중에서 변형된 도형이나 보존 방법 등이 가능하면 다양하면서도 최대한 간결한 식으로 표현이 가능한 것을 선택하여 형식화를 유도하는 것이 효율적임을 알 수 있었다. 이와 같은 연구 결과를 토대로 학생들의 다양한 해결 방법 중에서 합리성과 간결성을 고려한 형식화 과정이 의미 있게 드러나게 하기 위한 교수-학습 상의 시사점을 제시하였다.

• ETRI Journal
• /
• 제11권2호
• /
• pp.150-176
• /
• 1989

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

• 정보처리학회논문지B
• /
• 제9B권4호
• /
• pp.437-444
• /
• 2002

정보 검색 시스템이나 웹(Web)이 방대해지고 초보적 수준의 사용자들이 늘어남에 따라 간단한 조작만으로 원하는 정보를 얻어낼 수 있는 도구의 개발이 점점 중요해지고 있다. 일반적으로 정보 검색 시스템이나 검색 엔진을 통한 질의 입력 방법이나 연산자들이 매우 다양하며 일반 사용자들은 질의를 형식화 하는 것이 쉽지 않다. 본 논문은 일반 사용자가 정보 검색 시스템이나 검색 엔진을 통하여 정보를 검색하기 위한 검색어 형식화를 도와주는 개념 마법사를 제안한다. 본 논문에서 제시한 개념 마법사는 실세계 지식의 부족을 시소러스를 이용하여 인터렉티브(interactive) 하게 제시하고 웹을 기반으로 하는 플러그인(plug-in)으로 제공함으로써 유용성 및 확장성이 크다.

• 한국정보통신학회논문지
• /
• 제13권4호
• /
• pp.691-699
• /
• 2009

최근에 Mobile IPv6(MIPv6)의 경로 최적화 옵션을 보호하기 위한 표준안으로 ERO 프로토콜이 채택되었다. 이 프로토콜은 강력한 공개키 암호화 기법을 기반으로 기존의 RR프로토콜을 개선하고 성능과 보안성을 최적화하였다. 한편, ERO 프로토콜을 포함하여 다양한 MIPv6 보안 프로토콜들이 제안되었으나 이들에 대한 형식화된 보안 분석이 부족한 실정이다. 일부연구에서 형식화된 보안 분석이 시도되었으나 분석의 대상이 되었던 보안프로토콜들은 초창기에 제안된 비교적 단순한 프로토콜들이었다. 본 논문에서는 MIPv6 보안 프로토콜들을 위한 형식화된 보안 분석의 기준을 제시하기 위해 BAN 논리를 채택하여 ERO 프로토콜의 유효성을 검증한다. 이를 위해 MIPv6 환경을 고려하여 이동노드의 HoA와 CoA에 대한 주소 테스트를 검증에 반영하도록 BAN 논리를 확장하였다. 본 논문에서 제시된 분석 방법은 향후 MIPv6 관련 보안 프로토콜의 형식화된 분석을 위해 유용하게 활용될 것으로 기대된다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 추계학술대회 논문집 전기물성,응용부문
• /
• pp.288-289
• /
• 2001

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

• 건축사
• /
• 통권558호
• /
• pp.150-157
• /
• 2015

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

• 한국결정성장학회지
• /
• 제12권3호
• /
• pp.115-119
• /
• 2002

흡착열 공간분포함수를 외형적으로 포함하는 흡착등온식을 형식화한다. 요철모형 흡착열 공간분포함수를 사용하여 우리가 유도해낸 흡착등온식을 직접 계산해 보고, 계산 결과로부터 모형계의 흡착특성을 분석한다. 이를 통하여 우리가 새로이 형식화한 흡착등온식의 유용성 여부를 확인한다. 본 논문은 통계열역학이 적용되었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.755-758
• /
• 2000

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

• 정보기술과데이타베이스저널
• /
• 제4권1호
• /
• pp.31-50
• /
• 1997

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

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2006년도 제18회 한글 및 한국어 정보처리 학술대회
• /
• pp.220-227
• /
• 2006

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