• 대한수학교육학회지:수학교육학연구
• /
• 제14권1호
• /
• pp.111-127
• /
• 2004

본 연구는 기하 부분의 내용이 초등학교에서 중학교로 발전 전개되는 과정에서 일부 용어의 정의와 평행선과 각의 취급에 대하여 알아보았고, 교육과정에 제시된 관련내용을 분석하고 그에 따른 현행 교과서를 살펴보았다. 다음에 관련된 분야의 일부 외국교과서를 비교 분석하여 그 상황을 알아보았다 그 결과 현행 교과서 보다 바람직한 내용의 취급을 위해서는 우선 체계적인 학습을 할 수 있도록 교육과정에 보다 적합한 학습내용과 그 취급 방법을 제시해야만 하고, 그에 따라 교과서도 보다 적합하게 집필되어야 함을 제시하였다. 이를테면 용어의 정의는 반복하여 충분히 이해하도록 하고, 특히 교육의 다양성을 위해서 평행선의 성질에 관한 내용은 공준으로 도입하여 활용할 수도 있고, 우수한 학생들은 증명을 하여 활용할 수도 있도록 다양한 취급을 하는 것이 바람직함을 제시하였다. 그리고 특히 현행 교과서에서는 <7-나 단계에서 취급되고 있는 맞꼭지각의 성질과 평행선의 성질과 같은 연역적 추론에 의해서 증명될 수 있는 내용들은 18- 나 단계>로 이동을 하여 학습하는 것이 학습 체계의 연계에 바람직함을 제시하였다.

• 한국수학교육학회:학술대회논문집
• /
• 한국수학교육학회 2008년도 제40회 전국수학교육연구대회 프로시딩
• /
• pp.17-28
• /
• 2008

이 논문은 중학교 기하 영역의 수업에 대한 학생들의 성취도가 낮은 것을 관찰하고, 그에 대한 고민으로 교육과정을 분석하고, 수학교육의 질적 접근을 위한 교수 실험을 통해 실제 중학교 과정에서 운용되는 논증기하 교육의 문제점과 그 대안을 탐색하고자 하였다. 본 연구에서는 교사가 반드시 갖춰야 할 지식으로 Shulman(1986)이 제시한 교과 내용 지식과 교수학적 내용 지식, 그리고 교육과정 관련 지식을 받아들였으며, 중학교 기하 영역에서 이런 지식을 갖추기 위해 교사가 폭넓은 고민을 하여 수업의 개선점을 찾는 과정을 보여주고 있다. 연구를 통해서 학생들에게 명제를 지도할 때 주의할 점과 학습자에게 증명을 하도록 제시하는 방법상의 문제점, 그리고 이등변삼각형의 지도에서의 그 증명이 갖는 의미를 잘 이해하여 학생들에 증명 학습에 진정한 도움이 될 수 있는 방향을 탐색하였다. 그리고 절차만을 학습시키는 현행 작도 수업을 개선하기 위한 여러 시도와 등변사다리꼴의 학습에서와 같이 학생들이 수학 용어를 되돌아보는 수업이 필요성을 탐색하여, 많은 교수 실험을 통한 교육과정의 바람직한 개정을 제안하였다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2001년도 종합학술발표회논문집
• /
• pp.60-63
• /
• 2001

무선 이동통신의 발전으로 인해 많은 사용자가 발생하였다. 그러나 1세대나 2세대의 경우 이동통신서비스는 기본적으로 음성을 기반으로 서비스를 하였기 때문에 다른 멀티미디어 서비스와 같은 고속 무선 인터넷 통신 수요자의 요구를 충족시키지 못하고 있다. 향후 무선에서 음성위주의 서비스가 아닌 데이터와 이동 멀티미디어 서비스와 같은 서비스를 통해 얻을 수 있다. 하지만 무선망은 전송로가 노출되어 있어 정당하지 않는 사용자에 의한 불법적인 절취 사용과 도청등에 많은 문제점이 발생할 수 있다. 악의적인 제 3의 사용자가 공유되어 있는 문서에 대한 문제점뿐만 아니라 양자간의 계약 혹은 과금 정보에 있어 악의적인 목적을 막는 방법이 필요하다. 다음과 같은 방법에 대한 해결책으로써 문서에 대한 내용증명과 시점확인이 바로 그것이다. 본 논문에서는 앞에서 언급한 문제점을 해결하고자 유선에서 사용중에 있는 시점확인 서비스 혹은 내용 증명 서비스를 향후 발전할 IMT-2000에 적용하여 보았다. 제안한 방식은 IMT-2000에서의 개체를 그대로 이용하면서 효율적인 방식을 제안하였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제25권2호
• /
• pp.225-240
• /
• 2015

