• Proceedings of the Korean Society of Computer Information Conference
• /
• 2018.07a
• /
• pp.421-422
• /
• 2018

작업 순서 결정 문제의 목표는 다양한 작업들에 대한 최적의 처리 순서를 결정하여 총 처리시간이나 납기 지연과 관련된 지표들을 최소화하는 것이다. 나아가, 실제 생산 현장에서는 작업 처리 순서를 결정할 때, 긴급도나 고객과의 관계 등과 같은 요인을 고려하여 일부 작업들을 특정 시간 내에 완료해야 할 수 있으며, 이 같은 제약 조건을 완료 시간 제약이라 한다. 본 논문에서는 완료 시간 제약을 갖는 작업 순서 결정 문제의 개념과 특성에 대해 살펴보고, 이러한 문제를 풀이하기 위한 알고리즘 개발에 후보 순위 접근법을 적용할 것을 제안한다.

• Korea Information Processing Society Review
• /
• v.5 no.4
• /
• pp.61-66
• /
• 1998

원자성 완료 프로토콜은 기본적으로 일반적인 분산 시스템 내에서 트랜잭션들 사이의 원자성 및 일치성을 보장하기 위한 프로토콜이다. 이러한 프로토콜은 분산 트랙잭션 처리 과정 중에서 고장이 발생된 경우에 신뢰성 있게 진행이 될 수 있는 방안ㄷ르을 제시하고 있다 즉 원자성 완료 프로토콜은 분산 처리 과정에서 발생되는 각종 오류 발생에 대하여 신뢰성 있는 진행이 이루어지도록 지원하여 준다 그러나 일반적인 원자성 완료 프로토콜들을 실시간 시스템에서 요구하는 시간적인 요구 조건들은 고려하지 않고 설계되었다 예를 들어 두 단계 완료 프로토콜에서는 트랜잭션이 지연되는 문제가 발생될수 있다 또한 삼단계 완료 프로토콜에서는 빠른 처리가 이루어져야 하는 실시간 시스템의 기본조건을 무시하고 있는 프로토콜이다. 따라서 실시간 시스템에 유용한 원자성 완료 프로토콜은 단순히 원자성과 일치성만을 보장하는 것이 아니라 시간적인 제약조건도 만족할 수 있도록 설계되어야 한다 본 논문에서는 실시간 분산 시스템을 위한 원자성 완료 프로토콜에 대하여 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.1-3
• /
• 2001

컨테이너 터미널에서의 선석 및 크레인 일정계획은 일정 기간 동안 입항 예정인 선박들을 대상으로 접안 위치와 접안 시기 및 기간을 결정하며, 또한 각 선박별로 컨테이너를 싣고 내릴 크레인을 배정하되 각 크레인의 서비스 시작과 완료시간가지 지정하는 전 과정을 포함한다. 이 문제는 여러 선박들 사이의 시간적 공간적 제약관계를 준수하고 크레인들을 충돌 없이 각 선박에 할당하여야 하는 제약조건 만족 문제인 동시에, 각 선박의 선호 위치와 희망 입출항 시간을 최대한 준수해야 하는 최적화 문제이기도 하다. 기존의 연구에서는 제약만족탐색기법을 사용하여 초기계획을 수립한 후 최적의 해를 유도해 내기 위해 휴리스틱 교정기법을 제약만족 탐색기법의 틀 내에서 반복적으로 적용하였다. 본 논문에서는 반복적 개선 탐색 도중에 도출되는 해의 정보를 이용하여 새로운 제약조건을 추가함으로써 다음 제약만족 탐색 시 보다 쉽게 더 충은 해를 찾을 수 있도록 하였으며 이 방법을 기존의 휴리스틱 교정기법과 결합하여 휴리스틱 교정기법의 성능을 향상시켰다.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.47 no.9
• /
• pp.29-36
• /
• 2010

Consider an RFID network configured as a star such that a single reader is surrounded by a crowd of tags. In the RFID network, prior to attaining the information stored at a tag, the reader must cognize the tags while arbitrating a collision among tags' responses. For this purpose, we present a tag cognizance scheme based on framed and slotted ALOHA, which statically provides a number of slots in each frame for the tags to respond. For the evaluation of the cognizance performance, we choose the cognizance completion probability and the expected cognizance completion time as key performance measures. Then, we present a method to numerically calculate the performance measures. Especially, for small numbers of tags, we derive them in a closed form. Next, we formulate a problem to find an optimal time structure which either maximizes the cognizance completion probability under a constraint on the cognizance time or minimizes the expected cognizance completion time. By solving the problem, we finally obtain an optimal number of slots per frame for the tags to respond. From numerical results, we confirm that there exist a finite optimal number of slots for the tags to respond. Also, we observe that the optimal number of slots maximizing the cognizance completion probability tends to approach to the optimal number of slots minimizing the expected cognizance completion time as the constraint on the cognizance time becomes loose.

• Journal of Intelligence and Information Systems
• /
• v.6 no.2
• /
• pp.1-14
• /
• 2000

