• Journal of KIISE
• /
• v.42 no.6
• /
• pp.707-712
• /
• 2015

Mobile cloud computing is a technology that uses cloud services to overcome resource constrains of a mobile device, and it applies the computation offloading scheme to transfer a portion of a task which should be executed from a mobile device to the cloud. If the communication cost of the computation offloading is less than the computation cost of a mobile device, the mobile device commits a certain task to the cloud. The previous cost analysis models, which were used for separating functions running on a mobile device and functions transferring to the cloud, only considered the amount of data transfer and response time as the offloading cost. In this paper, we proposed a new task partitioning scheme that considers the frequency of function calls and data synchronization, during the cost estimation of the computation offloading. We also verified the energy efficiency of the proposed scheme by using experimental results.

• Journal of Korean Society of Transportation
• /
• v.27 no.6
• /
• pp.147-156
• /
• 2009

We present a methodology for modeling and solving the transit frequency design problem with variable demand. The problem is described as a bi-level model based on a non-cooperative Stackelberg game. The upper-level operator problem is formulated as a non-linear optimization model to minimize net cost, which includes operating cost, travel cost and revenue, with fleet size and frequency constraints. The lower-level user problem is formulated as a capacity-constrained stochastic user equilibrium assignment model with variable demand, considering transfer delay between transit lines. An efficient algorithm is also presented for solving the proposed model. The upper-level model is solved by a gradient projection method, and the lower-level model is solved by an existing iterative balancing method. An application of the proposed model and algorithm is presented using a small test network. The results of this application show that the proposed algorithm converges well to an optimal point. The methodology of this study is expected to contribute to form a theoretical basis for diagnosing the problems of current transit systems and for improving its operational efficiency to increase the demand as well as the level of service.

• Proceedings of the KIEE Conference
• /
• 2004.11b
• /
• pp.201-203
• /
• 2004

본 논문에서는 먼저 유효전력 시장과 무효전력 시장을 분리하여 운영한다는 가정하에서 발전기의 무효전력 생산을 위한 최적의 전압값을 산정하고자 한다. 유효전력 시장에서 경제 급전(Economic Dispatch)을 통해 발전기의 유효전력 생산 비용을 최소화시키는 최적의 유효전력량 결정원리를 응용하여, 무효전력 시장에서의 발전기의 무효전력 생산 비용을 최소화시키는 최적의 발전기 전압 profile을 결정하는 무효전력시장 구축 알고리즘을 제시한다. 이 알고리즘에는 기본적으로 주효전력-전압의 조류방정식과 목적함수로서 무효진력 비용의 최소화 문제, 그리고 부하측 전압과 관련된 부등식제약조건의 선형화 문제 등이 포함된다. 이렇게 산출된 발전전압에 의한 무효전력의 가격은 실제 전압제어에 의한 가격산정이라는 측면에서 그 의미를 찾아볼 수가 있다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.11a
• /
• pp.599-617
• /
• 2006

A network model and a Genetic Algorithm(GA) is proposed to solve the simultaneous estimation of the trip distribution and traffic assignment from traffic counts in the congested networks in a logit-based Stochastic User Equilibrium (SUE). The model is formulated as a problem of minimizing the non-linear objective functions with the linear constraints. In the model, the flow-conservation constraints of the network are utilized to restrict the solution space and to force the link flows meet the traffic counts. The objective of the model is to minimize the discrepancies between the link flows satisfying the constraints of flow-conservation, trip production from origin, trip attraction to destination and traffic counts at observed links and the link flows estimated through the traffic assignment using the path flow estimator in the legit-based SUE. In the proposed GA, a chromosome is defined as a vector representing a set of Origin-Destination Matrix (ODM), link flows and travel-cost coefficient. Each chromosome is evaluated from the corresponding discrepancy, and the population of the chromosome is evolved by the concurrent simplex crossover and random mutation. To maintain the feasibility of solutions, a bounded vector shipment is applied during the crossover and mutation.

• Journal of Korea Society of Industrial Information Systems
• /
• v.27 no.6
• /
• pp.105-114
• /
• 2022

We examine berth allocation problems in tidal bulk ports with an objective of minimizing the demurrage and dispatch associated berthing cost. In the proposed optimization model inventory (or stock) level constraints are considered so as to satisfy the service level requirements in bulk terminals. It is shown that the mathematical programming formulation of this research provides improved schedule resolution and solution accuracy. We also show that the conventional big-M method of standard resource allocation models can be exempted in tidal bulk ports, and thus the computational efficiency can be significantly improved.

• Proceedings of the Korean Reliability Society Conference
• /
• 2000.11a
• /
• pp.321-328
• /
• 2000

본 연구는 새로운 장비체계 도입 시 초기 일정기간 동안 장비의 목표가용도 유지를 위해 필요한 동시조달수리부속(Concurrent Spare Parts)와 적정소요 산출에 관한 해법을 제시한다. 새로운 장비체계 도입 시 함께 보급되는 예비수리부속은 장비체계 운용에 중요한 역할을 한다. 따라서 장비체계가 주어진 임무를 수행하는 동시에 정상상태를 유지하기 위한 적정수준의 예비부속 확보가 필요하며 최소의 비용으로 장비의 가동률을 극대화 할 수 있도록 하여야 한다. 본 연구에서는 부품의 고장특성 및 수리능력을 고려한 고장분포함수를 바탕으로 각 부속별 중요도를 만족시키는 초기 수리부속 소요 결정모형과 해 산정기법을 제시하며 가용예산 제약에 따른 소요조정을 통해 최적의 예비부속 재고수준을 결정한다.

