• Journal of Korea Multimedia Society
• /
• v.25 no.3
• /
• pp.461-467
• /
• 2022

This research is to raise awareness of food safety by designing and supporting a hazard food information notification platform for consumers. To this end, the design was carried out by dividing the process into a data extraction process, an application screen design process, and a CNN-based food inference process. Data was collected through public data APIs and crawling, and it was sent to each activity screen designed for Android studios so that it could be output. As a result, when the platform is executed, information on hazardous food names, registration dates, food classification, manufacturing dates, recovery grades, recovery reasons, recovery methods, company names, barcode numbers, and packaging units can be intuitively and conveniently checked. In addition, CNN-based food inference processes allowed mobile cameras to infer harmful food and applied various quantization techniques such as Dynamic Range, Integer, and Float16 to compare the degree of improvement in inference performance. As a result, the group that applied basic quantization and treated device resources with GPU showed the greatest improvement in inference performance. Through this platform, it is expected that the reliability of food safety will be improved by making it more convenient for consumers to recognize food risks.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.323-339
• /
• 2010

The complexity of embedded systems and the effort to develop them has been rising in proportion with their importance. Also, the heterogeneity of the hardware and software parts in embedded systems makes it more challenging to develop. Errors caused by hardware/software interfaces, especially, account for up to 13 percent of failures with an increasing trend. Therefore, verifying the interface between hardware and software in embedded system is one of the most important research areas. However, current approaches such as co-simulation method and model checking have explicit limitations. In this paper, we propose the synthesizable interface co-verification framework for hardware/software co-design. Firstly, we introduce the separate interface specifications for the heterogeneous components to describe hardware design and software design. Our specifications are expressive enough to describe both. We also provide the transformation rules from the software specification to the hardware specification so that the whole system can be described from the software view. Secondly, we address the solution of verifying the interface of the software and hardware design by adopting and extending existing verification-techniques and extending them. In hardware interface verification, we exploit the model checking technique and provide more efficient verification by closing the hardware design from the assumption of the software behavior which is ensured by software verification step. Lastly, we generate the interface codes such as device APIs, device driver, and device controller from the specification so that verified hardware and software codes can be synthesized without extra efforts.

• Journal of Gifted/Talented Education
• /
• v.25 no.1
• /
• pp.77-93
• /
• 2015

The purpose of this study was to explore the problem solving strategy for Goldberg machine tasks of the gifted students in elementary science depending on the cognitive style(tendency to field-dependent and field independent). It was aimed to provide suggestions for the features and differences of the problem solving strategies of the gifted students in elementary science according to their cognitive styles. A total of 16 students, from the gifted class of P elementary school in Hwaseong were sampled for the research, cognitive styles Test was conducted to divide the students in teams, and the teams were classified according to cognitive style tendencies to five groups of field-dependent group, weak field-dependent group, mixed group, weak field-independent group and field-independent group. The Goldberg device task given was to make a Goldberg device within the angle framework of (Figure) 1, for a bead to start from the starting point and to reach the final point the last. The results are as follows: First, regarding the plan for producing the device, the stronger the field-independent tendency, they established more specific strategy-reflected plan; the stronger the field-dependent tendency, they established less specific strategy-reflected plan. Second, all cognitive style groups took a limited period of time into consideration, to fabricate the devices for the ball to arrive the last using a fine adjustment rather than many devices. Third, the field-independent group used a lot of logical reasoning; the field-dependent group used a lot of intuitive thinking. Fourth, the field independent group properly utilized strategies such as cooperation and role allocation; the field-dependent group tried to solve the task personally rather than cooperatively with poor role allocation. Fifth, the intermediate mixed group solved the problem better than the inclined groups such as field-dependent or field-independent groups.

• Journal of The Korean Association For Science Education
• /
• v.38 no.5
• /
• pp.739-751
• /
• 2018

The purpose of this study is to identify the differences of argumentation discourses for Socio-Scientific Issues in the types of decision-making and personality traits of pre-service biology teachers. For this study, SSI discussion topics were selected according to four types of decision making: logical reasoning, suggestion of complement, emotional base, and internal conflict. Three groups were constructed based on personality traits such as extroversion, acceptability, and integrity. Each three group used the workbook specially developed and freely used the smart device for discussion. A recorder and a camcorder were used to record each group, their behavior was recorded and the written materials during the discussion were collected for the results. Using Walton's analysis framework, the collected data analyzed in terms of the source of utterance, the process of dialogue shift, and the critical movements that can judge the reasoning of utterance. As a result of the study, it was confirmed that the decision-making type of SSI topics and learners' personalities were influential in the decision-making process of SSI small group discussions. This research shows that there is a need to develop instructional materials considering decision-making types and learners' personality types of students as well as pre-service teachers for SSI discussion.

• Journal of The Korean Association For Science Education
• /
• v.33 no.2
• /
• pp.284-309
• /
• 2013

