• Journal of applied mathematics & informatics
• /
• 제7권3호
• /
• pp.887-894
• /
• 2000

In this paper we consider the corrected version of the algorithm of the state-minimization for the nondeterministic finite automata: we correct here a mistake of the previous paper, where the same problem was considered.

• Journal of applied mathematics & informatics
• /
• 제6권2호
• /
• pp.379-392
• /
• 1999

The problem of the state-minimization for the nonde-terministic finite Rabin-Scott's automata is considered. A new algo-rithm for this problem is obtained. The obtained algorithm has the exponential effectiveness like the earlier-known algorithms for this problem. But each of previous algo-rithms amounts to the search of minimum generative system for local reaction of equal automaton of canonical form and unlike them we use in this paper two special function marking states of the given automaton.

• 대한전자공학회논문지
• /
• 제26권5호
• /
• pp.127-136
• /
• 1989

상태합성기를 설계하기 위해 상태 CHDL 기술 및 기호간소화 알고리듬을 제안하였다. 상태 CHDL은 PLA에 의한 FSM설계에 매우 적합하며 제안된 기호간소화 알고리듬은 단일큐브포함, 1거리병합 알고리듬을 이용하였다. BOLD 논리최소화 tool을 이용한 상태합성의 절차를 교통신호제어기 등의 예를 들어 설명하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.1477-1480
• /
• 1997

This paper is concerned with the design of a suboptimal robust Kalman filter using LMI approach for system models in the state space, which are subjected to parameter uncertainties in both the state and measurement atrices. Under the assumption that augmented system composed of the uncertain system and the state estimation error dynamics should be stable, a Lyapunov inequality is obtained. And from this inequaltiy, the filter design problem can be transformed to the gneric LMI problems i.e., linear objective minimization problem and generalized eigenvalue minimization problem. When applied to uncertain linear system modles, the proposed filter can provide the minimum upper bound of the estimation error variance for all admissible parameter uncertainties.

• Journal of applied mathematics & informatics
• /
• 제8권3호
• /
• pp.693-703
• /
• 2001

In this paper we consider non-deterministic finite Rabin-Scott’s automata. We use a special structure to descibe all the possible edges of non-determinstic finite automaton defining the given regular language. Such structure can be used for solving various problems of finite automata theory. One of these problems is edge-minimization of non-deterministic automata. As we have not touched this problem before, we obtain here two versions of the algorithm for solving this problem to continue previous series of articles.

• KIEE International Transactions on Power Engineering
• /
• 제12A권1호
• /
• pp.31-35
• /
• 2002

This paper presents a new operation scheme of UPFC to minimize both generation costs and active power losses in a normal operation state of power system. In a normal operation, cost minimization is a matter of primary concern among operating objectives. This paper considers two kinds of costs, generation costs and transmission losses. The total generation cost of active powers can be minimized by optimal power flow, and active power losses in the transmission system can be also minimized by power flow control of UPFC incorporated with minimization of generation costs. In order to determine amounts of active power reference of each UPFC required for the cost minimization, an iterative optimization algorithm based on the power flow calculation using the decoupled UPFC model is proposed. For verification of the proposed method, intensive studies have been performed on a 3-unit 6-bus system equipped with a UPFC.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권1_2호
• /
• pp.103-116
• /
• 2003

정형기법을 사용하여 실시간 시스템을 명세할 때. 상태 기반 정형 기법이 가지는 큰 문제 중의 하나는 시간 값. 자료 값, 위치 값을 통한 상대 표현으로 발생하는 상태 폭발이다. 본 논문에서는 상태 폭발 문제를 접근하기 위해, 시스템의 명세에 적용하는 추상화와, 명세된 시스템의 실행에 적용하는 추상화 기법을 정의하였다. 명세 구문에 정의한 추상화를 추문 추상화라 정의하고 명세 구문이 가진 패턴(연산 정보, 구조)을 정의하여 추상화한다. 실행에 적용되는 추상화는 의미 추상화라 정의하고 실행 시 생성되는 시간, 자료, 위치 상태 값이 파진 실행 의미의 패턴을 추상화한다. 추상화를 통하여 명세 모델과 실행 모델에 계층을 생성하여 상위 계층에서는 복잡도가 낮은 단계에서 시스템의 개략적인 정보를 분석할 수 있다. 하위 계층에서는 정확도가 높은 분석을 수행할 수 있는 반면에 많은 상태를 살펴야되기 때문에 높은 복잡도를 가진다. 본 논문에서는 추상화의 정의와 더불어, 적용 사례를 통하여 상태 감소와 계층성 생성, 복잡도 감소를 보인다.

• 한국결정학회지
• /
• 제11권3호
• /
• pp.173-175
• /
• 2000

Computational technique, based on the minimization of the crystal energy with respect to atomic coordinates, are shown to reproduce successfully complex crystal structure, in this case, strontium hexaaluminate magnetoplumbite, SrAl/sub 12/O/sub 19/. The experimental crystal structure and symmetry of the complex material is well reproduced with our potential models and some crystal physical properties are calculated.

• Journal of Electrical Engineering and Technology
• /
• 제11권2호
• /
• pp.425-436
• /
• 2016

In this paper, a parameter optimization based iterative learning control strategy is presented for permanent magnet synchronous motor control. This paper analyzes the mechanism of iterative learning control suppressing PMSM torque ripple and discusses the impact of controller parameters on steady-state and dynamic performance of the system. Based on the analysis, an optimization problem is constructed, and the expression of the optimal controller parameter is obtained to adjust the controller parameter online. Experimental research is carried out on a 5.2kW PMSM. The results show that the parameter optimization based iterative learning control proposed in this paper achieves lower torque ripple during steady-state operation and short regulating time of dynamic response, thus satisfying the demands for both steady state and dynamic performance of the speed regulating system.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2003년도 춘계공동학술대회
• /
• pp.660-667
• /
• 2003

In this study, a Multiple Objective Mixed Integer Programming (MOMIP) Model is developed for sewer rehabilitation planning by considering cost, inflow/infiltration. A sewer rehabilitation planning model is required to decide the economic life of the sewer by considering trade-off between cost and inflow/infiltration. And it is required to find the optimal rehabilitation timing, according to the cost effectiveness of each sewer rehabilitation within the budget. To develop such a model, a multiple objective mixed integer programming model is formulated based on network flow optimization. The network is composed of state nodes and arcs. The state nodes represent the remaining life and the arcs represent the change of the state. The model consider multiple objectives which are cost minimization and minimization of inflow/infiltration. Using the multiple objective optimization, the trade-off between the cost and inflow/infiltration is presented to the planner so that a proper sewer rehabilitation plan can be selected.