• 대한전기학회논문지
• /
• 제37권5호
• /
• pp.272-281
• /
• 1988

The problem of optimal transmission system planning is to find the most economical locations and time of transmission line construction under the various constraints such as available rights-of-way, finances, the technical characteristics of power system, and the reliability criterion of power supply, and so on. In this paper the constraint of right-of-way is represented as a finite set of available rights-of-way. And the constructed for a unit period. The electrical constraints are represented in terms of line overload and steady state stability margin. And the reliability criterion is dealt with the suppression of failure cost and with single-contingency analysis. In general, the transmission planning problem requires integer solutions and its objective function is nonlinear. In this paper the objective function is defined as a sum of the present values of construction cost and the minimum operating cost of power system. The latter is represented as a sum of generation cost and failure cost considering the change of yearly load, economic dispatch, and the line contingency. For the calculation of operating cost linear programming is adopted on the base of DC load flow calculation, and for the optimization of main objective function nonlinear Branch-and-Bound algorithm is used. Finally, for improving the efficiency of B & B algorithm a new sensitivity analysis algorithm is proposed.

• Industrial Engineering and Management Systems
• /
• 제9권2호
• /
• pp.70-79
• /
• 2010

Makespan and cost minimization are two important factors in project investment. This paper considers a multi-mode resource-constrained project scheduling problem with the objective of minimizing costs, subject to a deadline constraint. A number of studies have focused on minimizing makespan or resource availability cost with a specified deadline. This problem assumes a fixed cost for the availability of each renewable resource per period, and the project cost to be minimized is the sum of the variable cost associated with the execution mode of each activity. The presented memetic algorithm (MA) consists of three features: (1) a truncated branch and bound heuristic that serves as effective preprocessing in forming the initial population; (2) a strategy that maintains two populations, which respectively store deadline-feasible and infeasible solutions, enabling the MA to explore quality solutions in a broader resource-feasible space; (3) a repair-and-improvement local search scheme that refines each offspring and updates the two populations. The MA is tested via ProGen generated instances with problem sizes of 18, 20, and 30. The experimental results indicate that the MA performs exceptionally well in both effectiveness and efficiency using the optimal solutions or the current best solutions for the comparison standard.

• 대한기계학회논문집
• /
• 제11권2호
• /
• pp.234-242
• /
• 1987

본 논문에서는 변분법으로 유도한 최적조건을 수치계산에 적용키 위해 영역적 응법이 사용되었으며 불규칙한 형상의 방지에는 격자 적응법이 제시되었다. 설계 문 제로는 '국부 응력치의 일정 한도내에서 구조물 무게의 최소화' 또는 대등한 문제로 '제한된 구조물의 무게한도내에서 최대 국부응력치의 최소화'를 다루었다.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제25권4호
• /
• pp.196-220
• /
• 2021

This study formulates a new geometric parameterization scheme to effectively address numerical analysis subject to the variation of the fiber radius of a square unit cell. In particular, the proposed mesh-morphing approach may lead to a parameterized weak form whose bilinear and linear forms are affine in the geometric parameter of interest, i.e. the fiber radius. As a result, we may certify the reduced basis analysis of a square unit cell model for any parameters in a predetermined parameter domain with a rigorous a posteriori error bound. To demonstrate the utility of the proposed geometric parameterization, we consider a two-dimensional, steady-state heat conduction analysis dependent on two parameters: a fiber radius and a thermal conductivity. For rapid yet rigorous a posteriori error evaluation, we estimate a lower bound of a coercivity constant via the min-θ method as well as the successive constraint method. Compared to the corresponding finite element analysis, the constructed reduced basis analysis may yield nearly the same solution at a computational speed about 29 times faster on average. In conclusion, the proposed geometric parameterization scheme is conducive for accurate yet efficient reduced basis analysis.

• 대한전자공학회논문지SP
• /
• 제48권5호
• /
• pp.115-122
• /
• 2011

