• 한국수학사학회지
• /
• 제21권2호
• /
• pp.55-70
• /
• 2008

본 연구에서는 유클리드의 저작중의 하나인 자료론에 대해 소개하고자 한다. 먼저 자료론의 내용 구성에 대해 살펴보고, 이러한 고찰을 바탕으로 하여 이 책의 형식적인 체계에 대해 분석한다. 형식적인 체계는 정의와 명제, 증명이 기술되어진 방법에 대해 분석하고, '주어진(given)' 이 가지는 의미에 대해 살펴본다. 마지막으로는 자료론이 지니고 있는 수학적인 의미에 대해 분석한다. 수학적인 의미는 대수적인 관점, 기하학적인 관점, 유클리드의 원론과 대비된 관점에서 살펴본다.

• East Asian mathematical journal
• /
• 제32권4호
• /
• pp.483-500
• /
• 2016

Ancient Greek mathematician Euclid left three books about mathematics. It's 'The elements', 'The data', 'On divisions of figure'. This study is based on the analysis of Euclid's 'On divisions of figure'. 'On divisions of figure' is a book about the construction of the shape. Because, there are thirty six proposition in 'On divisions of figure', among them 30 proposition are for the construction. In this study, based on the 'On divisions of figure' we explore the direction for construction education. The results were as follows. First, the proposition of 'On divisions of figure' shall include the following information. It is a 'proposition presented', 'heuristic approach to the construction process', 'specifically drawn presenting', 'proof process'. Therefore, the content of textbooks needs a qualitative improvement in this way. Second, a conceptual basis of 'On divisions of figure' is 'The elements'. 'The elements' includes the construction propositions 25%. However, the geometric constructions contents in middle school area is only 3%. Therefore, it is necessary to expand the learning of construction in the our country mathematics curriculum.

• 한국정보통신학회논문지
• /
• 제8권7호
• /
• pp.1506-1511
• /
• 2004

디지털 통신망을 통한 정보 송수신시 전송로 상에서의 잡음으로 인해 데이터 블록에 발생하는 오류는 전체 통신 시스템의 성능 및 전송효율에 지대한 영향을 미친다. 설계된 RS 코드 복호기는 오류 위치 다항식과 오류평가 다항식을 구하기 위해 수정된 유클리드 알고리즘을 적용하였다. 본 논문에서 적용된 설계 구조와 알고리즘 계산 방식은 복호기 설계시 1개의 셀을 사용하여 면적을 최소화하고, 연산을 ROM과 병렬 구조로 구성하였기 때문에 높은 동작주파수에서 고속 동작을 실현 할 수 있을 것이라 기대된다. 본 논문에서 설계된 회로는 ModelSim과 Active-HDL 그리고 Synopsys Tool상에서 설계되었으며, Xilinx Virtex2 XC2V3000에 PNR시 slice 점유율은 28% 시스템 클럭 스피드는 45Mhz의 결과를 얻었다.

• Advances in aircraft and spacecraft science
• /
• 제7권3호
• /
• pp.251-269
• /
• 2020

Euclid is an optical/near-infrared survey mission of the European Space Agency (ESA) to investigate the nature of dark energy, dark matter and gravity by observing the geometry of the Universe and the formation of structures over cosmological timescales. The Euclid spacecraft mechanical architecture comprises the Payload Module (PLM) and the Service Module (SVM) connected by an interface structure designed to maximize thermal and mechanical decoupling. This paper shortly illustrates the mechanical system of the spacecraft and the mechanical verification philosophy which is based on the Structural and Thermal Model (STM), built at flight standard for structure and thermal qualification and the Proto Flight Model (PFM), used to complete the qualification programme. It will be submitted to a proto-flight test approach and it will be suitable for launch and flight operations. Within the overall verification approach crucial mechanical tests have been successfully performed (2018) on the SVM platform and on the sunshield (SSH) subsystem: the SVM platform static test, the SSH structure modal survey test and the SSH sine vibration qualification test. The paper reports the objectives and the main results of these tests.

