• Journal of the Korean Mathematical Society
• /
• v.52 no.3
• /
• pp.469-487
• /
• 2015

We consider a model of HIV infection with various compartments, including target cells, infected cells, viral loads and immune effector cells, to describe HIV type 1 infection. We show that the proposed model has one uninfected steady state and several infected steady states and investigate their local stability by using a Jacobian matrix method. We obtain equations for adjoint variables and characterize an optimal control by applying Pontryagin's Maximum Principle in a linear control problem. In addition, we apply techniques and ideas from linear optimal control theory in conjunction with a direct search approach to derive on-off HIV therapy strategies. The results of numerical simulations indicate that hybrid on-off therapy protocols can move the model system to a "healthy" steady state in which the immune response is dominant in controlling HIV after the discontinuation of the therapy.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2008.04a
• /
• pp.391-396
• /
• 2008

A level set based topological shape optimization using extended B-spline basis functions is developed for steady state heat conduction problems. The only inside of complicated domain is identified by the level set functions and taken into account in computation. The solution of Hamilton-Jacobi equation leads to an optimal shape according to the normal velocity field determined from the sensitivity analysis, minimizing a thermal compliance while satisfying a volume constraint. To obtain exact shape sensitivity, the precise normal and curvature of geometry need to be determined using the level set and B-spline basis functions. The nucleation of holes is possible whenever and wherever necessary during the optimization using a topological derivative concept.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10b
• /
• pp.208-211
• /
• 1993

This paper presents the parameter design method for the desired time response of hydraulic track motor system of an industrial excavator. The dynamic response depends upon many component parameters such as motor displacement, spring constant and various valve coefficients. Most of them are to be determined to obtain the desired response while some parameters are fixed, or discrete for the off-the-shelf type components. The parameters might be selected through repeated simulations of the system once the system is mathematically represented. This paper, however, presents optimization technique to select two parameters using a parameter optimization technique. The variational approach is applied to the system equations which are represented as state equations and from those system equations derived are the adjoint equations. The gradients for each parameter also are formed for the iterations.

• Korean Journal of Mathematics
• /
• v.25 no.4
• /
• pp.469-481
• /
• 2017

In this paper, we established a general nonconvex split variational inequality problem, this is, an extension of general convex split variational inequality problems in two different Hilbert spaces. By using the concepts of prox-regularity, we proved the convergence of the iterative schemes for the general nonconvex split variational inequality problems. Further, we also discussed the iterative method for the general convex split variational inequality problems.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.609-611
• /
• 2008

Eddy current is usually generated in material with high conductivity by time-varying source such as AC current and also is induced in the moving source with relative velocity. The contactless magnetic brakes make use of the braking force from the eddy current generated by moving source and currently used for the secondary brakes of heavy trucks, buses and rail vehicles. This study aims to design the magnetization pattern of a permanent magnet type eddy current brake system to maximize the braking force. The analysis of the brake system is based on the two-dimensional finite element analysis. We use the sequential linear programming as the optimizer and the adjoint variable method for the sensitivity analysis.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2005.04a
• /
• pp.135-138
• /
• 2005

최근에 ELLAM 기법을 이용한 오염물 거동 문제를 많은 사람들이 다루어 오고 있다. ELLAM 기법은 기존의 Eulerian-Lagrangian 방식에서 일어나는 질량보존 문제점과 일반경계조건의 체계적인 적용 한계점을 극복하였다. 그러나 본 연구에서는 이 방식의 장단점을 네 개의 예제를 통하여 다른 모델들과 비교 검토하여 ELLAM의 수치적 고찰을 수행하고자 한다. 예제 수행 결과 Mesh Peclet Number가 무한대일때 ELLAM은 수치확산 및 수치진동과 같은 수치오차로 인해 음수의 농도 값을 갖거나 1 보다 큰 농도를 갖는 경향을 보인다. 그러나 Mesh Peclet Number 50 일때는 전체적으로 해석해와 잘 일치함을 볼 수 있다. 반면, LEZOOMPC(Lagrangian-Eulerian ZOOMing Peak and valley Capturing)는 항상 좋은 결과를 보여주고 있다. 따라서 위의 결과를 종합하여 볼 패 ELLAM의 단점은 LEZOOMPC의 성질을 이용하여 개선 및 보완될 수 있음을 간접적으로 시사해준다. 즉 LEZOOMPC에서 사용되는 선택적 국부 격자 세립화 과정을 이용하면 ELLAM에시 일어나는 다양한 수치오차를 줄일 수 있을 것이라고 판단된다.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.32 no.2
• /
• pp.177-190
• /
• 1996

구조물의 동적 응답 해석 문제에 대해서, 확률 유한요소법을 논의코자, 기조의 유한요소 해석법에 수반 변수법(adjoint variable approach)과 2차 섭동법(second order perturbation method)을 적용한다. 동적 민감도의 시간 응답을 고려하기 위해서 모든 시간에 대해서 갖는 구속 조건의 범함수 형태를 취하고, 시간 적분에 있어서 중첩법(fold superposition technique)에 근거를 둔 수치 해석이 훨씬 더 효과적임을 보인다. 본 논문의 확률 유한요소 해석법은 기존의 유한요소 해석법은 기존의 유한요소 코드에 맞추어 쉽게 적용할 수 있는 이점이 있음을 보이며, 이의 검정을 위해서, 2차원과 3차원 프레임 구조물에 대한 수치 해석을 하고 그 결과를 검토해 보았다.

• Proceedings of the KIEE Conference
• /
• 2006.07b
• /
• pp.651-652
• /
• 2006

This research presents a topology optimization for manipulating the main heat flow in coupled magneto-thermal systems. The heat generated by eddy currents is considered in the design domain assuming an adiabatic boundary. For a practical optimization, the convection condition is considered in the topological process of the thermal field. Topology design sensitivity is derived by employing the discrete system equations combined with the adjoint variable method. As numerical examples, a simple iron and a C-core design heated-up by eddy currents demonstrate the strength of the proposed approach to solve the coupled problem.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.33 no.7
• /
• pp.658-663
• /
• 2009

Eddy current is usually generated in the material with high conductivity by time-varying source such as AC current and also is induced by the moving source with relative velocity. The contactless magnetic brake makes use of the braking force from the eddy current generated by the moving source and currently used for the secondary brakes of heavy trucks, buses and rail vehicles. This study aims to design the magnetization pattern of the eddy current brake system of a permanent magnet type where the design aim is to maximize the braking force. The analysis of brake systems is based on the two-dimensional finite element analysis. We use the sequential linear programming as the optimizer and the adjoint variable method is applied for the sensitivity analysis.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.508-511
• /
• 2010

본 논문에서는 정상상태 유체-구조 연성문제를 연속체 기반으로 정식화하고 유한요소법을 이용하여 완전 연성된 해를 구하였다. 대 변형을 고려하기 위하여 토탈 라그란지안 정식화를 사용하였으며 유체 및 구조의 비선형성이 고려되었다. 유체와 구조 영역의 형상을 NURBS 곡면을 이용하여 매개화하여 표현하였으며, 형상 최적화를 위해 효율적인 설계민감도 해석법인 애조인 기법을 이용하여 압력, 속도, 변위 등에 대한 설계민감도를 구하였다. 이를 이용하여 최소 컴플라이언스를 갖게 하는 구조물 내부의 유체영역의 설계 등의 수치예제를 통하여 개발된 방법론의 타당성을 확인하였다.