• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.30 no.4
• /
• pp.573-582
• /
• 2020

Fuzzing is a method of testing software by randomly generating test cases. Since its introduction, a variety of fuzzing techniques have been studied. Among them, mutation-based fuzzing is an efficient method that finds real-world bugs even though it uses a simple approach such as probabilistic bit-flipping and character substitution. However, the interpreter fuzzing has difficulty in applying general mutation techniques because the interpreter requires grammar and semantic correctness input values. In this paper, we present a novel mutation-based fuzzing on JavaScript interpreters with a dynamic data flow analysis. To this end, we implement JMFuzzer that can generate various types of mutated test cases that operate normally without runtime errors in JavaScript interpreter considering syntax and semantics. As a result, we found numerous unknown vulnerabilities in the latest JavaScript interpreters. We reported all of them to the vendors.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.12
• /
• pp.2132-2139
• /
• 2006

A parallel program including a nested parallelism has a complex execution aspects and tasks are executed concurrently. This concurrency is a main cause raising most of errors. In this paper, a new method for checking concurrency between two tasks is proposed. The existing techniques for checking the concurrency have their limits to represent a global structure. A new labeling technique that appropriate for image visualization is proposed. To show the global structure by imaging of execution aspects through region partition on 2D plane. On the basis of it, each of the tasks that can distinguish the ordered relation create an independent image. Image information generated by the result simplifies semantic analysis of the related task, and provides an outline of a global execution aspects structure of the program to user effectively.

• Journal of KIISE:Information Networking
• /
• v.31 no.1
• /
• pp.20-26
• /
• 2004

A congestion control algorithm to prevent buffer overflow in MSR(Mobility Support Router) for I-TCP is proposed. Due to high bit error rate and frequent hand-offs over wireless environment, the current congestion control scheme in TCP Reno over mixed(wired and wireless) network exhibits lower throughput than the throughput achieved over wired only network. I-TCP has been proposed to address this by splitting a TCP connection into two TCP connections over wired section and wireless section, respectively. However, buffer overflow in MSR may occur whenever there are excessive bit errors or frequent hand-offs. This may lead to the loss of packets acked by MSR(resident in buffer) to the sender, but not received by the receiver, breaking TCP end-to-end semantics. In this Paper, a new scheme is proposed to prevent the MSR buffer from overflow by introducing “flow control” between the sender and the MSR. Advertised window for the TCP connection between the sender and the MSR is tied to the remaining MSR buffer space, controlling the flow of packets to the MSR buffer before overflow occurs.

• KIISE Transactions on Computing Practices
• /
• v.21 no.6
• /
• pp.412-417
• /
• 2015

Context-sensitive spelling errors (CSSE) are hard to correct, since they are perfect words when analyzed alone. Determined only by considering the semantic and syntactic relations of their context, CSSEs affect largely the performance of spelling and grammar checkers. The existing Korean Spelling and Grammar Checker (KSGC 4.5) adopts a rule-based method, which uses hand-made correction rules for CSSEs. Using rule-based method, the KSGC 4.5 is designed to obtain the very high precision, which results in the extremely low recall. In this paper, we integrate our previous works that control the CSSE correction rules, in order to improve the recall without sacrificing the precision. In addition to the integration, facultative insertion of adverbs and conjugation suffix of predicates are also considered, as for constraint-loosening linguistic features.

• The Journal of the Korea Contents Association
• /
• v.15 no.10
• /
• pp.658-668
• /
• 2015

The purpose of present study tested the effects of context, transparency, familiarity and related variables on comprehension of 32 idioms in 87 Chinese learners of Korean who were attending the S university in Jeonnam providence. In the first assessment, idiomatic phrases were presented out of context. In another assessment, idiomatic phrases were embedded in supportive story contexts. To examine the difference based on task types, paired t-test or one-way ANOVA was used to test differences on related variables such as TOPIK, years of residence in Korea, major and etc. on idiom comprehension. The results of this study are summarized as follows. First, task type, familiarity and transparency were found to have no significant effect on idiom comprehension for Chinese learners of Korean. Second, the related variables such as TOPIK, and major had a significant effect on idiom comprehension. Third, percentage of context related interpretation error in context task was the highest. Literal interpretation errors were followed by it. It means they have a tendency to use contextual cues and semantic analysis of the phrase to comprehend Korean idioms. The results of study will be used to make a plan for teaching Chinese learners of Korean.

• Journal of IKEEE
• /
• v.10 no.1 s.18
• /
• pp.30-39
• /
• 2006

