• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.873-876
• /
• 2006

POP는 공개키 인증서의 발급과정에서 인증기관(CA)이 신청자가 제출한 공개키에 대응하는 비밀키를 가지고 있는가와 선택한 암호 알고리즘 및 용도에 적합한 연산을 수행할 능력이 있는 가를 확인하는 절차를 의미한다. WAP PKI에서는 POP 확인을 위해 암호화용 인증서는 WTLS 프로토콜을 수행하고, 전자서명용은 signText()함수를 이용하여 전자서명을 생성하도록 정의하고 있다. 이런 방식은 WTLS 프로토콜의 수행과 전자서명의 생성과정에서 많은 연산과 통신 부담이 발생한다. 본 논문에서는 ECDSA에 기반한 Signcryption 방식을 이용하여 효율적으로 POP를 검증하는 방식을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.440-442
• /
• 2000

필기 한글 문자 인식을 위해서는 패턴을 구성하는 획 성분을 분석하는 작업이 필수적이다. 획 성분 추출을 위해 사용한 세선화 방법은 입력 영상을 왜곡하는 단점을 가지고 있다. 이를 극복하기 위하여 본 논문은 입력 영상을 왜곡하지 않고 의미 있는 부품 단위로 분할하는 방법을 제안한다. 의미 있는 부품이란 유사 볼록하게 분할된 영역을 의미한다. 분할 방법은 먼저 입력 영상에 볼록 헐 연산을 적용하여 오목 영역을 생성한다. 이 오목 영역에서 분할 기준(anchor point)점을 탐지하고 획의 반대편 외곽선 상에서 분할 끝(terminal point)점을 찾아 분할 경로를 구성하여 획을 분할한다. 모든 부품이 유사 볼록 조건을 만족할 때까지 위 과정을 반복 수행한다. 제안한 방법은 두 개의 파라미터만을 가지며 간단한 프로시져로 구성되어 있다. 또한 필기 한글 패턴뿐 아니라 여러 언어에 적용 가능하다는 장점을 갖는다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2001.05a
• /
• pp.224-227
• /
• 2001

전자메일은 20세기 후반 인터넷의 발전으로 현재의 정보전달 수단 중 대표적인 개인간 인터넷 통신 수단으로 자리잡게 되었다. 그러나 전자메일 사용자들은 전자메일 주소가 노출되므로 해서 많은 정크메일(junk mail) 즉, 자신이 원하지 않는 전자메일을 수신하게 되었다. 이로 인해 일반 전자메일과 정크메일을 분류하기 위한 수단이 필요하게 되었는데, 현재까지는 사용자가 입력한 송신자의 전자메일 주소 또는 도메인 주소를 등록하여 차단하거나 제목에 특정 단어를 포함한 메일을 완전히 삭제하여 버리는 수준에 머무르고 있다. 본 논문에서는 의미적 접근 기반 정크메일 분류 기법의 기초 모델을 제안한다. 퍼지관계곱을 이용한 전자메일의 정크도 추출은 퍼지관계곱 연산을 이용하여 미리 정의한 정크용어들과 사용자의 수신함에 있는 전자메일 내의 용어들간 의미적 포함관계를 분석하고 그를 통해 전자메일의 정크도(degree of junk)를 추출하는 연구를 제안한다. 제안된 기법을 통해 추출한 정크도는 동일한 전자메일들에 대해 사용자가 느끼는 정크도와 비교하여 효용성을 증명하였다.

• School Mathematics
• /
• v.12 no.4
• /
• pp.585-604
• /
• 2010

This study aims to investigate understanding of meanings of division, quotitive division and partitive division, by the third graders and preservice elementary teachers. To do this, we analysed and compared mathematics textbooks according to 9 mathematics curricula, gathered information about their understanding by questionnaire method targeting 5 third graders and 36 preservice elementary teachers, and analysed their responses in relation to recognition of division-based situations, solution using visual representations, and awareness of quotitive division and partitive division. In Korea, meanings of division have been taught in grade 2 or 3 in various ways according to curricula. In particular, the mathematics textbook of present curriculum shows a couple of radical changes in relation to introduction of division. We raised the necessity of reexamination of these changes, based on our results from questionnaire analysis that show lack of understanding about two meanings of division by the preservice elementary teachers as well as the third graders. And we also induced several didactical implications for teaching meanings of division.

• Review of KIISC
• /
• v.9 no.4
• /
• pp.51-64
• /
• 1999

클라이언트 측의 사용자들이 응용서버(application server)로 부터의 서비스를 받기위 해서는 사요자간에 또는 사용자와 암호시스템 간에 인증은 필수적인 요구조건이다. 이러한 인증과정은 현재 사용자가 통신을 통해 정보를 교환하고 있는 상대가 실제 의도한 상대인지 를 확인하는 과정을 의미한다. 따라서 이러한 문제를 해결하기 위한 보다 효율적이고 안전 한 프로토콜의 개발이 절실하며 본논문에서는 이를 위해 기존에 제시되어진 패스워드를 이 용한인증프로토콜들을평문등가(plaintext-equivalent)프로토콜과 확인자 기반(verifiier-based) 프로토콜로 나누어 고찰해 보고 이들을 안정성, 그리고 연산속도 메시지 전송횟수를 기준으 로 비교 분석해 보고자 한다.

