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

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

• 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.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.11-18
• /
• 2005

In this paper, we propose a new technology mapping algorithm for CPLD consider area under time constraint. This algorithm detect feedbacks from boolean networks, then variables that have feedback are replaced to temporary variables. Creating the temporary variables transform sequential circuit to combinational circuit. The transformed circuits are represented to DAG. After traversing all nodes in DAG, the nodes that have output edges more than two are replicated and reconstructed to fanout free tree. Using time constraints and delay time of device, the number of graph partitionable multi-level is decided. Several nodes in partitioned clusters are merged by collapsing, and are fitted to the number of OR-terms in a given CLB by bin packing. Proposed algorithm have been applied to MCNC logic synthesis benchmark circuits, and have reduced the number of CLBs by $62.2\%$ than those of DDMAP. And reduced the number of CLBs by $17.6\%$ than those of TEMPLA.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.5
• /
• pp.632-639
• /
• 2018

Recently, a policy has been enforced to supply Plug-in Electric Vehicles (PEVs) but this may require reinforcement of the power system depending on its clustering because PEVs are charged directly from power systems. On the other hand, as the reinforcement of power system is limited by time and budget, it is important to supply the charging demand of PEVs efficiently using the existing power systems to increase the diffusion of PEVs. This paper establishes a charging schedule for Plug-in Electric Vehicles (PEVs) considering the power system constraints. For this, the required amount and time of the charging demand for an individual PEV was modeled to integrate into power systems based on the driving pattern and charging tariff of PEV. Furthermore, the charging schedule of PEVs was established to meet the power system constraints by calculating the operating conditions of the power systems with PEVs.

• Journal of Korean Society of Transportation
• /
• v.24 no.3 s.89
• /
• pp.167-176
• /
• 2006

An minimum path algorithm for integrated networks with departure time constraints require considering arrival time of arriving mode, transfer time. waiting time, and departure time of next mode. Integrated network with diverse modes commonly include departure time constraints. Because public mode suck as train and airplane have fixed service schedule which provide passengers. This study developed the k-path algorithm in integrated network with time varying conditions and departure time constraints. We proposed the extended method based on entire path deletion method, and examined the application of the proposed algorithm through case study.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.4
• /
• pp.587-593
• /
• 2006

Development of digital information and internet technology causes the changes of technology environments and companies, and the variety of customers needs has been dynamically changed in terms of integrating information system with customers satisfaction. Moreover a new logistics concept is needed through the sharing information between suppliers and consumers, which maximizes the customers service and its flexibility by changing functional-oriented to process-oriented. Many research papers on transportation studies have focused on the Vehicle Routing Problem (VRP) and Vehicle Scheduling Problem (VSP). However in the real world, it is known that it takes long time to build vehicle scheduling in the process of transporting the amount of orders from the logistics center to the vendors due to the realistic constraints. This paper presents a framework design for each process enabling delivery planning automatically using heuristic algorithm. In addition, an interactive delivery planning system is implemented utilizing the proposed algorithm.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.01a
• /
• pp.13-14
• /
• 2017

본 논문에서는 강의 시간표 최적화를 위한 제약 프로그래밍의 적용 방안을 제시한다. 제약 프로그래밍은 제약 만족 문제를 해결하기 위한 기법으로 대상 문제를 결정 변수, 도메인, 제약조건으로 표현한다. 본 논문에서는 시간표 작성 최적화 문제의 결정 변수로 강의실, 요일, 교시를 사용하였으며, 추가로 요일과 교시를 결합한 변수를 사용함으로써 보다 쉽게 제약 조건을 표현할 수 있도록 하였다. 또한 제약 프로그래밍에 의해 도출된 초기해를 또 다시 제약 프로그래밍을 통해 반복적으로 개선함으로써 더 좋은 강의 시간표를 작성할 수 있도록 하였다. 특정 학과의 강의 시간표 문제를 대상으로 한 실험 결과, 본 논문에서 제안한 방법을 통해 보다 빠른 시간 내에 초기해를 도출할 수 있을 뿐 아니라 최종적으로 더 좋은 해의 도출이 가능함을 확인하였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.10a
• /
• pp.153-156
• /
• 2000

철도 승무원 교번표는 승무사업이 작성된 이후 순서규칙(sequencing rule), 운영규칙 등과 같은 제약조건을 만족하는 사업(duty)의 진행 내용을 나타내고 있는 표이다. 일반적으로 철도 승무원 교번표 작성은 승무원 사업표가 작성된 후 각 사업소 별로 승무원간 사업시간의 차이가 최소가 되도록 즉, 승무원이 균등한 사업시간을 갖도록 작성이 된다. 교번표의 작성은 각 나라마다 독특한 노동협약이나 운용규정 등과 같은 복잡한 제약조건들을 충분히 고려하여 작성되어야 하므로 그 동안 연구에 어려움이 많았다. 본 연구에서는 우리나라 철도청에서 현재 수행하고 있는 교번표 작성현황을 살펴보고 문제점을 파악하였다. 또한 교번표 작성 절차를 분석하여 모형화 하였으며 추후 연구방향을 제시하였다.

• KNOM Review
• /
• v.22 no.3
• /
• pp.25-30
• /
• 2019

For meteorological applications, meaningful results must be derived and provided within time and resource limits. Forecasts through numerous historical data are time-consuming and still have resource limitations in the case of disaster safety-related analyses/predictions such as local typhoon forecasts. Suitable forecasts should be provided without any problems caused by limited physical environmental conditions and when results are to be drawn under time constraints, such as typhoon forecasts and forecast services for flooded areas by road. In this paper, we analyze the application of weather and climate forecasting to provide a suitable forecasting service in both temporal and resource conditions. Through the analysis of execution time according to mesh sizes, it was confirmed that a mesh adjustment can cope with the case of the temporal constraint. In addition, by analyzing the execution time through memory resource control, we confirmed the minimum resource condition that does not affect the performance and the resource usage pattern of the application through the swap and mlock analysis.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05d
• /
• pp.1141-1145
• /
• 2002

멀티미디어 컨텐츠는 재생될 때 각 객체에 설정된 재생시간과 다른 객체와의 시간 관계에 따라서 재생된다. 기존 멀티미디어 컨텐츠는 저작할 때 설정된 재생시간과 관계에 따라서 그대로 재생이 되었으나, 현재 제작되고 있는 대부분의 멀티미디어 컨텐츠는 재생 중에 사용자 이벤트에 의한 장면 변화를 지원하고 있다. 재생 중에 발생하는 사용자 이벤트는 이미 설정된 객체의 재생시간과 관계를 변화시킨다. 그러므로 객체에 사용자 이벤트에 대한 액션을 설정할 때에 그 객체에 설정된 시간 관계를 조사하여, 이벤트가 설정되어도 타당성 있는 컨텐츠 재생이 되도록 하기 위한 제약조건과 이벤트 설정 방법이 필요하다[1]. 본 논문에서는 객체 단위의 사용자 상호작용을 지원하는 멀티미디어 컨텐츠의 표준인 MPEG-4 컨텐츠에서 각 객체의 시간 관계 설정과 이벤트 설정이 타당성 있게 되도록 하는 방법을 제시한다. 사용자 상호작용을 고려하여 MPEG-4 컨텐츠를 구성하는 객체간 설정할 수 있는 시간 관계를 분석하고, 시간관계에 설정될 수 있는 사용자 상호작용의 유형을 분석하였다. 또한 객체간 올바른 관계 설정을 위한 제약 조건과 이벤트 처리방법을 제안한다.