• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.665-667
• /
• 1998

자동화 설계의 합성 과정 중에서 스케쥴링은 설계되는 하드웨어의 면적과 실행 시간을 결정하는 중요한 단계이다. 본 논문에서는 논문[8]의 방법으로 모든 연산의 배정 가능 범위를 축소하였으나 스케쥴링이 종료되지 않을 때 현재의 스케쥴링 상황을 매개변수로 표현하여 임의의 연산 배정 범위를 축소하기 위한 선택 함수를 제안한다. 제안한 방법에서는 배정 가능 범위가 가장 큰 연산의 ASAP 또는 ALAP중의 하나를 항상 선택하는데, 그러한 연산이 2개 이상인 경우에는 임의의 연산의 ASAP 또는 ALAP을 선택하여 축소하는 경우에 모든 연산의 배정 가능 범위의 변화량, 임의의 연산을 ASAP 또는 ALAP에 고정하였을 때 자원 제약과 그 연산의 종속성에 의한 다른 연산들의 이동 변화량, 그리고 각 파티션에 연산들의 배정을 균등하게 하는 정보를 사용하여 연산의 ASAP 또는 ALAP중에 하나를 선택한다. 이 알고리즘의 성능 평가는 5차 엘립틱 웨이브 필터를 벤치마크로 사용하였으며, 실험 결과는 모든 엘립틱 웨이브 필터에 대해 최적이었다.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.61-61
• /
• 2000

Since FMS(Flexible Manufacturing System) such as semiconductor production systems have the characteristic that each device has to be commonly used in several stages, it is difficult to find an optimal solution. In this paper, we proposed the new algorithm which can get the optimal ratio of sharing resources. We will implement the proposed algorithm to semiconductor production systems. We introduce the optimal algorithm, which is modeled and analyzed by ExSpect, a petri net based simulation tool. When there exist conflicts of sharing resources, the scheduling method is adopted, which gives a priority to the most preceded process. The suggested algorithm can be used not only in semiconductor production systems but also in various FMS.

• Journal of Energy Engineering
• /
• v.4 no.2
• /
• pp.278-287
• /
• 1995

본 논문은 산업체의 열병합발전시스템이 각종 보조설비와 연계되어 운전되고 있을 경우의 최적운전 계획을 수립하였다. 최적운전계획을 수립하기 위하여 열병합발전시스템의 수리적 모델링은 물론 각종 보조설비들의 모델링도 수립하였으며, 사례연구를 통하여 모델링의 효용성을 검토하였다. 본 논문에서는 열병합발전시스템의 방식에서 버터밍사이클을 대상으로 삼았다. 시뮬레이션은 우선 선형계획법을 이용하여 운전계획을 수립한 후에 그 결과를 바탕으로 퍼지선형계획법을 적용하였으며, 퍼지화의 정도에 따라 여러 Case를 구성하여 단기운전계획을 수립하였다. 사례연구를 통해 각종 보조설비들이 버터밍사이클 방식에서 효과적으로 운전될 수 있음을 확인하였으며 퍼지선형계획법의 도입전후에서 얻은 운전계획 결과와의 상호 비교, 검토를 통하여 퍼지선형계획법을 도입시켰을 경우 수립된 운전계획의 효용성을 평가하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10d
• /
• pp.510-513
• /
• 2007

무선 센서 네트워크의 표준인 IEEE 802.15.4는 전력소모를 줄이기 위해 비컨을 사용하는 슈퍼프레임 구조를 지원하는데 이를 멀티 홈 네트워크 환경에 적용시킬 경우 비컨의 충돌이 발생한다. 네트워크의 정보를 담은 비컨이 충돌되면 노드간의 통신에 장애가 발생하고 새로 네트워크에 참여하고자하는 노드도 수용할 수 없게 된다. 이와 같은 문제를 개선하고자 본 논문에서는 현재 제안되어있는 비컨 충돌 회피 방법들을 분석하고 이를 바탕으로 이웃 노드의 정보를 이용하여 다수의 센서 노드가 중복된 시간에 비컨을 전송할 수 있도록 하여 전체 네트워크에 비컨이 전송되는 시간을 줄이는 방법을 제시한다.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.21 no.5
• /
• pp.113-120
• /
• 2013

