• Journal for History of Mathematics
• /
• v.23 no.1
• /
• pp.79-88
• /
• 2010

G$\ddot{o}$del's proof attempts to establish the existence of God by the definition that God is a being having all positive properties. The proof uses here second order modal logic system $S_5$ with the axiom ${\diamondsuit}{\Box}p{\rightarrow}{\Box}p$. We review the G$\ddot{o}$del's own version and prove his ontological theorems.

• International Journal of Automotive Technology
• /
• v.7 no.5
• /
• pp.595-601
• /
• 2006

Two No Spin Differential(NSD) models were benchmarked for a project of Dual-Use Technology. The Axiomatic approach is utilized to evaluate the designs of the models. The Independence Axiom is satisfied at the top level of design but not at the second level, which implies the design exhibits coupling and will admit design improvements. The detailed process of design evaluation is described. It is shown that it is possible to develop a unique and evolutionary NSD design by solving the problems that cause coupling within two models.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.11b
• /
• pp.211-215
• /
• 2002

본 연구에서는 온라인 다중 사용자 환경의 eBook annotation 시스템 개발에서 데이터를 의미 기반으로 관리하고, 데이터에 대하여 상호 공통적인 이해를 표현하며, 그리고 데이터에 대한 무결성 검사 등을 지원하기 위해서 eBook annotation 온톨로지를 설계하였다. eBook annotation 데이터에 대한 상호 공통적인 이해의 표현을 위해서 한국 전자책 문서 표준인 EBKS(Electronic Book of Korea Standard)를 기반으로 설계 하였으며 설계 된 온톨로지는 Conceptual Graph(CG)를 사용하여 표현하였다. 의미 기반의 처리를 위해서 본 온톨로지에서는 동의어(synonym) 관계와 다국어(multilingua) 관계를 고려하였으며 또한 annotation 데이터 생성시 오류 방지와 중요도를 표현 하기 위해서 무결성 검사, 중요성 axiom을 고려 했다. 제안된 온톨로지는 annotation 데이터의 재사용성을 높일 수 있고 의미 정보를 활용함으로써 eLearning, cyberclass과 같은 다중사용자 환경에서 효과적인 협업을 가능하게 한다. 본 연구에서 구현한 eBook annotation 시스템은 설계한 온톨로지를 이용함으로써 의미 기반의 데이터 관리가 가능하다. 또한 annotation 생성 시 온톨로지 구조를 모르더라도 annotation을 생성할 수 있는 인터페이스를 구현하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2253-2256
• /
• 2002

본 연구에서는 온라인 다중 사용자 환경의 eBook annotation 시스템 개발에서 데이터를 의미 기반으로 관리하고, 데이터에 대하여 상호 공통적인 이해를 표현하며, 그리고 데이터에 대한 무결성 검사 등을 지원하기 위해서 eBook annotation 온톨로지를 설계하였다. eBook annotation 데이터에 대한 상호 공통적이 이해를 표현을 위해서 한국 전자책 문서 표준인 EBKS(Electronic Book of korra Standard)를 기반으로 설계하였으며 설계된 온톨로지는 Conceptual Graph(CG)를 사용하여 표현하였다. 의미 기반의 처리를 위해서 본 온톨로지에서는 동의어(Synonym) 관계와 다국어(Interlingua) 관계를 고려하였으며 또한 annotation 데이터 생성시 오류 방지와 중요도를 표현하기 위해서 integrity, important axiom을 고려했다. 제안된 온톨로지는 annotation 데이터의 재사용성을 높일 수 있고 의미 정보를 활용함으로써 eLearning, cyberclass과 같은 다중 사용자 환경에서 효과적인 협업을 가능하게 한다.

• Korean Journal of Computational Design and Engineering
• /
• v.11 no.2
• /
• pp.88-96
• /
• 2006

This paper introduces an approach to ontology-based framework for knowledge management in a product development domain. The participants in a product life cycle want to share the product knowledge without any heterogeneity. However, previous knowledge management systems do not have any conceptual specifications of their knowledge. We suggest the three levels of knowledge framework. First level is an axiom, which specifies the semantics of concepts and relations. Second level is a product development knowledge map. It defines the common domain knowledge which domain experts agree with. Third level is a specialized knowledge for domain, which includes three knowledge types; expert knowledge, engineering function and data-analysis-based knowledge. We propose an ontology-based knowledge framework based on the three levels of knowledge. The framework has a uniform representation; first order logic to increase integrity of the framework. We implement the framework using prolog and test example queries to show the effectiveness of the framework.

