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

The set partitioning problem is a well-known NP-hard combinatorial optimization problem, and it is formulated as an integer programming model. This paper proposes an Integer Programming-based Local Search for solving the set partitioning problem. The key point is to solve the set partitioning problem as the set covering problem. First, an initial solution is generated by a simple heuristic for the set covering problem, and then the solution is set as the current solution. Next, the following process is repeated. The original set covering problem is reduced based on the current solution, and the reduced problem is solved by Integer Programming which includes a specific element in the objective function to derive the solution for the set partitioning problem. Experimental results on a set of OR-Library instances show that the proposed algorithm outperforms pure integer programming as well as the existing heuristic algorithms both in solution quality and time.

• 한국문헌정보학회지
• /
• 제28권
• /
• pp.3-21
• /
• 1995

The library as nonprofit organization is required to have micro-planning for the organization itself and macro-planning for the relationship of the organization and its environment. Both the micro and macro planning are rational and effective means to library objectives. The library planning must be based on clearly formulated objectives that will encourage all parts of the organization to work toward the same goal and mission. The planning to library objectives should make programming. which should make processing. The mission here should precede goal. which should precede objectives and objectives should precede activities in planning. There is an integral relationship among them. Just as the objectives of the library may be thought of in a hierarchy such as the above. so the library planning must be based on such a hierarchy from strategic or long range planning to administrative planning, from administrative planning to operational planning or short range ones.

• 실천공학교육논문지
• /
• 제14권1호
• /
• pp.1-10
• /
• 2022

전자공학교육에서 C 프로그래밍 언어 학습은 컴퓨터 프로그래밍을 이해하고, 임베디드 시스템에서 마이크로프로세서 활용 능력을 습득하기 위한 중요한 기초 교육 과정이다. 기초적 문법과 알고리즘 이해에 중점을 두기 위해, 콘솔 창에서 C 표준 라이브러리 함수에 기반한 프로그램을 작성하며 이론과 실습을 병행해 학습하는 것이 일반적인 교육방법이다. 그렇지만, C 언어의 기본 지식을 어느 정도 습득한 후 프로젝트 활동을 하거나 더 심화된 단계로 나아가고자 한다면, 콘솔창에서 C 표준 라이브러리 함수만을 사용하는 것은 C 프로그램으로 표현하거나 제어할 수 있는 대상을 한정시키게 된다. 학습자가 그래픽 또는 멀티미디어 리소스를 쉽게 활용해 교육적 가치를 높이기 위한 목적으로, 본 논문에서는 공개 소스 소프트웨어인 Simple DirectMedia Layer (SDL)을 활용하는 방안을 C 프로그래밍 언어 학습 과정에 적용한 사례를 연구한다. 콘솔 창에서 수행하는 기초적 프로그래밍 교육과정을 마친 후에 적용된 SDL활용 프로그래밍 교육 과정을 소개하고, 설문 조사를 통해 교육적 가치를 평가한다. 그 결과, 응답자의 56% 이상이 응용능력개선, 흥미유발, 전반적 유용성 측면에서 긍정적 의견을 표명했으며, 부정적 의견은 4% 이하였다.

• 융합신호처리학회논문지
• /
• 제4권3호
• /
• pp.61-67
• /
• 2003

We propose a systolic array for dynamic programming which is a technique for solving combinatorial optimization problems. We derive a systolic array for single source shortest path Problem, SA SSSP, and then show that the systolic array serves as dynamic Programming systolic array which is applicable to any dynamic programming problem by developing a systolic array for 0 1 knapsack problem, SA 01KS, with SA SSSP for a basis. In this paper, each of SA SSSP and SA 01KS is modeled and simulated in RT level using VHDL, then synthesized to a schematic and finally implemented to a layout using the cell library based on 0.35${\mu}{\textrm}{m}$ 1 poly 4 metal CMOS technology.

• 한국컴퓨터정보학회논문지
• /
• 제19권10호
• /
• pp.13-21
• /
• 2014

집합 커버링 문제는 대표적인 조합 최적화 문제들 중 하나로서 n개의 열로부터 일부를 선택하여 m개의 행을 커버하되 비용을 최소화하는 문제로 정의된다. 본 논문에서는 집합 커버링 문제를 해결하기 위한 정수 계획법 기반 지역 탐색의 적용 방안을 제시하고 있다. 정수계획법 기반 지역 탐색은 이웃해를 탐색하여 현재해를 반복적으로 개선하는 지역 탐색 기법의 일종으로서 이웃해를 생성하기 위한 알고리즘으로 정수계획법을 사용한다. 본 논문에서 제시한 기법의 효과를 검증하기 위해 OR-Library의 테스트 데이터를 대상으로 실험을 수행하였다. 실험 결과, 모든 테스트 데이터에 있어서 정수계획법 기반 지역 탐색을 통해 지금까지 알려진 가장 좋은 해를 탐색할 수 있었다. 특히 4개의 테스트 데이터에 대해서는 지금까지 알려진 가장 좋은 해보다 더 좋은 해를 도출할 수 있음을 확인할 수 있었다.

