• 대한지리학회지
• /
• 제44권3호
• /
• pp.372-394
• /
• 2009

본 연구는 온톨로지 기반 시민참여형 GIS를 연구하였다. 최근에 온톨로지 기반 GIS는 의미적 의사소통을 위한 지리적 변수의 폭넓은 활용성과 유용한 지리적 지식을 추천하기 위한 수요에 따라 주목받고 있다. 그래서 이 연구는 시민참여형 GIS를 위한 실험적 시스템의 설계와 구현에 초점을 맞추었다. 실험적 시스템의 적용 가능성은 경기도 구리시의 역사관광을 대상으로 실험을 통해 확인하였다. 방법론 측면에서 지역상황과 사용자 인식에 연관된 생명주기모형은 공리를 통해 지리적 지식발견을 추천하고, 이는 주요한 사전절차단계(명세화, 개념화, 정규화, 통합과 구현)를 통해 가능하다. 이 연구의 온톨로지는 실용적 측면에서 추론을 통한 지리적 지식을 추천하였다. 더불어, 이 연구의 온톨로지 기반 시민참여형 GIS는 인식론적 접근과 존재론적 접근의 통합을 보여주고, 의미론적 의사소통과 연계된 지표를 제공하였다는 것에 의미가 있다. 실험적 시스템의 결과는 연구지역에서 시나리오의 형태로 적용하고, 이 모델은 인간 활동의 의미에서 논리적인 제약요소의 공리를 활용하였다.

• 한국해양학회지:바다
• /
• 제13권3호
• /
• pp.246-251
• /
• 2008

심해저 망간단괴 집광시스템(이하, 집광시스템)의 개념설계가 공리적 설계(Axiomatic Design)의 관점에서 평가되었다. 또한 이미 수행된 집광시스템의 개념설계에 대해 기능적 영역의 기능요구와 물리적 영역의 설계파라미터가 구체화되었다. 기능요구와 설계파라미터의 상호관계는 첫 번째 수준 계층에서 하위 수준 계층으로 순차적으로 분석되었다. 이러한 상호관계는 설계행렬의 형태로 표현되었고 기능요구와 설계파라미터 사이의 독립성을 판단하기 위한 지표로 사용되었다. 설계행렬의 분석결과 본 집광시스템은 설계파라미터간에 연성이 되지 않는 비연성화된 설계임이 확인되었다. 결과적으로, 본 집광시스템은 독립공리(Independence Axiom)를 만족하는 잘된 설계임이 개념적으로 입증되었다.

• 충청수학회지
• /
• 제26권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.

• 대한수학회보
• /
• 제38권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$.

• 충청수학회지
• /
• 제24권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.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 춘계학술대회논문집C
• /
• 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.

• 대한수학교육학회지:수학교육학연구
• /
• 제24권4호
• /
• pp.595-605
• /
• 2014

소수점 아래 0에서 9까지의 임의의 숫자가 무한히 나열되는 무한소수는 '소수점 아래끝자리까지의 모든 숫자를 명확하게 알 수 없는 모호한 수'라는 불투명성을 가지고 있다. 이 논문에서는 이와 같은 불투명성을 야기하는 무한소수 기호로부터 어떻게 연속적인 수를 창조할 수 있었는지를 분석하였다. 무한소수 기호의 완비성 공리에 대한 투명성에 의존하여, 실수 개념이 엄밀하게 형식화되기 이전에도 수학자들은 실수 개념을 다룰 수 있었다. 이 논문의 수학적 역사적 분석은 무한소수에 의존하여 실수 개념을 전개하는 학교수학의 접근과, 완비순서체로서의 실수의 형식적 정의를 다루는 대학수학의 접근 사이에서 야기될 수 있는 이중단절의 문제를 극복하는 데 도움이 될 수 있을 것이다.

• 대한기계학회논문집A
• /
• 제26권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
• /
• 제28권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.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1996년도 추계학술대회 논문집
• /
• 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.