• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.31 no.3
• /
• pp.90-100
• /
• 2008

기간차량경로 문제는 차량용량제약을 고려한 차량경로문제를 다 기간으로 확장한 형태의 문제로 역방향 로지스틱스의 폐기물 혹은 재활용품 수거에 관련된 주요한 운영 문제들 중의 하나로 각 고객에 대해서는 계획기간 중에 방문해야 하는 횟수가 정해져 있어 방문날짜 조합을 결정해야 하며 주어진 방문날짜 조합 하에 각 기간의 차량경로도 결정해야 한다. 주요한 제약조건으로는 차량의 용량제약과 각 기간의 가용 시간제약이 있으며 소요차량의 대수를 최소화하는 것을 목적으로 한다. 본 연구에서는 대상 문제의 복잡도로 인하여 초기해를 구하고 그 해를 개선하는 2 단계 발견적 알고리듬을 제안하였으며 다양한 문제들에 대한 계산실험 결과 본 연구에서 제안하고 있는 발견적 알고리듬이 기존 알고리듬보다 우수함을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.205-207
• /
• 2005

최근 수많은 정보를 통해서 증명 되듯이 비즈니스 프로세스 관리(Business Process Management, BPM)는 기업의 소프트웨어 시장의 가장 중요한 부분을 차지하고 있다. 비즈니스 프로세스 관리는 프로세스 전 라이프 사이클을 지원하고자 하는 개념으로 급변하는 경영 환경의 변화에서 기업의 경쟁력을 재고 하기위하여 필요로 되는 새로운 기업 컴퓨팅 패러다임이다. 비즈니스 프로세스 관리의 핵심적인 정보시스템 역할을 수행하는 워크플로우(Workflow)에서의 스케줄링은 정확한 업무 순서를 명세하기 위한 시간적인 제약들에 집중되어 있다. 워크플로우와 BPM과 같은 비즈니스 프로세스에서의 또 하나의 중요한 측면은 자원할당관리이다. 현재 대부분 다양한 자원들을 모델링하는데 초점을 맞추어 왔으며 자원들과 연관된 제약에서의 스케줄링에 대한 관심은 많지 않은 편이었다. 본 논문에서는 First Order Logic 기반의 CTR(Concurrent Transaction Logic)을 이용하여 각 비즈니스 프로세스 스케줄링을 위한 자원할당에 따른 제약들을 논리적인 모형으로 구체화하고, 모형에 필요한 변환 규칙을 소개하고자 한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.5
• /
• pp.695-707
• /
• 1993

Marked Petri Net(MPN) is used to analyze communication complexity with respect to the maximum number of concurrently active rendezvous. But, because it cannot represent timed & probability characteristics explicitly, it is not used to analyze the new execution time of complexity with respect to the communication. Thus to effectively analyze that execution time complexity, we propose Ada Tasking Structure Nets (ATSN) introduced restrictive conditions : net reduction rules, execution time, and probability. Finally, we show the powers of analyze of communication complexity with ATSN.

• The Korean Journal of Financial Management
• /
• v.9 no.2
• /
• pp.169-175
• /
• 1992

본 논문에서는 이산적(離散的) 시간하(時間下)의 옵션가격결정모형(價格決定模型)이 시장균형개념(市場均衡槪念)과 일관성(一貫性)을 갖지 않을 수 있다고 주장된다. 구체적으로, 이 모형의 유도에 필수불가결한 이변량 자연대수 정규분포의 기본가정이 경제의 시장청산조건(市場淸算條件)들과 상충될 수 있음이 보여진다. 따라서, 이산적 시간하의 옵션가격결정모형은 다음과 같이 아주 제약적인 가정하에서만 유도될 수 있을 것이다. 즉, 기초자산(基礎資産)이 총체적(總體的) 부(富)(aggregate wealth)의 유일한 구성요소이거나, 혹은 옵션이 총체적(總體的) 부(富)에 대해서 발행되는 것으로 가정하는 것이다.

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

임베디드 시스템에서 입출력에서 소모되는 전력양은 상당한 수준이다. 입출력 장치에서의 수행되는 타스크의 순서를 정하여 전체적으로 입출력 장지에서의 휴식 시간을 최대한 많이 허락하는 기법이 필요하다. 기존의 연구는 입출력 장치 소비 전력 최소화를 위한 타스크 스케줄링 문제를 단순한 지협적인 휴리스틱에 기반하여 풀었다. 본 연구는 기존의 연구에서의 방법과는 달리 최적의 해를 내는 해법을 제시한다. 구체적으로 시간 제약 조건을 가진 저전력을 위한 타스크 스케줄링 문제를 ILP (integer linear programming) 기법을 적용하는 방법을 제시한다. 본 연구는 또한, 실험을 통해 주어진 시간 안에 최적의 해를 구하는 문제의 크기를 판단하는 기준을 제시할 수 있다는 의의를 가진다.

