• The KIPS Transactions:PartA
• /
• v.14A no.6
• /
• pp.383-390
• /
• 2007

This paper describes the e-learning system for science and engineering mathematics using computer algebra system and Bayesian inference network. The best feature of this system is using one of the most recent mathematical dynamic web content authoring model which is called client independent dynamic web content authoring model and using the Bayesian inference network for diagnosing student's learning. The authoring module using computer algebra system provides teacher-user with easy way to make dynamic mathematical web contents. The diagnosis module using Bayesian inference network helps students know the weaker parts of their learning, in this way our system determines appropriate next learning sequences in order to provide supplementary learning feedback.

• The Journal of the Korea Contents Association
• /
• v.8 no.5
• /
• pp.276-286
• /
• 2008

In this paper, we introduce an adaptive e-Learning system for engineering mathematics which is based on computer algebra system (Mathematica) and on-line authoring environment. The system provides an assessment tool for individual diagnosis using Bayesian inference network. Using this system, an instructor can easily develop mathematical web contents via web interface. Examples of such content development are illustrated in the area of linear algebra, differential equation and discrete mathematics. The diagnostic module traces a student's knowledge level based on statistical inference using the conditional probability and Bayesian updating algorithm via Netica. As part of formative evaluation, we brought this system into real university settings and analyzed students' feedback using survey.

• KSCI Review
• /
• v.2 no.1
• /
• pp.83-97
• /
• 1995

• The Journal of Korean Association of Computer Education
• /
• v.8 no.5
• /
• pp.97-108
• /
• 2005

In this paper, we present our prototype of a web manual creator that is based on MSP technology embedded in webMathematica. This tool gives courseware authors more simple ways to make their own mathematical web contents. We first classified authoring models for creating mathematical content development and proposed an advanced model. The final application called phpMath can generate MSP-driven documents automatically using Mathematica commands typed by users. In other words, phpMath users can make interactive dynamic mathematical web contents even though they do not know anything about web server, HTML, and webMathematica. We illustrated the details of the prototype from the user's perspectives followed by comments on usefulness.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.4 no.2
• /
• pp.17-28
• /
• 1994

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

• Proceedings of the KIEE Conference
• /
• 1999.11c
• /
• pp.564-566
• /
• 1999

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

• 전기의세계
• /
• v.38 no.7
• /
• pp.4-10
• /
• 1989

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

• The Mathematical Education
• /
• v.47 no.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.

• Bulletin of the Korean Space Science Society
• /
• 2004.04a
• /
• pp.54-54
• /
• 2004

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

• Communications of Mathematical Education
• /
• v.27 no.2
• /
• pp.121-134
• /
• 2013

Linear Algebra are arguably the most popular math subjects in colleges. We believe that students' learning and understanding of linear algebra can be improved substantially if we incorporate the latest advanced information technologies in our teaching. We found that the open source mathematics program 'Sage' (http://sagemath.org) can be a good candidate to achieve our goal of improving students' interest and learning of linear algebra. In particular, we developed a simple mobile content which is available for Sage commands on common cell phones in 2009. In this paper, we introduce the mobile Sage which contains many Sage functions on a smart-phone and the mobile linear algebra content model(lecture notes, and video lectures, problem solving, and CAS tools) and it will be useful to students for self-directed learning in college mathematics education.