• 컴퓨터교육학회논문지
• /
• 제20권1호
• /
• pp.13-26
• /
• 2017

프로그래밍(알고리즘) 자동 평가 시스템은 주어진 문제에 대해 사용자가 제출한 소스코드의 정확성과 알고리즘의 시간/공간 효율성 등에 대한 즉각적인 평가 결과와 교정적인 피드백을 제공한다. 또한, 이러한 실시간 평가 결과를 통해 제공되는 문제별 채점 현황(제출 횟수, 통과 횟수), 랭킹 등의 경쟁적인 요소는 사용자에게 프로그래밍 학습에 대한 동기와 흥미를 제공하는 장점이 있다. 본 연구에서는 프로그래밍(알고리즘) 자동 평가 시스템의 이론적 배경과 선행 연구에 대한 고찰, 국 내외 자동 평가 시스템의 동향에 대해 알아보고, 고등학교와 대학의 학부 과정에서 활용할 수 있는 방안을 제시하였다. 즉, 2015 개정 교육과정의 고등학교 과학 계열 전문 교과인 '정보 과학' 과목에서 자동 평가 시스템의 활용을 제시하고 있으며, 이에 따라 C언어의 문법에 관한 기초적인 내용에서부터 주어진 문제의 알고리즘 설계와 프로그래밍 단계까지 폭넓게 적용할 수 있다. 또한, 대학의 자료구조와 알고리즘 강좌에서 동일 문제에 대한 각 알고리즘의 실제 소요 시간을 직접 비교해 봄으로써 알고리즘의 성능 차이를 확인할 수 있다.

• 한국도서관정보학회지
• /
• 제47권2호
• /
• pp.99-124
• /
• 2016

어느 지역이든 공공도서관이 생활밀착형 지식정보서비스 기관, 문화향유 및 평생학습 공간으로 자리매김하려면 서비스 대상인구에 대한 인식조사가 선행되어야 한다. 이에 본 연구는 대구 시민을 대상으로 설문조사 방식을 적용하여 공공도서관의 비중과 중요성, 이용실태와 비이용 이유, 독서프로그램 참여 및 비참여 이유, 도서관 확충(신설) 요망지역 등에 대한 인식을 조사 분석하였다. 이를 바탕으로 국내외 관련 연구, 관계법령, 국민 독서실태조사, 전국문화기반 시설 총람, 대구시민 의식조사, 대구 도시브랜드 시민의식 조사, 광역시도 및 대구시 기초자치단체의 공공도서관 현황 등과 비교하여 대구시 공공도서관의 인프라 충실화 및 이용제고 방안을 제시하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.479-490
• /
• 2009

여러 가지 실세계 문제들은 마르코프 결정 문제(Markov decision problem) 들로 형식화하여 풀 수 있으나, 풀이 과정의 높은 계산 복잡도 때문에 실세계 문제들을 직접적으로 다루는 데 많은 어려움이 있다. 이를 해결하기 위해 많은 시간적 추상화(Temporal abstraction) 방법들이 제안되어 왔고 이를 자동화하기 위한 여러 방법들 또한 연구되어 왔으나, 이들 방법들은 명시적인 효율성 척도를 갖고 있지 않아 이론적인 성능 보장을 하지 못하는 문제가 있었다. 본 연구에서는 문제의 크기가 커지더라도 좋은 성능이 보장되는 자동적인 시간적 추상화 구현 방법에 대해 제안한다. 이를 위하여 네트워크 척도(Network measurements)를 이용하여 마르코프 결정 문제의 풀이 효율과 상태 궤적 그래프(State trajectory graph)의 위상 특성간의 관계를 분석하고, 네트워크 척도들 중 평균 측지 거리(Mean geodesic distance)가 마르코프 결정 문제의 풀이 성능과 밀접한 관계가 있다는 사실을 알아내었다. 이 사실을 기반으로 하여, 낮은 평균 측지 거리를 보장하는 복잡계망 모델(Complex network model)을 사용하여 시간적 추상화를 만들어 나가는 알고리즘을 제안한다. 제안된 알고리즘은 사실적인 3차원 게임 환경을 비롯한 여러 문제에 대해 테스트되었고, 문제 크기의 증가에도 불구하고 효율적인 풀이 성능을 보여 주었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권5_6호
• /
• pp.540-549
• /
• 2003

