• Journal of the Korean Operations Research and Management Science Society
• /
• v.19 no.1
• /
• pp.201-206
• /
• 1994

The linear search problem is concerned with finding a hiden target on the real line R. The position of the target governed by some probability distribution. It is desired to find the target in the least expected search time. This problem has been formulated as an optimization problem by a number of authors without making use of Markov Decision Process (MDP) theory. It is the aim of the paper to give a (MDP) formulation to the search problem which we feel is both natural and easy to follow.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.535-547
• /
• 2019

In this paper, by using the lower bound of linear forms in logarithms of Matveev and the theory of continued fractions by means of a variation of a result of Dujella and $Peth{\ddot{o}}$, we find all generalized Fibonacci numbers which are Pell numbers. This paper continues a previous work that searched for Pell numbers in the Fibonacci sequence.

• 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 Korean Society for Precision Engineering
• /
• v.27 no.6
• /
• pp.39-46
• /
• 2010

Linear induction motor is adopted as an actuator of the planar stage. An inherently poor characteristic at zero or ultra-low speed zone of the induction motor is remarkably improved due to a recent development of power electronic semiconductor technology and a spatial vector control theory. At present, a servo response speed of the induction motor reaches 90 percent of one of PM synchronous or BLDC motor. Specially, as a secondary of the induction motor can be constructed using uniform conducting sheets, there is no periodic force ripple as in PM motors. So, the induction motor can be superior to another driving means under a certain condition. This paper discusses the overall development procedure of non-contact planar stage with a big workspace using linear induction motors.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.6 no.2
• /
• pp.67-75
• /
• 1986

This paper introduces the nonlinear Stream Function Wave Theory for design waves efficiently to compute the wave energy and energy transport quantities and to analyze the effects of nonlinearities on them. The Stream Function Wave Theory was developed by Dean for case of the observed waves with assymmetric wave profiles and of the design waves with symmetric theoretical wave profiles. Dalrymple later improved the computational procedure by adding two Lagrangian constraints so that more efficient convergence of the iterative numerical method to a specified wave height and to a zero mean free surface displacement resulted. And the Stream Function coefficients are computed numerically by the improved Marquardt algorithm developed for this study. As the result of this study the effects of nonlinearities on the wave quantities of the average potential energy density, the average kinetic energy density result in overestimation by linear wave theory compared to the Stream Function Wave Theory and increase monotonically with decreasing $L^*/L_O$ and with increasing $H/H_B$. The effects of nonlinearities on the group velocity and the wavelength quantities result in underestimation by linear wave theory and increase monotonically with increasing $H/H_B$. Finally the effect of nonlinearity on the average total energy flux results in overestimation for shallow water waves and underestimation for deep water waves by linear wave theory.

• Journal of Mechanical Science and Technology
• /
• v.14 no.8
• /
• pp.845-850
• /
• 2000

We consider the problem of determining the singular stresses and electric fields in a piezoelectric ceramic strip containing a Griffith crack under in-plane normal loading within the framework of linear piezoelectricity. The potential theory method and Fourier transforms are used to reduce the problem to the solution of dual integral equations, which are then expressed to a Fredholm integral equation of the second kind. Numerical values on the field intensity factors are obtained, and the influences of the electric fields for PZT-6B piezoelectric ceramic are discussed.

• Korean Journal of Mathematics
• /
• v.20 no.2
• /
• pp.263-271
• /
• 2012

We investigate the number of the solutions for the biharmonic boundary value problem with a variable coefficient nonlinear term. We get a theorem which shows the existence of $m$ weak solutions for the biharmonic problem with variable coefficient. We obtain this result by using the critical point theory induced from the invariant function and invariant linear subspace.

• International conference on construction engineering and project management
• /
• 2005.10a
• /
• pp.383-388
• /
• 2005

In the construction industry, complex works are carried out with significant resources under non-linear circumstances where clear concepts of project management could be of benefit to all parties and personnel involved. In this paper, we define the optimum project management configuration for construction management by using DSM (Design Structure Matrix). Furthermore DSM can be visualized as a network model, and then Graph Theory provides us the numerical results.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.10a
• /
• pp.482-487
• /
• 2002

This paper presents a robot trajectory generation method based on the dual curvature theory of ruled surfaces. Robot trajectory can be represented as a ruled surface generated by the TCP(Tool Center Point) and my unit vector among the tool frame. Dual curvature theory of ruled surfaces provides the robot control algorithm with the motion property parameters. With the differential properties of the ruled surface, the linear and angular motion properties of the robot end effector can be utilized in the robot trajectory planning.

• Coupled systems mechanics
• /
• v.7 no.1
• /
• pp.5-25
• /
• 2018

A fully-coupled thermodynamic-based transient finite element formulation is proposed in this article for electric, magnetic, thermal and mechanic fields interactions limited to the linear case. The governing equations are obtained from conservation principles for both electric and magnetic flux, momentum and energy. A full-interaction among different fields is defined through Helmholtz free-energy potential, which provides that the constitutive equations for corresponding dual variables can be derived consistently. Although the behavior of the material is linear, the coupled interactions with the other fields are not considered limited to the linear case. The implementation is carried out in a research version of the research computer code FEAP by using 8-node isoparametric 3D solid elements. A range of numerical examples are run with the proposed element, from the relatively simple cases of piezoelectric, piezomagnetic, thermoelastic to more complicated combined coupled cases such as piezo-pyro-electric, or piezo-electro-magnetic. In this paper, some of those interactions are illustrated and discussed for a simple geometry.