• 대한수학교육학회지:수학교육학연구
• /
• 제23권2호
• /
• pp.173-192
• /
• 2013

2009 개정 교육과정의 중학교 기하영역에서 주목할 만한 변화 중 하나는 엄밀한 형식적인 증명대신 도형의 성질을 이해하고 설명하는 활동으로의 대치이다. 이는 수학교육의 꾸준한 논쟁거리였던 증명 교육과 관련한 학습자의 이해 수준 및 어려움을 고려한 결과이다. 본 연구는 학생들이 기하 증명시 경험하는 어려움 중 도형을 지칭하는 문자 및 형식적 기호를 사용한 증명 작성, 기호로 길게 제시된 증명 이해에서 비롯되는 형식적 특성의 것에 주목한다. 증명의 아이디어와는 별개로 문자 및 기호 사용에서 비롯되는 어려움을 극복하고자 문자 대신 채색된 그림이라는 시각적 표현을 이용함으로써 독자의 학습을 쉽게 하려고 했던 Byrne의 'Euclid 원론'에 사용된 증명 방법을 이용하여 지도해봄으로써 오늘날 기하 수업에서의 적용가능성을 검토하고자 하는 것이다. 이를 위해 중학교 2학년 한 학급을 대상으로 기하 단원의 세 개 정리에 대한 증명을 원문, 역동적 표현, 교사의 판서 등 세 개의 매체를 활용한 Byrne의 방법으로 지도하고, 학생들의 활동결과 및 학생과 교사의 설문 결과를 분석함으로써 새로운 대안의 장단점을 토대로 적용 가능성을 논의한다.

• 대한수학교육학회지:학교수학
• /
• 제9권4호
• /
• pp.523-533
• /
• 2007

이 논문에서는 피타고라스 정리에 대한 피타고라스와 유클리드의 증명의 의미를 역사적, 수학적 관점에서 고찰하였다. 피타고라스의 닮음비에 의한 증명 방법은 통약성이라는 수에 대한 가정에 근거한 것이라고 볼 수 있다. 반면 유클리드는 통약성이 필요 없는 분해 합동이라는 순수한 기하학적 방법으로 다시 증명하였다. 피타고라스 정리의 증명에서 엿볼 수 있는 피타고라스와 유클리드의 기하에 대한 다른 접근 방식을 현 학교 기하의 바탕이 되는 Birkhoff와 Hither 공리계와 연관하여 논의하였다. Birkhoff는 엄밀하게 정의된 실수 개념을 상식으로 수용하여 현대수학적인 평면 기하 공리계를 제안하였으며, Hilbert는 실수 개념에 의존하지 않는 순수한 기하학을 추구했던 유클리드적 정신을 계승하였다. 따라서 피타고라스 정리에 대한 닮음비와 분해합동을 이용한 증명, 또 넓이에 의한 증명과 넓이가 같음에 의한 증명의 차이는 전통적인 유클리드의 종합기하적 전개와 현대수학적 전개사이의 갈등이라는 기하 교육에서 아직도 완전히 해결되지 않은 논점과 관련이 있다.

• 대한전자공학회논문지SD
• /
• 제45권6호
• /
• pp.96-103
• /
• 2008

본 논문에서는 새로운 저전력 및 저면적 리드-솔로몬 (Reed-Solomon) 복호기를 제안한다. 제안하는 리드-솔로몬 복호기는 새로운 단순화된 수정 유클리드 알고리즘을 사용하여 낮은 하드웨어 복잡도 및 저전력 리드-솔로몬 복호가 가능하다. 새로운 단순화된 수정 유클리드 알고리즘은 하드웨어 복잡도를 줄이기 위해서 새로운 초기 조건 및 다항식 연산 방식을 사용한다. 따라서 3t개의 기본 셀로 구성된 새로운 단순화된 수정 유클리드 구조는 기존 수정 유클리드 구조는 물론 베르캠프-메세이 구조들에 비해 가장 낮은 하드웨어 복잡도를 갖는다. $0.18{\mu}m$ 삼성 라이브러리를 사용하여 논리합성을 수행한 리드-솔로몬 복호기는 370MHz의 동작 주파수 및 2.9Gbps의 데이터 처리 속도를 갖는다. (255, 239, 8) 리드-솔로몬 코드 복호를 수행하는 단순화된 수정 유클리드 구조와 전체 리드-솔로몬 복호기의 게이트 수는 각각 20,166개와 40,136개이다. 따라서 구현한 리드-솔로몬 복호기는 기존 DCME 복호기에 비해 5%의 게이트 수 절감 효과를 갖는다.

