• 정보처리학회논문지A
• /
• 제14A권6호
• /
• pp.383-390
• /
• 2007

본 논문에서는 컴퓨터 대수 시스템과 베이지언 추론망 기반 학습자 모델을 이용하여 개발한 이공계 수학용 이러닝 시스템을 소개하였다. 이 시스템은 컴퓨터 대수 시스템 기반 수학용 콘텐츠 저작모델의 최근 모델인 동적 클라이언트 비의존형 모델을 따른다는 점과 개별 진단평가를 위한 추론 엔진으로 베이지언 추론망을 활용한 학습자 모델을 구성한다는 점에서 기존의 이러닝 시스템과 차별화된다. 이 시스템의 컴퓨터 대수 시스템 기반 저작모듈은 웹 수식표현에 관한 선지식이 없는 교수자에게 일체의 소프트웨어 지원 없이 수치계산, 기호연산, 그래픽처리가 가능한 수학 콘텐츠를 손쉽게 저작할 수 있는 환경을 제공해 주며, 베이지언 추론망을 웹과 연동되도록 구성한 평가모듈은 각 학습자의 학습영역별 학업성취도를 확률로 제시하는 것이 가능하도록 해주어, 학습자의 수준을 이원분류표와 같은 기존의 평가 방법보다 타당하고 과학적으로 진단해 준다. 이는 궁극적으로 학습자에게 보다 정확한 보충학습 내용을 제시하고, 사용자 개개인에게 가장 적합한 심화학습 내용을 적응적으로 제공해 주는 것이 가능하게 해 준다.

• 한국콘텐츠학회논문지
• /
• 제8권5호
• /
• pp.276-286
• /
• 2008

본 논문에서는 컴퓨터 대수 시스템을 기반으로 하는 웹 저작 환경과 베이지언 추론망을 적용한 학습자 진단 환경이 포함된 이공계 수학용 적응적 이러닝 시스템 개발에 대하여 소개하였다. 본 시스템을 활용하면 교수자는 컴퓨터 대수 시스템을 수식처리 엔진으로 하며 웹을 인터페이스로 하는 이공계 수학용 웹 콘텐츠를 쉽게 생성할 수 있다. 구체적으로 선형대수, 미분방정식 및 이산수학의 영역에서 콘텐츠 개발의 예를 소개하였다. 또한 학습자의 지식 영역별 수준을 조건부 확률을 이용한 통계적 추론에 의해 진단하여 그 결과에 따라 피드백을 생성하는 적응적 이러닝 웹 콘텐츠를 만들 수 있다. 본 시스템을 사용하여 개발한 이공계 수학용 웹 콘텐츠를 평가하기 위하여 그 결과물을 대학 강의에 적용하였고, 설문지 조사를 통하여 콘텐츠 사용에 대한 학습자의 반응을 평가하였다.

• 한국컴퓨터정보학회지
• /
• 제2권1호
• /
• pp.83-97
• /
• 1995

• 컴퓨터교육학회논문지
• /
• 제8권5호
• /
• pp.97-108
• /
• 2005

컴퓨터 대수 시스템은 최근 들어 WBI를 위한 웹 콘텐츠 저작을 보조할 수 있도록 웹과 연계된 시스템으로 기술이 변화하고 있다. 본 연구에서는 이러한 변화를 웹 연동 CAS 기술과 교수설계자동화 기술 측면에서 접근 분석하여 실제 구현되어 있는 웹 연동 CAS 기반의 수학용 웹 콘텐츠저작 모델들을 몇 가지로 분류하는 작업을 수행하였다. 그리고 그 결과를 토대로 보다 개선된 CAS 기반 웹 콘텐츠 저작 모델을 제안하였다. 또한 이 모델에 주 요소로써 작동하는 웹 매뉴얼 생성기를 Wolfram사의 webMathematica에서 사용하고 있는 MSP 기술을 모체로 하여 직접 개발하였으며, 이 도구를 사용하여 실제 동적인 수학용 웹 매뉴얼을 구현해 봄으로써 그 효용성을 살펴보았다.

• 정보보호학회논문지
• /
• 제4권2호
• /
• pp.17-28
• /
• 1994

Diffic-Hellman의 공개키 암호 프로토콜이 제안된 이후 이산 대수 문제의 어려움이 프로토콜의 안전도와 깊이 연관되었다. 유한체를 이용한 암호 기법을 EIGamal 이 세웠으나, Index-Calculus 알고리듬에 의해 유한체위에서 이산 대수 문제가 subexponential 알고리듬이 되어 기법의 안전도가 약해졌다. Nonsupersingular 타원 곡선을 선택하여 유한체대신 EIGamal 암호 기법에 적용하면 안전한 암호 시스템을 설계할 수 있다. 이 논문에서는 컴퓨터 구현시 용이한 nonsupersingular 타원곡선을 선택하는 방법, 유한체위에서의 연산, 평문을 타원 곡선의 원소로 끼워넣기(imbedding) 하는 방법등 타원 곡선을 암호 시스템에 적용하기 어려운 점들에 대한 해결 방법을 소개하고, 실제로 EIGamal기법을 컴퓨터로 구현하여 그 실행 결과를 밝혔다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 추계학술대회 논문집 학회본부 B
• /
• pp.564-566
• /
• 1999

