• International Journal of Control, Automation, and Systems
• /
• 제1권2호
• /
• pp.184-193
• /
• 2003

Biaffine Matrix Inequality (BMI) is known to provide the most general framework in control synthesis, but problems involving BMI's are very difficult to solve because nonconvex optimization should be solved. In the previous paper, we proposed a new solver for problems involving BMI's using Evolutionary Algorithms (EA). In this paper, we solve several control synthesis examples such as Reduced-order control, Simultaneous stabilization, Multi-objective control, $H_{\infty}$ optimal control, Maxed $H_2$ / $H_{\infty}$control design, and Robust $H_{\infty}$ control. Each of these problems is formulated as the standard BMI form, and solved by the proposed algorithm. The performance in each case is compared with those of conventional methods.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2010년도 추계학술대회 논문집
• /
• pp.227-228
• /
• 2010

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2002년도 ICCAS
• /
• pp.59.1-59
• /
• 2002

. Contents 1 : Abstract and Introduction . Contents 2 : Choose the weighting function . Contents 3 : H-infini Optimization and Simulation . Contents 4 : Conclusion and Reference

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 추계종합학술대회 논문집
• /
• pp.1021-1024
• /
• 1998

Computer-aided design of VLSI circuits is usually carried out in three synthesis steps; high-level synthesis, logic synthesis and layout synthesis. Each synthesis step is further kroken into a few optimization problems. In this paper we study the area minimization problem in floorplanning(also known as the floorplan sizing problem). We propose the area minimization algorithms for general floorplans.

• 공업화학
• /
• 제32권6호
• /
• pp.621-626
• /
• 2021

MOF-801 합성공정의 최적화를 위해 순차적인 실험 계획법을 이용하였다. 먼저 screening을 위한 완전 2-요인 설계와 이후 반응표면 분석법 중에 하나인 중심합성 계획법을 연속적으로 사용하였다. 두 가지 반응변수인 MOF-801의 결정화도와 BET 비표면적 중에 실험계획법에 보다 적합한 변수를 선택하기 위하여 fumaric acid, dimethylformamide (DMF) 및 formic acid의 몰비를 이용한 2³ 요인 설계법을 수행하였다. MINITAB 19 소프트웨어에 따라 설계된 8번의 MOF-801 합성 실험을 수행한 이후 XRD 분석 및 질소흡착법을 이용하여 특성분석을 수행하였다. 두 가지 반응변수 중 결정화도의 R²이 0.999로 BET 비표면적보다 실험계획법에 보다 적합하였다. 분산 분석(ANOVA)을 통해 fumaric acid와 formic acid의 몰 비가 MOF-801의 결정화도를 결정하는 주요 인자임을 확인하였다. response optimization과 두 인자의 contour plot을 통해 최적의 몰비는 ZrOCl₂·8H₂O : fumaric acid : DMF : formic acid = 1 : 1: 39 : 35로 추정되었다. 이후 합성반응 공정의 최적화를 위해 도출된 전구체의 몰 비 조건에서 합성 기간과 온도에 대한 박스-벤켄설계법을 수행하였다. 설계된 9번의 합성실험을 통해 도출된 결과를 2차 모델 방정식을 이용하여 계산하였다. 이를 이용하여 MOF-801의 최대 결정화도는 합성시간 7.8 h 그리고 합성온도 123 ℃의 조건에서 얻을 수 있음을 예측하였다.

• 전자공학회논문지A
• /
• 제29A권4호
• /
• pp.64-73
• /
• 1992

This paper presents the design of multi-level logic optimization algorithm and the development of the SMILE system based on the algorithm. Considering the fanin constraints in algorithmic level, SMILE performs global and local optimization in a predefined sequence using heuristic information. Designed under the Sogang Silicon Compiler design environment, SMILE takes the SLIF netlist or Berkeley equation formats obtained from high-level synthesis process, and generates the optimized circuits in the same format. Experimental results show that SMILE produces the promising results for some circuits from MCNC benchmarks, comparable to the popularly used multi-level logic optimization system, MIS.

