• Journal of the Korean Institute of Intelligent Systems
• /
• v.22 no.5
• /
• pp.549-554
• /
• 2012

In this paper, we consider the optimal fuzzy filter of nonlinear discrete-time with estimation error variance constraint. First, the Takagi and Sugeno(T-S) fuzzy model is employed to approximate the nonlinear system. Next, the error state is mean square bounded, and the steady state variance of the estimation error of each state is not more than the individual predefined value. It is shown that, the addressed problem can be carried out by solving linear matrix inequality(LMI) and some algebraic quadratic matrix inequalities. Finally, some examples are provided to illustrate the design procedure and expected performance through simulations.

• Korean Management Science Review
• /
• v.6 no.2
• /
• pp.97-104
• /
• 1989

본 논문에서는 선형계획법에 비제약 변수가 포함될 경우 발생되는 제반 이론을 정리하고, 이를 이용하여 원문제를 소거법이나 치환법을 사용하지 않고 해를 구하는 변형된 수정단체법을 제시하려고 한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2016.05a
• /
• pp.286-286
• /
• 2016

기후변화를 고려한 위한 미래 수자원 계획은 신뢰성 있는 수문기상인자의 산정을 통한 수자원 영향 평가 결과로 수립되는 것이 중요하다. 본 연구에서는 DHSVM모형과 TOPLATS모형에서 생산된 결과를 가지고 제약조건을 가지는 다중선형회귀 모형을 통하여 2012년-2014년 동안의 한반도 유역에 대한 수문기상인자를 산정하였다(Fig. 1). 다중선형회귀 모형은 하나의 종속변수의 변화를 설명하기 위하여 두 개 이상의 독립변수를 사용하는 모형으로 일반적으로 다중선형회귀 모형의 회귀 계수는 음의 값을 가질 수 있으므로 본 연구의 적용을 위하여 검정지점에 대하여 산정된 음의 회귀계수 값이 그대로 적용될 경우 적합하지 않으므로 회귀 계수에 제약조건을 부여하였다. 제한된 회귀 계수의 범위는 0-1사이를 가진다. 동적 다중선형 모형의 구성은 광릉 GCK, GDK 지점자료를 활용하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.9
• /
• pp.47-55
• /
• 2010

Linear constraint satisfaction optimization problem is a kind of combinatorial optimization problem involving linearly expressed objective function and complex constraints. Integer programming is known as a very effective technique for such problem but require very much time and memory until finding a suboptimal solution. In this paper, we propose a method to improve the search performance by integrating local search and integer programming. Basically, simple hill-climbing search, which is the simplest form of local search, is used to solve the given problem and integer programming is applied to generate a neighbor solution. In addition, constraint programming is used to generate an initial solution. Through the experimental results using N-Queens maximization problems, we confirmed that the proposed method can produce far better solutions than any other search methods.

• Journal of Energy Engineering
• /
• v.11 no.4
• /
• pp.291-298
• /
• 2002

This paper presents a practical methodology that can analysis power flow and marginal factors based on optimal power flow (OPF) of power systems under restructuring environment. First of all, to evaluate useful marginal factors, nonlinear optimization problems of minimum fuel cost and minimum transmission loss are formulated and solved by nonlinear primal-dual interior point method. Here, physical constraints considered in the optimization problems are the limits of bus voltage. line overloading, and real & reactive power generation. Also, an evaluation method of marginal price and marginal transmission loss is presented based on sensitivities calculated by the two OPF problems. Especially, to reflect the cost related to transmission losses in the competitive electricity market, an analysis method of MLF (marginal loss factor) is pro-posed. Numerical results on IEEE RTS 24 show that the proposed algorithm is effective and useful for analysis of power market price.

• Information Systems Review
• /
• v.5 no.2
• /
• pp.203-217
• /
• 2003

Constraint Programming and Optimization have developed in different fields to solve common problems in real world. In particular, constraint propagation and linear Programming are their own fundamental and complementary techniques with the potential for integration to benefit each other. This intersection has evoked the efforts to combine both for a solution method to combinatorial optimization problems. Attempts to combine them have mainly focused on incorporating either technique into the framework of the other with traditional models left intact. This paper argues that integrating both techniques into an old modeling fame loses advantages from another and the integration should be molded in a new framework to be able to exploit advantages from both. The paper propose a declarative modeling framework in which the structure of the constraints indicates how constraint programming and optimization solvers can interact to solve problems.

