• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.107-110
• /
• 2000

화학 박막 증착용(CVD : Chemical Vapor Deposition) 클러스터 장비는 다양한 공정 경로가 가능하며 물류 흐름이 매우 복잡해질 수 있다. 또한, 공정이 종료된 웨이퍼는 제한 시간 내에 챔버에서 꺼내져야만 한다. 클러스터 장비는 두 개의 팔을 가진 로봇이며, 빈 쪽 팔을 이용하여 공정이 종료된 웨이퍼를 꺼낸 후, 다른 쪽 팔을 이용하여 이전 공정에서 가져온 웨이퍼를 해당 공정에 넣어 주는 스왑(SWAP) 방식으로 운영된다. 이러한 스왑 방식에서는 로봇 작업 순서가 결정되어 진다. 그러나, 로봇의 팔 이외에 임시버퍼가 없고, 각 챔버는 엄격한 체제 시간 제약(Residency Time Constraint)을 가지고 있기 때문에 로봇의 작업 시점의 제어가 필요하다. 본 논문에서는 간단한 Earliest Starting 방식으로 로봇의 작업 시점을 제어한다고 가정했을 때, 스왑 방식을 운용하면서 체제 시간 제약을 만족하는 공정 시간들의 조건을 제시한다. 공정 시간은 엔지니어에 의해 다소 조정이 가능하므로 공정 시간들의 조건은 엔지니어에게 스케줄 가능한 공정 시간을 결정할 수 있도록 지원해 주는 시스템에 활용 가능하다. 또한, 본 논문에서는 FSM(Finite State Machine)을 이용하여 CTC(Cluster Tool Controller) 내부의 실시간 스케줄러 구현 방법을 제안한다.

• Journal of KIISE:Software and Applications
• /
• v.37 no.7
• /
• pp.584-589
• /
• 2010

The dynamic time warping algorithm generally used in time series pattern recognition spends most of the time in generating the correlation table, and it establishes the global path constraint to reduce the corresponding time complexity. However, the constraint restrains just in terms of the time axis, not considering the contents of input patterns. In this paper, we therefore propose an efficient branch and bound dynamic time warping algorithm which sets the global constraints by adaptively reflecting the patterns. The experimental results show that the proposed method outperforms conventional methods in terms of the speed and accuracy.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.12 no.3
• /
• pp.495-508
• /
• 1999

변형된 라이저의 단위 접선벡터상의 운동학적 제약조건을 적용하여 심해저 라이저의 비선형 동적해석을 행한다. 이 조건의 적용으로 자유도수를 감소시킬 수 있으며 심한 비선형성으로 인한 해의 발산 가능성을 제거할 수 있다. 라이저의 거대변형으로 인한 기하학적 비선형성과 비선형 경계조건이 고려된다. 또한, 비선형성이 포함되는 수동학적 하중이 조류와 파랑에 의해 발생하여 내부에 정상류가 흐르는 라이저관의 외벽에 작용하게 된다. 이 외에도라이저 자체의 축방향 변형조건을 고려한다. Galerkin의 유한요소 근사화와 시간증분자를 적용하여 유한요소에 대한 평형 메트릭스 방정식을 유도하고, 수치해석을 위한 알고리즘을 제안하며 API 보고서의 결과와 비교함으로써 제안된 모델이 검증된다. 또한, 기하학적 비선형성으로 인한 영향을 조사하였다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2007.12a
• /
• pp.207-209
• /
• 2007

본 논문은 내륙 운송 체계 하에서 공 컨테이너의 효율적인 운송관리 문제에 대하여 다루었다. 내부적으론 pickup and delivery 제약조건을 적용하여 특정 pick up 시간을 가지는 화물과 터미널에서의 적 컨테이너을 만족하는 차량의 스케줄링 문제이다. 차량의 내부 운송에서 공 컨테이너의 이동이나 공차의 이동 같은 불필요한 이동을 최소화함으로 효율적 운송을 할 수 있다. 또 한 모든 화물과 수입된 적 컨테이너의 pick up time 의 시간 제약으로 인한 차량의 이동 제약를 만족해야 한다. 이 문제를 해결하기 위해서 휴리스틱과 메타 휴리스틱 방법을 이용하여 근사해를 도출한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.68-70
• /
• 1998

