• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.31 no.1 s.256
• /
• pp.77-88
• /
• 2007

Axiomatic Design has been developed as a general design framework during past two decades and TRIZ has been developed for a design tool over 50 years. Axiomatic design is quite excellent in that design should be decoupled. When a design matrix is established, the characteristics of the design are identified according to the coupling properties. If the design is coupled, a decoupling process should be found. However, axiomatic design does not specifically indicate how to decouple a coupled design. In this research, the coupling manner is classified into six patterns. Each pattern could be solved by an appropriate TRIZ module. A table, which matches the coupling pattern and a TRIZ module, is proposed for effective application of the two design theories. The decoupling ideas are proposed by using TRIZ modules. When the number of decoupled designs is more than one, the engineer should select the final idea. The proposed method is applied to practical cases such as a tape feeder and a beam adjuster of the laser marker.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.1028-1033
• /
• 2008

The mount type HVAC control system is a type of an HVAC control system which is installed between a ceiling and ceiling boards of a room to control room temperature. Although the device is quite popular, design is conducted by a conventional way where engineering intuition and experiences are utilized. It is found that the design process is fairly inefficient and time-consuming because there are a lot of feedbacks. The axiomatic approach is used to investigate the design characteristics of the mount type HAVC control system and the Independence Axiom is utilized for the investigation. The Overall hierarchy is established up to the level of parts. It is found that the current design has many coupled and redundant aspects. The hierarchy is reorganized based on the Independence Axiom and a new design process is found. To exploit the new design process in practice, a design manual is made.

• Communications of Mathematical Education
• /
• v.32 no.2
• /
• pp.207-223
• /
• 2018

In this study, we studied Bumwoo KIM Chi Young's cogitation on mathematics, and analyzed his typical 3 essays on mathematics by KoNLP. Approximately 80% of Bumwoo's sentences consist of less than 30. His writing became clearer over the years. It is verified from the mean and standard deviation of the number of words in a sentence are decreasing. Bumwoo emphasized the structure in mathematics, and he was a strong advocate of importancy on axiom, topolized and category as the characteristics of modern mathematics. In particular, it can be seen that the relations between 'mathematics', 'axiom', 'structure', 'Euclid', 'axiomatic system' and 'set' were his main topic.

• Korean Journal of Logic
• /
• v.23 no.1
• /
• pp.1-23
• /
• 2020

This paper deals with mianorm-based logics with right and left n-potency axioms and their fixpointed involutive extensions. For this, first, right and left n-potent logic systems based on mianorms, their corresponding algebraic structures, and their algebraic completeness results are discussed. Next, completeness with respect to algebras whose lattice reduct is [0, 1], known as standard completeness, is established for these systems via Yang's construction in the style of Jenei-Montagna. Finally, further standard completeness results are introduced for their fixpointed involutive extensions.

• Communications of Mathematical Education
• /
• v.35 no.4
• /
• pp.413-423
• /
• 2021

This study investigated the empty set which is one of the mathematical objects. We inquired some misconceptions about empty set and the background of imposing empty set. Also we studied historical background of the introduction of empty set and the axiomatic system of Set theory. We investigated the nature of mathematical object through studying empty set, pure conceptual entity. In this study we study about the existence of empty set by investigating Alian Badiou's ontology known as based on the axiomatic set theory. we attempted to explain the relation between simultaneous equations and sets. Thus we pondered the meaning of the existence of empty set. Finally we commented about the thoughts of sets from a different standpoint and presented the meaning of axiomatic and philosophical aspect of mathematics.

• Korean Journal of Construction Engineering and Management
• /
• v.10 no.3
• /
• pp.111-121
• /
• 2009

Value Engineering(VE) at design phase(so-called Design-VE) becomes quite a compulsory solution for better customer satisfaction, cost reduction, higher product performance, and, eventually, insured predominance in the competition. Unlike intended, however, the customer requirement on Design-VE has not been fully reflected in reality. Furthermore, the Design-VE occasionally does not progress in regular sequence; Preparation for measuring customer requirement - Function analysis - Idea creation. Therefore, this study suggests Axiomatic Design Theory to be adopted in Design-VE process expecting that the functions required by the customer could systematically reflected in VE process. Post-occupancy Evaluation(POE) is also represented as a method to measure and arrange the customer requirements. The customer satisfaction Design-VE process creates ideas defining functions in more detailed, to reflect the concrete user requirement. This approach helps function analysis and idea creation linked closely because function and idea are developed zigzag (i.e. function - idea - function...) in being decomposed into level down. The application of the process proposed by this study will be helpful to improve the customer requirement measurement and clarify a link between functions and ideas.

• Journal of Korean Philosophical Society
• /
• v.123
• /
• pp.379-407
• /
• 2012

The main purpose of this paper is to make a case for the availability of pragmatist ethics by showing the differences between utilitarianism and pragmatism. In this paper, drawing on Dewey's view, I show that Bentham and Mill were doomed to failure because they both regarded moral conduct not as a process but as a fixed act, the remarkable differences between their views notwithstanding. Besides, I also show that pragmatism distinguishes itself from utilitarianism by its focus on the aspect of the amendment of a conduct rather than its attainment. Pragmatist ethics works on the assumption that moral conduct arises only in conscious experience. What pragmatists mean by consciousness is not an ability just given to haman, but a function emerging from the human interaction with his environment. Therefore, morality is extended from and restricted by experience, because it is grounded in concrete experience, but not in the transcendental nor a priori realm. Since pragmatism suggests the possibility of "ethics without principles" in that it works through the way which successfully rejects the traditional absolutist ethics, while avoiding the downslide to a nihilistic form of skepticism. Thus, it may serve as a third view that overcomes a seriously divergent situation of the current ethical arguments. In other words, starting from the very nature of experience, pragmatist ethics offers a 'bottom-up' ethics, instead of a 'top-down' one. This reconstructive reading of pragmatism away from utilitarianism is expected to offer a more comprehensive account of our moral experience in the pluralistic world of diverged values.

• Journal of Korea Fair Competition Federation
• /
• no.84
• /
• pp.32-37
• /
• 2002

• Journal for History of Mathematics
• /
• v.9 no.1
• /
• pp.1-11
• /
• 1996

• Journal of the korean Society of Automotive Engineers
• /
• v.27 no.1
• /
• pp.31-36
• /
• 2005