The berth and crane scheduling problem in a container terminal encompasses the whole process of assigning berth to each ship, determining the duration of berthing, assigning container cranes to each ship, and determining the specific start and end time of each crane service, for all the ships scheduled to be arriving at the terminal during a certain scheduling horizon. This problem is basically a constraint satisfaction problem in which cranes and berths should be assigned in such a way that all the spatial and temporal constraints are satisfied without any interference. However, it is also an optimization problem because the requested arrival and departure time should be met for as many of the scheduled ships as possible, while the operation cost of the terminal should be minimized. In this paper, we present an effective and efficient approach to solving this type of problem, which combines constrain satisfaction search and heuristic repair. We first employ a constraint satisfaction search to find a feasib1e solution. Then, the feasible solution is modified to a more optimal one by iteratively applying our heuristic repair operations within the framework of constraint satisfaction search. Experimental results with a real data from Pusan East Container Terminal showed that our approach can derive a schedule of satisfactory quality in a very short time.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.10-11
• /
• 2016

실시간 시스템이란 요청된 작업의 논리적 정확성과 시간적 제약을 만족하게 하는 시스템으로 요청된 작업을 예측 가능한 시간 내에 완료하는 시스템을 말한다. 범용 운영체제인 Linux는 실시간성을 지원하지 않기 때문에 ARM 프로세서(Processor) 기반의 Linux 환경에서도 실시간성을 제공하기 위해 본 연구를 진행한다. 본 연구는 Exynos 5422 ARM 프로세서에서 제공하는 타이머를 활용하여 실시간성을 확보하여 Linux 환경에 대한 실시간성 지원 제약을 해결할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.67-69
• /
• 2004

병렬 및 분산 컴퓨터 시스템에서 선후 관계의 제약을 갖는 노드들의 스케줄링은 잘 알려진 NP-complete이다. 이러한 노드들의 스케줄링을 효율적으로 수행하기 위해 많은 알고리즘이 부모 노드와 이질 프로세서에 대한 정보를 고려하여 제안되었다. 하지만 여러 개의 부오 노드와 이질 프로세서에 대한 다양한 경우를 충분히 고려하지 못했다. 본 논문은 부모 노드에 대한 선후 관계와 이질 시스템의 특성을 고려, 이질 수행 시간을 갖는 다중 프로세서를 대상으로 태스크가 가능한 빨리 수행할 수 있는 시간과 태스크가 가능한 빨리 완료될 수 있는 시간을 이용한 복제 기반의 태스크 스케줄링 기법(DTSC)을 제안하였다. 제안된 알고리즘의 성능은 기존 STDS 알고리즘과 대표적인 입력 그래프에 대해 비교하였고, 스케줄링의 성능 향상을 보여 주었다.

• The KIPS Transactions:PartD
• /
• v.11D no.6
• /
• pp.1213-1220
• /
• 2004

With the significant advances in mobile computing technology, there is an increasing demand for various mobile applications to process trans-actions in a real-time. When remote data access is considered in a mobile environment, data access delay becomes one of the most serious problems in meeting the deadline of real-time transaction. The mobile real-time transaction should be assured not only correctness of result of trans-action but also completion time of transaction. In this paper, we propose an optimistic concurrency control method to solve conflict among mobile real-time transactions. It minimizes influence on the cascade abort and delay of transactions that occur by disconnection and hand over in a mobile environment.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.619-621
• /
• 2004

실시간 운영 체제(Real-Time Operating Systems)는 시스템 동작이 논리적 정확성뿐만 아니라 시간적 정확성에도 좌우되는 운영 체제이다. 시간적 정확성은 결정성(Determinism)이라고도 하며 이를 지키기 위해서는 실시간 운영체제의 제약조건의 하나인 시스템 예측성을 만족해야만 한다. 예측성이란 시스템의 서비스가 정해진 시간 안에 완료되는지를 판별할 수 있다는 것으로 정확하게 동작하는 타이머가 꼭 필요하다. 본 논문에서는 타임 슬롯을 이용해서 타이머의 활성화, 비활성화 루틴을 간단하게 하고 타이머가 만료(Expire)되었음을 간단하게 판별해 낼 수 있는 소프트 타이머를 설계 및 구현하였다

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.4 s.32
• /
• pp.117-125
• /
• 2004

The berth and crane scheduling problem in a container terminal encompasses the whole process of assigning berth to each ship. determining the duration of berthing, assigning container cranes to each ship, and determining the specific start and end time of each crane service, for all the ships scheduled to be arriving at the terminal during a certain scheduling horizon. This problem is basically a constraint satisfaction problem in which all the constraints should be satisfied. However, it is also an optimization problem because the requested arrival and departure time should be met for as many of the scheduled ships as possible. while the operation cost of the terminal should be minimized. In this paper. I present an effective approach to solving this problem, which combines both constraint satisfaction search and iterative improvement search. I test this method on a real world container terminal problem and the results show that the method can produce better results than any other existing method.