• The Journal of the Korea institute of electronic communication sciences
• /
• v.3 no.4
• /
• pp.304-312
• /
• 2008

In this study, the performance analysis was divided into the public sector and private business sector. The four perspectives of the BSC performance analysis for the private business sector can be applied to all of the enterprises as there are Logical Linkages between the four Perspectives. However, these can not be applied in the same way to the public sector. There is no Logical Linkage between public sector and private sectors. Therefore, since there is no Logical Linkage, the KIX project of the public sector has a constrained condition. With the internal and external perspective views, the BSC of the KIX identifies the quality(operation) factor, user(customer) satisfaction factor, and economic costs effects(finance) factor. Based on the linkage model in both the internal and external perspective views and the BSC performance analysis of these views, a performance analysis model was developed and then performance results were analyzed of the whole KIX project.

• KIISE Transactions on Computing Practices
• /
• v.23 no.1
• /
• pp.13-27
• /
• 2017

This paper presents a tool that automatically generates mobile web applications from user interface (UI) models which are based on PELUM (Pattern and Event based Logical User Interface Modeling). PELUM is a method for the effective development of UI-centered embedded systems via UI modeling. The proposed tool consists of a model editor and a code generator. The former provides an environment for modeling a Logical UI Model (LUM) and a Programming Interface Model (PIM) on the web. On the other hand, the code generator sets the screen configuration and events' behavior, according to the LUM, synthesizing a local database schema according to the PIM, and then generates an executable mobile web app. It also can produce mashup web apps by receiving an open API address via the PIM. The generated mobile web apps follow the Model-View-Controller (MVC) architecture in order for users to easily customize them. The proposed tool enables them to generate mobile web apps that can be executed on various devices by modeling logical UIs on the web.

• Journal of The Korean Association of Information Education
• /
• v.15 no.2
• /
• pp.189-199
• /
• 2011

The purpose of this study is to verify the effects of the advance organizer in programming class on elementary school students' logical thinking ability and self-efficacy. We developed our teaching-learning materials of programming for this purpose, Further, they are applied to the elementary school, and their effects are analyzed. Fourth grade students in elementary school were selected for the experiments of this study, For comparison, they were divided into a control group who taught by a traditional programming teaching method and an experimental group who taught by our advance organizer programming class. As a result, through before-and-after t-verifications performed on the experimental group and the control group respectively, we found statically significant differences between the two groups, and the effectiveness of our new programming teaching method was proved in both learner's self-efficacy and logical thinking ability.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.33-70
• /
• 2014

We still do not know against what histocial/philosophical background and motivation was Tarski's definition of logical consequence introduced, even if it has had such a strong influence. In view of the centrality of the notion of logical consequence in logic and philosophy of logic, it is rather shocking. There must be various intertwined reasons to blame for this uncomfortable situation. There has been remarkable progress achieved recently on the history of analytic philosophy and modern logic. In view of the recent developments of the controversies involved, however, we will have to wait years to resolve all this uneasiness. In this gloomy situation, Douglas Patterson's recent study of Tarski's philosophy of language and logic seems to have the potential to turn out to be a ground breaking achievement. [Patterson (2012)] This article aims at reporting the state-of-the-art in this problem area, and fathoming the future directions of research by examining critically some unclear components of Patterson's study.

• School Mathematics
• /
• v.9 no.1
• /
• pp.99-117
• /
• 2007

In this paper it is discussed how children develop their logical reasoning beyond difficulties in the process of making sense of division with decimals in the classroom setting. When we consider the gap between mathematics at elementary and secondary levels, and given the logical nature of mathematics at the latter levels, it can be seen as important that the aspects of children's logical development in the upper grades in elementary school should be clarified. This study focuses on the teaching and learning of division with decimals in a 5th grade classroom, because it is well known to be difficult for children to understand the meaning of division with decimals. It is suggested that children begin to conceive division as the relationship between the equivalent expressions at the hypothetical-deductive level detached from the concrete one, and that children's explanation based on a reversibility of reciprocity are effective in overcoming the difficulties related to division with decimals. It enables children to conceive multiplication and division as a system of operations.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.10A
• /
• pp.1501-1506
• /
• 1999

DSRC(Dedicated Short Range Communications), which is a radio mobile communication protocol in ITS, is suited for traffic related information services. But in WAC(Wide-Area wireless communications), we could consider a conventional communication infrastructure in the case of supporting other applications besides ITS. Especially considering the current the trends to introduce wireless internet service into the mobile communication network, wireless internet service in ITS system is valuable. Although ITS LLC(Logical Link Control) protocols recommended by Europe and Japan are effective for traffic related services, it is not suitable for services related with geographical information, image or internet. That is because the data traffic characteristics is changed according to service types. Therefore we suggest a logical link control algorithm effective for traffic information related services as well as internet web service, and analyze its performance. As a result of numerical analysis and simulation, proposed algorithm shows larger performance improvements. For traffic information related services, the performance of DSRC LLC recommended by Europe and Japan is the same as that of proposed LLC protocol. However, for wireless internet web service, the performance of proposed protocol is much better than that of LLC protocol used in Europe and Japan.