• 대한기계학회논문집B
• /
• 제32권1호
• /
• pp.70-77
• /
• 2008

A pre-processing program based on the OOP(object-oriented programming) concept has been developed. The program consists of the input of a 2D or 3D flow problem to a CFD program by means of an user-friendly interface and the subsequent transformation of this input into a form suitable for the solver(PowerCFD) using unstructured cell-centered method. User-friendly GUI(graphic user interface) has been built on the base of MFC(Microsoft Foundation Class). The program is organized as modules by classes based on VTK(Visualization ToolKit)-library, and these classes are made to function through inheritance and cooperation which is an important and valuable concept of object-oriented programming. The major functions of this program are introduced and demonstrated, which include mesh generation, boundary settings, solver settings, generation of grid connectivity and geometric data etc.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(I)
• /
• pp.275-278
• /
• 1987

In this paper, a programming system for SCARA-type robots is designed, consisting of robot language, computational facilities and programming tools for handling interconnection environments. In designing the robot language, CLRC(C Library for Robot Control) is introduced, using the general-purpose language 'C' as base programming language. Also the motion primitives for Continuous Path control as well as Point-To-Point motion arc included. By means of frame and homogeneous transformations the system is capable of applying the SCARA-type robot efficiently and easily for any given task.

• 한국도서관정보학회지
• /
• 제22권
• /
• pp.61-93
• /
• 1995

This paper discussed which of the three basic entries of serials that changed their titles-earliest, latest, or successive entry cataloging-is the most efficient, informative, and economical in a manual and an online environment. The results of the study are as follow: 1. Earliest entry cataloging or as an alternative, successive entry cataloging advocated by Cutter in 1976 was replaced in ALA Cataloging Rules by latest entry cataloging and with AACR1 and AACR2, latest entry cataloging was replaced by successive entry cataloging again. 2. Entry method of serial cataloging should be determined in consideration of goals of catalog, efficiency of catalog retrieval, theoretical and practical standpoint of entry methods, average cataloging time and cost, the state of adaption. 3. In a card catalog environment, if the numbering and class number of the serial that title proper changed into initials itself continue and the title history must not be too complicated, the serial is desirable to entry under the latest title. Except for above case, successive entry cataloging enables serials to be more quickly and economically made available to users than with either earliest or latest entry cataloging. 4. In an automated catalog environment, successive entry cataloging has more potential of satisfying and impairs the efficiency of both accessing and processing a library's serials collection. However, when initial cataloging by MARC format is done, careful screen design and complex programming will be needed. And subfield containing the local record number should be added to the programming means to link the various records together, i.e., 780 (preceding title) and 785 (succeeding title) fields for all related titles.

• 한국문헌정보학회지
• /
• 제51권2호
• /
• pp.237-253
• /
• 2017

상호대차 서비스 운영의 효율화를 위해서 시스템적 접근과 같은 다양한 방법이 모색되고 있다. 본 연구는 그 가운데 상호대차 대출 요청의 이용자 대기시간을 줄일 수 있는 운영관리 방법에 대해서 제시하였다. 지역 내 상호대차 대출의 이용자 대기 시간은 2~3일로 안내되고 있는데 이와 같은 대기가 발생하는 가장 큰 이유는 도서 배송 차량의 이동경로 및 도서 배송량 결정에 비효율성이 있기 때문이다. 이를 해결하기 위해 혼합정수계획모형이라는 수리적 모형을 통해 도서 배송량을 최대화할 수 있는 차량 경로이동 방법을 제시하였다. 그리고 실제 도서관의 상호대차 요구량 자료를 이용하여 하루 가용한 시간 별, 최적의 도서 이동 및 차량 경로 해법을 제안하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권7호
• /
• pp.379-386
• /
• 2004

본 연구에서는 병렬프로그램을 효율적으로 개발할 수 있고 병렬처리 프로그램의 성능을 향상시키는 이식성을 갖는 고성능 병렬 라이브러리인 HPCL(High Performance Computing Library)을 구현하였다. HPCL은 C 언어와 Fortran 언어로 구현되었으며, Fortran 프로그램에서 메시지 전송 인터페이스인 MPI(Message Passing Interface)를 효율적으로 사용할 수 있도록 하였다. 성능 분석은 PC 클러스터와 상업용 슈퍼컴퓨터인 IBM SP4를 이용하여 병렬프로그램의 성능 향상 및 통신 오버헤드 등에 대하여 다양하게 이루어졌다.