• Proceedings of the KSME Conference
• /
• 2003.04a
• /
• pp.1240-1247
• /
• 2003

Water jet nozzle for LCD has been used as a wet cleaning process in many industries. It is necessary for the nozzle to consider cleaning effect and flux. In this paper, we applied the bubble dynamic theory(Rayleight-Plesset equation) to improve the cleaning efficiency. Generally, Rayleigh-Plesset equations for cavitation bubbles are used in analyzing computer simulation for caviting flows. Burst of bubbles causes potential energies and we can use these energies to remove organic and inorganic compounds on the LCD. Therefore, it is necessary to analyze the bubble generations and axiomatic design by computational fluid dynamics(CFD). By comparing the weight matrix of neural networks to the design matrix of axiomatic design, we propose methods to verify designs objectively. The optimal solution could be deduced by the regression analysis using the design parameters.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.7 no.2
• /
• pp.8-15
• /
• 2008

Current trend of design technologies shows engineers to objectify or automate the given decision-making process. The numerical optimization is an example of such technologies. However, in numerical optimization, the uncertainties are uncontrollable to efficiently objectify or automate the process. To better manage these uncertainties, Taguchi method, reliability-based optimization and robust optimization are being used. Based on the independence axiom of axiomatic design theory that illustrates the relationship between desired specifications and design parameters, the designs can be classified into three types: uncoupled, decoupled and coupled. To best approach the target performance with the maximum robustness is one of the main functional requirements of a mechanical system. Most engineering designs are pertaining to either coupled or decoupled ones, but these designs cannot currently accomplish a real robustness thus a trade-off between performance and robustness has to be made. In this research, the game theory will be applied to optimize the trade-off.

• Journal of Information Technology Applications and Management
• /
• v.25 no.1
• /
• pp.67-85
• /
• 2018

We propose a noise reduced risk aversion index for measuring risk aversion through a laboratory experiment to overcome disadvantages of the multiple pricing list format developed by Holt and Laury (2002). We use randomized multiple list choices with coarser classification and reward weighting, supplement the rank of risk aversion with extra individual characteristics of risk attitude, and construct an index of risk aversion by standardizing the risk aversion ranking with quantile normalization. Our method reduces multiple switching problems that noisy decision makers mistakenly commit in experimental approaches, so that it is free of the framing effect which severely occurred in the HL. Furthermore, the index doesn't utilize any specific utility function or probability weighting, which allows researcher to hold the independence axiom. Since our noise reduced index of risk aversion has many good traits, it is widely used and applied to reveal fundamental characteristics of risk-related behaviors in economics and finance regardless of experimental environment.

• Proceedings of the KSME Conference
• /
• 2003.11a
• /
• pp.1763-1768
• /
• 2003

Current trend of design technologies shows engineers to objectify or automate the given decision-making process. The numerical optimization is an example of such technologies. However, in numerical optimization, the uncertainties are uncontrollable to efficiently objectify or automate the process. To better manage these uncertainties, Taguchi method, reliability-based optimization and robust optimization are being used. Based on the independence axiom of axiomatic design theory that illustrates the relationship between desired specifications and design parameters, the designs can be classified into three types: uncoupled, decoupled and coupled. To best approach the target performance with the maximum robustness is one of the main functional requirements of a mechanical system. Most engineering designs are pertaining to either coupled or decoupled ones, but these designs cannot currently accomplish a real robustness thus a trade-off between performance and robustness has to be made. In this research, the game theory will be applied to optimize the trade-off.

• Kyungpook Mathematical Journal
• /
• v.54 no.3
• /
• pp.387-399
• /
• 2014

We show that in quasi-topological spaces, separation axiom $T_2$ is equivalent to ${\alpha}-T_2$, $T_0$ is equivalent to semi - $T_0$, and semi - $T_{\frac{1}{2}}$ is equivalent to semi - $T_D$. Also, we give characterizations for ${\alpha}-T_1$, semi - $T_1$ and semi - $T_{\frac{1}{2}}$ generalized topological spaces.