• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.32 no.10
• /
• pp.335-340
• /
• 1983

The analysis of static power converter circuit using state-space method is presented. Semiconductors are modeled in two-state resistors depending on their ON or OFF states. Then the modes of circuit are determined according to the conducting states of semiconductors and different describing matrices are given automatically for each mode. Newton-Raphson algorithm is used as an iterative method for obtaining steady-state solution and an adjoint network is introduced for the efficient and accurate evaluation of the Jacobi matrix in the algorithm. Using the porogram exploited from the above algorithm, it is shown through examples that the results are in good agreement with the analytic solutions and computation time is considerably reduced for obtaining the steady-state solutions.

• Journal of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.1105-1117
• /
• 2009

In this paper a parameter identification problem for a damped sine-Gordon equation is studied from the theoretical and numerical perspectives. A spectral method is developed for the solution of the state and the adjoint equations. The Powell's minimization method is used for the numerical parameter identification. The necessary conditions for the optimization problem are shown to yield the bang-bang control law. Numerical results are discussed and the applicability of the necessary conditions is examined.

• Journal of the Society of Naval Architects of Korea
• /
• v.44 no.2 s.152
• /
• pp.130-138
• /
• 2007

A coupled variational equation for fluid-structure interaction (FSI) problems is derived from a steady state Navier-Stokes equation for incompressible Newtonian fluid and an equilibrium equation for geometrically nonlinear structures. For a fully coupled FSI formulation, between fluid and structures, a traction continuity condition is considered at interfaces where a no-slip condition is imposed. Under total Lagrange formulation in the structural domain, finite rotations are well described by using the second Piola-Kirchhoff stress and Green-Lagrange strain tensors. An adjoint shape design sensitivity analysis (DSA) method based on material derivative approach is applied to the FSI problem to develop a shape design optimization method. Demonstrating some numerical examples, the accuracy and efficiency of the developed DSA method is verified in comparison with finite difference sensitivity. Also, for the FSI problems, a shape design optimization is performed to obtain a maximal stiffness structure satisfying an allowable volume constraint.

• 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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.8
• /
• pp.1487-1493
• /
• 2016

The susceptible, exposed, infectious, and recovered model (SEIR) is used extensively in the field of epidemiology. On the other hand, dissemination information among users through internet grows exponentially. This information spreading can be modeled as an epidemic. In this paper, we derive the mathematical model of SEIR in viral communication from the view of optimal control theory. Overall the methods based on classical calculus, In order to solve the optimal control problem, proved to be more efficient and accurate. According to Pontryagin's minimum principle (PMP) the Hamiltonian function must be optimized by the control variables at all points along the solution trajectory. We present our method based on the PMP and forward backward algorithm. In this algorithm, one should integrate forward in time for the state equations then integrate backward in time for the adjoint equations resulting from the optimality conditions. The problem is mathematically analyzed and numerically solved as well.

• 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.

• Journal of the korean Society of Automotive Engineers
• /
• v.15 no.1
• /
• pp.81-88
• /
• 1993

A direct treatment of the min-max type objective function of the dynamic response optimization problem is proposed. Previously, the min-max type objective function was transformed to an artificial design variable and an additional point-wise state variable constraint function was imposed, which increased the complexity of the optimization problem. Especially, the design sensitivity analysis for the augmented Lagrangian functional with the suggested treatment is established by using the adjoint variable method and a computer program to implement the proposed algorithm is developed. The optimization result of the proposed treatment are obtained for three typical problems and compared with those of the previous treatment. It is concluded that the suggested treatment in much more efficient in the computational effort than the previous treatment with giving the similar optimal solutions.

• Nuclear Engineering and Technology
• /
• v.49 no.6
• /
• pp.1358-1367
• /
• 2017

The data integration with modeled predictions (DIMP) model is a promising inverse radiation transport method for solving the special nuclear material (SNM) holdup problem. Unlike previous methods, DIMP is a completely passive nondestructive assay technique that requires no initial assumptions regarding the source distribution or active measurement time. DIMP predicts the most probable source location and distribution through Bayesian inference and quasi-Newtonian optimization of predicted detector responses (using the adjoint transport solution) with measured responses. DIMP performs well with forward hemispherical collimation and unshielded measurements, but several considerations are required when using narrow-view collimated detectors. DIMP converged well to the correct source distribution as the number of synthetic responses increased. DIMP also performed well for the first experimental validation exercise after applying a collimation factor, and sufficiently reducing the source search volume's extent to prevent the optimizer from getting stuck in local minima. DIMP's simple point detector response function (DRF) is being improved to address coplanar false positive/negative responses, and an angular DRF is being considered for integration with the next version of DIMP to account for highly collimated responses. Overall, DIMP shows promise for solving the SNM holdup inverse problem, especially once an improved optimization algorithm is implemented.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.12 no.1
• /
• pp.189-194
• /
• 2017

The reversibility of a quantum logic circuit can be realized when two reversible conditions of information reversible and energy reversible circuits are satisfied. In this paper, we have modeled the computation cycle required to recover the information reversibility from the multivalued quantum logic to the original state. For modeling, we used a function embedding method that uses a unitary switch as an arithmetic exponentiation switch. In the quantum logic circuit, if the adjoint gate pair is symmetric, the unitary switch function shows the balance function characteristic, and it takes 1 cycle operation to recover the original information reversibility. Conversely, if it is an asymmetric structure, it takes two cycle operations by the constant function. In this paper, we show that the problem of 2-cycle restoration according to the asymmetric structure when the hybrid MCT gate is realized with the ternary M-S gate can be solved by equivalent conversion of the asymmetric gate to the gate of the symmetric structure.