This study aims to explore how to characterize high school science inquiry. For this research, data were collected from fifteen science classes (18 hours), through observation and videotaping, interviews with a few students and their teacher, and documents such as lesson plan or activity sheet in 13 Science Core High Schools. All the data were transcribed and analyzed. Analyses of these transcripts were proceeded in three steps: first, classroom cases showing active interactions between teacher-students and among students were selected; second, according to cognitive process of inquiry (Chinn & Malhotra, 2002), each segment was analyzed and interpreted; lastly, distinctive cases were determined to show essential features of school science inquiry. Based on the analyses, we characterize high school science inquiry in terms of features of variables controlling-device improvement, design studies, evidence-explanation transformation, and reasoning to formulate explanations from evidence. Teachers' role and educational support were discussed as well as the practical characters or features of school science inquiry.

• Journal of Digital Convergence
• /
• v.10 no.1
• /
• pp.309-315
• /
• 2012

The dissemination of smartphones is being spread and supplementary services using smartphones are increasing and various as the Mobile network and device are developing rapidly, so smartphones that enables to provide a wide range of services is expected to receive the most attention. It makes users listen to music anytime, anywhere in real-time, use useful applications, and access to Internet to search for information. The service environment is changing on PC into Mobile due to the change of the circumstance mentioned above. these services are done by using just location information rather than other context, and users have to search services and use them. It is essential to have Context-aware technology for personalization recommendation services and the appropriate representation and definition of Context information for context-aware. Ontology is possible to represent knowledge freely and knowledge can be extended by inferring. In addition, design of the ontology model is needed according to the purposes of utilization. This paper used context-aware technologies to implement a user personalization recommendation service. It also defined the context through OWL modeling for user personalization recommendation service and used inference rules and inference engine for context reasoning.

• Journal of KIISE:Computer Systems and Theory
• /
• v.36 no.6
• /
• pp.488-501
• /
• 2009

In ubiquitous environments, invisible devices and software are connected to one another to provide convenient services to users. In order to provide such services, we must have mobile devices that connect users and services. But such services are usually limited to those served on a single mobile device. To resolve the resource limitation problem of mobile devices, a nearby resource sharing research has been studied. Also, not only the nearby resource share but also a resource recommendation through context-based resource reasoning has been studied such as an UMO Project. The UMO Project share and manage the various context information for the personalization resource recommendation and reason based on current context information. Also, should verify resource inference rules for reliable the resource recommendation. But, to create various context information requires huge cost and time in actuality. Thus, we propose a inference verification tool called USim to resolve problem. The proposed inference verification tool provides convenient graphic user interfaces and it easily creates context information. The USim exactly verifies new inference rules through dynamic changes of context information.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.38 no.9
• /
• pp.731-737
• /
• 2014

A vortex chamber is a simple device that separates compressed gas into a high-temperature stream and a low-temperature stream. It is increasing in popularity as a next-generation heat exchanger, but the flow physics associated with it is not yet well understood. In the present study, both experimental and numerical analyses were performed to investigate the temperature separation phenomenon inside the vortex chamber. Static pressures and temperatures were measured using high-sensitivity pressure transducers and thermocouples, respectively. Computational fluid dynamics was applied to simulate 3D unsteady compressible flows. The simulation results showed that the temperature separation is strongly dependent on the diameter of the vortex chamber and the supply pressure at the inlet ports, where the latter is closely related to the viscous work. The previous concept of a pressure gradient wave may not be a reasoning for temperature separation phenomenon inside the vortex chamber.

• Journal of Digital Contents Society
• /
• v.10 no.1
• /
• pp.1-10
• /
• 2009

One important issue to generalize the ubiquitous paradigm is the development of user-centralized and intelligent ubiquitous computing systems. Sharing knowledge and correct communication between users and devices are needed to be aware of continuous changed context information and infer services for which users are suited. The goal of this paper is to describe and manage effectively the meaning of services or data which each device offers for interaction between users and devices based on semantic relationships and reasoning. In this paper, we represent semantic data using OWL and design a ubiquitous based intelligent system. We propose some index structures and strategies to process queries classified by each subsystem and adopt labeling schemes to identify classes and resources in the semantic data. We can find devices which satisfies various user's requests exactly and quickly using the proposed strategies.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.4
• /
• pp.239-250
• /
• 2013

Context-aware mobile computing has become the primary approach to realize automatic, autonomous, and user-centric computing in the context of largely increasing the amount of mobile devices used that embed available sensors. However, designing an inference engine nonetheless requires the tasks of analyzing contexts, situations that can be inferred, etc. Moreover, a mobile device has limited resources and limited computation capability, which results in recognizing the common sense of its unsuitable environment for processing inference. Hence, we propose context-situation reasoning elements and their formal models in this paper, and we verify the formal models' applicability by applying them to an example. Finally, we design and implement an inference engine that realize the context-situation inference elements in computing environment, and we experiment an example by using the proposed inference engine to verify applicability and reusability of the inference engine.