조향벡터(steering vector)에 에러가 있으면 적응 어레이(adaptive array)는 심한 성능저하를 겪게 된다. 이러한 에러로 인한 성능저하를 개선하기위해 DCRCB(doubly constrained robust Capon beamformer)에서는 벡터 norm 제한아래 구체 불확실 집합(spherical uncertainty set) 내의 벡터 중 출력전력을 최대로 하는 벡터를 조향벡터(steering vector)로 사용한다. 좋은 성능 개선을 위해서 불확실 집합의 반경, 즉 불확실 한계를 적절히 설정해야 하는 문제가 있다. 본 논문에서는 이를 해결하기 위해 반복탐색을 통해 조향벡터를 구하는 방식을 제안한다. 기존의 알려진 반복탐색 방식에서는 반복 종료를 위해 어떤 기준값을 결정해야 하는데, 이에 따른 어려움이 있다. 제안방식에서는 추정된 벡터와 신호부공간 거리가 더 이상 작아 지지 않으면 반복을 종료하며, 값 설정과 관련된 어떤 어려움도 없다. 시뮬레이션 결과에 따르면, 제안방식은 기존반복방식 그리고 최적의 불확실 한계로 설정된 표준 DCRCB 보다도 우수한 성능을 보여준다.

• 한국통신학회논문지
• /
• 제37A권10호
• /
• pp.865-875
• /
• 2012

본 논문은 포트 당 일정 파워 제약을 전제한 상황에서, 다중 안테나를 장착한 분산 안테나 (distributed antenna: DA) 포트를 갖는 분산 안테나 시스템 (distributed antenna system: DAS)의 안테나 위치 설계 방법을 분석한다. 안테나 위치의 설계를 위해 복잡하게 셀 당 평균 ergodic sum rate를 최대화하는 대신, 본 논문에서는 단일 셀 상황에서는 signal-to-noise ratio (SNR) 기댓값의 lower bound에, 그리고 이중 셀 상황에서는 signal-to-leakage ratio (SLR) 기댓값의 lower bound에 각각 초점을 맞춘다. 단일 셀 상황의 경우, 기존의 반복적 알고리즘에 비해 SNR criterion의 최적화 문제는 닫힌 형태 (closed-form)의 솔루션을 제공한다. 또한, 이중 셀 상황에선 gradient ascent 방법을 이용한 알고리즘을 제안하여 SLR criterion의 최적화 솔루션을 도출한다.

• 철학연구
• /
• 제126권
• /
• pp.133-158
• /
• 2013

이 글의 주된 목적은 '신체화된 이해'(embodied understanding)의 본성과 구조에 대한 '체험주의'(experientialism)의 해명을 통해서 가다머 해석학의 중심적 논제인 해석의 불확실성이 내세운 이해의 역사성 제약이 이론적으로 요청된 것이며, 실제로 유용하지도 않다는 것을 드러내는 데 있다. 가다머는 이해라는 사건을 통해서 텍스트와 경험적 지식의 한계를 해석하며, 이러한 경험적 해석은 항상 미완결의 해석이다. 그것은 우리로 하여금 예측의 한계를 깨닫게 하며, 모든 경험적 계획은 우리를 불확실성으로 인도한다. 가다머는 해석의 불확실성 논제를 통해 전통적인 해석학이 추구했던 객관적 해석의 틀을 성공적으로 넘어선다. 하지만 해석의 불확실성 논제는 해석의 무제약적 분기라는 우려에 직면한다. 가다머는 이러한 난점을 벗어나기 위해 해석에 있어서 역사성의 제약을 주장한다. 역사성의 제약은 역사적 전통과 마주 대하는 존재의 상황이 결코 완결될 수 없다는 해석학적 상황에 대한 자각 때문에 요청된 개념이다. 하지만 이러한 완결 불가능성 때문에 요청된 역사성의 제약은 이론적으로 재구성된 요청일 뿐이며 무한히 열리는 해석에 대한 실제적인 지반이 될 수 없다. 체험주의의 해명에 따르면 우리의 모든 이해는 생물학적 유기체로서 우리의 신체화에 근거하고 있다. 우리의 이해는 신체적/물리적 층위에서 현저한 공공성을 드러내며, 그것이 우리가 경험적으로 의지할 수 있는 최대의 공공성이다. 이러한 의미에서 경험의 공공성은 우리의 이해와 경험을 제약하는 실제적 근거가 되며, 그것을 종적 공공성이라고 부를 수 있다. 이러한 체험주의적 시각에 따르면 다양한 해석적 변이의 실제적 제약은 이론적 요청에 의해서가 아니라 모든 해석의 지반을 이루고 있는 종적 공공성에 근거해서 이루어진다.