계측 시스템이나 시스템 식별을 수행할 때 정확히 모델링 되는 플랜트를 가정할 경우, 입출력 신호간 혹은 상태 변수들 사이의 비선형 함수 관계를 유도해 낼 수 있다. 그런데 특히 비선형 함수가 매우 복잡하여 해를 닫힌 형태로 구할 수 없을 경우 고려하는 변수들 양자간의 수학적 모델링을 기반으로 루프내 변수가 방정식의 해로 수렴하는 대수 루프를 구성할 수 있다. 이는 모델을 정확히 아는 시스템에 대하여 출력으로부터 입력을 추정하는 역시스템(inverse system)을 구성하는 것과 유사하다. 이러한 개념을 응용한 간단한 예로 용량형 센서의 입출력 비선형성을 제거해주는 역시스템을 대수 루프를 통하여 구현하였다. 또한 구현한 루프가 항상 유일한 해로 수렴할 수 있도록 하는 조건을 구하였다. 해석된 결과를 바탕으로 구현된 루프가 컴퓨터 시뮬레이션 및 아날로그 회로 실험에서도 잘 동작함을 검증하였다. 시뮬레이션 결과로 보인 잡음에 대한 강인성과 실제 회로 실험 결과는 대수 루프의 구현이 실제 용량형 센서 등에 용이하게 적용될 수 있음을 보여준다.

• 전기의세계
• /
• 제38권7호
• /
• pp.4-10
• /
• 1989

지난 15년간 상위급 슈퍼컴퓨터의 설치대수보다도 불과 3,4년간 보급된 중위급 슈퍼컴퓨터의 수가 배를 넘고 있는 상황은 사용의 용이성과 간단히 일반 미니컴퓨터와 같이 설치하여 사용할 수 있고, 풍부한 응용 소프트웨어와 저렴한 가격때문이라고 본다. Convex 시스템을 설계한 Steven Wallach은 미니슈퍼컴퓨터를 정의하는데 있어 슈퍼컴퓨터보다 적다는 의미가 아니라 가격이나 활용성은 미니컴퓨터와 같고 성능은 슈퍼컴퓨터와 같다는 뜻으로 미니슈퍼컴퓨터라고 말하고 있다. 그러나 상위급 슈퍼컴퓨터가 하여야 할 일과 할일들이 산재해 있는 관계로 상위급 슈퍼컴퓨터는 반드시 필요하고 더욱 성능이 높은 슈퍼컴퓨터의 출현을 기다리고 있다. 슈퍼컴퓨터 분야는 시스템 개발도 중요하지만 시스템을 어떻게 활용할 것인가가 매우 중요하다 그러기 위하여는 국내에 도입된 시스템을 더욱 효율적으로 활용하기 위하여는 각 분야의 사용자들이 효율적인 벡터 또는 병렬 알고리즘 개발에 주력하여 우리의 실정에 맞는 연구, 개발의 밑거름이 되어줄 소프트웨어를 많이 개발하여야 겠다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제47권1호
• /
• pp.75-89
• /
• 2008

Internet has been widely spread out and the need of convenient mathematical expression in the internet has been in need. In this paper, we discvss how MathML and JAVA have been developed for mathematical expressions in the internet. And we introduce our JAVA applet tools that adapted the object oriented programming techniques of the MathML and JAVA. Most of our JAVA toots have been developed for linear algebra course whose method can be applied to other subject as well. Then we discuss how we use those tools and output from the use of them in our class.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2004년도 한국우주과학회보 제13권1호
• /
• pp.54-54
• /
• 2004

과학기술위성 1호는 2003년 9월에 발사 후 초기 운용 단계를 거쳐 현재 정상적인 임무수행 단계이다. 위성의 주 컴퓨터 시스템은 각 탑재체들이 임무를 원활히 수행하도록 위성의 건강 상태를 감시하고, 시나리오에 따라 각 탐재체들을 제어하고, 각종 위성 관측 자료를 수집하며, 위성의 임무 수행을 위한 명령을 송수신 한다. 본 발표에서는 지난 6개월간 위성의 운용을 위하여 지상으로부터 명령을 수신하고, 수신된 명령을 동작순서에 따라 각 서브시스템에 전달하는 위성의 주 컴퓨터 운용과 관련하여 운용현황을 살펴본다. (중략)

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제27권2호
• /
• pp.121-134
• /
• 2013

대학 수학교육에서 선형대수학은 가장 중요한 과목 중 하나이다. 21세기 향상된 정보 기술이 선형대수학 수업에 적용된다면, 학생들의 선형대수학 내용에 대한 이해는 한층 더 향상될 것이다. 우리는 학생들의 관심을 높이고 보다 효율적으로 학습 목표에 도달하는데 기여하고자 웹상의 무료 수학 프로그램인 'Sage'(http://sagemath.org)를 활용한 교수학습 환경을 구축하고 그 콘텐츠를 개발하였다. 특히, 2009년 저자는 PC 환경 외에 휴대폰의 인터넷 기능을 통하여 Sage 명령어를 사용할 수 있는 단순모듈 콘텐츠를 개발하였다. 본 논문에서는 스마트폰을 이용하여 대부분의 Sage 기능을 활용할 수 있도록 개발한 모바일 Sage를 소개하고, 학생들의 자기주도적인 선형대수학 학습을 위해 개발한 모바일 선형대수학 스마트폰 콘텐츠(강의록, 동영상강의, 문제와 풀이, 공학적 도구)를 소개한다.