• Journal of the Korea Society of Computer and Information
• /
• v.4 no.4
• /
• pp.1-8
• /
• 1999

In the logic where we study the principle and method of human, the binary logic with the proposition which has one-valued property that it can be assigned the truth value 'truth'or 'false'. Although most of the traditional binary logic which was drawn by human includes fuzziness hard to deal with, the knowledge for expressing it is not precise and has less degree of credit. This study uses multi-valued logic in order to slove the problem above that .When compared with the data processing ability of the binary logic, Multi-valued logic has an at a high speed. Therefore the Inference can be possible by minimization multi-valued logic in stead of using the information stead of using the information system based on the symbolic binary logic.

• Journal of Digital Contents Society
• /
• v.15 no.5
• /
• pp.579-586
• /
• 2014

This paper analyzes the recognition of driver's behavior in lane change using context-free grammar. In contrast to conventional pattern recognition techniques, context-free grammars are capable of describing features effectively that are not easily represented by finite symbols. Instead of coordinate data processing that should handle features in multiple concurrent events respectively, effective syntactic analysis was applied for patterning of symbolic sequence. The findings proposed the effective and intuitive method for drivers and researchers in driving safety field. Probabilistic parsing for the improving this research will be the future work to achieve a robust recognition.

• Journal of Korean Academy of Nursing
• /
• v.49 no.5
• /
• pp.505-514
• /
• 2019

Purpose: This study aimed to introduce and elucidate changes in Strauss and Corbin's grounded theory and discuss its application to the field of nursing in South Korea. Methods: The changes in grounded theory by Strauss and Corbin were examined through a literature review of grounded theory from its inception. Results: Strauss and Corbin acknowledged their philosophical backgrounds of symbolic interactionism and pragmatism; however, their methodology based on positivism overwhelmed their epistemology and ontology. This inconsistency has been represented by the coding paradigm and the premise of "emergent from the data." In the revised version of Basics, Strauss and Corbin modified their theory to weaken the coding paradigm and strengthen the strategies for the development of substantive theory. Conclusion: Strauss and Corbin's revised grounded theory did not fully address the inconsistency of their epistemology and ontology between their acknowledgement and methodology. However, these changes constitute a meaningful step toward resolving inconsistencies and highlight the development of substantive theory. This has implications for Korean nursing researchers who have utilized methodologies in grounded theory with dogmatic approaches; grounded theory, with its evolving nature, is not a finalized method and calls for open approaches for the development of a grounded theory that fits Korean nursing.

• Coupled systems mechanics
• /
• v.1 no.4
• /
• pp.345-360
• /
• 2012

In this article we have presented a unique representation for interval arithmetic. The traditional interval arithmetic is transformed into crisp by symbolic parameterization. Then the proposed interval arithmetic is extended for fuzzy numbers and this fuzzy arithmetic is used as a tool for uncertain finite element method. In general, the fuzzy finite element converts the governing differential equations into fuzzy algebraic equations. Fuzzy algebraic equations either give a fuzzy eigenvalue problem or a fuzzy system of linear equations. The proposed methods have been used to solve a test problem namely heat conduction problem along with fuzzy finite element method to see the efficacy and powerfulness of the methodology. As such a coupled set of fuzzy linear equations are obtained. These coupled fuzzy linear equations have been solved by two techniques such as by fuzzy iteration method and fuzzy eigenvalue method. Obtained results are compared and it has seen that the proposed methods are reliable and may be applicable to other heat conduction problems too.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.42 no.5 s.305
• /
• pp.1-12
• /
• 2005

A Mobile manipulator - a serial connection of a mobile robot and a task robot - is a very useful system to achieve various tasks in dangerous environment. because it has the higher performance than a fixed base manipulator in regard to the size of it's operational workspace. Unfortunately the use of a mobile robot introduces non-holonomic constraints, and the combination of a mobile robot and a manipulator generally introduces kinematic redundancy. In this paper, first a method for estimating the position of object at the cartesian coordinate system acquired by using the geometrical relationship between the image captured by 2-DOF active camera mounted on mobile robot and real object is proposed. Second, we propose a method to determine a optimal path between current the position of mobile manipulator whose mobile robot is non-holonomic and the position of object estimated by image information through the global displacement of the system in a symbolic way, using homogenous matrices. Then, we compute the corresponding joint parameters to make the desired displacement coincide with the computed symbolic displacement and object is captured through the control of a manipulator. The effectiveness of proposed method is demonstrated by the simulation and real experiment using the mobile manipulator.