본 연구에서는 중점연결정리의 사각형으로의 확장을 소재로 학교수학에서 다루어지는 증명의 대표성에 대해 고찰하였다. 다양한 사각형을 생각하고, 그에 맞는 중점연결정리의 확장을 증명하였으며, 이들 증명 간의 관계를 파악하여 학교수학에서의 증명이 대표성을 가짐을 보였다. 한편, 이러한 내용에 기초한 실태조사에서 학생들은 사각형 종류의 일부만을 찾았으며, 찾은 사각형 각각에 대한 증명은 쉽게 완성하였으나, 같은 수학적 사실을 증명하고 있음에도 대상 도형이 바뀌면 다른 증명 방법이나 수학적 개념을 사용하는 경향을 보였다. 따라서 증명들 간의 관계를 파악하는 것을 어려워하였다. 이러한 사실들은 구체적 도형에 대한 증명은 할 수 있으나, 증명들 간의 관계를 이해하여 일반화하는 증명의 대표성에 대한 이해는 부족함을 보여준다. 따라서 증명활동이 유기적이고 의미론적으로 이루어질 필요가 있음을 알 수 있다.

• 전기의세계
• /
• 제35권6호
• /
• pp.347-353
• /
• 1986

본고의 내용은 다음과 같다. 1. 자연어의 이해시스템 2. 문제해결 및 정리의 증명 3. 지각 및 패턴인식 4. 지능 Robot

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 Ⅲ
• /
• pp.1511-1514
• /
• 2003

본 논문에서는 지능형 방송에서 내용 기반 검색 서비스에 관해 연구하였다. 이를 통해 MPEG-7 오디오/비주얼 서술자들을 이용하여 TVAF 메타데이타와 메타데이타 전송 서비스 스키마를 확장하였다. 그리고 MPEG-7 오디오 서술자를 이용한 내용 기반 검색 시 나리에 제안된 스키마를 적용하여 효용성을 증명하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 추계학술발표대회(하)
• /
• pp.707-710
• /
• 2003

인터넷은 전 세계를 연결하는 매체로서, 그 사용자가 매년 폭발적으로 증가하고 있다. 이러한 인터넷 사용자간의 자료 교환 수단으로서 전자우편은 표준이라 말할 수 있을 만큼 많이 사용되고 있다. 일반 편지에서부터 상업광고 목적의 전자우편에 이르기까지 다양한 분야에서 사용되고 있다. 하지만 이러한 전자우편에도 많은 문제가 존재한다. 기존의 전자우편은 간단한 방법으로 내용을 열람하거나 변조할 수 있어 중요한 정보나 사생활 노출의 위험에서 벗어날 수 없다. 이러한 데이터에 대한 보안이 기대에 미치지 못하고 있기 때문에 암호학적으로 강력한 전자우편 시스템의 개발이 시급하다 본 논문에서는 기본적인 정보보호 서비스 외에 기존의 전자우편 시스템에서는 제공되지 않는 배달 증명 및 내용 증명 기능을 제공하고 자바 암호 API를 사용하여 안전한 키 교환이 가능하도록 하였다.

• 대한전자공학회논문지SD
• /
• 제40권7호
• /
• pp.469-473
• /
• 2003

적외선 영상기법을 이용해 반절연 GaAs 기판 내의 EL2 영상에 대한 Photoquenching의 영향을 성장원상태(as-grown)의 샘플과 열처리 샘플을 중심으로 분석하였다. 본 논문에서 Quenching 메커니즘은 샘플에 의존적이고 또한 Quenching율은 샘플의 성장조건과 Quenching 온도에 따라 다르다는 것을 영상적으로 정확히 증명하고 있는데 이 기존의 연구내용과는 다소 상충된 새로운 내용이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (중)
• /
• pp.1111-1114
• /
• 2002

본 논문에서는 메시지 암 복호화는 물론 디지털 서명 및 배달 증명이 가능 가능한 보안 전자 메일 시스템의 설계 및 구현에 관하여 기술한다. 제안된 시스템은 이메일의 내용을 암호화하여 이메일 수신자만이 그 내용을 볼 수 있도록 하는 기밀성을 제공해 주며, 디지털서명 기능을 제공하여 송신자라고 주장하는 사용자와 이메일을 실제로 보낸 송신자가 동일인인가를 확인해준다. 또한, 메시지 무결성, 송신자 부인 봉쇄 그리고, 배달증명 서비스를 제공한다. 제안된 시스템의 구현은 자바 암호 API 클래스를 기반으로 하였고, GUI를 위해 J빌더 6을 사용하였다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
• /
• pp.105-112
• /
• 1997

전자상거래(Electronic Commerce)를 광범위하게 활용하기 위해서는 시큐리티 확 보 방안이 먼저 마련되어야 한다. 전자상거래와 관련된 시큐리티 문제에는 통상적인 정보보 안 이외에 메시지 발신자의 신원을 증명하는 신원 인증과, 메시지 내용의 완전성 및 정확성 을 보장하는 메시지의 완전성 보장, 그리고 메시지의 송·수신을 증명하는 부인방지 등이 있 다. 본 논문에서는 전자상거래의 시큐리티 문제를 해결하는데 필요한 메시지 인증과 디지털 서명에 대해 소개하고, 또한 메시지 인증과 디지털 서명의 핵심적인 요소인 해쉬함수를 분 석한다.