• Journal of KIISE:Software and Applications
• /
• v.28 no.5
• /
• pp.389-401
• /
• 2001

This paper proposes an abstraction mechanism of the low-level digital video features for the automatic retrievals of the explosion scenes from the digital video library. In the proposed abstraction mechanism, the regional dominant colors of the key frame and the motion energy of the shot are defined as the primary abstractions of the shot for the explosion scene retrievals. It is because an explosion shot usually consists of the frames with a yellow-tone pixel and the objects in the shot are moved rapidly. The regional dominant colors of shot are selected by dividing its key frame image into several regions and extracting their regional dominant colors, and the motion energy of the shot is defined as the edge image differences between key frame and its neighboring frame. The edge image of the key frame makes the retrieval of the explosion scene more precisely, because the flames usually veils all other objects in the shot so that the edge image of the key frame comes to be simple enough in the explosion shot. The proposed automatic retrieval algorithm declares an explosion scene if it has a shot with a yellow regional dominant color and its motion energy is several times higher than the average motion energy of the shots in that scene. The edge image of the key frame is also used to filter out the false detection. Upon the extensive exporimental results, we could argue that the recall and precision of the proposed abstraction and detecting algorithm are about 0.8, and also found that they are not sensitive to the thresholds. This abstraction mechanism could be used to summarize the long action videos, and extract a high level semantic information from digital video archive.

• Journal of The Korean Association of Information Education
• /
• v.23 no.3
• /
• pp.207-217
• /
• 2019

In order to improve computational thinking, elementary schools have been using 'Scratch' to provide basic programming education. However, the study on evaluation of computational thinking is at an early stage. Therefore, this study evaluated the conceptual level of computational thinking using the scratch code analyzing. For this, Dr. Scratch was used to analyze 179 scratch projects. The results showed that the conceptual level of computational thinking of most elementary students was at the developing level, and that it varied according to gender and production style, showed the lowest level of logic and abstraction, and improved computational thinking during programming. This study is meaningful in that it provides implications for the improvement of teaching methods and self-directed evaluation in learning.

• KIPS Transactions on Computer and Communication Systems
• /
• v.8 no.3
• /
• pp.57-64
• /
• 2019

In this paper, an efficient prediction-based parallel simulation method using spatially partial simulation strategy is proposed for improving both the performance of the event-driven gate-level timing simulation and the debugging efficiency. The proposed method quickly generates the prediction data on-the-fly, but still accurately for the input values and output values of parallel event-driven local simulations by applying the strategy to the simulation at the higher abstraction level. For those six designs which had used for the performance evaluation of the proposed strategy, our method had shown about 3.7x improvement over the most general sequential event-driven gate-level timing simulation, 9.7x improvement over the commercial multi-core based parallel event-driven gate-level timing simulation, and 2.7x improvement over the best of previous prediction-based parallel simulation results, on average.

• The Journal of the Korea Contents Association
• /
• v.6 no.11
• /
• pp.235-242
• /
• 2006

Many researches have achieved to reuse existent experience at each step of software life cycle. It is achieved various study about Design Pattern serving that abstract level solves design problem at high level. But, design step is not supplying design information that is abstracted so that new designers may reuse standardizing defined good design information. Therefore, in this paper, to do so that can reuse existent design information because composes Design Pattern can solve problem at design step, and extend design information that also is standardized XMI to base meta model of Design Pattern. And I did so that can compose Design Pattern utilizing MetaModel of Design Pattern standardized by XMI. Therefore, software designer can reuse composing existent design information that is could standardize problem at design because uses MetaData of standardized Design Pattern, and designs by Design Pattern base.

• Journal of Creative Information Culture
• /
• v.6 no.2
• /
• pp.65-75
• /
• 2020

The necessaries of Flowchart learning for software education have been discussed but most studies were conducted on learning methods. In this study, Unplugged Flowchart Learning programs for fifth grade students were developed and taught, and their effectiveness were analyzed. The programs were made of 8 themes(16 periods) based on the learner's levels. The effectiveness of the programs were qualitatively analyzed based on classwork sheets, as well as observation and interview. Computational Thinking tests were pre-tested and post-tested for qualitative analyses. This study found that all sub-areas of CT of the students who took the Unplugged flowchart learning program were significantly improved as well as the overall scores of CT. In particular, students' improvements in the area of abstraction and automation was notable. Various interactions between teacher-learners and learners-learners were observed during class, and were found to have positive effects on changes in learners' attitudes and perceptions.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.929-936
• /
• 2004

A major limitation of available component-based platforms Is that they do not provide suitable means for describing and reasoning on the concurrent behaviour of interacting component-based system. Indeed while these platforms provide convenient ways to describe the typed signatures of components, e.g. like CORBA's IDL, they offer a quite low-level support to describe the concurrent behaviour of component. The ability to describe and verify the concurrent behaviour of interacting components is key aspect In the development of large component-based software system. This study propose a component interface specification using process algebra and configuration's role which allows one to prove correctness of software architecture generated at design level as well as to define compatibility relations by our evolution rule and $\pi$-graph. Also, we shown on an appropriateness of a specification techniques and definitions proposed in this paper by case-study.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.24-26
• /
• 2015

