• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.429-432
• /
• 2016

전통적인 태스팅은 테스트케이스를 만드는데 많은 시간과 비용이 들기 때문에 시기적절한 출시를 해야 하는 휴대전화, TV와 같은 제품을 테스팅하는데 많은 어려움을 겪고 있다. 이러한 문제를 해결하려는 노력으로 관련 학계 및 산업체에서는 동적 심볼릭 수행을 이용한 커버리지가 높은 테스트케이스 자동생성 연구가 진행 중이다. 특히, Microsoft Research에서 만든 동적 심볼릭 수행도구인 PEX는 C#언어로 작성된 웹 또는 윈도우 프로그램의 테스트케이스를 자동 생성한다. 그러나 PEX의 사용자들로부터 테스트케이스가 부족하다는 피드백올 받았고, 그 결과로 경계 값 테스트케이스를 추가하는 연구를 진행하여 경계 값 테스트케이스를 추가하지 않았을 때 보다 더 많은 오류를 찾았다. 본 논문에서는 소프트웨어 오류가 있을 경우 엄청난 재산, 인명 피해가 발생하는 임베디드 소프트웨어 분야에서 자주 사용하는 언어인 C언어를 지원하는 동적 심볼릭 수행 도구 CREST를 수정하여 경계 값 테스트 케이스를 생생하는 연구를 진행한다.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.46 no.3
• /
• pp.112-118
• /
• 2009

Skin color segmentation techniques have been widely utilized for face/hand detection and tracking in many applications such as a diagnosis system using facial information, human-robot interaction, an image retrieval system. In case of a video image, it is common that the skin color model for a target is updated every frame for the robust target tracking against illumination change. As for a single image, however, most of studies employ a fixed skin color model which may result in low detection rate or high false positive errors. In this paper, we propose a novel method for effective skin color segmentation in a single image, which modifies the conditions for skin color segmentation iteratively by the image feedback of segmented skin color region in a given image.

• Journal of Practical Engineering Education
• /
• v.16 no.3_spc
• /
• pp.275-282
• /
• 2024

This study studied a teaching model for software education using generative AI. The purpose of the study is to use ChatGPT as an instructor's assistant in programming classes for non-major students by using ChatGPT in software education. In addition, we designed ChatGPT to enable individual learning for learners and provide immediate feedback when students need it. The research method was conducted using ChatGPT as an assistant for non-computer majors taking a liberal arts Python class. In addition, we confirmed whether ChatGPT has the potential as an assistant in programming education for non-major students. Students actively used ChatGPT for writing assignments, correcting errors, writing coding, and acquiring knowledge, and confirmed various advantages, such as being able to focus on understanding the program rather than spending a lot of time resolving errors. We were able to see the potential for ChatGPT to increase students' learning efficiency, and we were able to see that more research is needed on its use in education. In the future, research will be conducted on the development, supplementation, and evaluation methods of educational models using ChatGPT.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.2C
• /
• pp.172-181
• /
• 2010

In this paper, we propose an adaptive block quantization method. The propose method perfrect reconstructs side information without high complexity in the encoder side, as transmitting motion vectors from a decoder to an encoder side. Also, at the encoder side, residual signals between reconstructed side information and original frame are adaptively quantized to minimize parity bits to be transmitted to the decoder. The proposed method can effectively allocate bits based on bit error rate of side information. Also, we can achieved bit-saving by transmission of parity bits based on the error correction ability of the LDPC channel decoder, because we can know bit error rate and positions of error bit in encoder side. Experimental results show that the proposed algorithm achieves bit-saving by around 66% and delay of feedback channel, compared with the convntional algorithm.

• Journal of the Korean Society for Marine Environment & Energy
• /
• v.5 no.3
• /
• pp.28-34
• /
• 2002

As the technology of Speech Recognition(SR) and Text-To-Speech(TTS) develops rapidly, voice control and guidance system is thought to be very helpful for safe navigation. But Voice Control and Guidance System(VCGS) is not yet so popularly included in Navigation Supporting System(NSS). The main reason of this is that VCGS is so complicated and user-unfriendly that navigation officers hesitate to use VCGS. Frequent errors in operating VCGS due to low rate of SR are another reason. To make VCGS more practicable for safe navigation, we design the user-friendly VCGS. Firstly, by using interviews we survey functions and procedures that navigation officers want to be included in VCGS. Secondly, to raise the rate of SR, we tun the environmental noise in bridge and to reduce the errors due to low rate of SR in operating VCGS, we design the functions of self-correction. Also we apply a user-independent SR engine so that procedures of teaming of speakers is basically not necessary. Using simulator experiments the functions and procedures of the user-friendly YCGS for safe navigation are evaluated and the results of evaluation are fed back to the design. As a result, we can design the VCGS more helpful for safe navigation. In this paper, we describe the features of the user-friendly VCGS for safe navigation and discuss the results of simulator experiments.

• Journal of Elementary Mathematics Education in Korea
• /
• v.20 no.2
• /
• pp.353-370
• /
• 2016

This study examined elementary mathematics teacher's guidebook to determine the inclusion level of 11 critical features of evidence based instruction. And the inclusion level of the features in teacher's guidebook were interpreted as 'Low', 'Middle' and 'High'. The results are as followings. First, The overall inclusion level of the features in teacher's guidebook is 'Middle' The inclusion level of the features in teacher's guidebook for 1st, 2nd, 3rd and 4th were 'Middle' but for 5th and 6th were 'Low'. Second, the inclusion level of the features 'Clarity of Objective', 'Single Concepts and Skill Taught', 'Use of Manipulatives and Representation', 'Explicit Instruction', 'Provision of Examples for new concepts and skill', 'Adequate Independent Practice Opportunities' and 'Progress Monitoring' were 'Middle' The inclusion level of the features 'Review of Prerequisite Mathematical Skills', 'Error correction and Corrective Feedback' and 'Instruction of Strategies' were 'Low'. And discussed the results.

• Journal of The Korean Association For Science Education
• /
• v.33 no.1
• /
• pp.144-160
• /
• 2013

This study is a proposal, which is the trial to explicate, in neurology, on how critical thinking as a creative method of sciences functions. The creative methods of sciences, even at present, are mostly the hypothetical insistences concerning with the logical processes of researches suggested from the philosophers of science; Popper, Kuhn, Hempel, or Lakatos. These insistences do excavate what process or approach can be scoped out of scientists' creativity. I call the tendency or approach of the researches, "Process Approach of Creativity (PAC)". From my view point, any PAC trial does not concern with how creative theories can actually be invented. On the other hand, this study is focused on the philosophical thinking abilities of scientists who invented new great theories. They mostly had some experiences to study philosophy while studying their science fields, thus had critical thinking abilities on their studies. From my point of view, critical thinking in philosophy raised questions as to their fundamental and basic (old) concepts and principles, and thus gave them new creative theories. I will try to explain this from the point of neurophilosophy. From the perspectives coming from "the state space theory of representation" of Paul & Patricia Churchland, the pioneers of neurophilosphy, the "creative theories" are the networks of topographic maps giving new comprehensive explanations and predictions. From these perspectives, I presuppose that the attitude of critical questioning revises the old networks of maps with back-propagation or feedback, and thus, is the generative power of searching new networks of maps. From the presupposition, I can say, it is important that scientists reflect on the basic premises in their academic branches for issuing out extraordinary creativity. The critical attitude of philosophy can make scientists construct the maps of new conceptual scheme by shaking the maps of the old basic premises. From this context, I am able to propose "Critical Thinking Approach of Creativity (CTAC)".