• The Journal of Korean Association of Computer Education
• /
• v.5 no.3
• /
• pp.79-87
• /
• 2002

Theorema system is built on top of Mathematica to automate deductive reasoning processes as the combination of computer algebra system and deductive system. Theorema system that was developed at RISC in Austria provides three modes based on rewriting techniques; computation, problem solving and proving. This paper shows how the computation mode of Theorema can simulate Derive part for TI-92 graphic calculators to produce TI-92 manuals. Moreover, it also describes how such manuals can be converted to web-based learning materials via Java servlet.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.863-868
• /
• 2003

최근 자동차 제조업체들은 치열한 국제경쟁시대에 생존하기 위하여 원가 절감 및 개발기간 단축, 품질 향상을 위하여 모듈화라는 새로운 자동차 생산 방식을 적용하고 있다. 본 연구에서는 자동차 모듈화 부품의 한 종류인 Front End Module (FEM)을 대상으로 생산시스템 계획단계에서 대상 부품의 직서열 공급시스템 적용 가능성을 컴퓨터 시뮬레이션 기법을 적용하여 입증하고, 직서열 공급시스템 운영방안을 제시하여 물류비용을 절감하고자 한다. 연구 대상인 완성차업체의 의장라인과 모듈 업체의 조립라인 및 모듈 공급시스템을 모델링하여, FEM 공급시스템을 운영 방안별로 시뮬레이션을 통하여 직서열 공급시스템의 적용 가능성을 입증하고, 운반 차량의 적정 소요 대수 및 FEM 운반용 캐리어 대수를 제시한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2013.01a
• /
• pp.31-32
• /
• 2013

기업에서 사용하고 있는 업무 및 개발용 컴퓨터상에 비인가 불법 소프트웨어를 무단히 설치하여 불법적으로 사용하는 것은 컴퓨터에서 발생하는 각종 오류의 원인이 되고 있으며 또한 해당 소프트웨어에 대한 저작권 침해를 발생시킨다. 따라서 본 논문에서는 네트워크를 통해 사내 여러 PC에서 설치 및 운영되는 소프트웨어들을 관리해주는 사내 소프트웨어 자산관리 시스템을 제안한다. 본 시스템에서는 사내 중앙 서버에 데이터베이스를 두어 보유하고 있는 각종 소프트웨어에 대한 라이센스를 관리한다. 사내 각 PC에서는 소프트웨어들에 대한 사용시 서버에게 사용허가 요청을 하게 되며 서버는 라이센스 수 초과여부, 컴퓨터 동시 사용 대수 제한, 사용 기간 제한 등의 설정확인을 통해 사용허가 요청에 응답하게 된다. 이러한 사용허가는 각 소프트웨어의 설치시뿐만 아니라 사용시에도 이루어져서 라이센스 유효기간의 경과 및 정책변경에 따라 신속하게 반영, 관리되어질 수 있다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.07a
• /
• pp.565-566
• /
• 2021

최근 펜데믹으로 인하여 대부분의 교육 시스템은 비대면 수업을 통해 수업이 이루어지고 있다. 하지만 비대면 강좌는 대면 강좌와는 다르게 강의자가 수강자의 수업 상태를 파악하는데 제한이 있으며 강좌 수강 태도에 대하여 수강자를 평가하기가 어렵다. 본 논문에서는 비대면 강좌에서 사용할 수 있는 방법 중에서 실시간 화상 강의 수강자의 참여도 추정 시스템을 제안한다. 이 시스템은 기존의 화상 시스템에서 사용하는 장비를 이용하여 수강자의 얼굴, 동공 및 사용자 활동을 실시간으로 측정하여 이를 강의자에게 여러 카테고리 형태로 수업 참여도 측정값을 제공한다. 이를 통해 강의자가 수업 시 수강자들의 수업 참여 여부와 수업 평가 및 향후 수업 개선점을 확인할 수 있도록 한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2001.05a
• /
• pp.261-265
• /
• 2001

최근 들어 인간의 컴퓨터 사용을 보다 지능적이고 편리하게 대행해줄 수 있는 지능형 에이전트 개념에 대한 관심과 응용에 대한 기대가 커지고 있다. 본 논문에서는 지능형 에이전트 기반의 은행 금융상품 관리시스템을 모델링하고 이를 바탕으로 은행 금융상품을 보다 편리하고 지능적으로 관리할 수 있는 시스템을 구축하였다. 이를 위하여 각각의 역할을 가진 여러 가지 에이전트들을 도입하였고, 이들의 협동과 조정을 통해 은행 금융상품 관리면에서 보다 편리하고 지능적인 시스템을 제안하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.373-374
• /
• 2020

