• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2010.05a
• /
• pp.1351-1352
• /
• 2010

• Proceedings of the Korea Society of Design Studies Conference
• /
• 2001.10a
• /
• pp.2.2-2
• /
• 2001

• Journal of The Korean Association For Science Education
• /
• v.19 no.4
• /
• pp.560-569
• /
• 1999

This study was conducted with two science classes of the 8th grade students in Seoul during 4 weeks. The numbers of students in the classes were 37 and 38, and they were taught for 12 class hours. Questions obtained for 12 class hours from 75 students were analyzed and grouped into patterns. All together 1.108 questions from the students were classified into six categories: 'No Connection' (7%). 'Contradiction' (3%), 'Recall' (23%), 'Reframe' (40%), 'Application' (18%), and 'Extension' (9%). Irrelevant questions to learning and questions of false proposition were classified into 'No Connection' and 'Contradiction', respectively. Questions repeating what were already explained were grouped into 'Recall'. Those requiring other examples and/or additional explanations were grouped into 'Reframe'. Those requiring practical applications and/or explanations for other concrete facts were grouped into 'Application'. Finally. Questions for higher and/or other concepts were grouped into 'Extension'. We also discussed educational implications of the above categorized questions in this study.

• Korean Journal of Logic
• /
• v.20 no.2
• /
• pp.241-271
• /
• 2017

Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest's argument for Dialetheism from $G{\ddot{o}}del^{\prime}s$ theorem is unconvincing as the lesson of $G{\ddot{o}}del^{\prime}s$ proof (or Rosser's proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest's inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying $G{\ddot{o}}del$ sentence to the inconsistent and complete theory of arithmetic. We argue, however, that the alternative argument raises a circularity problem. In sum, $G{\ddot{o}}del^{\prime}s$ and its related theorem merely show the relation between a complete and a consistent theory. A contradiction derived by the application of $G{\ddot{o}}del$ sentence has the value of true sentences, i.e. the both-value, only under the inconsistent models for arithmetic. Without having the assumption of inconsistency or completeness, a true contradiction is not derivable from the application of $G{\ddot{o}}del$ sentence. Hence, $G{\ddot{o}}del^{\prime}s$ and its related theorem never can be a ground for Dialetheism.

• Journal of the Korean Geographical Society
• /
• v.29 no.3
• /
• pp.281-296
• /
• 1994

It is generally accepted that there is always a potential for crisis in the capitalist society because of the internal contradiction of capitalism. The contradiction is explicitly and implicitly expressed in space. The fundamental contradiction in capitalism, however, is controlled and mediated by the state (i.e., the capitalist state). We thus could argue that the state plays an important role in the capitalist society and in the capitalist spatial formation. It is necessary to note how and why spatial structure has developed unevenly in capitalist societies, particularly in the U.S., The general concept of uneven geographical development is understood in the context of the capitalist economic system and the role of the state. But the problem is that the capitalist state itself has a contradiction between the productive function (i.e., accumulation function) and the reproductive function (i.e., legitimation function). The compromise of the two functions is always the dilemma of the state and the state becomes the object of class struggle (e.g., political class struggle) . The research questions are as follows. First, what is the role of the state in the economic structure and what is the internal problem of the state\ulcorner Second, what is the role of the state in space economy (or in spatial structure)\ulcorner And last, what is the relation between the federal state and the local state in the U.S. and how does the relation form the urban policies and thus the urban and regional development\ulcorner The paper will be looking at how the political economy in the U.S. explains unevenly developed geographical phenomenon.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.8
• /
• pp.1883-1892
• /
• 2015

