• 한국컴퓨터산업학회논문지
• /
• 제6권5호
• /
• pp.791-800
• /
• 2005

본 논문에서 ASP 프로그래밍 능력 향상을 위한 교육용 컨텐츠를 개발하였다. 여기서 개발된 교육용 컨텐츠는 구성주의에 바탕을 둔 교수 학습 모델의 하나인 인지적 도제 모델을 적용하였다. 특히, 본 컨텐츠를 통해서 학습자는 멀티미디어로 만들어진 교육용 동영상을 통해 학습할 수 있고, 실제 실습 환경과 유사하게 실행되는 동영상의 예제에 따라 프로그래밍을 실습할 수 있으며, 주어진 과제를 해결함으로써 스스로 이해 수준을 파악할 수 있다. 따라서 이 교육용 컨텐츠는 학습자 스스로가 프로그래밍 실습에 흥미를 가지고 학습을 유도하도록 개발하였으므로 학습 효과를 기대할 수 있다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.947-950
• /
• 2005

In this paper, we present an approach to control the locomotion of snake robot with concurrent programming model constructed using threads and semaphores. The multi-thread based concurrent programming model adds the flexibility to design and synchronize the movement of snake robots as compared with microcontroller and mechanical based approaches. We have designed a physical snake robot using LEGO sensors and actuator blocks and the wave motion of the snake robot is generated by multi-thread based concurrent programming under RT-Linux. The different robot movements in a desired direction along with different types of snake movements are achieved using angle sensors.

• Journal of applied mathematics & informatics
• /
• 제15권1_2호
• /
• pp.333-341
• /
• 2004

In the real world there are many linear programming problems where all decision parameters are fuzzy numbers. Several approaches exist which use different ranking functions for solving these problems. Unfortunately when there exist alternative optimal solutions, usually with different fuzzy value of the objective function for these solutions, these methods can not specify a clear approach for choosing a solution. In this paper we propose a method to remove the above shortcoming in solving fuzzy number linear programming problems using the concept of expectation and variance as ranking functions

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1997년도 추계학술대회 발표논문집:21세기를 향한 정보통신 기술의 전망
• /
• pp.79-89
• /
• 1997

Logic programming has many advantages as a paradigm for parallel programming because it offers ease of programming while retaining high expressive power due to its declarative semantics. In parallel logic programming, one of the important issues is the compile-time parallelism detection. Static data-dependency analysis has been widely used to gather some information needed for the detection of AND-parallelism. However, the static data-dependency analysis cannot fully detect AND-parallelism because it does not provide some necessary functions such as the propagation of groundness. As an alternative approach, abstract interpretation provides a promising way to deal with AND-parallelism detection, while a full-blown abstract interpretation is not efficient in terms of computation since it inherently employs some complex operations not necessary for gathering the information on AND-parallelism. In this paper, we propose an abstract domain which can provide a precise and efficient way to use the abstract interpretation for the detection of AND-parallelism of logic programs.

• 한국컴퓨터정보학회논문지
• /
• 제21권9호
• /
• pp.139-147
• /
• 2016

In recent, android application developments have been done widely that intensify smart phone utilization. In this paper, we propose a curriculum that undergraduate students can improve their mobile programming abilities as well as integrate experiences of application development based on android. And also a series of practices to advance their sense of accomplishment are added by offering an opportunity to carry out a real project to use a variety of sensors embedded in smart phone during the course of study. The project is composed of a series of modules for implementing a trekking App that helpful to people who enjoy spending time in outdoors through their favorite activities such as trekking, cycling, and climbing with their own smart phones. Through practical curriculum operation and project implementation, we show that the proposed curriculum is appropriate to a mobile programming education that combine learning and practice.

• 한국컴퓨터정보학회논문지
• /
• 제21권9호
• /
• pp.91-100
• /
• 2016

In this research, emergency vehicle dispatching problems faced with in the wake of massive natural disasters are considered. Here, the emergency vehicle dispatching problems can be regarded as a single machine stochastic scheduling problems, where the processing times are independently and identically distributed random variables, are considered. The objective of minimizing the expected number of tardy jobs, with distinct job due dates that are independently and arbitrarily distributed random variables, is dealt with. For these problems, optimal static-list policies can be found by solving corresponding assignment problems. However, for the special cases where due dates are exponentially distributed random variables, using a proposed dynamic programming approach is found to be relatively faster than solving the corresponding assignment problems. This so-called Pivot Dynamic Programming approach exploits necessary optimality conditions derived for ordering the jobs partially.