본 논문에서는 클록들을 주기적으로 동기화하는 분산 실시간 시스템에서 주어진 태스크의 시간 제약(timing constraint)을 변환시는 구가지 기법을 제안한다. 전형적인 이산 클록 동기화(discrete clock synchronization)알고리즘은 클록의 값을 순간적으로 보정(correct)하여 클록의 시간이 불연속적으로 진행학 한다. 이러한 시간상의 불연속성은 태스크의 시작제한시간(release time)이나 종료시한(deadline)과 같은 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다. 클록 시간의 불연속성을 피하기 위해 일반적으로 연속 클록 동기화(continuous clock synchronization) 기법이제안되었지만 소프트웨어적으로 구현되기에는 많은 오버헤드를 유발시키는 문제점이 있다. 이에 따라 연속 클록 동기화는 PLL (Phase-Locked Loop)을 이용한 별도의 하드웨어를 사용하는 것이 보통이다. 본 논문에서는 연속 클록 동기화 기법을 사용하는 대신, 태스크의 시간 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였다. DCT는 소프트웨어 으로 구현이 가능하여 새로운 하드웨어를 필요로 하지 않으며, 이를 통해 기존의 이산적으로 동기화된 시스템에서 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있다. 또 다른 문제점으로서, 클록의 물리적인 특성으로 인해 동기화된 클록들이 상한된(bounded from the above)오차(skew)를 갖는다는 것이다. 이러한 오차는 지역 클록(local clock)에 대해 만족될 수 있는 임의의 실기간 제약 조건이 전역 클록(global clock)에 대해서는 만족되지 않을 수 있음을 의미한다. 본 논문에서는 이를 위해 먼저 두 가지의 스케줄링 가능성, 지역적 스케줄링 가능서(local schedulability)과 전역적 스케줄링 가능성(global schedulability)을 정의하고, 실시간 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation)기법을 제안하였다. SCT를 통해 지역적으로 스케줄링 가능한 태스크는 전역적으로 스케줄링이 가능하므로, 단지 지역적 스케줄링 가능성만을 검사하면서 스케줄링 문제를 해결할 수 있도록 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.258-263
• /
• 2007

임베디드 시스템은 그 복잡도가 나날이 증가하고 있는데, 특히 기능성 외에 주어진 시간 제약 조건을 만족해야 한다는 점에서 개발 및 검증이 어렵다는 특징을 갖고 있다. 특히 검증에 대해서는 많은 경우에 적당한 시나리오들을 잡아 반복적인 시뮬레이션을 하는 방법을 사용하는데, 이 방법은 많은 시간이 걸리며, 적당한 시나리오들을 잡기 어렵다는 문제 또한 가지고 있다. 본 논문에서는 데이터플로우 모델과 유한상태기계 모델을 확장하여 시스템에 자원 사용 정보 및 시간 제약 조건을 명세하고, 이 모델들에 기반한 정적 시간 분석 방법을 제시하고 있다. 본 논문에서 제시한 방법을 통해 검증 시 자동으로 필요한 시나리오들에 대해 검증을 수행할 수 있으며, 시뮬레이션 등 긴 시간이 걸리는 검증 방법을 최소한으로 사용할 수 있다는 이점을 얻을 수 있다.

• The Journal of Engineering Research
• /
• v.6 no.1
• /
• pp.5-14
• /
• 2004

Finding a solution to a constraint satisfaction problem requires choosing values for variables so as to satisfy the constraints of the problem. A constraint is simply a logical relation among several unknowns (or variables), each taking a value in a given domain. Conventional constraint-based scheduling systems are not enough to satisfy the all constraints because there are conflicts between them. In this paper, we propose a method for interactive scheduling, which have two major problems: first, it is hard to satisfy concretely all various kinds of constraints, and second, the search space is extremely large and requires a long execution time. To solve the above problems, we introduce the Interactive Scheduling System (ISS) that interacts with the user to exchange suggestions each other. Our system is performed in two steps: knowledge base generation of an initial assignment and iterative improvement with the user(host or internet client) to satisfy the constraints. Applying our system, we actually constructed timetables for our university, where the scheduling time is considerably reduced.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.18 no.2
• /
• pp.169-176
• /
• 2018