• Journal of Advanced Navigation Technology
• /
• v.21 no.1
• /
• pp.36-42
• /
• 2017

An airport surface movement scheduler using first-come first-served (FCFS) algorithm is developed to efficiently manage surface traffic in an airport. It is based on the previously developed traffic flow management scheduler. Link directionality and intersection processing, which are additional constraints for ground movement, are added to the scheduler. To verify each of additional constraints, several simulations were performed by making simple scenarios, and the results show that all constraints were satisfied. Also, a simulation was performed by making a scenario based on flight operation information system (FOIS) data which is real departure and arrival flight data of Jeju airport. To determine the practicality of the developed scheduler, we compare the actual average delay time with the average delay time calculated by the scheduler.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.49 no.8
• /
• pp.70-76
• /
• 2012

In this paper, we propose a power allocation scheme of the unlicensed user based on orthogonal frequency division multiplexing (OFDM) in the TV white space (TVWS). Power constraints in TVWS should be satisfied in the time domain. However, because OFDM has high PAPR (peak-to-average power ratio), it is difficult to satisfy power constraints of TVWS in the time domain. Furthermore, the conventional power allocation schemes cannot be generally applied to unlicensed user in TVWS. Therefore, we propose a power allocation scheme to satisfy power constraints of TVWS by reducing PAPR in the time domain. In addition, we analyze the capacity of the unlicensed user based on OFDM in a closed form. Based on the capacity analysis, as the number of subcarriers decreases, the capacity can be enhanced. In simulation results, we show that the capacity of the unlicensed user increases, as the number of subcarriers decreases and the mean of the channel between the transmitter and the receiver of the unlicensed user increases.

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

The existing access control models have the demerits that do not provide the limit function of using resources by time constraint, the restricted inheritance function as a superior role in role hierarchy, the delicate delegation policy and the limit function of using resources by the location information about a user for the access control in ubiquitous environment. This paper proposes an Extended-GTRBAC model is suited to the access control in ubiquitous environment by applying to sub-role concept of GTRBAC model that the application of resources can be restricted by the period and time and PBDM and considering the location information about a user on temporal constraint. The proposal model can restrict the inheritance of permission in role hierarchy by using sub-role, provide the delicate delegation policy such as user-to-user delegation, role to role delegation, multi-level delegation. multi-step delegation, and apply diverse and delicate access control policy which is suited the characteristic of ubiquitous environment by considering the location information about a user on temporal constraint.

• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.206-207
• /
• 2006

본 논문에서는 브랜치 교환(Branch Exchange) 방법을 이용하여 배전 계통을 재구성하는 문제에 대하여 연구하였다. 최적 재구성 문제는 선로 절체에 따라 달라지는 모든 가능한 계통 구성들에 대해 선로손실, 전압조건을 계산하고 이들 중 최적인 구성을 찾아내는 것이다. 하지만 빠른 시간 내에 이에 대한 해를 찾기란 대단히 어렵다. 그 이유는, 계통내에 수많은 연계개폐기와 구분개폐기들이 존재하고 이들로서 방사상의 운전조건을 만족해야 하기 때문이다. 따라서 본 연구에서는 시간적으로 가장 유리한 특성을 갖는 브랜치 교환법을 이용하여 시스템 전체 손실이 감소하고 방사상운전조건과 전압의 제약조건을 만족하도록 최적화하는 방안을 구현하고자 한다.

• Proceedings of the KIEE Conference
• /
• 2006.11a
• /
• pp.24-26
• /
• 2006

본 논문에서는 브랜치 교환(Branch Exchange) 방법을 이용하여 배전 계통을 재구성하는 문제에 대하여 연구하였다. 최적 재구성 문제는 선로 절체에 따라 달라지는 모든 가능한 계통 구성들에 대해 선로손실, 전압조건을 계산하고 이들 중 최적인 구성을 찾아내는 것이다. 하지만 빠른시간 내에 이에 대한 해를 찾기란 대단히 어렵다. 그 이유는, 계통내에 수많은 연계개폐기와 구분개폐기들이 존재하고 이들로서 방사상의 운전조건을 만족해야 하기 때문이다. 따라서 본 연구에서는 시간적으로 가장 유리한 특성을 갖는 브랜치 교환법을 이용하여 시스템 전체 손실이 감소하고 방사상 운전조건과 전압의 제약조건을 만족하도록 최적화하는 방안을 구현하고자 한다.