• 대한수학회보
• /
• 제30권1호
• /
• pp.61-64
• /
• 1993

In this paper, we show that if R is a local-global domain then the Question holds. McDonald and Waterhouse in [6] and Estes and Guralnick in [5] introduced the concept of local-global rings (so called rings with many units) independently. A local-global ring is a commutative ring R with 1 satisfying; if a polynomial f in R[ $x_{1}$, .., $x_{n}$] represents a unit over $R_{P}$ for every maximal ideal P in R, then f represents a unit over R. Such rings include semilocal rings, or more generally, rings which are von Neumann regular mod their Jacobson radical, and the ring of all algebraic integers.s.s.

• International Journal of Vascular Biomedical Engineering
• /
• 제3권1호
• /
• pp.23-29
• /
• 2005

We developed a three dimensional cardiac tissue model based on human cardiac cell and mono-domain approximation for action potential propagation. The human myocyte model proposed by ten Tusscher et al. (TNNP model) (2004) for cell electrophysiology and a mono-domain method for electric wave propagation are used to simulate the cardiac tissue propagation mechanism using a finite element method. To delineate non-homogeneity across cardiac tissue layer, we used three types of cardiac cell models. Ansiotropic effect of action potential propagation is also considered in this study. In this 3D anisotropic cardiac tissue with three cell layers, we generated a reentrant wave using S1-S2 protocol. Computational results showed that the reentrant wave was affected by the anisotropic properties of the cells. To test the reentrant wave under pathological state, we simulated a hypertopic model with non-excitable fibroblasts in stochastic manner. Compared with normal tissue, the hypertropic tissue result showed another center of reentrant wave, indicating that the wave pattern can be more easily changed from regular with a concentric focus to irregular multi-focused reentrant waves in case of patients with hypertrophy.

• 한국해양공학회지
• /
• 제26권1호
• /
• pp.17-26
• /
• 2012

A coupled analysis of a floating crane barge with a crane wire and hanging structure is carried out in thetime domain. The motion analysis of the crane barge is based on the floating multi-body dynamics, and thecrane wire is modeled as a simple spring tension. The hanging structure is assumed to be a rigid body with 3 degree-of-freedom translational motion. In this study, numerical simulations were conducted at three different stages. First, the developed code was validated by comparing the time-domain motion response of a crane barge with the frequency-domain results. Then, a coupled analysis of a crane barge and simple structure hanging by the crane wire was performed using the present scheme. The motion response and wire tension from the present calculations are compared with the results of OrcaFlex. The agreement between the two sets of results isfairly good. Last, lowering simulations in regular and irregular waves were conducted considering buoyancy changes in the hanging structure. The effects of the wave conditions, structure's weight, wire length, and lowering speed on the wire tension are considered.

• 한국해양공학회지
• /
• 제23권1호
• /
• pp.16-23
• /
• 2009

The three-dimensional ship motion with forward speed was solved by a finite element method in the time domain. A boundary value problem was described in the frame of a fixed-body reference, and the problem was formulated according to Double-Body and Neumann-Kelvin linearizations. Laplace's equation with boundary conditions was solved by a classical finite element method based on the weak formulation. Chebyshev filtering was used to get rid of an unwanted saw-tooth wave and a wave damping zone was adopted to impose a numerical radiation condition. The time marching of the free surface was performed by the 4th order Adams-Bashforth-Moulton method. Wigley I and Wigely III models were considered for numerical validation. The hydrodynamic coefficients and wave exciting forces were validated by a comparison with experimental data and the numerical results of the Wigley I. The effects of the linearization are also discussed. The motion RAO was also checked with a Wigley III model through mono-chromatic and multi-chromatic regular waves.

• Korea-Australia Rheology Journal
• /
• 제21권3호
• /
• pp.193-200
• /
• 2009

