• Journal of The Korean Association For Science Education
• /
• v.35 no.3
• /
• pp.443-453
• /
• 2015

In this study, we suggested the design thinking process that was possible to be introduced in science education and also examined the validity of the process in terms of group creativity. To do this, the design thinking process applicable to science education was selected from a variety of design thinking processes developed abroad, and then the process was modified and supplemented. We created the education program based on the developed design thinking process and applied it to high school students. The results revealed that we could offer the design thinking process through the five stages: 'understanding knowledge', 'empathy', 'sharing perspective', 'generating idea', and 'prototype'. With the results of the application of the program, we could confirm the relationship building and information seeking attributes in the understanding knowledge stage and the user-orientation, relationship building, and interpersonal understanding attributes in the empathy stage. We could also find the organization of the team attribute in the sharing perspective stage and the analytical strategic thinking attributes in the generating idea stage. Finally, the communication and analytical strategic thinking attributes in the prototype stage were confirmed. All of the key attributes of the group creativity found from skilled professionals were not confirmed from the students. However, we could ascertain the possibilities that the students should experience the process of group creativity and learn the relevant values through the developed design thinking process.

• The Journal of the Korea Contents Association
• /
• v.11 no.10
• /
• pp.19-29
• /
• 2011

A Blog provides commentary, news, or content on a particular subject. The important part of many blogs is interactive format. Sometimes, there is a heated debate on a topic and any article becomes a political or sociological issue. In this paper, we proposed a method to predict the popularity of an article in advance. First, we used hit count as a factor to predict the popularity of an article. We defined the saturation point and derived a model to predict the hit count of the saturation point by a correlation coefficient of the early hit count and hit count of the saturation point. Finally, we predicted the virtual temperature of an article using 4 types(explosive, hot, warm, cold). We can predict the virtual temperature of Internet discussion articles using the hit count of the saturation point with more than 70% accuracy, exploiting only the first 30 minutes' hit count. In the hot, warm, and cold categories, we can predict more than 86% accuracy from 30 minutes' hit count and more than 90% accuracy from 70 minutes' hit count.

• Journal of Korean Philosophical Society
• /
• v.147
• /
• pp.261-281
• /
• 2018

This paper will cover recent discussions on the risks of human being due to the development of artificial intelligence(AI). We will consider AI research as artificial narrow intelligence(ANI), artificial general intelligence(AGI), and artificial super intelligence(ASI). First, we examine the risks of ANI, or weak AI systems. To maximize efficiency, humans will use autonomous AI extensively. At this time, we can predict the risks that can arise by transferring a great deal of authority to autonomous AI and AI's judging and acting without human intervention. Even a sophisticated system, human-made artificial intelligence systems are incomplete, and virus infections or bugs can cause errors. So I think there should be a limit to what I entrust to artificial intelligence. Typically, we do not believe that lethal autonomous weapons systems should be allowed. Strong AI researchers are optimistic about the emergence of artificial general intelligence(AGI) and artificial superintelligence(ASI). Superintelligence is an AI system that surpasses human ability in all respects, so it may act against human interests or harm human beings. So the problem of controlling superintelligence, i.e. control problem is being seriously considered. In this paper, we have outlined how to control superintelligence based on the proposed control schemes. If superintelligence emerges, it is judged that there is no way for humans to completely control superintelligence at this time. But the emergence of superintelligence may be a fictitious assumption. Even in this case, research on control problems is of practical value in setting the direction of future AI research.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.39 no.3
• /
• pp.1-17
• /
• 2002

In this paper, we present our experiences in using symbolic model checker(SMV) to analyze a number of properties of RACE cache coherence protocol designed by ETRI(Electronics and Communications Research Institute) and to verify that RACE protocol satisfies important requirements. To investigate this, we specified the model of the RACE protocol as the input language of SMV and specified properties as a formula in temporal logic CTL. We successfully used the symbolic model checker to analyze a number of properties of RACE protocol. We verified that abnormal state/input combinations was not occurred and every possible request of processors was executed correctly We verified that RACE protocol satisfies liveness, safety and the property that any abnormal state/input combination was never occurred. Besides, We found some ambiguities of the specification and a case of starvation that the protocol designers could not expect before. By this verification experience, we show advantages of model checking method. And, we propose a new method to generate automatically test cases which are used in simulation and testing.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.40 no.6
• /
• pp.132-140
• /
• 2003

