• Journal of The Korean Association of Information Education
• /
• v.26 no.6
• /
• pp.481-490
• /
• 2022

With the development of computing technology, the big data era has arrived, and we live with a lot of data around us. Elementary school students are no exception. Therefore, it is very important to learn to process data from elementary school. Since elementary school students have intuitive thinking, data visualization, which expresses data directly in pictures, is an important learning element. In this study, we study how effective elementary school students can visualize data in their daily lives to improve their information processing capabilities. Adata visualization program was developed by organizing and visualizing data using data visualization tools for the 8th class, which can be done by third graders in elementary school, and then experiencing the process of interaction. As a result of applying the developed program to 186 students in 7 classes, knowledge information processing competency factors were evaluated before and after class. As a result of the pre- and post-test, there was a significant difference in knowledge information processing capabilities. Therefore, the data visualization program developed in this study is effective.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.213-215
• /
• 2011

프로그램에 대한 검증을 수행하기 위해서는 자료흐름을 알아야 하고, 입력된 프로그램에 대응하는 제어흐름그래프(control flow graph)가 필요하다. 이에 더하여 제어흐름 그래프를 시각화한다면 사용자 입장에서는 더 편한 프로그램이 될 것이다. 본 논문에서는 자바 프로그램의 검증도구에 사용하는 중간 표현 언어 중 하나인 BIRS(Bytecode Intermediate Representation with Specification)에 의해 생성되는 제어흐름그래프를 시각화하는 방법에 대해 제안한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.12 no.1
• /
• pp.53-58
• /
• 2008

A pellet program including a nested parallelism has a result of non-deterministic because of executed concurrently without synchronization. In order to detect like this error the visualization technique which is various is used. But the intuition characteristic is decreased because of limits of space and excessive abstraction. In this paper, proposes 3-D visualization engines which provide global structure of the arranging in a parallel program with nested parallelism which is complicated to the user. The visualization engine which is proposed provides global structure to the user as program easily to understand, it provides an effective debugging environment.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.7
• /
• pp.23-32
• /
• 2012

There is a method which identifies validity of program by transforming program to verification condition to verify program. If program is verified by generating verification condition, verification condition must have enough and accurate information for verifying program. However, verification condition is consisting of logical formulas, so the user cannot easily identify the verification condition. In this paper, we implemented program that visualize the poorly readable verification conditions. By the program, the users can easily identify information, such as the relationship between logical formulas that represent verification condition.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.685-687
• /
• 2002

RNA pseudoknot은 RNA 삼차 구조를 형성하는 중요한 구조요소일 뿐만 아니라, RNA 분자에서 중요한 역할을 한다. 지금까지 RNA pseudoknot 구조를 시각화하는 도구는 개발되어 있지 않기 때문에 대부분의 pseudoknot 구조의 시각화 작업은 수작업으로 이루어지고 있다. 본 논문은 RNA pseudoknot을 시각화를 위한 새로운 pseudoknot 표현 기법과 시각화 알고리즘에 대해서 소개한다. 새로운 표현기법은 모든 H-type pseudoknot을 uniform planar graph로 나타내고 RNA sequence의 진행방향을 따라가기가 쉽게 되어있다. 알고리즘을 이용하여 PseudoViewer라는 프로그램을 개발하였으며 PseudoViewer는 어떠한 시스템에서도 작동할 수 있는 Java로 구현되었다. 그 결과는 pseudoknot을 명확히 구분되고 보기 쉽도록 시각화됨을 보여준다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.577-579
• /
• 2003

인터넷의 발달로, 사이버 환경을 위한 C 프로그래밍 교육 컨텐츠가 많이 개발되고 있으나 적절한 실습 환경까지 제공되지 않고 있다. 그러나 프로그래밍 언어의 교육은 실습이 수반되지 않으면 그 효과가 상당히 떨어진다. 본 논문에서는 인터넷상에서 효과적으로 사용할 수 있는 C 프로그래밍의 실습환경을 구축한다. 특히, 학생들이 이해하기 어려운 함수 프로그램의 실행과정을 Java Applet을 사용하여 시각화 보여준다. 함수 프로그램 실행 시각화기가 설계되고, Java 환경에서 구현된다.

