• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.737-746
• /
• 2005

Average memory occupancy and congestion in computer system or communication system may be reduced further if new jobs are admitted only when the number of jobs queued at CPU is below a certain threshold, run queue cutoff (RQ). In our previous paper we showed that response time of a job is invariant with respect to RQ if jobs do not communicate each other. In this paper, we prove that the invariance property by considering the evolution of the queue lengths as point processes. We also present an approximate method for the delay due to context switching under time slicing.

• Nuclear Engineering and Technology
• /
• v.32 no.6
• /
• pp.605-617
• /
• 2000

Nodal transport methods are studied for the solution of two dimensional discrete-ordinates, simplified even-parity transport equation(SEP) which is known to be an approximation to the true transport equation. The polynomial expansion nodal method(PEN) and the analytic function expansion nodal method(AFEN）which have been developed for the diffusion theory are used for the solution of the discrete-ordinates form of SEP equation. Our study shows that while the PEN method in diffusion theory can directly be converted without complication, the AFEN method requires a theoretical modification due to the nonhomogeneous property of the transport equation. The numerical results show that the proposed two methods work well with the SEP transport equation with higher accuracies compared with the conventional finite difference method.

• Proceeding of KASS Symposium
• /
• 2005.05a
• /
• pp.125-132
• /
• 2005

Membrane structures, a kind of lightweight soft structural system, are used for spatial structures. The material property of the membrane has strong axial stiffness, but little bending stiffness. The design procedure of membrane structures are needed to do shape finding, stress-deformation analysis and cutting pattern generation. In shape finding, membrane structures are unstable structures initially. These soft structures need to be introduced initial stresses because of its initial unstable state, and it happens large deformation phenomenon. And also there are highly varied in their size, curvature and material stiffness. So, the approximation inherent in cutting pattern generation methods is quite different. Therefore, in this study, to find the structural shape after large deformation caused by Initial stress, we need the shape analysis considering geometric nonlinear ten And the geodesic line on surface of initial equilibrium shape and the cutting pattern generation using the geodesic line is introduced.

• Honam Mathematical Journal
• /
• v.35 no.1
• /
• pp.101-107
• /
• 2013

The Gamma function ${\Gamma}$ which was first introduced b Euler in 1730 has played a very important role in many branches of mathematics, especially, in the theory of special functions, and has been introduced in most of calculus textbooks. In this note, our major aim is to explain the convergence of the Euler's Gamma function expressed as an improper integral by using some elementary properties and a fundamental axiom holding on the set of real numbers $\mathbb{R}$, in a detailed and instructive manner. A brief history and origin of the Gamma function is also considered.

• East Asian mathematical journal
• /
• v.24 no.1
• /
• pp.81-95
• /
• 2008

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, and $T\;:\;C\;{\rightarrow}\;E$ a nonexpansive mapping satisfying the weak inwardness condition. Assume that every weakly compact convex subset of E has the fixed point property. For $f\;:\;C\;{\rightarrow}\;C$ a contraction and $t\;{\in}\;(0,\;1)$, let $x_t$ be a unique fixed point of a contraction $T_t\;:\;C\;{\rightarrow}\;E$, defined by $T_tx\;=\;tf(x)\;+\;(1\;-\;t)Tx$, $x\;{\in}\;C$. It is proved that if {$x_t$} is bounded, then $x_t$ converges to a fixed point of T, which is the unique solution of certain variational inequality. Moreover, the strong convergence of other implicit and explicit iterative schemes involving the sunny nonexpansive retraction is also given in a reflexive and strictly convex Banach space with a uniformly $G{\hat{a}}teaux$ differentiable norm.

• Progress in Superconductivity
• /
• v.7 no.1
• /
• pp.11-16
• /
• 2005

Coupling of non-linear oscillators have long been an interesting problem for physicists. The coupling phenomena have been frequently observed in Josephson junction series array, which have been used for Josephson voltage standard. Interestingly pronounced self-generation effect has been found during recent development of Josephson arrays for programmable Josephson voltage standard. But the coupling effect between the self-generations is not fully understood yet. We present harmonically approximated analytical solutions for coupled self-generations in the Josephson arrays, i.e., Superconductor-Insulator-Normal metal-Insulator-Superconductor (SINIS) array, externally shunted Superconductor-Insulator-Supercondctor (es-SIS) array, Superconductor-Normal metal-Superconductor (SNS) array. We find that the coupling between the self-generated Josephson oscillations through microwave transmission line plays critical role in microwave property of the Josephson array.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.53 no.5
• /
• pp.315-322
• /
• 2004

A direct adaptive state-feedback controller for highly nonlinear systems is proposed. This paper considers uncertain or ill-defined nonaffine nonlinear systems and employs a static fuzzy logic system (FLS). The employed FLS estimates. and adaptively cancels an unknown plant nonlinearity using its proved universal approximation property. A control law and adaptive laws for unknown fuzzy parameters and bounding constant are established so that the whole closed-loop system is stable in the sense of Lyapunov. The tracking error is guaranteed to be uniformly asymptotically stable rather than uniformly ultimately bounded with the aid of an additional robustifying control term. No a priori knowledge of an upper bound on an lumped uncertainty is required.

• International Journal of CAD/CAM
• /
• v.6 no.1
• /
• pp.73-79
• /
• 2006

In this paper, we propose a new triangular finite element mesh generation method based on simplification of high-density mesh and adaptive Level-of-Detail (LOD) methods for efficient CAE. In our method, mesh simplification is used to control the mesh properties required for FE mesh, such as the number of triangular elements, element shape quality and size while keeping the specified approximation tolerance. Adaptive LOD methods based on vertex hierarchy according to curvature and region of interest, and global LOD method preserving density distributions are also proposed in order to construct a mesh more appropriate for CAE purpose. These methods enable efficient generation of FE meshes with properties appropriate for analysis purpose from a high-density mesh. Finally, the effectiveness of our approach is shown through evaluations of the FE meshes for practical use.

• Journal of Industrial Technology
• /
• v.14
• /
• pp.19-28
• /
• 1994

We can get a tridiagonal block Toeplitz linear system by the finite difference approximation of 2-D Poisson equation. To exploit the nice property of this linear equation, we transform the equation into a Lyapunov equation and apply DST (discrete sine transform) to get diagonal matrix based Lyapunov equation. DST can be performed using FFT, which enables high-speed computaion. All the computations are performed on an SIMD parallel computer, the MasPar MP-2 with 4,096 processing elements. In this paper, parallel algorithm, mapping method of the algorithm onto the MP-2, and timing results are presented.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2003.07a
• /
• pp.486-488
• /
• 2003

Some important properties of the liquid crystal molecules containing fluoro-isothiocyanated molecules have been studied using quantum chemical calculations and the results were correlated with respect to the structure of the molecules. Dielectric anisotropy, birefringence have been predicted for several unknown structures. The Maier-Meier, Vuks equation were used for the dielectric anisotropy and birefringence calculation. The results obtained by empirical approximation showed a good agreement with experiment ones.