협력적 추천에서는 일반적으로 사용자 모델과 항목 모델이 사용되어진다. 사용자 모델은 사용자들간의 선호도 상관관계를 학습하고, 추천하고자 하는 항목에 대한 다른 사용자들의 선호도를 기반으로 그 항목을 추천한다. 이와 유사한 방식으로 항목 모델은 항목들간의 선호도 상관관계를 학습하고, 다른 항목들간의 선호도를 기반으로 추천 받는 사용자에게 항목을 추천한다. 본 논문에서는 추천 성능의 향상을 위해서 사용자 모델과 항목 모델간의 다양한 통합 방법을 제안한다. 제안하는 통합 방법으로는 순차적, 병렬적 통합 방법, 퍼셉트론 또는 다층 퍼셉트론을 이용한 통합 방법, 퍼지 규칙을 이용한 통합 방법 그리고 BKS를 적용한 방법이다. 본 실험에서는 통합 모델을 위해서 다층 퍼셉트론을 이용하여 사용자와 항목 모델을 각각 학습한다. 다층 퍼셉트론은 최근접 이웃방법이나 연관 규칙을 이용한 방법과 같은 기존의 추천 방법보다 연관된 항목들간의 가중치를 학습할 수 있고, 기호 데이타와 수치 데이타를 쉽게 처리할 수 있는 장점이 있다. 본 논문에서는 통합된 모델이 어떠한 단일 모델보다도 우수하고, 실험을 통하여 다층 퍼셉트론을 이용한 통합 방법이 다른 통합 방법보다 효율적인 통합 방법임을 보여주고 있다.

• 한국축산시설환경학회지
• /
• 제11권2호
• /
• pp.97-102
• /
• 2005

Anaerobic decomposition is one of the most common processes in nature and has been extensively used in waste and wastewater treatment for several centuries. New applications and system modifications continue to be adapted making the process either more effective, less expensive, or suited to the particular waste in question and the operation to which it is to be applied. Animal manure is a highly biodegradable organic material and will naturally undergo anaerobic fermentation, resulting in release of noxious odors, such as in manure storage pits. Depending on the presence or absence of oxygen in the manure, biological treatment process may be either aerobic or anaerobic. Under anaerobic conditions, bacteria carry on fermentative metabolisms to break down the complex organic substances into simpler organic acids and then convert them to ultimately formed methane and carbon dioxide. Anaerobic biological systems for animal manure treatment include anaerobic lagoons and anaerobic digesters. Methane and carbon dioxide are the principal end products of controlled anaerobic digestion. These two gases are collectively called biogas. The biogas contains $60\~70\%$ methane and can be used directly as a fuel for heating or electrical power generation. Trace amounts of ammonia and hydrogen sulfide ($100\~300\;ppm$) are always present in the biogas stream. Anaerobic lagoons have found widespread application in the treatment of animal manure because of their low initial costs, ease of operation and convenience of loading by gravity flow from the animal buildings. The main disadvantage is the release of odors from the open surfaces of the lagoons, especially during the spring warm-up or if the lagoons are overloaded. However, if the lagoons are covered and gases are collected, the odor problems can be solved and the methane collected can be used as a fuel. Anaerobic digesters are air-tight, enclosed vessels and are used to digest manure in a well-controlled environment, thus resulting in higher digestion rates and smaller space requirements than anaerobic lagoons. Anaerobic digesters are usually heated and mixed to maximize treatment efficiency and biogas production. The objective of this work was to review a current anaerobic biological treatment of animal manure for effective new technologies in the future.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 춘계학술대회 논문집
• /
• pp.342-347
• /
• 2002

After the industrial revolution in 20 century, the world are preparing for new revolution that is society with knowledge for a basis such as IT(Information Technology), NT(Nano Technology) and BT(Bio Technology). Recently, NT is applied to various fields that are composed of science, industry, media and semiconductor-micro technology. It has need of IT that is ultra-precision positioning technology with strokes of many hundreds mm and maintenance of nm precision in fields of ultra micro process, ultra precision measurement, photo communication part and photo magnetic memory. Performance test of servo control system that is used ultra-precision positioning system with single plane X-Y stage is performed by simulation with Matlab. Analyzed for previous control algorithm and adapted for modern control theory, dual servo algorithm is developed by minimum order observer, and stability and priority on controller are secured. Through the simulation and experiments on ultra precision positioning, stability and priority on ultra-precision positioning system with single plane X-Y stage and control algorithm are secured by using Matlab with Simulink and ControlDesk made in dSPACE

• 한국학교보건학회지
• /
• 제32권3호
• /
• pp.144-151
• /
• 2019

Purpose: The purpose of this study is to examine academic stress, social support and learning management system(LMS) utilization satisfaction of learners attending online graduate schools and understand the factors influencing their academic persistence. Methods: The participants were students of K online graduate school and the data of 143 students, in total, were collected from April to May in 2019. For data analysis, frequency analysis, x² test, t-test, F-test, Pearson's correlation and multiple regression analysis were conducted using SPSS ver. 23. Results: Academic stress, social support, and LMS utilization satisfaction were associated with academic persistence of online graduate students. The multiple regression analysis of the factors influencing academic persistence showed that the model was significant (p<.001) with an explanatory power of 23% and that significant factors influencing it were academic stress (β=-.23, p=.002), LMS utilization satisfaction (β=.31, p<.001) and jobs (β=.23, p=.002). Conclusion: Although the online graduate students' level of academic persistence was high, it is required to develop strategies to alleviate their academic stress and increase LMS utilization rate in order to increase their persistence to academic success. In addition, it is necessary to provide the foundation on which the utilization of major knowledge regarding jobs can be enhanced, reflecting the characteristics of online graduate students. Furthermore, this study is expected to contribute to the extension of professional and advanced education in response to social needs by developing a variety of online high education learning systems beyond time and space.

