• Journal of the Korean Geographical Society
• /
• v.44 no.3
• /
• pp.372-394
• /
• 2009

This study investigates the ontology-based public participation GIS(PPGIS). The major reason that ontology-based GIS has attracted attention in semantic communication in recent year is due to the wide availability of geographical variable and the imminent need for turning such recommendation into useful geographical knowledge. Therefore, this study has been focused on designing and implementing the pilot tested system for public participation GIS. The applicability of the pilot tested was validated through a simulation experiment for history tourism in Guri city Gyeongi-do, Focused on the methodology, the life cycle model which involves regional statues and user recognition, can be viewed as an important preprocessing step(specification, conceptualization, formalization, integration and implementation) for recommended geographical knowledge discovery by axiom. Focusing on practicality, ontology in this study would be recommended for geographical knowledge through reasoning. In addition, ontology-based public participation GIS would show integration epistemological and ontological approach, and be utilized as an index which is connected with semantic communication. The results of the pilot system was applied to the study area, which was a part of scenario. The model was carried out using axiom of logical constraint in the meaning of human-activity.

• The Sea:JOURNAL OF THE KOREAN SOCIETY OF OCEANOGRAPHY
• /
• v.13 no.3
• /
• pp.246-251
• /
• 2008

The conceptual design evaluation of Deep-Sea Manganese Nodule Miner(DSNM) based on Axiomatic Design was preformed. Functional Requirements(FRs) in functional domain and Design Parameters(DPs) in physical domain were embodied for the given concept design of DSNM. Interactions between FRs and DPs were sequentially analyzed from the first level hierarchy to the lower level hierarchy. The interactions were expressed as design matrices which showed the dependence or independence between FRs and DPs. The results showed that the design of DSNM was not a coupled one, but a decoupled. Finally, it was conceptually verified that DSNM was a good design satisfying the independence axiom of the Axiomatic Design.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.3
• /
• pp.477-489
• /
• 2013

The aim of this paper is to give an alternative definition of sets as follows: A domain is a $set$ if and only if it belongs to Set.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.211-222
• /
• 2001

In this paper, we prove the existence and uniqueness of a $\delta(\Gamma)$-conformal density on the limit set of $\Gamma$ acting on visibility manifold H for a Fuchsian group $\Gamma$.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.4
• /
• pp.675-686
• /
• 2011

The aim of this paper is two fold: One of them is to introduce a formal definition of ordinals which is equivalent to Neumann's definition without assuming the axiom of regularity. The other is to introduce the weak transfinite set and show that the weak transfinite set is a transfinite limit ordinal.

• Proceedings of the KSME Conference
• /
• 2001.06c
• /
• pp.548-553
• /
• 2001

Recently, much attention is imposed on the design of the fuel assemblies in the Pressurized Light Water Reactor (PWR). Spacer grid is one of the main structural components in a fuel assembly. It supports fuel rods, guides cooling water and protects the system from the external impact loads. Various space grids have been proposed and new designs are also being created. In this research, a new spacer grid is designed by the axiomatic approach. The Independence Axiom is utilized for the design. For conceptual design, functional requirements (FRs) are defined and corresponding design parameters (DPs) are found to satisfy FRs in sequence. Overall configuration and shapes are determined in this process. Detail design is carried out based on the result of the axiomatic design. For the detail design, the system performances are evaluated by using linear and nonlinear finite element analysis. The dimensions are determined by optimization. Some commercial codes are utilized for the analysis and design.

• Journal of Educational Research in Mathematics
• /
• v.24 no.4
• /
• pp.595-605
• /
• 2014

Infinite decimals have an infinite number of digits, chosen arbitrary and independently, to the right side of the decimal point. Since infinite decimals are ambiguous numbers impossible to write them down completely, the infinite decimal representation accompanies unavoidable opaqueness. This article focused the transparent aspect of infinite decimal representation with respect to the completeness axiom of real numbers. Long before the formalization of real number concept in $19^{th}$ century, many mathematicians were able to deal with real numbers relying on this transparency of infinite decimal representations. This analysis will contribute to overcome the double discontinuity caused by the different conceptualizations of real numbers in school and academic mathematics.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.26 no.8
• /
• pp.1623-1630
• /
• 2002

Recently, much attention is imposed on the design of the fuel assemblies in the Pressurized Light Water Reactor (PWR). Spacer grid is one of the main structural components in a fuel assembly. It supports fuel rods, guides cooling water, and maintains a coolable geometry from the external impact loads. In this research, a new shape of the spacer grid is designed by the axiomatic approach. The Independence axiom is utilized for the design. For conceptual design, functional requirements (FRs) are defined and corresponding design parameters (DPs) are found to satisfy FRs in sequence. Overall configuration and shapes are determined in this process. Detail design is carried out based on the result of the axiomatic design. For the detail design, the system performances are evaluated by using linear and nonlinear finite element analysis. The dimensions are determined by optimization. Some commercial codes are utilized for the analysis and design.

• East Asian mathematical journal
• /
• v.28 no.2
• /
• pp.159-172
• /
• 2012

In all Mathematics I Textbooks(Kim, S. H., 2010; Kim, H. K., 2010; Yang, S. K., 2010; Woo, M. H., 2010; Woo, J. H., 2010; You, H. C., 2010; Youn, J. H., 2010; Lee, K. S., 2010; Lee, D. W., 2010; Lee, M. K., 2010; Lee, J. Y., 2010; Jung, S. K., 2010; Choi, Y. J., 2010; Huang, S. K., 2010; Huang, S. W., 2010) in high schools in Korea these days, it is written and taught that for a positive real number $a$, $a^{\frac{m}{n}}$ is defined as $a^{\frac{m}{n}}={^n}\sqrt{a^m}$, where $m{\in}\mathbb{Z}$ and $n{\in}\mathbb{N}$ have common prime factors. For that situation, the author shows his opinion that the definition is not well-defined and $a^{\frac{m}{n}}$ must be defined as $a^{\frac{m}{n}}=({^n}\sqrt{a})^m$, whenever $^n\sqrt{a}$ is defined, based on the field axiom of the real number system including rational number system and natural number system. And he shows that the following laws of exponents for reals: $$\{a^{r+s}=a^r{\cdot}a^s\\(a^r)^s=a^{rs}\\(ab)^r=a^rb^r$$ for $a$, $b$>0 and $s{\in}\mathbb{R}$ hold by the completeness axiom of the real number system and the laws of exponents for natural numbers, integers, rational numbers and real numbers are logically equivalent.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.11a
• /
• pp.891-895
• /
• 1996

Performance and efficiency of hybrid (hydraulic-mechanical) pick-up device of deep sea manganese nodules collector are very sensitive to altitude and altitude of pick-up head relative to undulating seafloor. For this reason, motion control of pick-up head relative to the changing deep sea topography and other disturbances is of particular importance in design of pick-up device. The concept of design axiom is applied to a pick-up device of hybrid type. Kinematic analysis conducted in absolute Cartesian coordinates gives position, velocity, and acceleration of the hydraulic cylinders which enable the pick-up head to keep the preset optimal distance from seafloor. Inverse dynamic analysis provides the driving forces of hydraulic cylinders and the reaction forces at each joint. Design sensitivity analysis is performed in order to investigate the effects of possible design variables on the change of the maximum strokes of hydraulic cylinders. The direct differentiation method is used to obtain the design sensitivity coefficients.