• 한국정보통신학회논문지
• /
• 제16권3호
• /
• pp.571-578
• /
• 2012

본 논문에서는 크게 두 가지 사항에 대해서 제안하고자 한다. 첫 번째는 논리합성을 위한 제약조건 방법에 대한 것이고, 두 번째는 효율적인 논리합성방법에 대한 것이다. 논리 합성은 주어진 제약조건(constraint)을 최대한 만족 시키면서 논리 사상과 최적화 등을 통하여 RTL(register transfer level) 코드로부터 게이트-수준의 네트리스트를 얻는 과정이다. 논리합성의 결과는 주어진 제약조건과 합성 방법에 매우 종속적이다. 이들에 의해서 설계의 면적 및 타이밍이 크게 변화하므로 우리는 제약조건과 합성방법을 철저하게 고려하여야 한다. 본 논문에서는 논리합성을 하는 과정에서 실제로 고려해야하는 사항들에 대해서 경험적이고 실험적인 결과를 바탕으로 혼합방식의 논리합성 기법을 제안한다. 제안된 기법을 이용하여 약 65만 게이트의 하드웨어 자원량을 사용하는 회로에 적용시켜본 결과로 상향식 방법에 비해서 합성 시간이 약 47% 감소하였고, 하향식 방법에 비해서 타이밍 특성이 우수하였다.

• 한국컴퓨터그래픽스학회논문지
• /
• 제25권3호
• /
• pp.133-142
• /
• 2019

물리기반 캐릭터 애니메이션에서 궤적 최적화(trajectory optimization) 기법은 캐릭터 동작에 대한 시스템 동역학 모델(system dynamics model)에 기반하여 가까운 최적의 미래 상태를 예측하여 캐릭터의 동작을 자동적으로 생성하는데 널리 사용되어 왔다. 캐릭터와 환경 간의 접촉 현상을 강체 충돌로 다루는 경우 일반적으로 시스템 동역학 모델은 그 수식이 닫힌 형식(closed form)으로 유도되지 못하고 미분이 불가능하다. 따라서 최근까지 많은 연구자들이 접촉 완화(contact smoothing) 기법을 통해 시스템 동역학의 수치적 미분에 기반한 효율적인 궤적 최적화 기법을 발표해 왔다. 하지만 수치적 미분 정보는 분석적 미분과 달리 부정확하기 때문에 궤적 최적화의 안정성에 영향을 미칠 수 있다. 이 문제를 해결하기 위해 본 논문에서는 접촉 완화 모델에 대한 근사화를 통해 시스템 동역학을 분석적으로 미분하여 닫힌 형식의 도함수를 유도하고, 이를 기반으로 사용자의 온라인 입력에 따라 예제 데이터 없이 이족 캐릭터의 동작을 안정적으로 생성하는 예측 제어 기법(model predictive control (MPC))을 제안한다.

• 제어로봇시스템학회논문지
• /
• 제9권10호
• /
• pp.832-835
• /
• 2003

The objective of this study is to investigate the possibility of chemical process synthesis purely based on mathematical programming when given an objective, feed conditions, product specifications, and model equations for available process units. A method based on a state space approach is proposed, and applied to an example problem with a reactor, a heat exchanger, and a separator. The results indicate that a computer can automatically synthesize an optimal process without any heuristics or expertise in process design provided that global optimization techniques are improved to be suitable for large problems.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.1870-1873
• /
• 2004

The objective of this study is to investigate the possibility of chemical process synthesis purely based on mathematical programming when given an objective, feed conditions, product specifications, and model equations for available process units. A method based on a state space approach is proposed, and applied to an example problem with a reactor, a heat exchanger, and a separator. The results indicate that a computer can automatically synthesize an optimal process without any heuristics or expertise in process design provided that global optimization techniques are improved to be suitable for large problems.