• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (B)
• /
• pp.147-150
• /
• 2007

사회적으로 증강 현실 기술이 주목을 받고 있다. 증강 현실 기술을 이용하면 제작자가 의도한 환경에 사용자가 몰입하기 쉽기 때문이다. 따라서 여러 분야에서 활용되고 있으며, 특히 교육 분야에서의 관심이 두드러진다. 하지만 대부분의 연구는 과학 및 역사 등의 실습이 가능하고, 시각적인 효과가 두드러진 분야로의 적용을 시도하고 있다. 하지만 본 논문에서는 웹 프로그래밍에서의 문법의 접근을 시도하였다. 그리고 증강 현실에서 사용된 기존의 마커들은 각각 단일한 의미를 가지고 있었다. 이를 개선하여 본 논문에서는 마커를 투명하게 만들고 이를 겹치거나 차례로 나열하여 또다른 의미를 가질 수 있도록 고안하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 춘계학술발표대회
• /
• pp.187-190
• /
• 2018

최근 프로그래밍 교육에서 학생들의 학습 성취도를 빠르고 정확하게 평가하기 위하여 자동 채점 시스템을 사용한다. 강의를 통해 습득한 이론적인 지식을 이해하기 위해 직접 코드를 작성하는 실습이 진행되는 프로그래밍 교육에서 효과적이기 때문이다. 현재 실습에 필요한 실습문항의 대부분은 강사가 직접 생성해야 한다. 특히 강의내용을 바탕으로 예제 소스코드를 이해하여 빈 칸에 알맞은 코드를 작성하는 실습은 강사가 직접 빈 칸에 해당되는 부분을 예제 코드에서 지정해줘야 하는 추가적인 작업이 필요하다. 이러한 빈 칸 채우기 문항은 일반적으로 빈 칸이 고정된 행태이기 예문에 학생들이 답안을 공유하기 쉽다. 이를 막기 위해서 강사는 유사한 내용의 빈 칸 채우기 문항을 추가적으로 생성해야 한다. 하지만 대부분의 자동 채점 시스템은 이를 지원하지 않거나 강사에게 빈 칸을 직접 지정하도록 하는 경우가 대부분이다. 따라서 본 논문에서는 이러한 문제를 해결하는 빈 칸 채우기 문항 자동생성기법을 제안하고 적용 사례를 보인다.

• Geomechanics and Engineering
• /
• 제13권3호
• /
• pp.517-533
• /
• 2017

In this paper, with a graphical approach, a series of stability charts for homogeneous slopes with benches are presented based on the upper bound limit analysis theory and strength reduction technique. The objective function of the slope safety factor $F_s$ is optimized by the nonlinear sequential quadratic programming, and a substantial number of examples are illustrated to use the stability charts for homogeneous slopes with benches driven by only the action of the soil weight. These charts can be applied to quick and accurate estimations of the stability status of homogeneous slopes with benches. Moreover, the failure modes and the formula for safety factor Fs of homogeneous slopes with benches are provided to illustrate the stability analysis of slopes with benches, which is validated by samples.

• ALGAE
• /
• 제36권4호
• /
• pp.333-340
• /
• 2021

Phylotranscriptomics is the study of phylogenetic relationships among taxa based on their DNA sequences derived from transcriptomes. Because of the relatively low cost of transcriptome sequencing compared with genome sequencing and the fact that phylotranscriptomics is almost as reliable as phylogenomics, the phylotranscriptomic analysis has recently emerged as the preferred method for studying evolutionary biology. However, it is challenging to perform transcriptomic and phylogenetic analyses together without programming expertise. This study presents a protocol for phylotranscriptomic analysis to aid marine biologists unfamiliar with UNIX command-line interface and bioinformatics tools. Here, we used transcriptomes to reconstruct a molecular phylogeny of dinoflagellate protists, a diverse and globally abundant group of marine plankton organisms whose large and complex genomic sequences have impeded conventional phylogenic analysis based on genomic data. We hope that our proposed protocol may serve as practical and helpful information for the training and education of novice phycologists.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 춘계학술발표대회
• /
• pp.272-275
• /
• 2010

인간이 하기 힘들거나 번거로운 작업은 지능형 로봇이 대체하고 있다. 하지만 로봇을 개발하기 위해서 설계, 구현 단계에서 실제 로봇을 사용하기 어려워 시뮬레이션 환경이 많이 사용된다. 실제 로봇을 사용할 경우 시간과 비용이 많이 들며 개발에 실패하거나 문제가 생겼을 경우 위험부담이 크다. 그러므로 위험부담을 줄이고 개발기간을 단축하기 위해서 실제 구성될 환경과 동작 환경을 고려한 시뮬레이션 환경이 로봇 제어 프로그램 개발에 많이 사용되고 있다. Pyro는 교육과 개발의 용도로 많이 사용되고 있으며, 로봇에 대한 세부적인 지식이 없더라도 제어 프로그램을 충분히 구현할 수 있어 시뮬레이션 환경으로 적합한 로봇 개발 플랫폼이다. 본 논문에서는 Pyro에 대해서 알아보고 Pyro 플랫폼들을 비교해본다.

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

