• The Mathematical Education
• /
• v.44 no.4 s.111
• /
• pp.535-546
• /
• 2005

We study on intuitive verification and rigor proof which are in geometry of Korean and Russian $7\~8$ grade's mathematics textbooks. We compare contents of mathematics textbooks of Korea and Russia laying stress on geometry. We extract 4 proposition explained in Korean mathematics textbooks by intuitive verification, analyze these verification method, and compare these with rigor proof in Russian mathematics textbooks.

• Journal of Engineering Education Research
• /
• v.16 no.4
• /
• pp.30-36
• /
• 2013

Applying intuitive learning method on engineering education, especially for the mechanical engineering, is hardly found from the previous case studies and is not easily proved its beneficial verification. Verbal repetition is also rarely used to investigate its positive effects on educational methodology for both science and engineering disciplines. To prove the education effects of these two methods; we used intuitive thinking time period at the beginning of each lecture and let students repeat the concepts and the equations verbally. These two methods were related to the subjects of each lecture, and were used for students to try to draw engineering thinking from natural phenomena that they could easily experience in daily life. The methods could help them to memorize theoretical ideas. We investigated the effects of intuition and verbal repetition methods by comparing the scores of final exam with those of midterm exam. The results revealed significant improvement; 77.6% of the students achieved higher score in their final exam compared to midterm exam. We plan to investigate qualitative contributions of intuition and verbal repetition methods to the students' achievement for the further research.

• Journal of Fisheries and Marine Sciences Education
• /
• v.25 no.1
• /
• pp.260-273
• /
• 2013

This study aims to reflect experts' opinions in analyzing a design thinking as foundation of multidisciplinary education. For this purpose, a delphi survey was conducted with 20 experts in three sessions from May 1 to June 25, 2012. To analyze the collected data, descriptive statistics, including frequency, percentage, the mean, and standard deviation were implemented, and internal reliability test on the survey instrument was carried out for statistical processing. The main results are as follows : First, the delphi analysis on intuitive thinking of design thinking suggested 7 items(to pursue the possibility of outside, to pursue the possibility of applying new forms of technology, content planning, facing a complex real-world phenomena etc.). Second, the delphi analysis on logical thinking of design thinking suggested 7 items(executed repeatedly, reasoning and verification, artificial intelligence, a decision support system etc.) Third, the delphi analysis on subjective thinking of design thinking suggested 9 items(user experience measuring, user satisfaction ratings, user requirements analysis, user interface design, behavioral responses of the human etc.). Fourth, the delphi analysis on objective information of design thinking suggested 8 items(information management system, simulation, production process, information exchange and sharing etc.). According to the results of the delphi analysis, design thinking can be seen as the foundation of multidisciplinary education. Suggestions were made for discussion about the main results and further researches.

• Journal of Korean Academy of Nursing
• /
• v.24 no.2
• /
• pp.206-215
• /
• 1994

Intuition is an abstract concept which is most often thought of as a nonrational, nonscientific mode of thought. However, since there are so many amorphous definitions of intuition that it seems important to clarify the meaning of this concept. Therefore, this study use the process of Walker & Avant’s concept analysis to define of the concept of intuition Attributes of intuition were defined as 1) Knowledge of truth that is difficult to explicate ; 2) A type of immediate knowing ; 3) Knowlwdge without reasining analysis ; 4) Knowledge that is attained based on virtue character which integrates all matter and is not attained through individual experience. Antecedents of intuition consists of 1) as ground for knowledge or truth that is not availables to trace through the analytic procedures ; & 2) the flow of Ki which unites human beings and the universe. Consequences of intuition events or incidents occuring as a result of the concept consist of verification of the truth though analytic procedures and application of knowledge in both theoretical and practical ways. To develop intuitive ability, as an educator should not only make studies in recognizine, analysing and teaching concepts related to logical, rational decision making but should also recognize and teach concepts related to intuitive components of making decisions in clinical practice and classroom learning as well.