현대 사회에서 사람과 사람이 아닌 기계와 사람 간의 거래가 대중화 되고 있다. 무인 거래 시스템(이하 키오스크) 사용이 지속적으로 증가하는 이유는 높은 인건비의 절감, 편리성, 시간 단축으로 볼 수 있다. 반면, 키오스크 사용은 다음과 같은 단점이 있다. 메뉴 선택에 있어서 주위 사람들에 의해 심리적 불안감이 생겨 충분한 시간을 가지지 못하고 메뉴를 선택하여 원치 않은 주문이 발생 할 수 있는 것이다. 이 논문에서는 키오스크로 메뉴 선택에 있어서 심리적 불안을 가지는 사람 및 키오스크 사용에 불편함을 가진 사람들이 효율적으로 접근할 수 있는 시스템을 제안한다. 이를 통해 해당 매장에서는 다른 고객들의 눈치를 보지 않고 충분한 시간적 여유를 가지고 메뉴를 선택하여 편리하게 사용 할 수 있는 장점이 있다.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.9
• /
• pp.289-304
• /
• 2022

It is necessary to apply process algebra and logic in order to analyze and verify safety requirements for Smart IoT Systems due to distributivity and mobility of the systems over some predefined geo-temporal space. However the analysis and verification cannot be fully intuitive over the space due to the fact that the existing process algebra and logic are very limited to express the distributivity and the mobility. In order to overcome the limitations, the paper presents a new logic, namely for GTS-VL (Geo-Temporal Space-Visual Logic), visualization of the analysis and verification over the space. GTS-VL is the first order logic that deals with relations among the different types of blocks over the space, which is the graph that visualizes the system behaviors specified with the existing dTP-Calculus. A tool, called SAVE, was developed over the ADOxx Meta-Modeling Platform in order to demonstrate the feasibility of the approach, and the advantages and practicality of the approach was shown with the comparative analysis of PBC (Producer-Buffer-Consumer) example between the graphical analysis and verification method over the textual method with SAVE tool.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.4
• /
• pp.105-111
• /
• 2003

Qualification Model of On-board Computer (OBC) for KAISTSAT-4 was developed. The OBC of KAISTASAT-4 has some improved features compared with that of KAISTSAT-3: To reduce weight and size of OBC many logics are implemented by FPGAs, and a network controller is included in OBC to access the satellite network with high speed. Also, the developed OBC has an improved tolerance against SEUs and faults. The OBC was fully tested under simulated space environment with no errors.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.07a
• /
• pp.569-570
• /
• 2021

온라인 교육은 컴퓨터 테크놀로지 발달과 웹 기반 정보 통신 기술의 발전에 따라 효과적인 방법으로 자리 잡으면서 새로운 패러다임으로 꾸준히 성장해 오고 있다. 최근 코로나 19로 인해 초, 중, 고등학교를 비롯하여 대학교는 2020년 3월 역사상 처음으로 개강을 비대면 온라인 상황으로 맞이하게 되었다. 온라인 강의 시청수요가 늘어남에 따라 영상에 대한 필기 양도 많아지고 있다. 온라인 강의는 대부분 시각적 자료와 함께 교수자의 설명이 더해진다. 시각자료에 대한 부가적인 설명과 교수자의 말로 설명이 되는 부분에 대해 필기를 할 때 시각 자료를 그려 필기하거나 영상의 어느 부분에 해당 내용이 나오는지 시간을 같이 메모해서 봐야 하는 불편함이 있다. 본 논문에서는 해당 문제점을 해결하기 위해 영상을 시청하며 구간에 메모를 저장, 표시하는 시스템을 설계 및 구현하고자 한다. 학습자가 영상에 직접 메모를 표시하여 맞춤형 학습에 따른 복습 효용성 향상에 긍정적인 역할을 하도록 한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.2
• /
• pp.91-98
• /
• 2003

We introduce a new public key system based on the discrete logarithm Problem(DLP) in a quotient group of finite fields. This system achieves savings not only in communication overhead by reducing public key size and transfer data by half but also in computational costs by performing efficient exponentiation. In particular, this system takes about 50% speed-up, compared to DSA which has the same security.