• Journal of the Korean School Mathematics Society
• /
• v.13 no.1
• /
• pp.125-141
• /
• 2010

The aim of this paper is to develop a web-based Virtual Learning System for discrete mathematics learning using CAS (Computer Algebra System), The system contains a series of contents that are common between secondary und university curriculum in discrete mathematics such as sets, relations, matrices, graphs etc. We designed and developed web-based virtual learning contents contained in the proposed system based on Mathematia, webMathematica and phpMath taking advantages of rapid computation and visualization. The virtual learning system for discrete math provides movie lectures and 'practice mode' authored with phpMath in order to enhance conceptual understanding of each movie lesson. In particular, matrix learning is facilitated with conceptual diagram that provides interactive quizzes. Once the quiz results are submitted, Bayesian inference network diagnoses strong and weak parts of learning nodes for generating diagnostic reports to facilitate personalized learning. As part of formative evaluation, the overall responses were collected for future revision of the system with 10 university students.

• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.9
• /
• pp.454-460
• /
• 2003

In this paper, we present a novel method of parallelization of the modular multiplication algorithm to improve time and space complexity on RNS (Residue Number System). The parallel algorithm executes modular reduction using new table lookup based reduction method. MRS (Mixed Radix number System) is used because algebraic comparison is difficult in RNS which has a non-weighted number representation. Conversion from residue number system to certain MRS is relatively fast in residue computer. Therefore magnitude comparison is easily Performed on MRS. By the analysis of the algorithm, it is known that it requires only 1/2 table size than previous approach. And it requires 0(ι) arithmetic operations using 2ㅣ processors.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.12
• /
• pp.127-137
• /
• 2009

A practical algorithm of generating most probable states in decreasing order of probability of the network system state is suggested for approximating the performance of multi-mode network system using algebraic structure of the system states. Most complex system having network structure with multi-mode unit state is difficult to evaluate the performance or reliability due to exponentially increasing size of state space. Hence not an exact computing method but an approximated one is reasonable approach to solve the problem. To achieve the goal we should enumerate the network system states in order as a pre-processing step. In this paper, we suggest an improved algorithm of generating most probable multi-mode states to get the ordered system states efficiently. The method is compared with the previous algorithms in respective to memory requirement and empirical computing time. From the experiment proposed method has some advantages with regard to the criterion of algorithm performance. We investigate the advantages and disadvantage by illustrating experiment examples.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2013.07a
• /
• pp.391-393
• /
• 2013

본 논문은 스마트폰 기반 축제 도우미 시스템으로써 단체를 형성하는 모든 집단에서 활용한 시스템이다. 이 시스템은 행사의 준비단계의 비용 즉 행사에서 활용할 소품, 행사요원 활용 비용을 최소화하고 시스템에서 이 준비단계를 대신한다. 또한 다양한 기술과 센서를 활용하여 기존의 행사에서 보았던 진부했던 게임 혹은 미션을 대신하여 참신한 미션으로 행사 진행을 도와준다. 또한 행사 시스템을 활용하는 사용자에게 맞춤형 서비스를 제공하고 미션 플랫폼화를 통하여 한 명의 개발자가 아닌 다수의 개발자로부터 미션을 업데이트하여 참신하고 신선한 미션들을 사용자에게 제공한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.5
• /
• pp.558-563
• /
• 2003

Recently, many people are interested in the intelligent system that connects human and computers. And the studies on the intelligent agent system that can manage computer user s diverse requirements are now being accelerated. En this paper, we study the modeling of intelligent avatar system that can provide the user more convenient and user-friendly environments by adopting intelligent avatar agent, and it can be applied to various fields. Modeling of intelligent avatar agent is accomplished and part of it is experimentally implemented, and it showed successful results in the field of avatar agent, mail check functions, and scheduler.

• Journal of Biosystems Engineering
• /
• v.15 no.3
• /
• pp.186-198
• /
• 1990

