• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.029 seconds

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

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

  • PDF

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

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

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

  • Kim, Hye-Ryeong;Park, Eun-Bi;Oh, Myeong-Ju;Kim, Ki-Il
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2021.11a
    • /
    • pp.36-38
    • /
    • 2021
  • 스마트폰의 다양한 사진들은 현재 대부분 저장 일자를 기준으로 표시되기 때문에 특정 사진을 검색할 경우 많은 노력이 필요하다. 이를 해결하기 위하여 몇몇 앨범형 앱들이 개발되었지만 실제 사용자가 직접 사진을 선택해야 하는 문제점이 존재한다. 이를 해결하기 위하여 본 논문에서는 사진들의 특징을 이용하여 사진의 자동으로 분류가능한 앱의 개발에 대하여 설명한다. 개발된 앱은 위치 및 인물에 따라 현재 사진들을 자동으로 분류하고 폴더에 저장함으로써 보다 쉽게 사진을 관리 할 수 있다. 제안된 기능은 안드로이드 기반으로 개발되었고 각 기능이 정상적으로 동작함을 실험을 통하여 증명하였다.

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

  • Suhyune Son;Myunghoon Kang;Aram So;Heuiseok Lim
    • Annual Conference on Human and Language Technology
    • /
    • 2023.10a
    • /
    • pp.672-676
    • /
    • 2023
  • 지식 추적 (knowledge tacing)은 주어진 학습자의 과거 문제 해결 기록을 기반으로 학습자의 지식 습득 정도를 파악하여 목표 문제에 대한 정답 여부를 예측하는 것을 목표로 한다. 이전 연구에서는 이진 분류 기반의 모델을 사용하여 정답 유무만 예측하였기 때문에 학습자의 답변에 존재하는 정보를 활용하지 못한다. 최근 연구에서는 이를 생성 태스크로 변환하여 컴퓨터과학 분야에서 프로그래밍 질문에 대한 지식 추정을 수행하는 open-ended knowledge tracing (OKT)이 제안되었다. 하지만 최적의 OKT 모델에 대한 연구는 진행되지 않았으며 따라서 본 논문에서는 시간에 따라 변화하는 학습자의 지식 상태에 따라 답변 생성을 조정하는 새로운 OKT 방법론을 제안한다. 실험을 본 논문에서 제안하는 방법론의 우수성과 효율성을 증명한다.

  • PDF

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

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

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

  • Shin, Sung-Jin;Lee, Hoo-Jae;Rhew, Sung-Yul
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2008.05a
    • /
    • pp.339-342
    • /
    • 2008
  • 최근 기업들은 소프트웨어의 품질, 개발 속도, 비용 등의 문제에 대한 해결을 위해서 오픈소스 소프트웨어를 활용한 개발 방법을 사용하고 있다. 이에 따라 OSS를 비롯한 오픈소스에 대한 여러 분석이 있었지만, OSS를 활용할 때 이에 따른 비용이 줄어들 것이다라는 예상은 많았지만, 그것을 실제로 증명할 만한 사례나 연구는 현재까지 많이 존재하지 않았다. 본 연구에서는 OSS를 활용하기 위한 비용요소 및 범위를 제시하고 실제 사례를 통해서 각 비용을 구해서 이에 대한 적절성 및 분석을 수행하고 향후 연구를 제시한다.

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

  • 정진우
    • Archives of design research
    • /
    • v.16 no.2
    • /
    • pp.255-270
    • /
    • 2003
  • The main goal of this study is to find the role of landmarks in route communication process and to explore the describability of landmarks, a linguistic factor of landmarks that was not noted frequently by previous wayfinding studies. Through analysis of landmarks in this study, the describability of landmarks was identified and this study hypothesized that the describability affects to the whole process of route communication. A virtual reality (VR) simulation test was conducted to examine the effect of the describability of landmarks in route communication. The independent variable was the describability of landmarks and landmarks. As dependent variables, the total time to find final destination and the number of errors were measured. Results showed that the describability of landmarks gives positive effect to the whole of route communication processes. Consequently, this study provides the solution of wayfinding problems in route communication and suggests the usage of landmarks as a prerequisite for planning spaces having the efficiency of wayfinding.

  • PDF

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

  • Jang, Ju-Young;Choi, Chan-Hee;Seok, Jul-Ki
    • Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
    • /
    • v.23 no.8
    • /
    • pp.67-73
    • /
    • 2009
  • The magnetic saliency effect in surface-mounted permanent-magnet (SMPM) motors on the torque control at high speeds is first presented and analyzed in this paper. The d- and q- axes impedance are measured by proposed State-Filter. Measurement of the d- and q- axes impedance difference is performed to prove the existence of the magnetic saliency. Then, the saliency effects on the torque control performance in the flux weakening region are discussed. Based on the developed motor modeling with the reluctance torque, the proposed control adjusts the d- and q-axis current toward the operating point to track the commanded torque. The feasibility of the presented idea is verified by experimental results on a commercial 600[W] SMPM motor.

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

  • Son, Seon Gyu;Park, Hong Jun;Kim, Yeong Kyun;Cho, Hyeon-Sang;Choi, Bong Gill
    • Applied Chemistry for Engineering
    • /
    • v.30 no.6
    • /
    • pp.737-741
    • /
    • 2019
  • A low-cost and flexible potassium ion (K+) sensor was fabricated through a screen-printed process. Uniform and conformal coating of conductive inks was verified by scanning electron microscopy and optical microscopy measurements. The K+-sensors showed a high sensitivity, fast response time, and low detection limit. The sensitivity of K+-sensor was similar to that of both mechanically normal and bent states. The K+-sensor exhibited a good reproducibility with no hysteresis effect and excellent long term stability. In addition, the K+-sensor showed an excellent selectivity for K+ concentrations in the presence of other interfering cation ions. Successful measurements of K+ concentrations in sports drink samples were demonstrated by comparing K+ concentration values from K+-sensor to those of using a commercial K+-meter.

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

  • 이원구;김성준;이희규;조한진;이재광
    • Journal of Internet Computing and Services
    • /
    • v.2 no.3
    • /
    • pp.51-62
    • /
    • 2001
  • Recently, as computers and networks become popular, distributing information on the Internet is common In our daily life. also, the explosion of the Internet. of wireless digital communication and data exchange on Internet has rapidly changed the way we connect with other people. The e-mail has been commonly used by users as well recognizing It as the standard of manners among users on the Internet. In the past, e-mail has been the primary choice of exchanging Information, but secure mail is gaining popularity abroad and domestically because of their nature of providing security. That is. it has been used a variety of fields such as general mail and e-mail for advertisement. But, As the data transmitted on network can be easily opened or forged with simple operations. most of existing e-mail system don't have any security on the transmitted information. Thus. security mail system need to provide security including message encryption, content Integrity, message origin authentication, and non-repudiation. In this paper, we design implement secure mail system with non-repudiation service and encryption capability to provide services for certification of delivery and certification of content as well as the basic security services. API.

  • PDF