TRIZ is a theory of inventive problem solving. Recently the importance of creative capabilities is being emphasized and many successful cases using TRIZ are being introduced, therefore interest in TRIZ has been increasing. But TRIZ is not easy to learn alone compared to other creative thinking tools. Although it is effective to learn TRIZ through various cases, it is not easy for beginners to experience those many cases. Therefore, we developed a software called Do-TRIZ for TRIZ learning. Do-TRIZ provides descriptions and various examples of key concepts to make it easier for beginners to learn TRIZ. Also, the learners can add new cases continuously on Do-TRIZ. Especially, process-based problem solving modules have been implemented on Do-TRIZ, in order to make it possible to solve problems based on technical contradiction, physical contradiction, and IFR(Ideal Final Result). The learners can use the modules to solve their problems and to share the results. Also, we implemented Do-TRIZ Memo app that works with Do-TRIZ.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.7
• /
• pp.107-118
• /
• 2015

Although most current video coding standards set a fixed motion vector resolution like quarter-pel accuracy, a scheme supporting multiple motion vector resolutions can improve the coding efficiency of video since it can allow to use just required motion vector accuracy depending on the video content and at the same time to generate more accurate motion predictor. However, the selected motion vector resolution for each motion vector is a signaling overhead. This paper proposes a contradiction testing-based signaling scheme of the motion vector resolution. The proposed method selects a best resolution for each motion vector among multiple candidates in such a way to produce the minimum amount of coded bits for the motion vector. The signaling overhead is reduced by contradiction testing that operates under a predefined criterion at both encoder and decoder with a purpose of pruning irrelevant candidate motion vector resolutions from signaling responsibility. Experimental results verified that the proposed scheme is effective in reducing coded motion information by achieving its $Bj{\o}ntegaard$ delta bit rate (BDBR) gain of about 4.01% on average (and up to 15.17%) compared to the conventional scheme with a fixed motion vector resolution.

• Bulletin of the Korean Chemical Society
• /
• v.6 no.3
• /
• pp.158-162
• /
• 1985

The dipole moment derivatives of $NH_3$ are reexamined based on our recent intensity data. We have resolved the previous contradiction in the proper signs for the dipole moment derivatives of this molecule.

• Journal of Applied Reliability
• /
• v.14 no.3
• /
• pp.147-151
• /
• 2014

An actuator latch device of a hard disk drive is installed for locking an actuator to hold a magnetic head parked in a parking zone. Applying an external force to the drive, the head can move away from the parking zone and destroy data on the disk. A magnet latching mechanism is used to prevent the actuator from moving when the computer is not in use. A permanent magnet holds the actuator when the head is in the parking zone. When the computer is turned on, the actuator has to overcome the latch magnet in order to move. A stronger latch magnet will hold the actuator adequately, but the actuator will not be released when unlocking is required. A breakthrough solution is needed to improve the reliability of the drive without any deterioration of its performance. In order to obtain the idea for resolving this technical contradiction, we analyse patents for actuator latch device of a hard disk drive. A practical way for solving contradictions in product development using TRIZ is proposed in this paper.

• Journal of Engineering Education Research
• /
• v.19 no.1
• /
• pp.3-10
• /
• 2016

This study was conducted to identify Korea's TRIZ research trends and to propose implications for setting a direction for future TRIZ research by analyzing TRIZ-related research over the past 15 years, or from 1998 to 2013. The subjects in this study were 256 published studies, including 149 studies in academic journals, 97 master theses, and 10 doctorate theses. This study reached the following conclusion. First, academic journals were the most frequent form of publication of TRIZ-related studies, followed by master's degree theses, and doctorate theses. Second, two or more TRIZ tools were used to solve problems and the most frequently used topic was technical contradiction as the result of frequency analysis for TRIZ research topics. This signified that it was easier to solve problems when various TRIZ tools were used, rather than applying a single TRIZ tool while technical contradiction was considered to be actively used as it allowed the relatively easy understanding of TRIZ. Third, the use of TRIZ research topics had increased and diversified each year. This could be interpreted to be based on the increased understanding of TRIZ. Fourth, case studies and experimental research were the most frequently used methods in TRIZ-related research. This was because various TRIZ tools were applied on problem solving situations, which were directly proposed as the research result. Fifth, the use of TRIZ was increasing in the educational field. Specifically, it was noted that TRIZ was used in creativity education with the use of 40 invention principles in elementary, middle, and high schools.