In this paper, we propose a new scheme for view-dependent transmission of three-dimensional (3-D) polygonal mesh models with hierarchial partitioning. In order to make a view-dependent representation of 3-D mesh models, we combine sequential and progressive mesh transmission techniques. By setting higher priorities to visible parts than invisible parts, we can obtain good qualify of 3-D models in a limited transmission bandwidth. In this paper, we use a multi -layer representation of 3-D mesh models based on hierarchical partitioning. After representing the 3-D mesh model in a hierarchical tree, we determine resolutions of partitioned submeshes in the last level. Then, we send 3-D model data by view-dependent selection using mesh merging and mesh splitting operations. By the partitioned mesh merging operation, we can reduce the joint boundary information coded redundantly in the partitioned submeshes. We may transmit additional mesh information adaptively through the mesh spritting operation.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.34 no.4
• /
• pp.47-52
• /
• 2006

Using the equivalent ARMA model representation of the mixed random errors, we propose Klaman filter design methods for aided INS(Inertial Navigation System) which contains the gyroscope mixed random errors. At first step, considering the characteristic of indirect feedback Kalman filter used in the aided INS, we perform the time difference of equivalent ARMA model. Next, according to the order of the time differenced ARMA model, we achieve the state space conversion of that by two methods. If the order of AR part is greater than MA part, we use controllable or observable canonical form. Otherwise, we establish the state apace equation via the method that several step ahead predicts are included in the state variable, where we can derive high and low order models depending on the variable which is compensated from gyroscope output. At final step, we include the state space equation of gyroscope mixed random errors into aided INS Kalman filter model. Through the simulation, we show that both the high and low order filter models proposed give less navigation errors compared to the conventional filter which assume the mixed random errors as white noise.

• The KIPS Transactions:PartB
• /
• v.12B no.4 s.100
• /
• pp.395-402
• /
• 2005

Object extraction is needed to track objects in color traffic image sequence. To extract objects, we use background differencing method based on MOG(Mixture of Gaussians). In extracted objects, shadows may be included. Due to shadows, we may not find exact location of objects and sometimes we find adjacent objects are glued together. Many methods have been proposed to remove shadows. Conventional methods usually assume that color and texture information are preserved under the shadow. Thus these methods do not work well if these assumptions do not hold. In this paper, we propose a new robust shadow removal method which works well in those situations. First we extract shadow pixel candidates by analysing color information and compute the ratio of shadow pixel candidates over the total number of Pixels. W the ratio is reasonable, we remove shadow candidate Pixels and if not, we use data in history array containing Previous removal records. We applied the method to real color traffic image sequences and obtained good results.

• Journal of Korean Society of Transportation
• /
• v.19 no.6
• /
• pp.65-73
• /
• 2001

Until recently, we use only weekly and monthly adjustment factors in order to estimate the AADT. By the way. we can suppose that the traffic is time series data related to flow of time. So we tried to analyse traffic patterns using time series analysis and apply them to estimate the AADT. We could divide traffic patterns into trend, cyclic variation, seasonal variation and irregular variation like as time series data. Also, in order to reduce random error components, we have looked for the weather conditions as an influential factor. There are many weather conditions such as rainfalls, but, temperatures, and sunshine hours among others but we selected rainfalls and lowest temperatures. And then, we have estimated the AADT using time series factors. To compare the results of, we have applied both irregular variation joined to weather factors and that not joined to. RMSE and U-test were opted at methods to appreciate results of AADT estimation.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.35D no.9
• /
• pp.70-76
• /
• 1998

By controlling the pixel of a LCD spatial light modulator electronically, we made a real-time moving window passing through the light on a LCD spatial light modulator. By using this LCD moving window, we suggested an angular multiplexed holographic memory system and in case of windows of 10$\times$10 pixels and 2$\times$2 pixels the total numbers of address are 1,536 and 38,400, respectively. To demonstrate the feasibility of the proposed method, we recorded and reconstructed 30 images by 30 input addresses.

• 전자공학회논문지 IE
• /
• v.44 no.2
• /
• pp.41-46
• /
• 2007

In this paper, we have proposed Station Safety Management System to protect station accident. we establish a sensor part near an underground rail. If a passenger approaches an underground rail, at first, lamp is shining and warning sound is ringing. nevertheless he approaches end of underground rail, At the same time, lamp is shining, warning sound is ringing, this information transfer server and train using wireless LAN. We makes this system using low cost in comparison with another system.