The TCP protocol can provide some reliability using sliding window mechanism for data transmission, flow control, and congestion control. However, TCP has some limitations in that it has basically been designed solely for wired communication environments. If traditional TCP protocol is used also in wireless networks, the end-to-end data transmission performance degrades dramatically due to frequent packet losses caused by transmission errors and hand-offs. While there have been some research efforts on TCP enhancements considering the mobility of wireless communication devices, in this paper we propose a new method to improve the TCP performance by combining the Snoop and the Freeze-TCP methods. In the proposed scheme, the TCP end-to-end semantics is maintained and no changes of existing protocols in sending systems or in routers are required. It has the advantage of simple implementation because TCP code changes are limited to mobile devices for applying the Freeze-TCP and it requires only to add Snoop modules in base stations. Accordingly, the proposed scheme can operate well in the existing networks. Finally, in this study, we compared the performance of the proposed scheme with traditional TCP, other approaches through simulations using ns-2.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.30 no.5 s.153
• /
• pp.699-710
• /
• 2006

The objective of this study was to identify the texture-related components of woven fabrics and to develop a multidimensional perceptual structure map to represent the tactile textures. Eighty subjects in clothing and tektite industries were selected for multivariate data on each fabric of 30 using the questionnaire with 9 pointed semantic differential scales of 20 texture-related adjectives. Data were analyzed by factor analysis, hierarchical cluster analysis, and multidimensional scaling(MDS) using SPSS statistical package. The results showed that the five factors were selected and composed of density/warmth-coolness, stiffness, extensibility, drapeability, and surface/slipperiness. As a result of hierarchical cluster analysis, 30 fabrics were grouped by four clusters; each cluster was named with density/warmth-coolness, surface/slipperiness, stiffness, and extensibility, respectively. By MDS, three dimensions of tactile texture were obtained and a 3-dimensional perceptual structure map was suggested. The three dimensions were named as surface/slipperiness, extensibility, and stiffness. We proposed a positioning perceptual map of fabrics related to texture naming system(TNS). To classify the textural features of the woven fabrics, hierarchical cluster analysis containing all the data variations, even though it includes the errors, may be more desirable than texture-related multidimensional data analysis based on factor loading values in respect of the effective variables reduction without losing the critical variations.

• Journal of Digital Convergence
• /
• v.19 no.8
• /
• pp.301-310
• /
• 2021

The purpose of the study was to induce meaning of the UX design from users' interview. The study covers interviews from 20 untact finance application users in their twenties in written form. It aims to examine previous studies on UX design and to overcome their shortcomings by categorizing usability qualities focusing on verbs used in the interview. The followings are the result: Usability of UX design can be summarized into Unity, Trust, Persistency, Recognition and Approachability of the information to the 20 users in their twenties. As for the data earned from interviews focusing on verbs, usability included Security, Familiarity, Accessibility, Convenience of Operation and Visibility. Each of the qualities fell into related categories such as Security, Information, Brand and Design. In conclusion, analysis based on verb choices led to better understanding of the user-based experience compared to using objective means in previous studies and can be a suggestion to make up for errors in the former evaluation process.

• Journal of Cadastre & Land InformatiX
• /
• v.52 no.1
• /
• pp.37-55
• /
• 2022

This study presents the plans to derive quality items for develop the data quality standard for ensuring the quality of 3D building geospatial data in NDT(National Digital Twin). This paper is organized as follows. The first section briefly examines various factors that impact the quality of 3D geospatial data, and proposes the role and necessity of the data quality standard as a means of addressing the data errors properly and also meeting the minimum requirements of stakeholders. The second section analyzes the relationship between the standards - building data model for NDT and ISO 19157: Geospatial data quality - in order to consider directly relevant standards. Finally, we suggest three plans on developing NDT data quality standard: (1) the scope for evaluating data quality, (2) additional quality elements(geometric integrity, geometric fidelity, positional accuracy and semantic classification accuracy), and (3) NDT data quality items model based on ISO 19157. The plans reveled through the study would contribute to establish a way for the national standard on NDT data quality as well as the other standards associated with NDT over the coming years.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.64 no.3
• /
• pp.63-73
• /
• 2022

A more accurate understanding of the irrigation water supply is necessary for efficient agricultural water management. Although we measure water levels in an irrigation canal using ultrasonic water level gauges, some errors occur due to malfunctions or the surrounding environment. This study aims to apply CNN (Convolutional Neural Network) Deep-learning-based image classification and segmentation models to the irrigation canal's CCTV (Closed-Circuit Television) images. The CCTV images were acquired from the irrigation canal of the agricultural reservoir in Cheorwon-gun, Gangwon-do. We used the ResNet-50 model for the image classification model and the U-Net model for the image segmentation model. Using the Natural Breaks algorithm, we divided water level data into 2, 4, and 8 groups for image classification models. The classification models of 2, 4, and 8 groups showed the accuracy of 1.000, 0.987, and 0.634, respectively. The image segmentation model showed a Dice score of 0.998 and predicted water levels showed R² of 0.97 and MAE (Mean Absolute Error) of 0.02 m. The image classification models can be applied to the automatic gate-controller at four divisions of water levels. Also, the image segmentation model results can be applied to the alternative measurement for ultrasonic water gauges. We expect that the results of this study can provide a more scientific and efficient approach for agricultural water management.