This paper presents a mathematical model to determine the optimal length of static messages that can achieve more efficient use of a FlexRay network. In order to determine the optimal length of static message, the proposed model evaluates the given set of messages with respect to a network utilization index, which is defined in this work. The efficient use of a FlexRay network is achieved by reallocating any static message whose length is equal or greater than the resulting value to the dynamic segment. The effectiveness of the proposed method is investigated by applying to the SAE benchmark data.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.5
• /
• pp.1587-1605
• /
• 2015

Mobile cloud computing (MCC) combines mobile Internet and cloud computing to improve the performance of applications. In MCC, the data processing and storage for mobile devices (MDs) is provided on the remote cloud. However, MCC faces the problem of energy efficiency caused by randomly varying channels. In this paper, by introducing the Lyapunov optimization method, we propose a combined service subscription and delivery (CSSD) algorithm that can guide the users to subscribe to services reasonably. This algorithm can also determine whether to deliver the data and to whom data is sent in the current time unit based on the queue backlog and the channel state. Numerical results validate the correctness and effectiveness of our proposed CSSD algorithm.

• Journal of Communications and Networks
• /
• v.12 no.1
• /
• pp.30-42
• /
• 2010

In this work we consider the problem of downlink resource allocation for proportional fairness of long term received rates of data users and quality of service for real time sessions in an OFDMA-based wireless system. The base station allocates available power and subchannels to individual users based on long term average received rates, quality of service (QoS) based rate constraints and channel conditions. We formulate and solve a joint bandwidth and power optimization problem, solving which provides a performance improvement with respect to existing resource allocation algorithms. We propose schemes for flat as well as frequency selective fading cases. Numerical evaluation results show that the proposed method provides better QoS to voice and video sessions while providing more and fair rates to data users in comparison with existing schemes.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.923-929
• /
• 2002

We discuss scheduling analysis for a discrete event system with time windows of which firing or holding time delays are subject to random variation within some finite range. To do this, we propose a modified p-lime Petri net, named p+-time Petri net. We develop a condition for which a synchronized transition does not have a dead token, that is, the firing epochs do not violate the time window constraints. We propose a method of computing the feasible range of the token sojourn time at each place based on a time difference graph. We also discuss an application for analyzing wafer residency times within the process chambers for a dual-armed cluster tool for chemical vapor deposition.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.979-986
• /
• 2002

Constraint Programming is an appealing technology for modeling and solving various real-world problems. and metaheuristic is the most successful technique available for solving large real-world vehicle routing problems. Constraint Programming and metaheuristic are complementary to each other. This paper describes how iterative improvement techniques can be used in a Constraint Programming framework(LOG Solver and ILOG Dispatcher) for Vehicle Routing Problem. As local search gets trapped in local solution, the improvement techniques are used in conjunction with metaheuristic method.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.214-216
• /
• 1998

최근에, 많은 트래픽이 발생하는 통신망 환경에서의 실시간 데이터베이스를 위한 효율적인 트랜잭션 스케줄링과 다양한 동시성 제어 프로토콜들이 제안되고 있다. 그러나 이 연구들은 통신망 자체를 단순한 불변 지연 서버(constant-delay-server)로 모델 하거나 또는 기존의 데이터베이스 시스템을 통신망 환경하의 실시간 데이터베이스 시스템으로 단순하게 확장함으로써 여러 문제점을 갖고 있다. 본 논문에서는 응용 서비스들의 부하에 E라 다양하게 변화되는 통신망의 상태와 성능을 사전에 감지할 수 있도록 하기 위한 트래픽 감시자(traffic monitor)를 두어, 이 트래픽 감시자로부터 얻어지는 정보를 트랜잭션 스케줄링에서 활용할 수 있도록 데이터베이스 모듈들을 구성하여 미래의 통신망 환경에 적절하게 대처할 수 있는 실시간 데이터베이스(RTDB: Real-Time DataBase)를 구축한다. 본 논문에서 제안된 실시간 데이터베이스의 트랜잭션 스케줄링 기법은 통신망에서의 트랜잭션 예상 실행시간을 보다 더 정확하고 빠르게 예측 할 수 있다. 따라서 통신망의 서로 다른 사이트에 분할, 저장되어 있는 데이터베이스 정보를 호출하려는 많은 트랜잭션들이 데이터-일관성(data-consistency)을 유지하면서도 마감시간 이내에 완료될 수 있다. 또한 이미 마감시간을 초과한 트랜잭션들은 예상 실행시간이 작은 것부터 처리하도록 함으로써 시스템 전체의 트랜잭션 처리율(throughput)을 향상시킨다.