In this paper, we consider duty-cycled wireless sensor networks (WSNs) in which sensor nodes are periodically dormant in order to reduce energy consumption. In such networks, as the duty cycle interval increases, the energy consumption decreases. However, a higher duty cycle interval leads to the increase in the end-to-end (E2E) delay. Many applications of WSNs are delay-sensitive and require packets to be delivered from the sensr nodes to the sink with delay requirements. Most of existing studies focus on only reducing the E2E delay, rather than considering the delay bound requirement, which makes hard to achieve the balanced performance between E2E delay and energy consumption. A few study that considered delay bound requirement require time synchronization between neighboring nodes or a specific distribution of deployed nodes. In order to address limitations of existing works, we propose a duty-cycle scheduling algorithm that aims to achieve low energy consumption, while satisfying the delay requirements. To that end, we first estimate the probability distribution for the E2E delay. Then, by using the obtained distribution we determine the maximal duty cycle interval that still satisfies the delay constraint. Simulation results show that the proposed design can satisfy the given delay bound requirements while achieving low energy consumption.

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

오늘날의 기업은 상품을 판매하는 것 뿐만 아니라 기업의 신용과 이미지를 위해 그 상품에 대한 사후처리(After Service) 업무에 많은 투자를 하고 있다. 이러한 양질의 사후서비스를 고객에게 공급하기 위해서는 많은 인력을 합리적으로 관리해야 하며 요청되는 고장수리 서비스 업무의 신속한 해결을 위해 업무를 인력에게 합리적으로 배정을 해야 한다. 그러므로, 회사의 비용을 최소화하면서 정해진 시간에 요청된 작업을 처리하기 위해서는 인력들에게 작업을 배정하고 스케줄링하는 문제가 발생된다. 본 논문에서는 이러한 문제를 해결하기 위해서 화학계기의 A/S작업을 인력에게 합리적으로 배정 하는 스케줄링 시스템에 관한 연구이다. 먼저 스케줄링 모델을 HP사의 화학분석 및 시스템을 판매, 유지보수 해주는 Y사의 작업 스케줄을 분석하여 필요한 도메인과 고객서비스전략과 인력관리전략에서 제약조건을 추출하였고 여기에 스케줄링 문제를 해결하기 위한 방법으로 제약만족문제(CSP) 해결기법인 도메인 여과기법을 적용하였다. 도메인 여과기법은 제약조건에 의해 변수가 갖는 도메인의 불필요한 부분을 여과하는 것으로 제약조건과 관련되어 있는 변수의 도매인 크기가 축소되는 것이다. 또한, 스케줄링을 하는데에 있어서 비용적인 측면에서의 스케줄링방법과 고객만족도에서의 스케줄링 방법을 비교하여 가장 이상적인 해를 찾는데 트래이드오프(Trade-off)를 이용하여 최적의 해를 구했으며 실험을 통해 인력에게 더욱 효율적으로 작업들을 배정 할 수 있었고 또한, 정해진 시간에 많은 작업을 처리 할 수 있었으며 작업을 처리하는데 있어 소요되는 비용을 감소하는 결과를 얻을 수 있었다.

• Information Systems Review
• /
• v.13 no.3
• /
• pp.99-121
• /
• 2011

With the advancement of mobile information technology, the era of smart work emerges as a means for enabling us to overcome temporal and spatial constraints. Thanks to smart mobile devices with seamless access, organizations can assign tasks to employees and provide services to the appropriate customers in mobile environments. In addition, smart work facilitates the improvement of coordination and collaboration among individuals and groups performing organizational tasks. The dramatic performance improvement is manifest by utilization of smart work in organizations. Therefore, the interest in the introduction of smart work is growing. With the lens of time-geography, this study investigates what makes smart work successful. This research, especially, concentrates on the processes for overcoming the temporal and spatial constraints in the field. A case study of the Seoul Metropolitan Rapid Transit Talk and Flash (SMRT T&F) is developed and analyzed through the framework of time-geography and the implementation processes and success factors of SMRT T&F are investigated.