• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.9
• /
• pp.1395-1403
• /
• 1993

Protocol conformance is crucial to inter-operability and cost effective computer communication. Given a protocol specification, the task of checking whether an inplementation conforms to the specification is called conformance testing. The efficiency and fault coverage of conformance testing are largely dependent on how test cases are chosen. Some states may have more one UIO sequence when the protocol is represented by FSM (Finite State Machine). The length of test sequence can be minimized if the optimal test sequences are chosen. In this paper, we construct the depth-tree to find the maximum overlapping among the test sequence. By using the resulting depth-tree, we generate the minimum-length test sequence. We show the example of the minimum-length test sequence obtained by using the resulting depth-tree.

• Journal of Korea Game Society
• /
• v.15 no.4
• /
• pp.199-206
• /
• 2015

This paper introduces a serious game called freCman developed for C programming language beginners. Since key words, syntax, and programming structure of C programming language are unfamiliar for them, they feel uneasy and have many difficulties to study. We developed three games such as shooting star C, finding hidden errors, unscrambling C codes through which C beginners can study C language easily. Also we developed CTS(Code to Speech) which speeches C source codes like English statements so that C beginners can be familiar with C key words and statements. To prove effectiveness of the freCman, some experiments have been conducted with C language beginners. Experiment results show that the freCman helps beginners studying C programming language much.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.864-865
• /
• 2007

외전형 유도전동기는 내전형에 비해 회전자가 외부에 존재하는 특징을 가지고 있어서 제품의 소형화 및 경량화를 시킬 수 있다는 장점이 있다. 하지만 외전형은 회전자의 직경이 내전형에 비하여 크기 때문에 조립 공정상에 존재하게 되는 회전자와 고정자간의 이심률에 따른 제품 전체의 불균형력이 상대적으로 크며, 이로 인해 모터의 정속적인 운전 방해 및 불규칙한 출력토크로 인한 제품 작동상의 오류발생이 더 크게 나타난다. 본 논문에서는 외전형 유도전동기에서 존재하는 이심률의 크기에 따른 불균형력이 최소화 될 수 있는 슬롯형태를 찾기 위해 회전자 슬롯의 형태를 전폐형, 반폐형, 개구형태의 3가지형태로 변경시킨 후, 이를 전자장 해석을 통해 불균형력을 비교하였다. 또한 이심률이 증가함에 따라 나타나는 불균형력의 증대를 슬롯 형태에 따라 비교 분석하여, 불균형력에 최적화된 외전형 모터의 슬롯형태를 알아보았다.

• Communications of Mathematical Education
• /
• v.25 no.2
• /
• pp.323-339
• /
• 2011

The expansion of exponential law as the law of calculation of integer numbers can be a good material for the students to experience an extended configuration which is based on an algebraic principle of the performance of equivalent forms. While current textbooks described that exponential law can be expanded from natural number to integer, rational number and real number, most teachers force students to accept intuitively that the exponential law is valid although exponent is expanded into real number. However most teachers overlook explaining the value of exponent of rational number or exponent of irrational number so most students have a lot of questions whether this value is a rational number or a irrational number. Related to students' questions, most teacher said that it is out of the current curriculum and students will learn it after going to college instead of detailed answers. In this paper, we will present several examples and the values about irrational exponents of a positive rational and irrational exponents of a positive irrational number, and study the recognition and fallacy of would-be teachers about the cases of irrational exponents of a positive rational and irrational exponents of a positive irrational number at the expansion of exponential law.

• Journal of Korean Home Economics Education Association
• /
• v.30 no.3
• /
• pp.151-173
• /
• 2018

The purposes of this study was to identify the magnitude and direction of the effects of Practical Reasoning Instruction (PRI) on students' achievements in Home Economics classes using the meta-analysis method and to examine whether the effects of PRI vary across publication status, study design, year of the studies, school level, gender of students, type of students' achievements, content area, location where the interventions of PRI were conducted, and duration. Thirty-four primary studies with 44 effect sizes were analyzed with calculation method of Becker(1988). A funnel plot method result revealed no publication bias. The results of this meta-analysis are as follows. First, PRI was more effective than traditional instruction on students' achievements. A summary statistic was 0.60 with a standard error of .074, which means that an increase of about two-third of a standard deviation beyond what would be expected from traditional instruction was gained from PRI intervention. Second, categorical and regression analyses were employed to find the sources of variance and moderators that predict the effects of PRI. The moderator analyses revealed no statistically significant effects of publication status, study design, school level, gender of students, type of students' achievements, and duration. Content area, location where the interventions of PRI were revealed to be moderators. It was concluded that PRI was effective in improving students' achievements regardless of publication status, study design, year of the studies, school level, gender of students, type of student achievement, and duration.