• The Journal of Industrial Distribution & Business
• /
• v.10 no.11
• /
• pp.71-80
• /
• 2019

Purpose: The purpose of this study is to design the curriculum of Basic College Software Programming to develop creative and logical-thinking. This course is guided by algorithmic thinking and logical thinking that can be solved by computing for problem-solving, and it helps to develop by software through basic programming education. Through the stage of problem analysis, abstraction, algorithm, data structure, and algorithm implementation, the curriculum is designed to help learners experience algorithm problem-solving in various areas to develop diffusion thinking. For Learners aim to achieve the balanced development of divergent and convergent-thinking needed in their creative problem-solving skills. Research design, data and methodology: This study is to design a basic software education for improving algorithm-thinking for non-major. The curriculum designed in this paper is necessary to non-majors students who have completed the 'Creative Thinking and Coding Course' Design Thinking based are targeted. For this, contents were extracted through advanced research analysis at home and abroad, and experts in computer education, computer engineering, SW education, and education were surveyed in the form of quasi-openness. Results: In this study, based on ADD Thinking's algorithm thinking, we divided the unit college majors into five groups so that students of each major could accomplish the goal of "the ability to internalize their own ideas into computing," and extracted and designed different content areas, content elements and sub-components from each group. Through three expert surveys, we established a strategy for characterization by demand analysis and major/textbook category and verified the appropriateness of the design direction to ensure that the subjects and contents of the curriculum are appropriate for each family in order to improve algorithm-thinking. Conclusions: This study helps develop software by enhancing the ability of students who practice various subjects and exercises to explore creative expressions in various areas, such as 'how to think like a computer' that can implement and execute their ideas in computing. And it helps increase the ability to think logical and algorithmic computing based on creative solutions, improving problem-solving ability based on computing thinking and fundamental understanding of computer coding and development of logical thinking ability through programming.

• Journal of the Korea Society for Simulation
• /
• v.29 no.2
• /
• pp.63-72
• /
• 2020

Tank, which is a representative ground weapon system, is one of the most important weapon systems in each country. For the cost-effective acquisition of a tank based on scientific analysis, the operational concept and effectiveness should be studied based on engagement simulation technology. Besides physical capabilities including maneuver and communication, logical models including decision-making of a tank commander should be developed systematically. This paper describes a method to model a tank for engagement simulation based on Base System Model(BSM), which is the standard architecture of the weapon system model in AddSIM, an integrated engagement simulation software. In particular, a method is proposed to develop logical models by hierarchical and modular approach based on human decision-making model. The proposed method applies a mathematical formalism called DEVS(Discrete EVent system Specification) formalism. It is expected that the proposed method is widely used to study the operational concept and analyze the effectiveness of tanks in the Korean military in the future.

• Journal of Korean Elementary Science Education
• /
• v.25 no.2
• /
• pp.167-178
• /
• 2006

The purpose of this study was to explore characteristics of sixth grade students' opistemological beliefs in science and the relationship to learner's characteristics: learning motivation, learning strategies, and logical thinking. The subjects were 265 sixth graders and data was collected through two types of questionnaires, translated and modified by researchers: opistemological beliefs regarding science, learning motivation & strategies. The results of this study were as follows. The students believed that the goals of science were related to activations such as 'Science is experiment', or 'Science is invention: These beliefs were connected with the emphasis of science classes or the focus of the science curriculum. However, the students' beliefs related to the changeability of science knowledge, the source of science knowledge, and the role of experiments in developing knowledge were oriented to modern opistemological views. Moreover, the beliefs were meaningfully related to students' characteristics: learning motivation, learning strategies, and logical thinking. Among the students' characteristics, logical thinking was especially related to all of the factors of students' beliefs: the changeability of science knowledge, the source of science knowledge, and the role of experiments in developing knowledge. However, the students who believed that scientific knowledge came from scientists, science teachers, or science textbooks had high levels of self-efficacy. Therefore, the belief that scientific knowledge is formed by self-discovery, in order to generate high self-efficacy, needs to be encouraged. From the results, it is possible to check the orientation of current science education based on the students' opistemological beliefs. In addition, the resources can be accumulated for persevering in our efforts to achieve a positive orientation for science education.

• Journal of The Korean Association For Science Education
• /
• v.33 no.5
• /
• pp.952-962
• /
• 2013

The purpose of this study was to investigate the effects of the Science Writing Heuristic (SWH) approach on the students' summary writing, logical thinking and achievements for the course. Participants in this study were 132 female students from a girls' middle school. The SWH approach was used for two experimental classes and the typical teacher-centered instructional approach was used for two comparative classes. Summary writing test, logical thinking test (GALT) and achievement test for the course were administered before and after the instruction period. Results of this study indicated that the SWH approach was helpful for students in finding big ideas, understanding science concepts, developing logical thinking abilities and doing well in the course. This study also implied that the SWH approach was effective for the low achieving students.