• Journal of the HCI Society of Korea
• /
• v.2 no.2
• /
• pp.53-59
• /
• 2007

Several researches in 3D interaction have identified and extensively studied the four basic interaction tasks for 3D/VE applications, namely, navigation, selection, manipulation and system control. These interaction schemes in the real world or VE are generally suitable for interacting with small graspable objects. In some applications, it is important to duplicate real world behavior. For example, a training system for a manual assembly task and usability verification system benefits from a realistic system for object grasping and manipulation. However, it is not appropriate to instantly apply these interaction technologies to such applications, because the quality of simulated grasping and manipulation has been limited. Therefore, we introduce the intuitive and natural 3D interaction haptic interface supporting high-precision hand operations and realistic haptic feedback.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.3
• /
• pp.211-215
• /
• 2009

As Programmable Logic Controllers (PLCs) are increasingly used to implement safety critical systems such as nuclear instrumentation & control system, formal verification for PLC based programs is becoming essential. This paper proposes a formal verification technique for PLC program implemented with function block diagram (FBD). In order to verify an FBD program, we translate an FBD program into a Verilog model and perform model checking using SMV model checker We developed a tool, FBD Verifier, which translates FBD programs into Verilog models automatically and supports efficient and intuitive visual analysis of a counterexample. With the proposed approach and the tool, we verified large FBD programs implementing reactor protection system of Korea Nuclear Instrumentation and Control System R&D Center (KNICS) successfully.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.9
• /
• pp.289-304
• /
• 2022

It is necessary to apply process algebra and logic in order to analyze and verify safety requirements for Smart IoT Systems due to distributivity and mobility of the systems over some predefined geo-temporal space. However the analysis and verification cannot be fully intuitive over the space due to the fact that the existing process algebra and logic are very limited to express the distributivity and the mobility. In order to overcome the limitations, the paper presents a new logic, namely for GTS-VL (Geo-Temporal Space-Visual Logic), visualization of the analysis and verification over the space. GTS-VL is the first order logic that deals with relations among the different types of blocks over the space, which is the graph that visualizes the system behaviors specified with the existing dTP-Calculus. A tool, called SAVE, was developed over the ADOxx Meta-Modeling Platform in order to demonstrate the feasibility of the approach, and the advantages and practicality of the approach was shown with the comparative analysis of PBC (Producer-Buffer-Consumer) example between the graphical analysis and verification method over the textual method with SAVE tool.

• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.23-36
• /
• 2018

Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and convenient representation of complex DEVS models. This paper proposes a clean room process for implementation and verification of a DEVS diagram model specification into a simulation software source code. Specifically, it underlies a sequence of transformation steps from conformance and integrity checking of a given diagram model, translation into a corresponding tabular model, and finally conversion to a simulation source code, with each step being inversely verifiable for traceability. A simple example helps developers to understand the proposed process with associated transformation methods; a case study shows that the proposed process is effective for and adaptable to practical simulation software development.

• Journal of Educational Research in Mathematics
• /
• v.21 no.2
• /
• pp.135-148
• /
• 2011

Middle school mathematics treats axiom as mere fact verified by experiment or observation and doesn't mention it axiom. But axiom is very important to understand the difference between empirical verification and mathematical proof, intuitive geometry and deductive geometry, proof and nonproof. This study analysed textbooks and surveyed gifted students' conception of axiom. The results showed the problem and limitation of middle school mathematics on the treatment of axiom and proof.

• Journal of Electrical Engineering and Technology
• /
• v.10 no.6
• /
• pp.2288-2296
• /
• 2015

This paper proposes a novel systematic modeling approach for an integrated single-stage power converter in order to predict its dynamic characteristics. The basic strategy of the proposed modeling is substituting the internal converters with an equivalent current source, and then deriving the dynamic equations under a standalone operation using the state-space averaging technique. The proposed approach provides an intuitive modeling solution and simplified mathematical process with accurate dynamic prediction. The simulation and experimental results by using an integrated boost-flyback converter prototype provide verification consistent with theoretical expectations.