• Journal of Korea Multimedia Society
• /
• v.13 no.3
• /
• pp.359-368
• /
• 2010

Algorithm visualization is useful for program testing, debugging and evaluating, as well as visual aids in education. When teaching algorithms and data structures, showing exact behaviors by graphics or animation is more suitable than just explaining them. Current systems for algorithm animation are limited to a couple of specific applications and need a special environment. In the proposed system, programmer writes source program in C and animator embeds visualization scripts in the appropriate location of the program. Then user can get an animation code in form of SVG and see a graphical representation on the web browser. Generated SVG animation code is platform independent and can also interact with other XML applications or HTML.

• Journal of Korean Elementary Science Education
• /
• v.43 no.1
• /
• pp.18-34
• /
• 2024

This study aimed to examine the effects of a science-learning program based on data visualization on the science inquiry and creative problem-solving abilities of elementary school science-gifted students. Accordingly, this research developed a data visualization science-learning program using Tableau, which had twelve sessions. The subjects encompassed 61 students in three gifted classes taught by the researcher. The scientific inquiry ability test and creative problem-solving ability test modified to suit the environment and situation were given to the subjects before and after the treatment. The results confirmed that science learning based on data visualization had no significant impact on basic science inquiry skills. Among the subdomains, significant results were obtained only in the reasoning subdomain. Moreover, integrative inquiry ability was significantly affected, unlike basic inquiry abilities. Among the five subdomains, significant differences were observed in three subdomains (data conversion, data interpretation, and variable control). However, concerning the generation of hypotheses and the control of variables, students exhibited confusion regarding the process of variable control and the exact concept of hypothesis development. This study also evaluated the effects of the program's application on creative problem-solving abilities and found a significant impact. Additionally, it was significantly different in all four subdomains. The results were interpreted to be owing to the students' mastery of Tableau's features, collaborative learning through discussion and debate, and the thematic impact of the data visualization program emphasizing procedural thinking. Finally, this study presented implications for science learning based on data visualization and the future direction of education.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.313-315
• /
• 2002

메시지전달 프로그램에서 가장 먼저 발생하는 경합인 최초경합은 다른 경합에 영향을 주므로 반드시 탐지되어야 한다. 기존의 최초경합 탐지기법은 첫 번째 수행에서 각 프로세스에서 처음으로 발생하는 경합의 위치를 탐지하고, 두 번째 수행에서는 그 위치에서 해당 프로세스를 정지하여 경합하는 메시지를 보고한다. 그러나 이 기법은 프로세스를 중단하여 다른 경합에 영향을 주는 메시지의 전송을 단절시키므로 탐지된 경합들간의 영향관계를 알 수 없게 한다. 본 논문에서는 기존 기법의 두 번째 수행이 종료될 때까지 각 프로세스에서 처음으로 발생하는 경합들간의 영향관계를 추적화일에 기록하며, 수행이 종료된 후에 이 정보를 이용하여 경합들간의 영향관계와 상호 영향을 미치는 경합들을 추상적으로 시각화하는 기법을 제안한다. 이 기법은 경합들의 집합을 추상적으로나 구체적으로 시각화함으로써 경합들간의 영향관계를 확장적이고 직관적으로 알수 있게 한다. 따라서 본 기법은 최초경합을 수정함으로써 영향 받은 경합들을 사라지게 한 수 있으므로 메시지전달 프로그램의 효과적인 디버깅을 가능하게 한다.

• The Journal of Korean Association of Computer Education
• /
• v.18 no.4
• /
• pp.63-70
• /
• 2015

Program source code is a set of complex syntactic information which are expressed in text forms, and contains complex logical structures. Structural and logical complexity inside source code become barriers in applying visualization techniques shown in traditional big-data approaches when the volume of source code become over ten-thousand lines of code. This paper suggests a procedure for making visualization of structural characteristics in source code. For this purpose, this paper defines internal data structures as well as inter-procedural relationships among functions. The paper also suggests a means of outlining the structural characteristics of source code by visualizing the source codes with network forms The result of the research work can be used as a means of controling and understanding the massive volume of source code.