• 한국정보통신학회논문지
• /
• 제8권1호
• /
• pp.170-178
• /
• 2004

본 논문에서는 Modified Euclid 알고리즘을 이용하여 고속의 Reed-Solomon 복호기를 설계하였다. Reed-Solomon 부호의 복호 알고리즘은 오증을 계산하고, 에러 위치 다항식을 구한 후, 에러를 판단하여, 에러 크기 값을 구하는 4단계로 이루어지는데, 본 논문에서는 복호기의 속도를 증가시키고 Latency를 줄이기 위하여 병렬구조의 신드롬 생성기와 빠른 클록 속도의 Modified Euclid 알고리즘 블록을 사용하였으며, Chien Search 블록에서는 에러 위치 다항식을 짝수항과 홀수항으로 나누어 설계하였다. 먼저, 알고리즘과 회로의 동작을 확인하기 위해 C++로 프로그램을 작성하여 검증을 한 후, 이를 바탕으로 Verilog로 하드웨어를 기술하였다. 또한, 각 블록에 대한 로직 시뮬레이션을 거친 후, $.25{\mu}m$ CMOS 라이브러리를 이용하여 Synopsys사의 합성 툴로 합성을 하고, 최종적으로 후반부 설계인 레이아웃을 시행하였다. 본 논문의 칩은 최대 동작 주파수가 250MHz로서 최대 데이터 전송률은 1Gbps이다.

• 천문학논총
• /
• 제32권1호
• /
• pp.251-255
• /
• 2017

Submillimetre and millimetre-wave surveys with Herschel and the South Pole Telescope have revolutionised the discovery of strong gravitational lenses. Their follow-ups have been greatly facilitated by the multi-wavelength supplementary data in the survey fields. The forthcoming Euclid optical/near-infrared space telescope will also detect strong gravitational lenses in large numbers, and orbital constraints are likely to require placing its deep survey at the North Ecliptic Pole (the natural deep field for a wide class of ground-based and space-based observatories including AKARI, JWST and SPICA). In this paper I review the current status of the multi-wavelength survey coverage in the NEP, and discuss the prospects for the detection of strong gravitational lenses in forthcoming or proposed facilities such as Euclid, FIRSPEX and SPICA.

• 대한수학회지
• /
• 제50권2호
• /
• pp.275-306
• /
• 2013

For two positive integers $m$ and $n$, let $\mathcal{P}_n$ be the open convex cone in $\mathbb{R}^{n(n+1)/2}$ consisting of positive definite $n{\times}n$ real symmetric matrices and let $\mathbb{R}^{(m,n)}$ be the set of all $m{\times}n$ real matrices. In this paper, we investigate differential operators on the non-reductive homogeneous space $\mathcal{P}_n{\times}\mathbb{R}^{(m,n)}$ that are invariant under the natural action of the semidirect product group $GL(n,\mathbb{R}){\times}\mathbb{R}^{(m,n)}$ on the Minkowski-Euclid space $\mathcal{P}_n{\times}\mathbb{R}^{(m,n)}$. These invariant differential operators play an important role in the theory of automorphic forms on $GL(n,\mathbb{R}){\times}\mathbb{R}^{(m,n)}$ generalizing that of automorphic forms on $GL(n,\mathbb{R})$.