• 대한수학회논문집
• /
• 제12권2호
• /
• pp.275-285
• /
• 1997

Let E be a uniformly convex Banach space with a uniformly G$\hat{a}teaux differentiable norm, C a nonempty closed convex subset of $E, T : C \to E$ a nonexpansive mapping, and Q a sunny nonexpansive retraction of E onto C. For $u \in C$ and $t \in (0,1)$, let $x_t$ be a unique fixed point of a contraction $R_t : C \to C$, defined by $R_tx = Q(tTx + (1-t)u), x \in C$. It is proved that if ${x_t}$ is bounded, then the strong $lim_{t\to1}x_t$ exists and belongs to the fixed point set of T. Furthermore, the strong convergence of ${x_t}$ in a reflexive and strictly convex Banach space with a uniformly G$\hat{a}$teaux differentiable norm is also given in case that the fixed point set of T is nonempty.

• Journal of Electrical Engineering and Technology
• /
• 제1권1호
• /
• pp.80-84
• /
• 2006

The sustained oscillation of rotor speed is often experienced in PWM inverter induction motor (IM) drive systems. In this paper the oscillation is investigated from the point of view of Hopf bifurcation theory. The sufficient and necessary conditions for existence of limit cycle are introduced to determine the bifurcation set in the stator voltage versus stator frequency plane. According to the conditions it is clarified that the bifurcation set inherently exists in the instable operation of IM. Moreover, it is numerically shown that the V/f curve can be adjusted to stabilize the sustained oscillation of rotor speed.

• Coupled systems mechanics
• /
• 제6권3호
• /
• pp.369-376
• /
• 2017

Intermolecular interaction energies and conformer geometries of the hydrogen bonded acrylamide dimers have been studied by using the second-order Møller-Plesset (MP2) perturbation theory and the density functional theory (DFT) with 17 density functionals. Dunning's correlation consistent basis sets (up to aug-cc-pVTZ) have been used to study the basis set effects. The DFT calculated interaction energies are compared to the reference energy data calculated by the MP2 method and the coupled cluster method at the complete basis set (CCSD(T)/CBS) limit in order to determine the relative performance of the studied density functionals. Overall, dispersion-energy-corrected density functionals outperform uncorrected ones. The ${\omega}B97XD$ density functional is particularly effective in terms of both accuracy and computational cost in estimating the reference energy values using small basis sets and is highly recommended for similar calculations for larger systems.

• 한국CDE학회논문집
• /
• 제9권1호
• /
• pp.19-26
• /
• 2004

It is not possible to exchange parametric information of CAD models based on the current version of STEP (Standard for the Exchange of Product model data). The designer intents are lost during the transfer of CAD models. To resolve this problem, the macro-parametric approach had been proposed. To enable this approach, a set of standard modeling commands has been defined. Errors or missing elements of the standard modeling commands can be discovered by implementing macro-parametric translators. But there is a limit to discover problems only by using translators. This paper proposes a method to verify the standard modeling commands by implementing a geometric modeler. First, each argument of a modeling command is verified. Second, the set of the standard modeling commands is applied to geometric modeling of commercially available product parts. For the geometric modeling, nine test models have been selected.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2002년도 춘계공동학술대회
• /
• pp.402-408
• /
• 2002

Multicast technology allows the transmission of data from one source node to a selected group of destination nodes. Multicast routes typically use trees, called multicast routing trees, to minimize resource usage such as cost and bandwidth by sharing links. Moreover, the quality of service (QoS) is satisfied by distributing data along a path haying no more than a given number of arcs between the root node of a session and a terminal node of it in the routing tree. Thus, a multicast routing tree for a session can be represented as a hop constrained Steiner tree. In this paper, we consider the hop-constrained multicast route packing problem with bandwidth reservation. Given a set of multicast sessions, each of which has a hop limit constraint and a required bandwidth, the problem is to determine a set of multicast routing trees in an arc-capacitated network to minimize cost. We propose an integer programming formulation of the problem and an algorithm to solve it. An efficient column generation technique to solve the linear programming relaxation is proposed, and a modified cover inequality is used to strengthen the integer programming formulation.

• 한국마린엔지니어링학회:학술대회논문집
• /
• 한국마린엔지니어링학회 2001년도 춘계학술대회 논문집
• /
• pp.207-212
• /
• 2001

In this paper, a method to be able to decide the possible maximum gain of P, PI control for the retarded processes under stable condition is proposed. At first, adjustable parameter set causing stability limit are obtained based on the frequency domain condition which makes the roots of transfer function locate on the $j\omega$ axis. And the cut-in frequency $\omega{_p}$ to bring the parameter set to P control from PI control is derived by an equation with 2 parameters L and $T_m$ given, then $\omega{_p}$ is used to compute the maximum gain with stable condition. For the calculation, the controlled process of first order system with time delay element is introduced and all parameters are presumed to be time invariant.

• Structural Engineering and Mechanics
• /
• 제7권3호
• /
• pp.241-257
• /
• 1999

This paper presents a procedure to minimize the cost of materials of cable-stayed bridges with composite box girder and concrete tower. Two sets of iterations are included in the proposed procedure. The first set of iteration performs the structural analysis for a cable-stayed bridge. The second set of iteration performs the optimization process. The design is formulated as a general mathematical problem with the cost of the bridge as the objective function and bending forces, shear forces, fatigue stresses, buckling and deflection as constraints. The constraints are developed based on the Canadian National Standard CAN/CSA-S6-88. The finite element method is employed to perform the complicated nonlinear structural analysis of the cable-stayed bridges. The internal penalty function method is used in the optimization process. The limit states design method is used to determine the load capacity of the bridge. A computer program written in FORTRAN 77 is developed and its validity is verified by several practical-sized designs.

• Journal of Ship and Ocean Technology
• /
• 제8권3호
• /
• pp.8-17
• /
• 2004

A numerical method is developed for computing the free surface flows around a transom stern of a ship at a high Froude number. At high speed, the flow may be detached from the flat transom stern. In the limit of the high Froude number, the problem becomes a planning problem. In the present study, we make the finite-element computations for a transom stern flows around a wedge-shaped floating ship. The numerical method is based on the Hamilton's principle. The problem is formulated as an initial value problem with nonlinear free surface conditions. In the numerical procedures, the domain was discretized into a set of finite elements and the numerical quadrature was used for the functional equation. The time integrations of the nonlinear free surface condition are made iteratively at each time step. A set of large algebraic equations is solved by GMRES(Generalized Minimal RESidual, Saad and Schultz 1986) method which is proven very efficient. The computed results are compared with previous numerical results obtained by others.

• 대한수학회보
• /
• 제30권2호
• /
• pp.223-228
• /
• 1993

In this paper, we use the Patterson-Sullivan measure and results of [H] to show that for a nonelementary discrete group of divergence type, the conical limit set .LAMBDA.$_{c}$ has positive Patterson-Sullivan measure. The definition of the Patterson-Sullivan measure for groups of divergence type is reviewed in section 2. The Patterson-Sullivan measure can also be defined for groups of convergence type and the details for that case can be found in [N]. Necessary definitions and results from [H] are given in section 3, and in section 4, we prove our main result.t.

• 충청수학회지
• /
• 제26권2호
• /
• pp.351-356
• /
• 2013

In this article, we discuss the notions of chain prolongation functions on locally compact spaces and get some results for the concepts. We show that chain prolongation function is a cluster map.