인간 소뇌의 구조와 기능을 간략하게 수학적으로 모델링하여 입력에 따른 시스템의 적정 출력을 학습에 의한 적응 제어 방식으로 추출해 내는 소뇌모델 대수제어기(CMAC : Cerebellar Model Arithmetic Controller)가 제안되었다. 본 논문에서는 연구개발된 기존 신경회로망과의 비교 분석에 의거하여, 소뇌모델 대수제어기 대신 네트의 특성에 따라 소뇌모델 선형조합 신경망(CMLAN : Cerebellum Model Linear Associator Network)이라 하였다. 소뇌모델 선형조합 신경망은 시스템의 제어 함수치를 결정하는 데 있어, 기존의 제어방식이 시스템의 모델링을 기초로 하여 알고리즘에 의한 수치해석적 또는 분석적 기법으로 모델 해를 산출하는 것과 달리, 학습을 통하여 저장되는 분산기억 소자들의 함수치를 선형적으로 조합함으로써 시스템의 입출력을 결정한다. 분산기억 소자로의 함수치 산정 및 저장은 소뇌모델 선형조합 신경망이 갖는 고유의 구조적 상태공간 매핑(State Space Mapping)과 델타규칙(Delta Rule)에 의거한 시스템의 입출력 상태함수의 학습으로써 수행된다. 본 논문을 통하여 소뇌모델 선형조합신경망의 구조적 특성, 학습 성질과 상태공간 설정 및 시스템의 수렴성을 규명하였다. 또한 기존의 최대 편차수정 학습 알고리즘이 갖는 비능률성 및 적용 제한성을 극복한 효율적 학습 알고리즘들을 제시하였다. 언급한 신경망의 특성 및 제안된 학습 알고리즘들의 능률성을 다양한 학습이득(Learning Gain)하에서 비선형 함수를 컴퓨터로 모의 시험하여 예시하였다.

• Journal of the Korea Computer Graphics Society
• /
• v.2 no.1
• /
• pp.31-38
• /
• 1996

Many efforts for finding smooth curves and surfaces satisfying given constraints have been made, and interpolation and approximation theories with the help of computers have played an important role in this endeavour. Most research in curve and surface modeling has been largely dominated by the theory of parametric representations. While they have been successfully used in representing physical objects, parametric surfaces are confronted with some problems when objects are represented and manipulated in geometric modeling systems. In recent year, increasing attention has been paid to implicit algebraic surfaces since they are often more effective than parametric surfaces are. In this paper, we summarize the geometric properties and computational processes of objects represented using implicit algebraic functions and explain of the implementation of design tools which can design curves and surfaces of revolution. These surfaces of revolution are played an importance role in effective areas such as CAD and CAM.

• Computational Structural Engineering
• /
• v.9 no.2
• /
• pp.16-22
• /
• 1996

스페이스 프레임의 설계과정에서 컴퓨터의 급진적인 진보와 많은 연구노력의 결과로 전체 설계과정이 통합자동화 방향으로 진행되고 있으며, 특히 구조해석과 구조설계분야에서 중요한 진보가 이루어져 왔다. 본문에서는 스페이스 프레임의 설계과정을 시스템화함에 있어서 자동화 방법론의 개괄적인 내용과 스페이스 프레임의 3차원적인 복잡한 형태를 표현하기 위한 Formex 대수학 (FORMEX ALGEBRA)의 적용사례에 대한 설명 및 후처리단계에서 해석결과치를 가지고 코드검토에 대한 규준식의 소개와 프로그램에 대한 내용을 설명한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2018.07a
• /
• pp.183-184
• /
• 2018

우리나라의 노인자살률은 OECD 국가 중에 1위이다. 인위적 고독사인 '자살'의 가장 큰 원인인 우울증을 의사소통을 통해 예방하고자 한다. 본 논문에서는 상황에 따라 독거노인에게 스피커가 먼저 질문하는 형식인 시스템을 제안한다. 음성인식 시스템인 스피커를 활용하여 독거노인의 의사소통을 증대시키고, 질문뿐만이 아니라 식사 여부, 약 복용 여부 관련 일상 알람도 주기 때문에 규칙적인 생활을 하는 데 도움을 준다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2012.07a
• /
• pp.257-260
• /
• 2012

소수력 발전은 대체에너지의 일환으로 공해가 없고 작동의 신뢰도가 높아 신재생에너지 연구개발과 관련하여 소수력발전에 대한 관심이 높아지고 있으나, 기존의 대수력용 수차와는 달리 소수력용 수차 및 주변 시스템의 설계법이 근래 확립되어 있지 않다. 본 연구에서는 수차의 크기 및 수차의 잠김 정도가 일정한 유량과 유속에 대하여 수차의 각 운동량, 즉 출력에 미치는 영향에 대하여 분석하고 이를 토대로 수차의 적정 설치기준 및 수차를 제어하기 위한 제어용 소프트웨어를 마련하기 위하여 실험 환경을 구성하고, 구성된 실험 환경에서 자료 취득을 하기 위한 전자 회로 및 소프트웨어를 구성하고, 구성된 장치와 환경에서 취득한 자료가 유효함을 확인하였다.