• The KIPS Transactions:PartB
• /
• v.13B no.7 s.110
• /
• pp.679-688
• /
• 2006

Protein-protein interaction data obtained from high-throughput experiments includes high false positives. In this paper, we introduce a new protein-protein interaction reliability verification system. The proposed system integrates various biological features related with protein-protein interactions, and then selects the most relevant and informative features among them using a feature selection method. To assess the reliability of each protein-protein interaction data, the system construct a classifier that can distinguish true interacting protein pairs from noisy protein-protein interaction data based on the selected biological evidences using a classification technique. Since the performance of feature selection methods and classification techniques depends heavily upon characteristics of data, we performed rigorous comparative analysis of various feature selection methods and classification techniques to obtain optimal performance of our system. Experimental results show that the combination of feature selection method and classification algorithms provide very powerful tools in distinguishing true interacting protein pairs from noisy protein-protein interaction dataset. Also, we investigated the effects on performances of feature selection methods and classification techniques in the proposed protein interaction verification system.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.22 no.5
• /
• pp.747-753
• /
• 2018

In the license-plate recognition systems for automobile black Image, the license-plate image frequently has a shadow due to outdoor environments which are frequently changing. Such a shadow makes unpredictable errors in the segmentation process of individual characters and numbers of the license plate image, and reduces the overall recognition rate. In this paper, to improve the recognition rate in these circumstance, a license-plate image binarization algorithm is proposed removing the shadow effectively. The propose algorithm splits the license-plate image into the regions with the shadow and without. To find out the boundary of two regions, the algorithm estimates the curve for shadow boundary using the least-squares method. The simulation is performed for the license-plate image having its shadow, and the results show much higher recognition rate than the previous algorithm.

• The Journal of the Acoustical Society of Korea
• /
• v.22 no.1
• /
• pp.35-41
• /
• 2003

Feature vectors for conventional speech recognition are usually extracted in full frequency band. Therefore, each sub-band contributes equally to final speech recognition results. In this paper, feature Teeters are extracted indepedently in each sub-band. The cepstral resolution of each sub-band feature is controlled for the optimal speech recognition. For this purpose, different dimension of each sub-band ceptral vectors are extracted based on the multi-band approach, which extracts feature vector independently for each sub-band. Speech recognition rates and clustering quality are suggested as the criteria for finding the optimal combination of sub-band Teeter dimension. In the connected digit recognition experiments using TIDIGITS database, the proposed method gave string accuracy of 99.125%, 99.775% percent correct, and 99.705% percent accuracy, which is 38%, 32% and 37% error rate reduction relative to baseline full-band feature vector, respectively.

• The KIPS Transactions:PartB
• /
• v.19B no.2
• /
• pp.93-98
• /
• 2012

Recently, we can easily create high resolution images with digital cameras for high-performance and make use them at variety fields. Especially, the image stitching method which adjusts couple of images has been researched. Image stitching can be used for military purposes such as satellites and reconnaissance aircraft, and computer vision such as medical image and the map. In this paper, we have proposed fast image stitching based on improved SURF algorithm using meaningful features in the process of images matching after extracting features from scenery image. The features are extracted in each image to find out corresponding points. At this time, the meaningful features can be searched by removing the error, such as noise, in extracted features. And these features are used for corresponding points on image matching. The total processing time of image stitching is improved due to the reduced time in searching out corresponding points. In our results, the processing time of feature matching and image stitching is faster than previous algorithms, and also that method can make natural-looking stitched image.

• The Journal of the Korea Contents Association
• /
• v.12 no.11
• /
• pp.9-19
• /
• 2012

Time-varying tempo of a song is one of the error sources for the identification of a note duration in automatic music recognition. This paper proposes an improved music transcription scheme equipped with the identification of note duration considering the time-varying tempo. In the proposed scheme the measures are found at first and the tempo, the playing time of each measure, is then estimated. The tempo is then used for resizing each IOI(Inter Onset Interval) length and considered to identify the accurate note duration, which increases the degree of correspondence to the music piece. In the experiment the proposed scheme found the accurate measure position for 14 monophonic children songs out of 16 ones recorded by men and women. Also, it achieved about 89.4% and 84.8% of the degree of matching to the original music piece for identification of note duration and pitch, respectively.