• 정보보호학회논문지
• /
• 제29권6호
• /
• pp.1259-1270
• /
• 2019

블록 암호를 설계할 때, 설계자는 주로 차분 특성 확률의 상한을 이용하여 라운드 수를 결정한다. 라운드 수는 블록 암호의 성능에 영향을 미치므로, 더 적은 라운드를 갖기 위해 차분 특성 확률의 상한을 정밀하게 계산하는 것이 중요하다. 이전까지의 활성 S-box의 최소 개수를 탐색하는 방법들은 비선형 연산과 선형 연산을 각각 제약식으로 구성하여 차분 특성 확률의 상한을 계산하였다. 하지만 선형 연산이 비선형 연산에 의존적으로 선택되는 BOGI 설계전략(Bad-Output Good-Input Design Strategy)의 경우 이전 탐색방법으로 구한 상한은 정밀하지 않을 수 있다. 본 논문에서는 BOGI 전략의 성질을 이용하여 기존의 방법보다 더 정밀한 차분 특성 확률의 상한을 구하는 새로운 방법을 제안한다. 그리고 이 방법을 이용하여 구한 상한의 타당성을 수학적으로 증명한다. 제안한 방법을 BOGI가 사용된 GIFT-64와 GIFT-128에 각각 적용하여 9라운드까지 차분 특성 확률의 상한을 탐색하였다. GIFT-64의 7라운드와 GIFT-128의 9라운드에 대해 기존의 방법을 적용하면 차분 특성 확률의 상한이 각각 2^-18.395와 2^-26.885이었으나, 제안한 방법을 적용하면 각각 2^-19.81과 2^-28.3으로 더 정밀하게 계산된다.

• International Journal of Automotive Technology
• /
• 제6권1호
• /
• pp.71-77
• /
• 2005

This paper presents a systematic approach which determines the optimal period to minimize performance measure subject to the schedulability constraints of a real-time control system by formulating the scheduling problem as an optimal problem. The performance measure is derived from the summation of end-to-end response times of processed I/Os scheduled by the static cyclic method. The schedulability constraint is specified in terms of allowable resource utilization. At first, a uniprocessor case is considered and then it is extended to a distributed system connected through a communication link, local-inter network, UN. This approach is applied to the design of an automotive body control system in order to validate the feasibility through a real example. By using the approach, a set of optimal periods can easily be obtained without complex and advanced methods such as branch and bound (B&B) or simulated annealing.

• International Journal of Control, Automation, and Systems
• /
• 제4권6호
• /
• pp.697-704
• /
• 2006

The paper is concerned with $H_{\infty}$ filtering for descriptor systems. A necessary and sufficient condition is established in terms of linear matrix inequalities(LMIs) for the existence of normal filters such that the error systems are admissible and the transfer function from the disturbance to the filtering error output satisfies a prescribed $H_{\infty}$-norm bound constraint. When these LMIs are feasible, an explicit parameterization expression of all desired normal filter is given. All these results are yielded without decomposing the original descriptor systems, which makes the filter design procedure simple and direct. Finally, a numerical example is derived to demonstrate the applicability of the proposed approach.