• 제목/요약/키워드: 존재 증명

검색결과 529건 처리시간 0.028초

효율적인 학습 모델을 지원하는 웹 페이지 학습 기억 플랫폼 구현 (The Implementation of Web Page Learning Memory Platform to support efficient Learning Model)

  • 김성준;오염덕
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2021년도 제63차 동계학술대회논문집 29권1호
    • /
    • pp.291-294
    • /
    • 2021
  • 본 논문에서는 영어 교육에 대한 사회적인 인식은 중요해지면서 다양한 방식의 영어공부와 학습모델들을 분석하고 오랫동안 가억이 가능한 학습시스템을 검토하였다. 그러나 영어의 기초가 되는 영어 단어의 공부법이 논리적인 근거 없이 강사의 인지도와 명성에 현혹되어 강사가 추천해 주는 공부 방법에 따라 잘못된 학습하는 경우가 대부분이다. 또한 사람마다 자기에게 맞는 학습법은 분명 존재할 것이다. 하지만 그 방법 외에 효과적인 다른 방법 또한 찾아 볼 수 있다. 헤르만 에빙하우스는 사람의 망각 연구한 결과 망각의 주기를 수치로 나타내었고, 라이트너는 플래시 카드를 박스에 넣어 복습을 반복하는 아날로그 장치를 만들어 복습의 효과를 연구하였다. 본 논문에서는 헤르만 에빙하우스의 망각 곡선 이론을 통해 효율적인 영어 단어 학습방법을 논리적으로 증명하고, 웹사이트를 사용한 라이트너 박스와 망각 곡선의 이론을 적용하여 망각의 주기에 따른 복습의 효과를 적용하여 결과적으로 사용자에게 접근성이 좋은 학습형 플랫폼을 제공하여 시간 대비 학습률이 좋은 시스템을 개발하고자 하였다.

  • PDF

