• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.441-461
• /
• 2014

This paper deals with one sort of Kripke-style semantics for three-valued paraconsistent logic: algebraic Kripke-style semantics. We first introduce two three-valued systems, define their corresponding algebraic structures, and give algebraic completeness results for them. Next, we introduce algebraic Kripke-style semantics for them, and then connect them with algebraic semantics.

• Journal of Engineering Education Research
• /
• v.13 no.2
• /
• pp.33-37
• /
• 2010

This paper deals with the introduction of capstone design project by team activities in Department of Electronics and Communication Engineering, Korea Maritime University. This course is referred to as Creative Engineering Design for spring semester of 4th-year undergraduates. The course focuses on creative thinking and cooperative mind to students by learning engineering design skills, realizing their idea through design project and recognizing practicality of their systems. The intent of the course is to provide a true "capstone" experience, where students can combine their skills to achieve the successful completion of a project. This paper describes class process and evaluation method, and cooperative works with mentees and industrial mentors connected through Hanium network for IT mentoring activities.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.6 no.6
• /
• pp.1565-1585
• /
• 2012

The characteristics of ad hoc networks, such as the absence of infrastructure, a dynamic topology, a shared wireless medium and a resource-constrained environment pose various security challenges. Most previous studies focused on the detection of misbehavior after it had occurred. However, in this paper we propose a new way of thinking to evade the occurrence of misbehavior. In our scheme, we firstly present a clustering algorithm that employs a powerful analytic hierarchy process methodology to elect a clusterhead for each cluster. The clusterhead in each cluster is then allowed to assign the backoff values to its members, i.e., originators, rather than permitting the originators to choose the backoff values by themselves. Through this media access control layer misbehavior detection mechanism, the misuse of the backoff in the media access control layer in the 802.11 distributed coordination function can be detected.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.8
• /
• pp.3992-4005
• /
• 2018

In our current information-based society in which knowledge is a fundamental asset to production, the capability to utilize information and produce knowledge with the use of information technology (IT) has become essential to learning. Massive Open Online Courses (MOOCs) have recently been introduced in light of such changes and are recognized as an alternative to open education. MOOCs' capabilities are being acknowledged in lifelong education in terms of reeducation and knowledge sharing, and also in terms of improving teaching quality, and improving university students' levels of creativity and integrated thinking by supporting high-level content and teaching. Therefore, this study presents an extended research model that combines information system (IS) continuance and task-technology fit models. Our study researches previous literature, revealing factors of continuous use after accepting MOOCs from the learner's perspective, and analyzes the model empirically. The ideal environment for MOOCs learners is evaluated, and a strategic approach to the successful settlement and diffusion of MOOCs is presented based on this study's findings.

• Korean System Dynamics Review
• /
• v.4 no.1
• /
• pp.5-31
• /
• 2003

Customer satisfaction is generally assumed to be a significant determinant of repeat sales, positive word-of-mouth, and customer loyalty. Therefore most companies in telecommunication industry have tried to satisfy customers with high quality at low price in Korea. Even though these efforts have been tried by companies, customers are not satisfied with discrepancy between their expectation and perceived quality. Moreover, the expectation has dynamic and variable characteristics in results from various effects such n technical progress, improved quality and promotions by companies, word-of-mouth, and so on, Therefore, there are not political leverages in assessing the quality and surveying customer satisfaction index in a point of time. As an initial attempt to tackle the questions listed above, this paper puts an effort to make a dynamic customer satisfaction model to understand customer satisfaction in variable situations by introducing 'systems thinking'.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.18 no.34
• /
• pp.83-89
• /
• 1995

We call as plant life cycle the process starting from plant plan, design to disuse by way of construction, operation, but the plant facility inside it comes to changes of cope with various inner factor like blazing phenomenon and outer factor according to economic state. On the presumption of these factors, the problem is brought about how plant should be managed, this study attempt to suggest the conservation management through economic evaluation in investment design and alternative, that is, methodology connecting that of economical efficiency evaluation based on LCC(Life Cycle Costing) thinking method and facility management with that of life prediction.

• Journal of Digital Convergence
• /
• v.9 no.1
• /
• pp.51-59
• /
• 2011

The objective of this paper is to identify factors influencing intention to use ubiquitous banking service focusing on potential users using a regression model. Through this, providers of ubiquitous banking services can get an idea of future development, including marketing strategy through the results of this analysis. This paper proposes that perceived usefulness is the most important factor influencing the uptake of ubiquitous service. Also in addition, ANOVA test shows that higher education level of the user can lead to the higher intention to use an ubiquitous banking service. In this study, we set up a model by using the most basic factor among influential factors presented in previous studies as an independent variable. However, other research variables which affect acceptance of ubiquitous service should be considered by thinking more diversely.

• The Mathematical Education
• /
• v.54 no.2
• /
• pp.195-206
• /
• 2015

The purpose of this study is to examine the effects of teacher on fourth-grade students' attitudes toward mathematics using data from TIMSS 2011. Students' attitudes toward mathematics included interest in learning mathematics, interest in mathematics lessons, and confidence in their mathematics ability. Teacher factors included mathematics professional development, confidence in teaching mathematics, teacher-centered mathematics instruction, and enhancing student mathematical thinking. The two level Hierarchical Linear Model was employed to analyze the relationship between teacher factors and student attitudes. Results showed that teacher-centered mathematics instruction significantly and positively predicted students' confidence about their mathematics ability. The findings suggest that school systems and mathematics educators need to provide teachers with the curriculum, assessment, and research-based practices and knowledge to overcome the obstacles to change their mathematics classroom.

• Journal of the Society of Disaster Information
• /
• v.11 no.4
• /
• pp.542-547
• /
• 2015

This study is discussing with respect to the access sector for terrorism response based on the thinking and methodology of complex systems theory, which is mainly used in many disciplines today to effectively respond to complex multi-environment change its purpose there. As a result, Butterfly Effect, fractal & self-similarity, self-organization, emergence, coevolution, edge of chaos the applicability of the corresponding field of terrorism through the complex system theory as metaphorical will be able to navigate.

• Korean System Dynamics Review
• /
• v.12 no.3
• /
• pp.25-46
• /
• 2011

Recently, performance auditing system of governmen is carried out as most promising framework of government audit. Performance audit by the Board of Audit and Inspection of Korea involves assessing the causes and effects of government policies, programs, and Institutions with the criteria of economy, efficiency, effectiveness. Performance auditing will contribute to strengthening the values of objective assessments of whether public resources are responsibly and effectively managed to achieve intended results. Nevertheless, there seems to be a problems appears in implementation of audit. That is the problems of tendency return to legitimacy audit which is result from the lack of strong approach and methodology. So, this study purpose to developing stronger audit concepts and methods that add to the process and framework of traditional performance auditing system. First, this study evaluates the limitation of current performance auditing system with the perspective of systems thinking. Second, this study analyzes the process and method of current system and develop the conceptual model of the Dynamics Audit System using the system dynamics methodology, which focused on the appropriate auditing process and framework.