최근 많이 활용되고 있는 라즈베리파이에 기반한 임베디드 시스템을 구축함에 있어서 사용자는 회로에 대한 이해와 하드웨어 비용이라는 측면에서 어려움을 갖게 되는 경우가 많다. 본 논문에서는 이러한 시스템을 가상으로 테스트할 수 있는 솔루션을 제안하고자 한다. 개발된 프로그램은 사용자가 실제 회로를 구성하는 것과 같이 가상의 공간에서 모듈을 배치하고 모듈 간에 선을 연결하는 것으로 회로를 구성하고 동작을 테스트할 수 있다 프로그램은 회로편집기, 인터프리터, 시뮬레이터의 세 가지 요소로 구성되어 있으며 전체 9개의 모듈을 제공하고 있다. 각각의 모듈은 제조사에서 제공하는 데이터 시트와 제원을 바탕으로 실제 회로 테스트를 거쳐 추상화하는 작업을 수행하였다. 개발된 프로그램의 품질수준을 한층 끌어올린다면 비용절감과 학습, 교육 측면에서 유용하게 이용될 수 있으며, 전기물리엔진의 구현, 실제 보드로 포팅이 가능한 수준의 인터프리터, 시뮬레이션 로직의 일반화가 필요할 것으로 판단된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.471-474
• /
• 2015

최근 사물인터넷이 빠른 속도로 발전할 것으로 예측됨에 따라서, 서비스들은 사용자들에게 제공되기 위해서 작은 디바이스부터 거대한 디바이스들간의 임베디드 디바이스의 발전과 센서 허브와 같은 보조 프로세서의 발전을 통해, 서로 연결되고 있으며, 사용자들을 위해 지금보다 더 정확하고 신뢰할 수 있는 맞춤형 사물인터넷 서비스를 제공하기 위한 개발의 필요성이 대두되고 있다. 효과적인 서비스 구축을 위한 기법들로 하위 디바이스 계층의 수준과 상위 어플리케이션 계층의 수준을 서로 구분 지을 수 있도록 서비스 지향형 컴퓨팅 방식을 사용하는 여러 계층 구성의 계층적 추상화 접근 방법이 소개되고 있지만, 사용자들에게 더 정확하고 신뢰할 수 있는 서비스를 구축하는 것은 여전히 다양한 이슈가 존재한다. 본 논문에서는 서비스 객체의 단방향 그래프 구성 기법을 적용하여, 효과적이고 신뢰할 수 있는 사물인터넷 서비스 구성을 위하여 서비스 오브젝트를 단방향 그래프 자료구조로 구성한 새로운 형태의 IoT 미들웨어 구조를 제안한다. 또한, 새로 제안된 미들웨어 구조상에서의 사용자의 사용 시나리오 및 시스템 성능상의 이점을 분산 시뮬레이션을 통하여 증명한다.

• Journal of the Korean School Mathematics Society
• /
• v.12 no.1
• /
• pp.47-70
• /
• 2009

The purpose of this research was to confirm one of constructivists' assumptions that even children 조o are with low reasoning ability can make reflective abstracting ability and cognitive structures by this ability can make generation ability of new knowledge by themselves. To investigate the assumption, learner-centered instruction were implemented to 2nd grade classroom located in Suseong Gu, DaeGu City and with lesson plans which initially were developed by Burns and corrected by the researchers. Recordings videoed using 2 video cameras, observations, instructions, children's activity worksheets, instruction journals were analyzed using multiple tests for qualitative analysis. Some conclusions are drawn from the results. First, even children with low reasoning ability can construct mathematical knowledge on multiplication in their own. ways, Thus, teachers should not compel them to learn a learning lesson's goals which is demanded in traditional instruction, with having belief they have reasoning ability. Second, teachers need to have the perspectives of respects out of each child in their classroom and provide some materials which can provoke children's cognitive conflict and promote thinking with the recognition of effectiveness of learner-centered instruction. Third, students try to develop their ability of reflective and therefore establish cognitive structures such as webs, not isolated and fragmental ones.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.472-474
• /
• 2004

본 연구는 레거시 시스템의 인터페이스 정보로부터 의미 있는 정보를 파악하여 새로운 시스템에 통합될 수 있도록 하기 위한 기존 레거시 시스템의 인터페이스에 기반한 객체추출 기법을 제안한다. 본 논문에서 제안하는 객체추출 기법은 인터레이스 사용사례 분석 단계, 인터페이스 객체 분할 단계, 객체구조 모델링 단계, 객체 모델 통합 단계 등 4단계로 구성되어 있다. 인터페이스 사용사례 분석 단계는 인터페이스 구조, 레거시 시스템과 사용자간의 상호작용 정보를 획득하는 단계이다. 인터페이스 객체분할 단계는 인터페이스 정보를 의미 있는 필드들로 구분하는 단계이며, 객체구조 모델링 단계는 인터페이스 객체들간의 구조적 관계와 협력 관계를 파악하여 모델링 하는 단계이다. 마지막으로 객체 모델 통합 단계는 객체 단위의 단위 모델들을 통합하여 추상화된 정보를 포함한 상위 수준의 통합 모델을 유도하는 단계다. 객체추출 기법에 의해 생성된 객체 통합 모델은 역공학 기술자들의 레거시 시스템 이해와 레거시 시스템의 정보를 새로운 시스템에 적용하는데 있어 효율성을 극대화할 수 있다.