• Journal of the Korean School Mathematics Society
• /
• v.9 no.4
• /
• pp.481-495
• /
• 2006

In this paper we analyze creative mathematical competition for Russian mathematics teachers, and try to find out some suggestions for developing mathematics teacher's professional abilities. For these purposes we analyze problems and result data on the creative mathematical competition(for example, mean, distribution, reliability, discrimination, difficulty), and extract some meanings related with expanding teacher's professional abilities and activating studies related with mathematical pedagogy.

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

오류 정적 분석기가 출력하는 분석 경보 사이의 종속 관계를 안전하게 계산하여, 분석 경보들을 무리 짓는 짓고, 대표 경보들만을 출력하는 기법을 소개한다. 경보 1이 가짜 경보일 때 경보 2도 항상 가짜 경보가 된다면, 경보 1을 살펴 가짜 경보임을 안 경우에 경보 2를 살펴볼 필요가 없다. 따라서, 경보 2는 경보 1에 종속적이라고 말할 수 있다. 버퍼 오버런 분석기의 분석 경보 보고서를 개선하기 위해 이러한 기법을 적용한 결과, 여러 개의 오픈 소스 소프트웨어들의 분석 후에 보고되는 경보의 수를 평균 60% 줄일 수 있었다. 종속 관계 계산을 위해 소요되는 추가적인 분석 시간은 평균 20% 이다. 제안하는 기법은 요약 해석에 기반을 둔 모든 정적 분석기에 적용할 수 있으며, 실제 오류일 가능성이 높은 경보를 먼저 보여주는 통계적인 기법들과 독립적으로 사용될 수 있다.

• Journal of the Korean Society for Library and Information Science
• /
• v.34 no.2
• /
• pp.159-173
• /
• 2000

This study criticizes aspects of discourse on digitizing school library in Korea. What the writer emphasizes is reinforcement of school library based on physical resources, real space, and human elements.

• Journal of the Korean School Mathematics Society
• /
• v.16 no.1
• /
• pp.113-139
• /
• 2013

The purpose of this study is to provide informations about cause of failures when students solve word problems by analyzing what errors students made in solving word problems and types of error and features of error according to problem solving strategy. The results of this study can be summarized as follows: First, $5^{th}$ grade students preferred the expressions, estimate and verify, finding rules in order when solving word problems. But the majority of students couldn't use simplifying. Second, the types of error encountered according to the problem solving strategy on problem based learning are as follows; In the case of 'expression', the most common error when using expression was the error of question understanding. The second most common was the error of concept principle, followed by the error of solving procedure. In 'estimate and verify' strategy, there was a low proportion of errors and students understood estimate and verify well. When students use 'drawing diagram', they made errors because they misunderstood the problems, made mistakes in calculations and in transforming key-words of data into expressions. In 'making table' strategy, there were a lot of errors in question understanding because students misunderstood the relationship between information. Finally, we suggest that problem solving ability can be developed through an analysis of error types according to the problem strategy and a correct teaching about these error types.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.382-384
• /
• 2005

소프트웨어 테스팅에서 테스트 스위트(suite)의 수를 줄이면서도 테스트 커버리지나 오류검출에 있어서 효과적인 방법을 찾기 위한 많은 연구가 시도되어 왔다. 안정성이 높은 설계가 되도록 설계 조건을 결정하기 위하여 제어인자들의 직교 배열을 사용하는 시험방법인 교호작용 테스팅 기법이 소프트웨어의 테스트에서도 효과가 매우 높다는 것이 실험으로 증명되고 있다. 소프트웨어는 상대적으로 몇 안 되는 조건들의 조합들로 오류가 발생할 가능성이 높다는 특징을 가지고 있다. 따라서, 파라미터 간 교호작용 강도 t를 갖는 t-way 테스팅을 통해 효과적으로 테스트 스위트를 줄이면서 많은 오류를 검출할 수 있다. 그러나 t값을 증가시키면 테스트 스위트의 수가 늘어난다는 단점이 발생한다. 또한, 어떠한 파라미터들이 서로 교호작용을 일으키는 것인지 알수 없는 상황을 가정한 단순한 교호작용 테스팅은 자칫 서로 관련 없는 파라미터들도 교호작용 테스팅에 참여하기 때문에 테스트의 낭비가 있을 수 있다는 단점이 있다. 이에, 본 논문에서는 소프트웨어의 입력과 출력간의 관계를 바탕으로 시스템 I-O관계도를 작성한 후, 이를 바탕으로 각 출력에 대한 교호작용을 일으킬 수 있는 파라미터를 중심으로 테스트 스위트를 생성하는 Selective Covering Array를 제안한다.