• Journal of the Korea Society of Computer and Information
• /
• v.25 no.11
• /
• pp.277-286
• /
• 2020

In this paper, we propose a new educational approach to help learners form concepts by identifying the properties of programming concepts targeting a group of experts in programming education. Therefore, we confirmed the typical properties of concepts by programming education experts for programming learning elements through conceptual metaphor analysis, which is a qualitative research method, and confirmed the validity through the delphi method. As a result of this study, we identified 17 typical properties of programming concepts that learners should form in programming education. The conclusions of this study are that need to compose the educational content more specifically for the conceptualization of learners' programming as follows: 1)the concept of a variable is to understand how to store data, how to set a name, what an address has, how to change a value, various types of variables, and the meaning of the size of a variable, 2)the concept of operator is to understand how to operate the four rules, how to deal with it logically, how to connect according to priority, meaning of operation symbols, and how to compare, 3)the concept of the control structure is to understand how to control the execution flow, how to make a logical judgment, how to set an execution rule, meaning of sequential execution, and how to repeat executing.

• Journal of Elementary Mathematics Education in Korea
• /
• v.12 no.1
• /
• pp.1-25
• /
• 2008

The purpose of this study was to identify pre-service teachers' Pedagogical Content Knowledge (PCK) about decimal calculation. A written questionnaire was developed dealing with decimal calculation. A total of 152 pre-service teachers from 3 universities were selected for this study; they had taken an elementary mathematics teaching method course and had no teaching experience. The results were as follows: First, with regard to the method of decimal calculation, most pre-service teachers were familiar with algorithms introduced in the textbook. But with regard to the meaning of decimal calculations, they had difficulties in understanding decimal multiplication or decimal division with decimal number. Second, pre-service teachers recognized reasons of errors as well as errors patterns that student might make. But this recognition was limited mainly to errors related to natural number calculation. Third, pre-service teachers frequently commented about decimals algorithms, picture models, the meanings of decimal calculations, and connections to natural number calculations. Many of them represented the meanings of decimal calculations through picture models as to help students' understanding, while they just mentioned algorithms or treated decimal calculation as natural number calculations with decimal point.

• Annual Conference on Human and Language Technology
• /
• 2021.10a
• /
• pp.605-608
• /
• 2021

KoBERT는 한국어 자연어처리 분야에서 우수한 성능과 확장성으로 인해 높은 위상을 가진다. 하지만 내부에서 이뤄지는 연산과 패턴에 대해선 아직까지 많은 부분이 소명되지 않은 채 사용되고 있다. 본 연구에서는 KoBERT의 핵심 요소인 self-attention의 패턴을 4가지로 분류하며 특수 토큰에 가중치가 집중되는 현상을 조명한다. 특수 토큰의 attention score를 층별로 추출해 변화 양상을 보이고, 해당 토큰의 역할을 attention 매커니즘과 연관지어 해석한다. 이를 뒷받침하기 위해 한국어 분류 작업에서의 실험을 수행하고 정량적 분석과 함께 특수 토큰이 갖는 의미론적 가치를 평가한다.

• Journal of Educational Research in Mathematics
• /
• v.27 no.4
• /
• pp.765-789
• /
• 2017

Arithmetic is the basis of school mathematics and in fact, number and operation in elementary school curriculum is the most basic and essential domain. Even though there has been a consensus that arithmetic should be taught more meaningfully beyond the emphasis of calculation skills and teachers should emphasize the aspect of the arithmetical thinking, it is difficult to find studies which focus on the arithmetical thinking itself. So this research aims to explore the meaning of the arithmetical thinking and extract the arithmetical thinking factors. In order to solve the research problems, we reviewed and analyzed the literatures and then conducted Delphi survey to extract arithmetical thinking factors. From the results of this research, we found the meaning of arithmetical thinking and the arithmetical thinking factors. Especially, the arithmetical thinking consists of 18 factors. It is important to pay attention to students' arithmetical thinking because there are various factors of the arithmetical thinking. It is necessary to identify the aspects of arithmetical thinking reflected in school mathematics based on the meaning of arithmetical thinking and its factors. Based on this, it is possible to find effective teaching and learning methods of arithmetic focusing on the arithmetical thinking.

• Journal of KIISE:Software and Applications
• /
• v.26 no.6
• /
• pp.822-832
• /
• 1999

개념 그래프는 개념구조(conceptual structures)를 그래프로 표현한 논리 시스템으로 자연어 처리에 적합한 여러 특성을 지니고 있다. 그러나, 개념주조의 그래프 표현은 개념 그래프에 대한 연산의 복잡도를 증가시키고 의미 표현의 일관성(consistency)과 유일성(uniqueness)을 잃게 한다. 본 논문에서는 개념 그래프의 이러한 문제점에 대해 자세히 살펴보고이를 해결한 개념 트리의 표현 방법을 보인다. 표현의 유일성을 위해, 개념 트리는 중심어 선행 표현(perorder expression)에 의해 제약된다 또한 , 표현의 일관성을 위해 집합 참조대상 (set referents)을 확장하고 이를 다루기 위한 set join연산을 재정의한다. 우리는 개념 트리가 자연어 문장에 대한 표현력을 유지하면서 효율적임을 보인다.