We present a direct simulation technique for two-dimensional mold-filling simulations of fluids filled with a large number of circular disk-like rigid particles. It is a direct simulation in that the hydrodynamic interaction between particles and fluid is fully considered. We employ a pseudo-concentration method for the evolution of the flow front and the DLM (distributed Lagrangian multipliers)-like fictitious domain method for the implicit treatment of the hydrodynamic interaction. Both methods allow the use of a fixed regular discretization during the entire computation. The discontinuous Galerkin method has been used to solve the concentration evolution equation and the rigid-ring description has been introduced for freely suspended particles. A buffer zone, the gate region of a finite area subject to the uniform velocity profile, has been introduced to put discrete particles into the computational domain avoiding any artificial discontinuity. From example problems of 450 particles, we investigated the particle motion and effects of particles on the flow for both Newtonian and shear-thinning fluid media. We report the prolonged particle movement toward the wall in case of a shear-thinning fluid, which has been interpreted with the shear rate distribution.

• Geomechanics and Engineering
• /
• 제6권6호
• /
• pp.531-544
• /
• 2014

Studies of earthquakes over the last 50 years and the examination of dynamic soil behavior reveal that soil behavior is highly nonlinear and hysteretic even at small strains. Nonlinear behavior of soils during a seismic event has a predominant role in current site response analysis approaches. Common approaches to ground response analysis include linear, equivalent linear and nonlinear methods. These methods of ground response analysis may also be categorized into time domain and frequency domain concepts. Simplicity in developing analytical relations and accuracy in considering soils' dynamic properties dependency to loading frequency are benefits of frequency domain analysis. On the other hand, nonlinear methods are complicated and time consuming mainly because of their step by step integrations in time intervals. In part Ι of this paper, governing equations for seismic response analysis of surcharged and layered soils were developed using fundamental of wave propagation theory based on transfer function and boundary conditions. In this part, nonlinear seismic ground response is analyzed using extended HFTD method. The extended HFTD method benefits Newton-Raphson procedure which applies regular iterations and follows soils' fundamental stress-strain curve until convergence is achieved. The nonlinear HFTD approach developed here are applied to some examples presented in this part of the paper. Case studies are carried in which effects of some influencing parameters on the response are investigated. Results show that the current approach is sufficiently accurate, efficient, and fast converging. Discussions on the results obtained are presented throughout this part of the paper.

• 한국콘텐츠학회논문지
• /
• 제18권2호
• /
• pp.541-552
• /
• 2018

본 연구에서는 '수학 문제로부터의 문제제기' 수업이 학생들의 수학과 정의적 영역에 미치는 영향을 살펴보고 학생들의 정의적 성취에 대한 교사차원에서의 평가 관리 방안을 마련하기 위해 실험연구를 실시하였다. 그리고 양적 질적 접근을 결합한 3단계로 연구대상 전체학생 및 개별학생의 정의적 성취의 변화를 분석하였다. 그 결과 첫째, 문제제기 수업은 문제해결능력 향상과 학습활동 자체에서의 유의미한 경험으로 이어지면서 학생들의 수학에 대한 자신감, 흥미, 가치, 학습의욕을 향상시켰다. 둘째, 중학교 1학년 수학부터 고등학교 3학년 수학까지 학생들의 정의적 영역은 중시되어야 하며 체계적인 평가 관리가 실시되어야 한다. 셋째, 수학과 정의적 영역의 평가 체계와 방법을 국가수준에서 구체적으로 제시하고 보급할 필요가 있다. 이런 맥락에서 교사는 교실수업에서 문제제기 교수 학습을 적극적으로 실행하여 학생들의 정의적 성취를 도와야 하며, 정기적으로 모든 학생의 정의적 성취를 측정하고 관리할 필요가 있다는 결론과 시사점을 얻었다.

• 한국항해항만학회지
• /
• 제42권2호
• /
• pp.127-136
• /
• 2018

The motion response of floating structures is of significant concern in marine engineering. Floating structures can be disturbed by waves, winds, and currents that create undesirable motions of the vessel, therefore causing challenges to its operation. For a floating structure, mooring lines are provided in order to maintain its position; these should also produce a restoring force when the vessel is displaced. Therefore, it is important to investigate the tension of mooring lines and the motion responses of a twin barge when moored to guarantee the safety of the barge during its operation. It is essential to precisely identify the characteristics of the motion responses of a moored barge under different loading conditions. In this study, the motion responses of a moored twin barge were measured in regular waves of seven different wave directions. The experiment was performed with regular waves with different wavelengths and wave directions in order to estimate the twin-barge motions and the tension of the mooring line. In addition, the motion components of roll, pitch, and heave are completely free. In contrast, the surge, sway, and yaw components are fixed. In the succeeding step, a time-domain analysis is carried out in order to obtain the responses of the structure when moored. As a result, the Response Amplitude Operator (RAO) motion value was estimated for different wave directions. The results of the experiment show that the motion components of the twin barge have a significant effect on the tension of the mooring lines.