연속적인 질의에서 사용자의 이동 경로를 보호하기 위한 연구 (A Study to Protect the User's Trajectory in Continuous Queries)

  • 송두희
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2021년도 춘계학술발표대회
    • /
    • pp.209-211
    • /
    • 2021
  • 위치를 이용한 애플리케이션이 증가함에 따라 사용자의 위치를 보호하기 위한 다양한 연구들이 진행되고 있다. 특히, 애플리케이션을 이용하기 위해서는 사용자가 서비스 제공자(서버)에게 자신의 위치 정보를 제공해야 하는 상황이다. 이러한 문제를 개선하기 위하여 보호영역(cloaking;클로킹)을 생성하거나 자신의 주변에 가상의 사용자(dummy;더미)를 생성하는 연구 등이 존재한다. 기존 연구들은 사용자의 현재 위치를 보호하는 장점은 있지만 연속적인 질의를 요청할 경우 서버에게 사용자의 이동 경로가 예측될 수 있다. 따라서 본 논문에서는 사용자가 연속적인 질의를 요청하더라도 이동 경로를 보호할 수 있는 기법을 제안한다. 실험 결과를 통하여 제안 기법의 우수성을 증명했다.

위치 및 인물유무에 따른 사진 분류 앱 개발 (Development of App to Categorize Pictures)

  • 김혜령;박은비;오명주;김기일
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2021년도 추계학술발표대회
    • /
    • pp.36-38
    • /
    • 2021
  • 스마트폰의 다양한 사진들은 현재 대부분 저장 일자를 기준으로 표시되기 때문에 특정 사진을 검색할 경우 많은 노력이 필요하다. 이를 해결하기 위하여 몇몇 앨범형 앱들이 개발되었지만 실제 사용자가 직접 사진을 선택해야 하는 문제점이 존재한다. 이를 해결하기 위하여 본 논문에서는 사진들의 특징을 이용하여 사진의 자동으로 분류가능한 앱의 개발에 대하여 설명한다. 개발된 앱은 위치 및 인물에 따라 현재 사진들을 자동으로 분류하고 폴더에 저장함으로써 보다 쉽게 사진을 관리 할 수 있다. 제안된 기능은 안드로이드 기반으로 개발되었고 각 기능이 정상적으로 동작함을 실험을 통하여 증명하였다.

Prefix-Tuning 기반 Open-Ended Knowledge Tracing 모델 연구 (Enhancing Open-Ended Knowledge Tracing with Prefix-Tuning)

  • 손수현;강명훈;소아람;임희석
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 2023년도 제35회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.672-676
    • /
    • 2023
  • 지식 추적 (knowledge tacing)은 주어진 학습자의 과거 문제 해결 기록을 기반으로 학습자의 지식 습득 정도를 파악하여 목표 문제에 대한 정답 여부를 예측하는 것을 목표로 한다. 이전 연구에서는 이진 분류 기반의 모델을 사용하여 정답 유무만 예측하였기 때문에 학습자의 답변에 존재하는 정보를 활용하지 못한다. 최근 연구에서는 이를 생성 태스크로 변환하여 컴퓨터과학 분야에서 프로그래밍 질문에 대한 지식 추정을 수행하는 open-ended knowledge tracing (OKT)이 제안되었다. 하지만 최적의 OKT 모델에 대한 연구는 진행되지 않았으며 따라서 본 논문에서는 시간에 따라 변화하는 학습자의 지식 상태에 따라 답변 생성을 조정하는 새로운 OKT 방법론을 제안한다. 실험을 본 논문에서 제안하는 방법론의 우수성과 효율성을 증명한다.

  • PDF

단백질 상호작용 네트워크에서 단백질 기능 예측을 위한 Modified Chi-square 기법 (Modified Chi-square Method for Prediction of Unannotated Proteins from Protein Interaction Network)

  • 강태호;유재수
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 추계학술발표대회
    • /
    • pp.785-787
    • /
    • 2008
  • 생명체의 생명현상을 주관하는 각종 화학반응들은 단백질이 관여하고 있다. 단백질은 일정한 질서에 따라 서로 조립되기도 하고, 기능적으로 연관돼 네트워크를 이루고 있다. 이 네트워크를 구성하는 단백질-단백질 상호작용은 단백질의 기능과 밀접하게 관련되어 있다. 즉, 상호작용하는 단백질은 같은 기능을 수행할 가능성이 크다. 이러한 사실은 단백질-단백질 상호작용을 통해 기능이 알려지지 않은 미지 단백질의 기능을 예측할 수 있게 한다. 대표적인 연구로는 이웃 노드에 존재하는 기능분포를 이용하는 이웃노드 카운트(Neighborhood Counting)방식과 특정 기능의 나타날 빈도를 계산하여 기능을 예측하는 카이-제곱(Chi-Square)방식 등이 있다. 본 논문에서는 단백질 기능 예측의 정확성을 높이기 위해 이들 두 방식의 장점을 취합한 보완된 카이-제곱 방식을 제안한다. 그리고 다양한 단백질 상호작용 네트워크 데이터를 비교 분석하여 보완된 카이-제곱 방식이 기능 예측의 정확성이 높음을 증명한다.

사례연구를 통한 오픈소스 소프트웨어 비용 산정방법에 대한 연구 (A study on Cost Estimation of Open Source Software through a Case Study)

  • 신성진;이후재;류성열
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 춘계학술발표대회
    • /
    • pp.339-342
    • /
    • 2008
  • 최근 기업들은 소프트웨어의 품질, 개발 속도, 비용 등의 문제에 대한 해결을 위해서 오픈소스 소프트웨어를 활용한 개발 방법을 사용하고 있다. 이에 따라 OSS를 비롯한 오픈소스에 대한 여러 분석이 있었지만, OSS를 활용할 때 이에 따른 비용이 줄어들 것이다라는 예상은 많았지만, 그것을 실제로 증명할 만한 사례나 연구는 현재까지 많이 존재하지 않았다. 본 연구에서는 OSS를 활용하기 위한 비용요소 및 범위를 제시하고 실제 사례를 통해서 각 비용을 구해서 이에 대한 적절성 및 분석을 수행하고 향후 연구를 제시한다.

가상현실을 이용한 루트 커뮤니케이션에서의 랜드마크의 설명 용이성(Describability)에 관한 연구 (A Study on the describability of landmarks in route communication using virtual reality)

  • 정진우
    • 디자인학연구
    • /
    • 제16권2호
    • /
    • pp.255-270
    • /
    • 2003
  • 본 연구의 목적은 루트 커뮤니케이션(Route Communication)에서 랜드마크의 역할을 이론적인 고찰에 의해 밝히고, 기존 길찾기 연구에서 거론되지 않았던 랜드마크의 언어적 요소인 설명용이성에 대한 루트 커뮤니케이션에서의 역할을 찾는데 있다. 이 연구에서 수행된 랜드마크 분석은 랜드마크의 설명용이성(describability)을 확인하고, 랜드마크의 설명 용의성이 루트 커뮤니케이션의 전반적인 과정에서 밀접한 관계가 있다고 가설하였다. 이 연구의 가설을 증명하기 위해 버츄얼 리얼리티(Virtual Reality; H) 실험이 수행되었다. 이 실험의 독립변수는 랜드마크의 설명용이성이고, 가설을 증명하기 위해 루트 커뮤니케이션의 결과인 길찾기에서 피실험자가 소비한 총 시간 등을 측정하였다. 결과는 랜드마크의 설명용이성이 전반적인 루트 커뮤니케이션 과정에 긍정적인 영향을 준다고 보여주었다. 본 논문의 결과를 분석하여 랜드마크의 특성에 다른 언어적 특성이 존재 할것이라는 가능성을 발견하였으며, 인간 행동의 실험 도구로서 의 가상현실 시뮬레이션에 대하여 본 연구의 실험 과정을 토대로 논하고 문제점을 지적하였다. 결론적으로서, 이 연구는 실질적인 루트 커뮤니케이션을 통한 길찾기의 문제에 대한 해결방법을 모색하고 좀더 효율적인 길찾기 기능을 가진 실내 환경을 위한 전제 요소로서의 랜드마크의 실질적 기능과 가능성을 제시하였다.

  • PDF

정밀 토크 제어를 위한 SMPM 전동기의 약자속 영역에서 자기 돌극성 추정 (Magnetic Saliency Estimation of SMPM Motor for Precise Torque Control using State-Filter in Flux-Weakening Operation)

  • 장주영;최찬희;석줄기
    • 조명전기설비학회논문지
    • /
    • 제23권8호
    • /
    • pp.67-73
    • /
    • 2009
  • 본 논문에서는 고속에서 토크 제어 시 표면 부착형 전동기에 발생되는 자기 포화 현상으로 인한 돌극 현상을 분석하고 해석한다. 인덕턴스 추정을 위한 State-Filter를 고안하여 d축과 q축의 임피던스를 추정하며 추정된 d축과 q축의 임피던스 차이로 자기 포화로 인한 돌극성이 존재한다는 것을 증명한다. 또한, 약자속 영역에서 토크 제어를 수행함에 있어서 돌극성 효과를 고려한 전류제어 방법을 제안한다. 릴럭턴스 토크를 가지는 전동기 모델을 기반으로 하여 제안된 제어기는 전류 제한원에서 토크 곡선을 따라 d축과 q축의 전류를 조절한다. 제안된 전류제어의 타당성을 증명하기 위해 600[W] 상용 SMPM 전동기를 대상으로 실험을 수행하였다.

스크린 프린팅 기반 저가형의 플렉서블 칼륨 이온 센서 제조 및 이의 전기화학적 특성 (Fabrication of Low-cost and Flexible Potassium Ion Sensors based on Screen Printing and Their Electrochemical Characteristics)

  • 손선규;박홍준;김영균;조현상;최봉길
    • 공업화학
    • /
    • 제30권6호
    • /
    • pp.737-741
    • /
    • 2019
  • 본 연구에서는 스크린 프린팅 공정을 이용하여 저렴하고 유연한 칼륨 이온(K+) 센서를 제작하였다. 전도성 잉크의 균일한 코팅은 주사 전자 현미경 및 광학 현미경 측정에 의해 입증되었다. K+ 센서는 높은 감도, 빠른 응답 시간, 낮은 검출 한계를 보여주었다. 제조된 K+ 센서의 감도는 기계적으로 구부러진 상태에도 여전히 유지되었다. 히스테리시스 효과가 없는 우수한 반복성과 우수한 장기 안정성이 K+ 센서의 전기화학적 특성 분석에서 관찰되었다. 또한, K+ 센서는 다른 간섭 양이온이 존재하는 경우에도 정확하게 K+ 농도를 측정 할 수 있어 우수한 선택성을 증명하였다. 또한, 실제 스포츠 음료 샘플에서 K+ 농도의 성공적인 측정은 K+ 센서의 K+ 농도 값과 상용 K+ 미터를 비교하여 증명되었다.

자바기반의 안전한 전자 메일 시스템 구현 (Implementation of Secure E-Mail System based on lava)

  • 이원구;김성준;이희규;조한진;이재광
    • 인터넷정보학회논문지
    • /
    • 제2권3호
    • /
    • pp.51-62
    • /
    • 2001
  • 최근, 컴퓨터와 네트워크의 보급이 일반화되면서, 인터넷을 통한 정보 전달이 일상 생활처럼 되고 있다. 또한 인터넷, 무선통신, 그리고 자료 교환에 대한 증가로 인해 다른 사용자와 접속하기 위한 방식은 빠르게 변화하고 있다. 이러한 인터넷 사용자간의 자료 교환 수단으로서 전자 메일은 표준이라 말할 수 있을 만큼 많이 사용되고 있고 현재에는 전 세계적으로 보안을 유지하기 위해 보안 메일이 각광을 받고 있다. 일반 편지에서부터 상업광고 목적의 전자 우편에 이르기까지 다양한 분야에서 사용되고 있다. 하지만 이러한 전자 메일에도 많은 문제가 존재한다. 기존의 전자 메일은 간단한 방법으로 내용을 열람하거나 변조할 수 있어 중요한 정보나 사생활 노출의 위험에서 벗어날 수 없다. 이러한 데이터에 대한 보안이 기대에 미치지 못하고 있기 때문에 암호학적으로 강력한 전자 우편 시스템의 개발이 시급하다. 본 논문에서는 기본적인 정보 보호 서비스 외에 기존의 전자 메일 시스템에서는 제공되지 않는 배달 증명 및 내용 증명 기능을 제공하고 자바 암호 API를 사용하여 안전한 키 교환이 가능하도록 하였다.

  • PDF