• 대한수학교육학회지:수학교육학연구
• /
• 제13권1호
• /
• pp.13-28
• /
• 2003

Practice of proof is considered in, the view of language and meta-mathematics, recognizing the role of proof that is the means of communication and development of mathematical understanding. Linguistic components in proof texts are symbol, verbal language and visual text, and contain the implicit knowledge in the meta-mathematics view. This study investigates the functions of linguistic elements according to Halliday's functional grammar and the rhetoric skills in proof texts in math textbook, teacher's note, and student's written text. We need to inquire into the aspects of language for mathematics learning process and the understanding and use of students' language.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 춘계학술발표대회
• /
• pp.918-921
• /
• 2010

본 연구에서는 Simulink Model(이하 Model)을 C Code 로 변환시켜주는 자동 코드 생성기, SimAutoCodeGenerator 를 제안하였다. Model 의 테스트케이스를 생성하기 위한 작업에서 반복적인 프로그램의 실행을 통한 테스터와의 다양한 피드백이 필요하다. 이때, Simulink는 이런 작업을 하는 데 있어서 적절한 정보를 제공하기 어려울 뿐만 아니라 테스트 케이스를 생성하는데 필요한, 실행 시 특정 시점으로 돌아가는 기능을 수행하기 위해서는 프로그램을 정지한 후 다시 실행해야하는 문제점을 가지고 있다. 본 연구에서는 이와같은 단점을 보완하기 위하여 Model 을 C 코드로 변환하였다. 생성된 C 코드는 Model 과의 일치성을 증명한 후 자동 테스트케이스 생성을 위한 프로그램에 쓰이게 될 것이다. 먼저 C 코드의 생성 메커니즘을 알아보고 생성된 C 코드와 Model 의 일치성을 증명하였다.

• 한국전자파학회:학술대회논문집
• /
• 한국전자파학회 2001년도 종합학술발표회 논문집 Vol.11 No.1
• /
• pp.194-197
• /
• 2001

본 논문에서는 결합창으로 결합을 구현한 유전체 공진기 필터의 결합창 특성을 해석하였다. 결합창의 특성을 결합계수로 표현하였으며, 간단한 표현식으로 유도하였다. 결합창의 크기를 변화시키면서 해석 방법을 적용하여 결합계수를 계산하였고, 측정결과와 비교하여 해석의 유효성을 증명하였다. 본 논문에서 제안한 방법은 적용이 간단할 뿐 아니라, 결합창의 제작 및 측정오차 범위에서 정확한 결과를 보였다. 본 논문에서 제안한 방법은 유전체 공진기 필터의 설계 및 유전체 공진기와 Varactor diode로 이루어지는 동조필터가 동조주파수 대역에서 일정한 통과대역폭을 가지기 위한 최적화된 결합창의 설계적용이 가능하다.

• 전력전자학회논문지
• /
• 제5권3호
• /
• pp.276-284
• /
• 2000

저항 스폿용접기에서 용접품질의 보증은 오래 계속 되어온 문제이었다. 본 논문에서는 용접품질과 전극분리와의 관계를 조사하였으며 전극분리가 하나의 제어변수로써 사용될 수 있음을 실험적으로 입증하였다. 피드백신호로서 전극분리를 이용한 퍼지제어에 기초를 둔 용접품질개선을 제시하였다. 저항 스폿용접기의 용접품질은 인장전단강도시험과 같은 파괴적인 검사에 의해 증명되었다. 시험결과는 퍼지 제어기를 이용한 전극분리 제어의 성능이 종래의 정전류 제어와 비교하여 훨씬 더 우수하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제36권1호
• /
• pp.23-38
• /
• 2022

본 연구는 Newton의 Principia의 핵심인 역제곱 법칙의 증명에서 'QT²/QR가 통경으로 수렴'하는 것을 보여주는 증명의 난해함을 극복하기 위하여, Newton 증명을 발견적으로 볼 수 있는 하나의 관점을 제시하였다. 그것은 QR/QT²의 분모와 분자를 공액지름 쌍과 관련한 선분으로 나타내면 Apollonius의 Conic sections에 등장하는 이들 사이의 관계(PV × VG/QV² = PC²/CD²)에 의해 모종의 원하는 값인 어떤 상수의 값을 얻을 수 있을 것이라는 믿음이 증명의 출발점이라는 관점이다. 본 연구에서 제안한 발견적 관점은 식 QT²/QR 변형의 방향을 제시함으로써, 독자들이 Newton 증명을 보다 쉽게 이해할 수 있게 돕는다는 점에서 그 의의를 찾을 수 있다.

• 대한수학교육학회지:학교수학
• /
• 제13권1호
• /
• pp.107-125
• /
• 2011