• 한국정보기술응용학회:학술대회논문집
• /
• 한국정보기술응용학회 2005년도 6th 2005 International Conference on Computers, Communications and System
• /
• pp.229-232
• /
• 2005

In this paper, an image-based "approach-align -grasp" visual servo control design is proposed for the problem of object grasping, which is based on the binocular stand-alone system. The basic idea consists of considering a vision system as a specific sensor dedicated a task and included in a control servo loop, and we perform automatic grasping follows the classical approach of splitting the task into preparation and execution stages. During the execution stage, once the image-based control modeling is established, the control task can be performed automatically. The proposed visual servoing control scheme ensures the convergence of the image-features to desired trajectories by using the Jacobian matrix, which is proved by the Lyapunov stability theory. And we also stress the importance of projective invariant object/gripper alignment. The alignment between two solids in 3-D projective space can be represented with view-invariant, more precisely; it can be easily mapped into an image set-point without any knowledge about the camera parameters. The main feature of this method is that the accuracy associated with the task to be performed is not affected by discrepancies between the Euclidean setups at preparation and at task execution stages. Then according to the projective alignment, the set point can be computed. The robot gripper will move to the desired position with the image-based control law. In this paper we adopt a constant Jacobian online. Such method describe herein integrate vision system, robotics and automatic control to achieve its goal, it overcomes disadvantages of discrepancies between the different Euclidean setups and proposes control law in binocular-stand vision case. The experimental simulation shows that such image-based approach is effective in performing the precise alignment between the robot end-effector and the object.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2002년도 추계학술발표논문집
• /
• pp.300-302
• /
• 2002

지식산업사회의 주요 자원인 인문학의 생산성을 높이기 위한 방안으로 본 연구에서는 인문학창업보육센터의 설립과 운영에 관한 모델을 개발하였다. 인문학창업보육센터는 인문학 관련 전공자가 창업에 성공할 수 있도록 창업에 적합한 교육과 정보를 제공하고 졸업 후에도 지속적으로 경영 컨설팅을 제공하는 기관이다. 본 연구는 인문학분야에서 창업 가능한 사업이 무엇인지 고찰하고 이 분야의 사업을 추진하고자 하는 예비창업자에게 제공해야하는 입주공간과 사무기기 등 하드웨어적 측면과 경영기법과 자금유치, 시장개척 등 소프트웨어적 지원을 체계적으로 제시하였다. 본 연구를 통해 중소기업청 차원에서의 인문학분야 창업보육센터 설립의 필요성을 적시하였고, 문화관광부에서 추진하는 문화산업창업보육센터 내에 인문학창업보육실을 운영해야 하는 정책적 필요성을 제안하고 있다. 본 연구에서 제시한 정책제안의 결과로 인문학 분야 관련 정부 연구 기관이나 민간 단체 및 전문기관이 인문학창업보육센터를 설립ㆍ운영하여 인문학분야의 고용창출과, 인문학의 학문적 발전, 그리고 지역의 경제 활성화를 도모하는 계기가 되기를 기대한다.

• 정보과학회 논문지
• /
• 제42권3호
• /
• pp.341-360
• /
• 2015

패턴은 소프트웨어 개발에서 얻은 경험을 구조화한 것으로 문제해결에 이용되는 반면, 문제틀은 소프트웨어 문제를 분석하는 방법이다. 문제틀은 해법이라기 보다는 문제 도메인에 중점을 두고 있기 때문에 문제를 이해하는데 유용하다. 문제틀과 소프트웨어 아키텍처를 연결하는 기존 연구들은 주어진 문제를 이해하는데 치중하여 문제틀을 이용할 뿐 문제틀과 품질속성 모두를 고려하면서 아키텍처 패턴을 도출하고 있지 않다. 본 논문에서는 문제틀과 아키텍처 패턴의 매칭을 통한 소프트웨어 패턴 기반 아키텍처 설계 방법을 제안한다. 먼저, 문제틀 방법에 따라 문제 모델을 개발한 후 기능 및 품질속성 관점에서 문제 모델을 아키텍처 패턴 후보와 매칭한다. 논문은 기능 매칭을 위해서는 문제틀 다이어그램을 이용한 아키텍처 패턴의 문제 모델을, 품질속성을 고려하기 위해서는 새로운 분석 템플릿을 사용하여 아키텍처를 설계하는 방법을 제안한다. 또한, 사례연구를 통해 제안한 방법이 올바른 아키텍처 패턴을 결정하는 체계적인 프로세스이며 잘 정제된 소프트웨어 아키텍처 설계를 위한 기초가 됨을 보인다.