• 한국정밀공학회지
• /
• 제12권5호
• /
• pp.57-68
• /
• 1995

A general procedure for the numerical solution of coupled, nonlinear, differential two-point boundary-value problems, solutions of which are crucial to the controller design, has been developed and demonstrated. A fixed-end-points, free-terminal-time, optimal-control problem, which is derived from Pontryagin's Maximum Principle, is solved by an extension of Davidenko's method, a differential form of Newton's method, for algebraic root finding. By a discretization process like finite differences, the differential equations are converted to a nonlinear algebraic system. Davidenko's method reconverts this into a pseudo-time-dependent set of implicitly coupled ODEs suitable for solution by modern, high-performance solvers. Another important advantage of Davidenko's method related to the time-optimal problem is that the terminal time can be computed by treating this unkown as an additional variable and sup- plying the Hamiltonian at the terminal time as an additional equation. Davidenko's method uas used to produce optimal trajectories of a single-degree-of-freedom problem. This numerical method provides switching times for open-loop control, minimized terminal time and optimal input torque sequences. This numerical technique could easily be adapted to the multi-point boundary-value problems.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2008년도 춘계학술대회논문집
• /
• pp.389-392
• /
• 2008

This paper predicts the changes of natural frequencies due to the changes of mass at different point mass stations by using iterative calculation Transfer Matrices Method for different boundary conditions of a single beam structure (fixed-free and fixed-fixed beam). Firstly, the first three natural frequencies of an original beam are obtained using Transfer Matrices Method to verify the accuracy of the obtained results. The results are then compared with the exact solutions before purposely changing the parameter of mass. Both beams are modeled as discrete continuous systems with six-lumped-mass system. A single beam is broken down into a point mass and a massless beam which represent a single station and expressed in matrix form. The assembled matrices are used to determine the value of natural frequencies using numerical interpolation method corresponding to their mode number by manipulating some elements in the assembled matrix.

• 대한수학회지
• /
• 제37권5호
• /
• pp.665-685
• /
• 2000

The aim of this paper is to obtain nonlinear operators in suitable spaces whise fixed point coincide with the solutions of the nonlinear boundary value problems ($\Phi$($\upsilon$'))'=f(t, u, u'), l(u, u') = 0, where l(u, u')=0 denotes the Dirichlet, Neumann or periodic boundary conditions on [0, T], $\Phi$: N N is a suitable monotone monotone homemorphism and f:[0, T] N N is a Caratheodory function. The special case where $\Phi$(u) is the vector p-Laplacian $\mid$u$\mid$p-2u with p>1, is considered, and the applications deal with asymptotically positive homeogeneous nonlinearities and the Dirichlet problem for generalized Lienard systems.

• 한국산업융합학회 논문집
• /
• 제5권3호
• /
• pp.219-224
• /
• 2002

We consider the problem y"=a(x,y)(y-b), y(0)=0, y'(1)=g(y(${\xi}$), y'(${\xi}$)), (0${\xi}$ fixed in(0,1)) as a model of steady-slate heat conduction in a rod when the heat flux at the end x = 1 is determined by observation of the temperature and heat flux at some interior point ${\xi}$. We establish conditions sufficient for existence, uniqueness.

• 대한수학회보
• /
• 제25권2호
• /
• pp.175-178
• /
• 1988

Let .SIGMA. be a smooth compact manifold without boundary having the same homotopy type as a sphere, which is called a homotopy sphere. Supose a group G acts smoothly on .SIGMA. with the fixed point set .SIGMA.$^{G}$ consists of two isolated fixed points p and q. In this case, tangent spaces $T_{p}$ .SIGMA. and $T_{q}$ .SIGMA. at isolated fixed points, as isotropy representations of G are called Smith equivalent. Moreover .SIGMA. is called a supporting homotopy sphere of Smith equivalent representations $T_{p}$ .SIGMA. and $T_{q}$ .SIGMA.. The study on Smith equivalence has rich history, and for this we refer the reader to [P] or [Su]. The following question of pp.A.Smith [S] motivates the study on Smith equivalence.e.

• 한국통신학회논문지
• /
• 제25권11B호
• /
• pp.1957-1965
• /
• 2000

본 논문에서는 휴대 멀티미디어 응용을 위한 MDSP(Multimedia Fixed Point DSP) 칩의 내장 메모리 테스트와 기판 수준의 테스트를 지원하기 위해 내장 메모리 테스트를 위한 자체 테스트 기법, 기판 수준의 테스트 지원 및 내장 메모리를 위한 자체 테스트 회로를 제어하기 위한 경계 주사 기법을 구현하였다. 본 논문에서 구현한 기법들은 Verilog HDL을 이용하여 회로들을 설계하였으며, Synopsys 툴과 현대 heb60 라이브러리를 이용하여 합성하였다. 그리고 회로 검증을 위한 시뮬레이터는 Cadence사의 VerilogXL을 사용하였다.

• 대한수학회지
• /
• 제47권4호
• /
• pp.743-766
• /
• 2010

We study the existence of weak solution for the stationary Nordstr$\ddot{o}$m-Vlasov equations in a bounded domain. The proof follows by fixed point method. The asymptotic behavior for large light speed is analyzed as well. We justify the convergence towards the stationary Vlasov-Poisson model for stellar dynamics.

• 대한수학회지
• /
• 제46권2호
• /
• pp.271-279
• /
• 2009

Using an index theory for countably condensing maps, we show the existence of eigenvalues for countably k-set contractive maps and countably condensing maps in an infinite dimensional Banach space X, under certain condition that depends on the quantitative haracteristic, that is, the infimum of all $k\;{\geq}\;1$ for which there is a countably k-set-contractive retraction of the closed unit ball of X onto its boundary.

• 충청수학회지
• /
• 제21권4호
• /
• pp.533-541
• /
• 2008

Let X be a finite polyhedron that is of the homotopy type of the wedge of the torus and the surface with boundary. Let $f:X{\rightarrow}X$ be a self-map of X. In this paper, we prove that if the induced endomorphism of ${\pi}_1(X)$ is K-reduced, then there is an algorithm for computing the Nielsen number N(f).

• 대한수학회지
• /
• 제44권4호
• /
• pp.997-1012
• /
• 2007

We consider the nonrelativistic limit in the self-dual Abelian Chern-Simons model, and give a rigorous proof of the limit for the radial solutions to the self-dual equations with the nontopological boundary condition when there is only one-vortex point. By keeping the shooting constant of radial solutions to be fixed, we establish the convergence of radial solutions in the nonrelativistic limit.