• Proceedings of the KIEE Conference
• /
• 2015.07a
• /
• pp.499-500
• /
• 2015

최근, 전력소비자 측면에서의 에너지 관리 역할이 중요해짐에 따라 다양한 에너지 관리시스템들이 개발되고 있다. 이 중, 가정용 에너지 관리시스템(Home Energy Management System, HEMS)은 전기가격 및 (신뢰도)수요반응 요청 등에 따라 가전기기의 사용을 조절함으로써, 전력사용 최적화(전력사용 비용 최소화)를 수행하게 된다. 이러한 최적화 문제 내에서 각 가전기기에 대한 사용패턴(편의성)과 관련된 제약조건이 고려되어야 한다. 본 논문에서는, 다변량 간 상관관계(의존성)을 추정하고, 이를 근거로 데이터를 샘플링 하는 데에 유용한 Copula 함수를 이용하여, 각 가전기기의 사용패턴을 모델링하고, 이를 최적화 문제 내 제약조건으로 고려할 수 있는 방법에 대한 연구를 수행하였다.

• Journal of the Korean Society of Safety
• /
• v.25 no.6
• /
• pp.115-122
• /
• 2010

The importance of the life cycle cost (LCC) analysis for bridges has been recognized over the last decade. However, it is difficult to predict LCC precisely since the costs occurring throughout the service life of the bridge depend on various parameters such as design, construction, maintenance, and environmental conditions. This paper presents a methodology for the optimal life cycle cost design of a bridge. Total LCC for the service life is calculated as the sum of initial cost, damage cost, maintenance cost, repair and rehabilitation cost, user cost, and disposal cost. The optimization method is applied to design of a bridge structure with minimal cost, in which the objective function is set to LCC and constraints are formulated on the basis of Korean Bridge Design Code. Initial cost is calculated based on standard costs of the Korea Construction Price Index and damage cost on damage probabilities to consider the uncertainty of load and resistance. Repair and rehabilitation cost is determined using load carrying capacity curves and user cost includes traffic operation costs and time delay costs. The optimal life cycle cost design of a bridge is performed and the effects of parameters are investigated.

• Proceedings of the KOR-KST Conference
• /
• 1998.10b
• /
• pp.261-261
• /
• 1998

교통계획의 목적은 교통체계를 분석하여 교통과 활동간의 상호작용을 효율화시켜 도시 및 지역사회의 목표를 달성하는데 있으며, 합리적인 교통계획을 수립하여 한정된 투자재원을 효율적으로 배분하기 위해서는 교통수요에 대한 합리적 접근이 필요하다. 교통수요예측의 접근방법은 미시적인 개별적 접근방법과 거시적인 집단적 접근방법으로 구분되며, 다시 모형화 기법이 결정적인가 확률적인가에 따라 개별결정적, 개별활률적, 그리고 집단결정적, 집단확률적 모형의 4가지로 구분될 수 있다. 이 중에서 일반적으로 관심의 대상이 되는 2가지 형태는 집단결정적, 개발확률적 모형이다. 집단결정적모형은 전통적 교통수요예측모형에 해당되며, 개별확률적모형은 1970년대 Mc Fadden을 시작으로 Ben-Akiva, Manheim을 중심으로 한 소비자 행동선택 이론에 근거한 개별행태모형이 이에 해당된다. 개별행태모형은 개개인의 통행행태를 다른 모든 조건이 동일할 때 개개인은 비용의 최소화를 추구하고, 비용과 관련한 통행행태는 거시적 수준에서의 주어진 제약 조건과 관계가 있으며, 의사결정은 확률분포에 의해서 결정되는 효용원칙(Efficiency Principle)에 입각하여 해석한다. 도시내와 도시간, 취업자와 비취업자, 출퇴근 시, 목적별 등의 여러 가지 통행에 있어서 다양한 변수들을 사용하여 교통수단 선택모형의 파라메카 값을 추정하고 통행패턴을 분석해 왔다. 본 논문에서는 개별행태모형인 로짓모형 중에서 집단다항로짓모형을 이용하여 여러 통행 중 공항시설의 접근에 필요한 교통수단 효용함수의 파라메타 값 추정 시, 일반적으로 사용되는 통행시간, 통행비용이라는 변수를 공통으로 두고, 대중교통의 경우에만 해당하는 환승이라는 특정대안변수(Specific alternative variable)를 첨가하여 그것이 수단선택에 미치는 영향을 분석한다. 또한, 대중교통의 속성을 가지고 있는 지하철과 버스를 하나의 대안으로 묶어서 효용함수를 구한 다음 다시 승용차, 택시, 대중교통을 독립된 대안으로 두고 모형을 정립하는 NESTED LOGIT모형으로 파라메타를 추정하여 대중교통의 효용에 관해 분석·비교하였다. 본 논문에 이용된 자료는 공항을 이용하는 이용객들을 대상으로 직접 설문·면접조사한 자료이며 대상 교통수단은 승용차, 택시, 지하철, 버스로 설정하였다.

• Journal of IKEEE
• /
• v.4 no.2 s.7
• /
• pp.249-256
• /
• 2000

In EIT(electrical impedance tomography), the internal resistivity(or conductivity) distribution of the unknown object is estimated using the boundary voltage data induced by different current patterns using various reconstruction algorithms. In this paper, we present a regularized modified Newton-Raphson(mNR) scheme which employs additional a priori information in the cost functional as soft constraint and the weighting matrices in the cost functional are selected based on the exponentially weighted least square criterion. The computer simulation for the 32 channels synthetic data shows that the reconstruction performance of the proposed scheme is improved compared to that of the conventional regularized mNR at the expense of slightly increased computational burden.