본 논문에서는 GSP(The Geometer's Sketchpad)를 이용한 역동적 기하 환경이 학생의 기하학적 성질의 추측에 어떤 영향을 미치는지를 살펴보았다. 좀 더 구체적으로 살피면, GSP 환경에서 학생들은 문제 상황에서 주어지지 않은 새로운 조건들을 생성하고 그 조건하에서 성질을 추측하는 활동이 활발하고, 문제의 조건이 너무 적은 개방적인 문제 상황에서는 추측 활동이 미약하였다. 또한 GSP 환경에서 추측한 성질은 지필환경에서 추측한 성질보다 복잡하였고 증명하기 어려웠으며 GSP의 다양한 기능 중 'Alt' 키를 이용하여 화면을 이동시킬 수 있는 기능은 측정과 계산 기능 등 과 같이 기하적 성질의 추측에 요긴하게 사용되었다. 또한 학생들은 기하적 성질을 증명할 때보다 스스로 기하적 성질을 발견하였을 때 더 자부심을 갖게 되며 더 기쁘게 생각하였다.

• 프린팅코리아
• /
• 제14권10호
• /
• pp.84-85
• /
• 2015

독일 파키르첸 바바라인시에 위치하고 있는 콘젤라 베르라크스부쉬빈데리 우르반 메이스터 GmbH&Co.KG사는 뮬러마티니 사철기 벤추라 MC 160을 도입해 그 성능을 시험해왔다. 마르쿠스 에스테르만 생산부장은 공간을 많이 차지하지 않는 이 기계가 작동하기 쉽고, 가성비가 뛰어나 솔루션의 가치를 증명하고 있다고 밝혔다.

• 의료법학
• /
• 제22권2호
• /
• pp.49-79
• /
• 2021

피고의 잘못된 임플란트 시술로 인하여 원고는 임플란트 보철물 도재 파절 및 역미소선, 치주염 등의 심각한 손상을 입은 사건에서 피고는 원고에게 불법행위 또는 채무불이행으로 인한 손해배상으로 향후 치료비와 위자료를 지급하라는 판결이 나왔다. 이번 대상판결에서는 치과치료에 관한 사안으로서 일반적인 의료과오소송과 마찬가지로 고도의 전문적 지식을 필요로 하는 분야로서 비전문가인 일반인으로서는 치과의사가 의료행위 과정에서 주의의무 위반이 있었는지 여부나 환자에게 발생한 손해 사이의 인과관계가 있었는지 여부를 밝혀내기 극히 어려우므로 증명책임을 경감하는 것으로 구성한 것이다. 대상판결의 사안에서처럼 수술 도중이나 수술 후에 환자에게 중한 결과의 원인이 된 증상이 발생한 경우에 그 증상의 발생에 관하여 의료상의 과실 이외의 다른 원인이 있다고 보기 어려운 간접사실들이 증명된 경우에는 그와 같은 증상이 의료상의 과실에 기한 것이라고 추정할 수 있다고 판시하였다. 특히 대상판결에서는 일반적인 수술적 치료의 사안이 아닌 임플란트의 시술의 사례로서 수단채무로서 치과진료의 의료과오소송에서 치과의사의 과실에 관한 환자의 입증책임을 소위 '사실상 추정론'에 근거하여 대폭 경감함으로써 의료기술의 발달과 증가하는 현대 의료과오소송에서 세계적 입법추세인 입증책임의 전환에 더욱 가까이 접근하였다는 점에서 큰 의미를 부여할 수 있다. 이러한 점은 대상판결에서 치과의사의 '과실'의 판단에 있어 "그 증상이나 발생에 관하여 의료상의 과실 이외의 다른 원인이 있다고 보기 어려운 간접사실이 증명되면 그와 같은 증상이 의료상의 과실에 기한 것이라고 추정할 수 있다"고 판시한 점에서 명확히 확인된다.

• 과학교육연구지
• /
• 제37권1호
• /
• pp.233-243
• /
• 2013

이 연구의 목적은 기주의 길이와 공명주파수의 관계를 정량 분석할 수 있는 교육용 실험기구를 개발하는 것이다. 일회용 플라스틱 주사기와 분자모형 조립용 플라스틱 구를 이용하여 '머리' 달린 기주 공명 장치를 제작하고 상용화된 소프트웨어를 이용하여 PC 실험시스템을 구성하였다. 연구 결과, PC 실험시스템은 전문가용 장비를 대신할 수 있는 것으로 나타났다. 주사기로 만든 이 실험기구는 '관'이 아닌 '헬름홀쯔 공명기'인 것으로 증명되었다. 실험으로 얻은 자료가 소리공명현상을 증명할 수 있는 것으로 나타났다. 결론적으로, 이 주사기 공명기는 중고등학생을 위한 영재교육이나 대학 음향실험용으로 사용가능한 실험장치이다.

• 대한기계학회논문집 C: 기술과 교육
• /
• 제3권1호
• /
• pp.71-78
• /
• 2015

각국의 무인기 카테고리 분류 기준에는 차이가 있으나, 대부분의 국가에서는 중량을 기준으로 25 kg(55 lb) 이하를 소형무인기로 분류하고 있다. 소형무인기는 주로 군사용, 공공용으로 개발되어 왔으나, 최근에는 취미 및 미디어 촬영 등을 위하여 민간분야로 확산되고 있다. 하지만 이러한 무인기를 운영하기 위해서는 유인기와 같은 수준의 안전성을 확보할 필요가 있다. 이는 무인기가 유인기와의 충돌이나 추락에 의해 지상 피해를 유발할 수 있기 때문이다. 본 논문에서는 미국과 유럽의 국가들을 중심으로 소형무인기 운용을 위한 입법 및 운용 승인제도에 대해 조사하였다. 또한 소형무인기 운영을 위한 국내 제도 마련 방안에 대해서도 연구하였다.