본 논문에서는 블록형 코딩 방식을 통해 비전공자가 스스로 머신러닝의 쉽게 원리를 구현해 볼 수 있는 딥아이( D.I.Y, Deep AI Yourself) 플랫폼을 제안하였다. 딥아이는 구글의 오픈 소스 블록형 코딩 툴 개발 라이브러리인 Blockly를 기반으로 머신러닝 알고리즘을 쉽게 구현할 수 다양한 블록으로 구성되어 있다. Blockly는 CSR 기반이며 사용자가 개발한 블록 코드는 내부적으로 코드 생성기에 의해 파이썬 코드 등으로 변환되어 백엔드 서버에서 처리를 하며 결과를 사용자에게 제공한다.

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

2020학년도 1학기는 외부 환경 요인으로 인해 대학교육시스템에 큰 변화가 발생한 시기라고 할 수 있다. 컴퓨터공학 분야의 대표적인 실습기반 교과목인 프로그래밍 수업에서 학습자들에게 온라인 수업이지만 대면 수업의 실재감을 제공하는 방법을 모색할 필요성이 대두되었다. 본 연구에서는 다양한 유형의 수업 방식을 온라인 수업에 활용하여 대면 수업 수준의 실재감을 학습자에게 제공하고 학습효과를 높이고자 하였다. 강의 동영상 수업과 상호작용을 포함한 실시간 수업을 혼합하여 수업한 후 설문 조사를 통해 실시간 수업을 선호하는 학습자들이 수업목표인 프로그램 개발 능력을 타 학습자들보다 잘 습득하여 수업 만족도가 높았고, 이를 통해 온라인 수업에서 실시간 수업이 능동적인 학습자들에게는 대면 수업과 동등한 수준의 학습 효과가 있었음을 조사·분석하였다.

• Journal of information and communication convergence engineering
• /
• 제21권4호
• /
• pp.306-315
• /
• 2023

This study proposed an SCA advice system. It is an ontology-based recommender that provides advice on appropriate computer curricula based on the behavior of high school students. The three computer curricula at Chiang Mai Rajabhat University include computer science (CS), information technology (IT), and web programming and security (WEB). This study aims to design the ontology framework for an SCA advice system. The system considers three core ontologies: student, computer-curriculum, and advice. After analyzing student behaviors, the behavior types of CS, IT, and WEB were determined to be SB-2, SB-1, and SB-5, respectively. All subjects in these three curricula were analyzed and grouped into seven groups. Their curricula were synthesized in terms of basic skills, basic knowledge, and characteristics. Finally, advice results can be obtained by consolidating the curriculum nature of the CS, IT, and WEB curricula.

• Advances in aircraft and spacecraft science
• /
• 제10권5호
• /
• pp.393-418
• /
• 2023

Drones are increasingly used in logistics delivery due to their low cost, high-speed and straight-line flight. Considering the small cargo capacity, limited endurance and other factors, this paper optimized the pickup and delivery vehicle routing problem with time windows in the mode of "truck+drone". A mixed integer programming model with the objective of minimizing transportation cost was proposed and an improved adaptive large neighborhood search algorithm is designed to solve the problem. In this algorithm, the performance of the algorithm is improved by designing various efficient destroy operators and repair operators based on the characteristics of the model and introducing a simulated annealing strategy to avoid falling into local optimum solutions. The effectiveness of the model and the algorithm is verified through the numerical experiments, and the impact of the "truck+drone" on the route cost is analyzed, the result of this study provides a decision basis for the route planning of "truck+drone" mode delivery.

• 대한수학회지
• /
• 제61권2호
• /
• pp.395-408
• /
• 2024

There have been numerous studies on the characteristics of the solutions of ordinary differential equations for optimization methods, including gradient descent methods and alternating direction methods of multipliers. To investigate computer simulation of ODE solutions, we need to trace pseudo-orbits by real orbits and it is called shadowing property in dynamics. In this paper, we demonstrate that the flow induced by the alternating direction methods of multipliers (ADMM) for a C² strongly convex objective function has the eventual shadowing property. For the converse, we partially answer that convexity with the eventual shadowing property guarantees a unique minimizer. In contrast, we show that the flow generated by a second-order ODE, which is related to the accelerated version of ADMM, does not have the eventual shadowing property.