• Journal of Intelligence and Information Systems
• /
• v.10 no.2
• /
• pp.165-187
• /
• 2004

Constraint Programming in AS and Optimization in OR started and have grown in different backgrounds to solve common decision-making problems in real world. This paper tries to integrate results from those different fields by suggesting a hybrid solver as an integration framework. Starting with an integrating modeling language, a way to implement a hybrid solver will be discussed using Warren's abstract machine and an finite domain constraint programming solver structures. This paper will also propose some issues rising when implementing the hybrid solver and provide their solutions.

• Journal of KIISE:Software and Applications
• /
• v.28 no.4
• /
• pp.358-368
• /
• 2001

셀프 캘리브레이션은 영상 시퀀스에 대한 특징점 정합 결과를 이용하여 카메라 내부 파라미터를 계산하는 기법이다. 이는 임의로 움직이는 카메라를 이용하여 얻은 영상 시퀀스를 이용하여 유클리디안 복원을 수행하는데 응용될 수 있다. 안정적인 3차원 복원결과를 얻기 위하여 본 논문에서는 두 가지 제약 조건을 사용한다(카메라 내부 파라미터의 개수에 대한 제약 조건과 복원할 장면의 기하학적 구조를 이용한 제약 조건). 카메라 내부 파라미터에 대한 제약 조건은 카메라의 하드웨어적인 특성을 반영하며 이러한 제약 조건을 적용함으로써 셀프 캘리브레이션 중 비선형 최적화 과정의 수렴도를 높일 수 있다. 또, 기하학적 제약 조건은 대상 장면의 직각 구조를 이용하여 이에 대한 조건을 분석하여 제약 조건에 대한 수식을 유도한 다음 이를 최적화 과정에 포함시킨다. 합성 영상과 다양한 종류의 실제 영상에 대한 실험을 통하여 본 논문에서 제안된 방법을 이용하면 개선된 유클리디안 복원 결과를 얻을 수 있음을 보인다.

• Proceedings of the KIEE Conference
• /
• 1999.11c
• /
• pp.509-511
• /
• 1999

실시간 제어시스템은 데드라인(deadline)이라는 시간 제약성을 가지며. 데드라인 이내의 작업수행 여부에 따라서 시스템의 안정성 및 신뢰성 보장을 평가할 수 있다. 본 연구에서는 실시간 시스템 제어기의 시간 지연에 의한 시스템의 영향과 이에 따른 시간 제약성에 대한 연구가 수행된다. 정상상태의 제어기의 시간 지연은 그 효과가 미약하여 일반적으로 고려하지 않는다. 그러나, 시스템의 고장상태 즉, 비정상적인 상태의 시간지연은 비록 랜덤하게 발생되나 발생시에는 전체시스템에 미치는 영향이 매우 크므로 이를 반드시 고려하고, 이에 대한 분석이 필요하다. 먼저, 단일작업을 수행하는 선형시불변 및 비선형시스템에 대한 데드라인 유도하고, Path-space approach 기법에 의해 신뢰도 상위 및 하위 경계값을 유도한다.

• Proceedings of the KIEE Conference
• /
• 2001.11c
• /
• pp.197-200
• /
• 2001

본 논문에서는 특정한 형태의 제약 즉, 매니퓰레이터의 자유도와 주어진 제약조건의 차원의 차이가 1이며, 매니퓰레이터의 동역학을 작업영역에서의 축차모델로 나타내었을 때, 변환행렬이 단위행렬로 나타나는 제약을 가지는 불확실한 로봇 매니퓰레이터의 위치/힘 추종을 위한 적응제어기를 제안한다. 제안된 제어기는 비선형 좌표변환을 통하여 얻어진 로봇의 축차모델(reduced-order model)을 이용하여 위치제어와 힘제어의 문제를 분리한다. 특히, 비선형 동적 필터를 이용하여 위치의 측정만을 필요로 하며, 적응제어 기법을 통하여 전역 점근적인 안정성을 보장한다.