• The KIPS Transactions:PartB
• /
• v.10B no.7
• /
• pp.795-802
• /
• 2003

To live autonomously, intelligent agents such as robots or virtual characters need ability that recognizes given environment, and learns and chooses adaptive actions. So, we propose an action selection/learning mechanism in intelligent agents. The proposed mechanism employs a hybrid system which integrates a behavior-based method using the reinforcement learning and a cognitive-based method using the symbolic learning. The characteristics of our mechanism are as follows. First, because it learns adaptive actions about environment using reinforcement learning, our agents have flexibility about environmental changes. Second, because it learns environmental factors for the agent's goals using inductive machine learning and association rules, the agent learns and selects appropriate actions faster in given surrounding and more efficiently in extended surroundings. Third, in implementing the intelligent agents, we considers only the recognized states which are found by a state detector rather than by all states. Because this method consider only necessary states, we can reduce the space of memory. And because it represents and processes new states dynamically, we can cope with the change of environment spontaneously.

• Polymer(Korea)
• /
• v.29 no.4
• /
• pp.418-421
• /
• 2005

Three-dimensional (3D) microfabrication process using two-photon polymerization (TPP) is developed to fabricate the curved microstructures in a layer, which can be applied potentially to optical MEMS, nano/micro-devices, etc. A 3D curved structure can be expressed using the same height-contours that are defined by symbolic colors which consist of 14 colors. Then, the designed bitmap figure is transformed into a multi-exposure voxel matrix (MVM). In this work a multi-exposure voxel matrix scanning method is used to generate various heights of voxels according to each laser exposure time that is assigned to the symbolic colors. An objective lens with a numerical aperture of 1.25 is employed to enlarge the variation of a voxel height in the range of 1.2 to 6.4 um which can be controlled easily using the various exposure time. Though this work some 3D curved micro-shapes are fabricated directly to demonstrate the usefulness of the process without a laminating process that is generally required in a micro-stereolithography process.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.4
• /
• pp.919-928
• /
• 2018

Out-Of-Bounds (OOB) is one of the most powerful vulnerabilities in heap memory. The OOB vulnerability allows an attacker to exploit unauthorized access to confidential information by tricking the length of the array and reading or writing memory of that length. In this paper, we propose a method to automatically detect OOB vulnerabilities in heap memory using dynamic symbol execution and shadow memory table. First, a shadow memory table is constructed by hooking heap memory allocation and release function. Then, when a memory access occurs, it is judged whether OOB can occur by referencing the shadow memory, and a test case for causing a crash is automatically generated if there is a possibility of occurrence. Using the proposed method, if a weak block search is successful, it is possible to generate a test case that induces an OOB. In addition, unlike traditional dynamic symbol execution, exploitation of vulnerabilities is possible without setting clear target points.

• Korean journal of communication and information
• /
• v.42
• /
• pp.7-43
• /
• 2008

In this paper, a new viewpoint and practical education method were presented on educational culture related to today's religions and media. For this purpose, this paper considered the theories of religious media pedagogic and the concept of symbo1ic didactics relating to religious symbols in popular culture. In this paper, a total of eight cases of applying symbolic didactics were developed using the example of "The Da Vinci Code", based on the theoretical framework of religious media education and symbolic didactics. For this, the education methods and contents of religious media education were integrated with the teaching plan model of "action and development oriented media education". In order for this education to be applied effectively, experimental studies have to be carried out verifying the learning effects regarding this education. In particular, education for teachers who will tarry out this education is needed. This is because, in media education, the efficiency of education is significantly affected by the capacity of the one who is teaching.

• Research in Mathematical Education
• /
• v.15 no.4
• /
• pp.311-325
• /
• 2011

In this paper I propose that teaching students the most efficient method of problem solving may curtail students' creativity. Instead it is important to arm students with a variety of problem solving heuristics. It is the students' responsibility to decide which heuristic will solve the problem. The chosen heuristic is the one which is meaningful to the students.