• 한국컴퓨터정보학회논문지
• /
• 제24권9호
• /
• pp.9-20
• /
• 2019

In this paper, we study the university timetabling problem, which consists of two subproblems, the university course timetabling problem and the examination timetabling problem. Given a set of classrooms, students, teachers, and lectures, the problem is to assign a number of courses (and examinations) to suitable timeslots and classrooms while satisfying the given set of constraints. We discuss the modeling and solution approaches to construct course and examination timetables for one of the largest Korean university. By using binary integer programming formulations, we describe these two complex real-world problems. Then, we propose a solution method, called NOGOOD, to solve the examination timetabling model. The computation results show that NOGOOD finds the optimal examination schedule for the given instance. Although we consider a specific instance of the university timetabling problem, the methods we use can be applicable to modeling and solving other timetabling problems.

• 정보교육학회논문지
• /
• 제19권1호
• /
• pp.21-30
• /
• 2015

21세기 지식 정보 사회에 컴퓨터 교육이 매우 중요하다. 컴퓨터 교육에서 컴퓨터 프로그래밍 교육이 매우 중요하다. 컴퓨터 프로그래밍 교육에는 교수 학습 모델이 거의 없다. 본 연구에서는 학생들이 자기조절 학습을 할 수 있는 자기 조절 학습 모형을 개발한다. 본 연구에서는 자기 조절 학습 요소, 자기 조절 학습 단계와 자기 조절 학습 모형을 제안한다. 자기조절 학습 요소는 과제 수준, 일반화, 효율화이다. 자기조절 학습 단계는 문제이해, 설계, 코딩, 시험, 유지보수이다. 자기조절 학습 모델은 복사하기, 변형하기, 창조하기, 도전하기이다. 본 연구의 결과는 다음과 같다. 학습 요소들과 성취도간의 상관관계 분석은 효율화와 일반화가 과제 수준보다 더 높았다. 학습 단계에는 문제 이해와 설계 단계가 다른 단계보다 더 높았다. 학습 모형에서는 변형하기, 창조하기, 도전하기가 구현하기보다 상관관계가 더 높았다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권4호
• /
• pp.1765-1794
• /
• 2019

Genetic Programming (GP) is an intelligence technique whereby computer programs are encoded as a set of genes which are evolved utilizing a Genetic Algorithm (GA). In other words, the GP employs novel optimization techniques to modify computer programs; imitating the way humans develop programs by progressively re-writing them for solving problems automatically. Trial programs are frequently altered in the search for obtaining superior solutions due to the base is GA. These are evolutionary search techniques inspired by biological evolution such as mutation, reproduction, natural selection, recombination, and survival of the fittest. The power of GAs is being represented by an advancing range of applications; vector processing, quantum computing, VLSI circuit layout, and so on. But one of the most significant uses of GAs is the automatic generation of programs. Technically, the GP solves problems automatically without having to tell the computer specifically how to process it. To meet this requirement, the GP utilizes GAs to a "population" of trial programs, traditionally encoded in memory as tree-structures. Trial programs are estimated using a "fitness function" and the suited solutions picked for re-evaluation and modification such that this sequence is replicated until a "correct" program is generated. GP has represented its power by modifying a simple program for categorizing news stories, executing optical character recognition, medical signal filters, and for target identification, etc. This paper reviews existing literature regarding the GPs and their applications in different scientific fields and aims to provide an easy understanding of various types of GPs for beginners.

• 정보교육학회논문지
• /
• 제18권1호
• /
• pp.185-193
• /
• 2014

소프트웨어 제작 교육은 미래의 IT 기술을 능동적으로 사용하고, 컴퓨터와 대화할 수 있는 프로그래밍 언어를 가르치는 교육이다. 이를 위해 본 연구에서는 영국, 미국, 인도, 에스토니아를 중심으로 프로그래밍 교육과 관련된 교육과정을 분석하였다. 또한, 그 결과를 토대로 우리나라의 초등학교와 중학교에서 프로그래밍 교육을 할 수 있도록 정보 과학의 한 영역으로서 소프트웨어 제작 분야의 성취 목표와 교수학습 방법, 평가 방법 등을 제안하였다. 본 연구에서는 초등학교 1학년부터 중학교 3학년까지를 4단계로 구분하고, 각 단계별로 2~3개의 세부 영역과 그에 따른 성취 목표를 제시하였다.