• 대한수학회보
• /
• 제20권1호
• /
• pp.45-49
• /
• 1983

If R is ring and M is a right (or left) R-module, then M is called a faithful R-module if, for some a in R, x.a=0 for all x.mem.M then a=0. In [4], R.E. Johnson defines that M is a prime module if every non-zero submodule of M is faithful. Let us define that M is of prime type provided that M is faithful if and only if every non-zero submodule is faithful. We call a right (left) ideal I of R is of prime type if R/I is of prime type as a R-module. This is equivalent to the condition that if xRy.subeq.I then either x.mem.I ro y.mem.I (see [5:3:1]). It is easy to see that in case R is a commutative ring then a right or left ideal of a prime type is just a prime ideal. We have defined in [5], that a chain of right ideals of prime type in a ring R is a finite strictly increasing sequence I$_{0}$.contnd.I$_{1}$.contnd....contnd.I$_{n}$; the length of the chain is n. By the right dimension of a ring R, which is denoted by dim, R, we mean the supremum of the length of all chains of right ideals of prime type in R. It is an integer .geq.0 or .inf.. The left dimension of R, which is denoted by dim$_{l}$ R is similarly defined. It was shown in [5], that dim$_{r}$R=0 if and only if dim$_{l}$ R=0 if and only if R modulo the prime radical is a strongly regular ring. By "a strongly regular ring", we mean that for every a in R there is x in R such that axa=a=a$^{2}$x. It was also shown that R is a simple ring if and only if every right ideal is of prime type if and only if every left ideal is of prime type. In case, R is a (right or left) primitive ring then dim$_{r}$R=n if and only if dim$_{l}$ R=n if and only if R.iden.D$_{n+1}$ , n+1 by n+1 matrix ring on a division ring D. in this paper, we establish the following results: (1) If R is prime ring and dim$_{r}$R=n then either R is a righe Ore domain such that every non-zero right ideal of a prime type contains a non-zero minimal prime ideal or the classical ring of ritght quotients is isomorphic to m*m matrix ring over a division ring where m.leq.n+1. (b) If R is prime ring and dim$_{r}$R=n then dim$_{l}$ R=n if dim$_{l}$ R=n if dim$_{l}$ R<.inf. (c) Let R be a principal right and left ideal domain. If dim$_{r}$R=1 then R is an unique factorization domain.TEX>R=1 then R is an unique factorization domain.

• 한국통신학회논문지
• /
• 제32권7A호
• /
• pp.746-754
• /
• 2007

본 논문에서는 무선/이동 네트워크 환경에서 VoIP와 같은 실시간 서비스를 제공하기 위해 HMIPv6 기반의 빠른 micromobility 관리 프로토콜을 제안하였다. 제안된 방식은 HMIPv6에서 주소 생성과정의 DAD 절차로 인한 지연시간을 줄이기 위해 도메인 내에서 MAP가 MN의 Interface Identifier의 유일성을 보장해 줌으로써 빠른 micromobility 핸드오프를 지원한다. 또한, 기존 HMIPv6의 IP 패킷 터널링으로 인한 대역폭 낭비를 줄이기 위해 HMIPv6 기반에서 MIPv6를 적응적으로 활용함으로써 빠른 핸드오프를 지원하면서 동시에 자원활용의 효율성을 증가시킨다. 제안된 방식의 성능 분석은 컴퓨터 시뮬레이션을 통하여 이루어졌으며, 다양한 네트워크 환경에서 micromobility 핸드오프 지연시간과 패킷 손실에 대하여 기존 방식들인 MIPv6와 HMIPv6들과 비교 분석하였다.