• Journal of Korea Multimedia Society
• /
• v.12 no.11
• /
• pp.1563-1571
• /
• 2009

In this paper, we propose a new boundary matching method for the temporal error concealment and a post processing algorithm for perceptual quality improvement of the concealed frame. Temporal error concealment is a method that substitutes error blocks with similar blocks from the reference frame. In conventional H.264/AVC standard, it compares outside pixels of erroneous block with inside pixels of reference block to find the most similar block. However, it is very possible that the conventional method substitutes erroneous block with the wrong one because it compares only narrow spatial range of pixels. In this paper, for substituting erroneous blocks with more correct blocks, we propose enhanced boundary matching method by comparing inside and outside pixels of reference block with outside pixels of erroneous block and setting up additional candidate motion vector in the fixed search range based on maximum and minimum value of candidate motion vectors. Furthermore, we propose a post processing method to smooth edges between concealed and decoded blocks without error by using the modified deblocking filter. We identified that the proposed method shows quality improvement of about 0.9dB over the conventional boundary matching methods.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.10 no.11
• /
• pp.1239-1244
• /
• 2015

In this paper, a new method for finding optimal and short span in Convolutional Self-Doubly Orthogonal(CDO) codes are proposed. This new algorithm based on Parallel Implicitly-Exhaustive search, where we applied dynamic search space reduction methods in order to reduce computational time for finding Optimal Span for R=1/2 rate CDO codes. The simulation results shows that speedup and error correction performance of the new algorithm is better.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.563-566
• /
• 2001

이 논문에서는 이동로봇의 자유로운 배회 및 목적지 찾기 행동을 위한 진화형 퍼지 제어기의 설계 방법을 제안 한다. 전체 실험공간을 장애물과 충돌없이 자유롭게 움직이기 위해서 진화연산 알고리즘을 이용한 퍼지규칙과 소속함수의 자동생성을 거친 뒤 이를 통해 전체 지도정보를 구축한다. 여러 시스템에서 응용되는 퍼지 제어기는 일반적으로 시스템을 잘 이해하고 있는 전문가로부터 구축되어 사용되어진다. 그러나 사람의 지식과 경험은 간혹 알려진 범위 내에서란 완벽하게 작동하기 때문에 그 범위를 벗어나면 오류를 범할 수 있다. 이러한 알려진 해법외의 새로운 규칙과 제어 방법을 찾기 위하여 유전 알고리즘을 이용한 퍼지규칙과 소속함수를 구축하려는 시도가 많이 이루어지고 있다. 이 논문에서도 유전 알고리즘을 이용하여 이동로봇의 퍼지 제어기에 사용된 규칙과 소속함수의 최적화를 통해 견고한 퍼지 제어기를 설계한다. 이를 통해 구축된 지도정보는 로봇의 Deliberative한 행동을 위해 사용되며, Fuzzy-GA 제어기는 센서기반 Reactive 시스템에서 이용된다. 전체 실험환경의 구성부터 제안한 이동로봇 퍼지 제어기 구축과 지도 구축작업을 컴퓨터 시뮬레이션을 통해 검증하였다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.3
• /
• pp.718-723
• /
• 2017

When structural analysis modelling methods of practical fields are investigated, a slab is generally modeled by a finite element mesh using plate elements and a shear wall is modeled using a shell element or wall element for 3-D structural analysis. The point worthy of notice in this practice is that a shear wall is modelled using only one wall or shell element divided by floors and column lines to produce structural models. The modeling method like this can cause analysis errors according to the type of computer programs in use, and these errors reduce the reliability of the analysis results. Therefore, to secure the reliability of structural analysis, studies of the causes of errors and finding reasonable modeling methods are necessary. In this study, the causes of analysis errors according to the modelling methods of a shear wall, which are used in practical fields, were investigated and some considering matters for modelling a shear wall are presented to reduce the analysis errors on these analysis results.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.4
• /
• pp.783-787
• /
• 2012

It is not easy to find out syntactic error in a spelling checker systems of Korean, because the spelling checker is generally to correct each phrase and it cannot check the errors of contextual ill-matched words. Spelling checker system tests errors based on a words. Disambiguation of lexical ambiguities is important in natural language processing. Its outputs is used in syntactic analysis. For accurate analysis of a sentence, syntactic analysis system must find out the ambiguity of morphemes in a word. In this paper, we suggest several rules to resolve the ambiguities of morphemes in a word. Using these methods, we can reduce many lexical ambiguities in Korean.