• 제목/요약/키워드: 체의 공리

검색결과 13건 처리시간 0.03초

공리적 설계를 이용한 원자로 핵연료봉 지지격자체의 설계 (Design of a Nuclear Fuel Rod Support Grid Using Axiomatic Design)

  • 송기남;강병수;최성규;윤경호;박경진
    • 대한기계학회논문집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.

실수계의 공리를 이용한 지수 ar의 학습과 지도

  • 이병수
    • 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.

공리적 설계를 이용한 Flapping 비행체의 성능 개선 (Improvement of Flapping Air Vehicle by Using Axiomatic Design)

  • 성호석;차성운;이경수
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1997년도 추계학술대회 논문집
    • /
    • pp.684-688
    • /
    • 1997
  • The human species has been able to fly for about a century - with the help of aircraft of various kinds. Recently. air vehicles which are like an insect or a bird with flapping wings have been appeared, although many of them are experimental flight vehicle. However, the rubber-powered flapping vehicle is put to practical use such as toy, which flies for some seconds. In this paper, we analyze and evaluate above the rubber-powered flight vehicle using axiomatic design and will present new four flapping wing model.

  • PDF

연산자로서의 유리수 체계의 구성에 관한 연구

  • 정영우;김부윤
    • East Asian mathematical journal
    • /
    • 제28권2호
    • /
    • pp.135-158
    • /
    • 2012
  • The ideals of the rings of integers are used to induce rational number system as operators(=group homomorphisms). We modify this inducing method to be effective in teaching rational numbers in secondary school. Indeed, this modification provides a nice model for explaining the equality property to define addition and multiplication of rational numbers. Also this will give some explicit ideas for students to understand the concept of 'field' efficiently comparing with the integer number system.

무한소수 기호: 불투명성과 투명성 (The Infinite Decimal Representation: Its Opaqueness and Transparency)

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

  • PDF

A reconstruction of the G$\ddot{o}$del's proof of the consistency of GCH and AC with the axioms of Zermelo-Fraenkel set theory

  • 최창순
    • 한국수학사학회지
    • /
    • 제24권3호
    • /
    • pp.59-76
    • /
    • 2011
  • NBG의 공리들을 충족시키는 모델로서의 집합 V 를 도입하고 그것의 요소들을 sets라 부르고 그것의 부분집합들을 classes라 부른다. 일반연속체가설 (GCH) 와 선택공리 (AC) 가 ZF 집합론과 무모순이라는 것에 대한 괴델의 증명을 그 이후 나온 Mostowski-Shepherdson mapping 정리, Tarski-Vaught 정리 및 Montague-Levy 정리의 반사원리들, NBG가 ZF의 보존적 확장이라는 정리 등을 이용하여 재구성해 본다.

한국의 도시동로가계 계층별 소득분포 (The size distribution of earned income of urban households in Korea)

  • 윤석범
    • Journal of the Korean Statistical Society
    • /
    • 제11권2호
    • /
    • pp.94-108
    • /
    • 1982
  • 소득분포에 관한 연구는 경제이론의 측면에서나 사회정의의 차원에서 많은 연구자들의 관심의 초점이 되어 왔다. 특히 경제 성장과 개발의 과정에서 그 과실의 분배효과가 장기적으로 공동체로서의 사회적 개발의식에 미치는 영향이 크다는 사실에 비추어 이 문제는 단순히 기능적인 측면에서의 고찰보다는 체제와 이념적인 차원으로서의 문제로 발전되고, 또한 이 차원에서 구명되는 주요과제로 남게 되었다. 이 논문은 RGKO 방정식을 소개하는 절은 서론뒤에 후속시켰고, 이에 따라 가설의 공리성을 그다음 절에서 밝히고 있으며, 그 뒤로는 구체적인 추정절차를 논술하고, 끝으로 결론과 부록을 첨부하였다.

  • PDF

비행체의 자세와 GPS 재머의 상대적인 배치상태를 고려한 4소자 및 7소자 항재밍장치에 대한 성능분석 (4 and 7 Element GPS Anti-jamming Algorithm Performance Analysis Considering the Relative Arrangement of the Multiple Jammers)

  • 최재건
    • 한국항행학회논문지
    • /
    • 제20권3호
    • /
    • pp.218-225
    • /
    • 2016
  • 일반적으로 알려진 GPS 항재밍 기술로는 재밍 방향에 대한 감쇄효과를 얻는 널 스티어링 (null steering)과 위성방향으로의 추가 합성이득을 얻는 빔 스티어링 (beam steering) 방식이 있다. 이 신호처리 알고리즘을 소개하는 문헌에 의하면, 수학 공리에 따라 동시처리 가능한 재밍의 개수는 배열안테나 소자의 개수 N 에서 기준 안테나 1개를 제외한 N-1 개에 대해서만 유효하다는 표현을 하지만, 재머 배치나 비행체의 자세 그리고 둘 간의 상대적 배치 등 실질적인 운용 조건을 고려한 알고리즘 특성에 대한 분석은 알려져 있지 않다. 이에 본 논문에서는 4소자 및 7소자 표준 배열안테나가 적용된 항재밍 시스템을 모델링하여 비행체의 자세(수평, 수직)와 재머 배치, 그리고 안테나 소자 수를 고려한 두 항재밍 알고리즘(PM, LCMV)에 대한 성능 분석을 하였다. 결과적으로, 동일한 JSR 환경임에도 불구하고, 위성 신호와 재밍 신호 간 입사각이 상대적으로 큰 비행체의 수직 자세의 경우 수평 자세보다 약 10 dB 이상의 이득이 있음을 시뮬레이션을 통해 제시 하였다.

예비중등교사의 수학화 능력을 신장하기 위한 교수단원의 설계: n-단체(simplex)의 n-부피 탐구 (A Design of Teaching Unit to Foster Secondary Pre-service Teachers' Mathematising Ability: Inquiry into n-volume of n-simplex)

  • 김진환;박교식
    • 대한수학교육학회지:학교수학
    • /
    • 제8권1호
    • /
    • pp.27-43
    • /
    • 2006
  • 이 연구의 목적은 예비중등교사들의 실제적인 수학화 능력을 신장할 수 있도록 n-단체의 n-부피를 탐구하는 교수단원 를 설계하는 것이다. 이 교수단원에서는 2차원 도형인 삼각형의 넓이와 3차원 도형인 사면체의 부피를 n-단체의 n-부피로 일반화하는 것에 초점을 맞추고 있다. 이 일반화 과정에는 형식불역의 원리와 카발리에리의 원리가 적용된다. n-단체의 n-부피를 구하기 위해 n-직교삼각기둥을 정의하고, 그것의 n-부피를 공리적으로 탐색한다. 그리고 n-단체의 n-부피를 벡터와 행렬식을 이용하여 구한다. 이 교수단원을 통해 예비 중등교사들은 삼각형과 사면체의 일반화된 도형인 n-단체, 그리고 삼각형의 넓이와 사면체의 부피의 일반화된 n-단체의 부피를 이해하고 탐구할 수 있고, 학교수학과 학문수학의 자연스런 연결을 도모할 수 있다.

  • PDF