• 컴퓨터교육학회논문지
• /
• 제5권3호
• /
• pp.79-87
• /
• 2002

알고리즘을 컴퓨터로 구현하여 수식 입력에 대한 출력을 과정없이 보여주는 프로그램이 컴퓨터 대수 시스템이다. 이 시스템에 연역적 추론을 자동화하는 과정을 수행하는 자동 연역 시스템을 결합하는 시도로 구현된 것이 Theorema 시스템이다. 오스트리아의 RISC 연구소에서 개발된 이 시스템은 Mathematica의 rewriting 기법을 사용하여 구현되었는데, 계산과 문제 해결, 증명을 할 수 있는 모드를 지원하고 있다. 본 논문에서는 계산 모드의 Theorema 언어를 구사하여 TI-92 그래픽 계산기에 탑재된 Derive 시스템의 일부를 시뮬레이션한 결과를 토대로 TI-92 메뉴얼을 Mathematica notebook의 형태로 생성하는 도구를 개발한 내용을 소대한다. 또한, 이렇게 하여 생성된 매뉴얼이 자바 서브릿을 통하여 웹기반 학습용 인터페이스로 연계되는 일련의 과정을 제시한다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2003년도 춘계공동학술대회
• /
• pp.863-868
• /
• 2003

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

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2013년도 제47차 동계학술대회논문집 21권1호
• /
• pp.31-32
• /
• 2013

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

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2021년도 제64차 하계학술대회논문집 29권2호
• /
• pp.565-566
• /
• 2021

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

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2020년도 제62차 하계학술대회논문집 28권2호
• /
• pp.373-374
• /
• 2020

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

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2001년도 춘계학술대회 학술발표 논문집
• /
• pp.261-265
• /
• 2001

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

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• 한국항공우주학회지
• /
• 제31권4호
• /
• pp.105-111
• /
• 2003

과학위성 1호 탑재 컴퓨터의 인증모델 개발이 완료되었다. 과학위성 1호 탑재 컴퓨터는 우리별 3호에 비하여 FPGA를 사용함으로써 크기 및 무게의 소형화를 추구하였고, 네트워크 제어기를 내장함으로써 고속으로 위성 네트워크에 접속할 수 있도록 하였다. 또한 우주환경에서 직면하게 되는 SEU(Single Event Upset)에 대한 강인성이 증대되었고, 내고장성도 증대되었다. 개발된 탑재 컴퓨터는 환경시험에서 모든 기능이 정상 동작함을 확인하였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2021년도 제64차 하계학술대회논문집 29권2호
• /
• pp.569-570
• /
• 2021

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

• 정보보호학회논문지
• /
• 제13권2호
• /
• pp.91-98
• /
• 2003

본 논문은 유한체의 상군(quotient group)에서 이산대수문제를 고려한 새로운 공개키 시스템을 제안한다 이 시스템은 기존의 공개키의 크기와 전송 테이터 양을 반으로 줄여 통신량의 부담을 줄일 뿐만 아니라 효율적인 승연산을 통해 계산비용을 줄일 수 있다. 특별히 DSA와 비교해서 같은 안전도를 갖는 이 시스템의 속도는 대략 50%정도 향상된다.