• Ocean Systems Engineering
• /
• v.2 no.2
• /
• pp.147-158
• /
• 2012

A time-domain simulation of a land-based Oscillating Water Column (OWC) with various irregular waves as a form of PM spectrum is performed by using a two-dimensional fully nonlinear numerical wave tank (NWT) based on the potential theory, mixed Eulerian-Lagrangian (MEL) approach, and boundary element method. The nonlinear free-surface condition inside the OWC chamber was specially devised to describe both the pneumatic effect of the time-varying pressure and the viscous energy loss due to water column motions. The quadratic models for pneumatic pressure and viscous loss are applied to the air and free surface inside the chamber, and their numerical results are compared with those with equivalent linear ones. Various wave spectra are applied to the OWC system to predict the efficiency of wave-energy take-off for various wave conditions. The cases of regular and irregular waves are also compared.

• Journal of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.509-525
• /
• 2014

Let R be a commutative ring with identity. An R-module M is said to be w-projective if $Ext\frac{1}{R}$(M,N) is GV-torsion for any torsion-free w-module N. In this paper, we define a ring R to be w-semi-hereditary if every finite type ideal of R is w-projective. To characterize w-semi-hereditary rings, we introduce the concept of w-injective modules and study some basic properties of w-injective modules. Using these concepts, we show that R is w-semi-hereditary if and only if the total quotient ring T(R) of R is a von Neumann regular ring and $R_m$ is a valuation domain for any maximal w-ideal m of R. It is also shown that a connected ring R is w-semi-hereditary if and only if R is a Pr$\ddot{u}$fer v-multiplication domain.

• Ocean Systems Engineering
• /
• v.2 no.4
• /
• pp.239-255
• /
• 2012

Analysis of ship parametric roll has generally been restricted to simple analytical models and sophisticated time domain simulations. Simple analytical models do not capture all the critical dynamics while time-domain simulations are often time consuming to implement. The model presented in this paper captures the essential dynamics of the system without over simplification. This work incorporates various important aspects of the system and assesses the significance of including or ignoring these aspects. Special consideration is given to the fact that a hull form asymmetric about the design waterline would not lead to a perfectly harmonic variation in metacentric height. Many of the previous works on parametric roll make the assumption of linearized and harmonic behaviour of the time-varying restoring arm or metacentric height. This assumption enables modelling the roll motion as a Mathieu equation. This paper provides a critical assessment of this assumption and suggests modelling the roll motion as a Hills equation. Also the effects of non-linear damping are included to evaluate its effect on the bounded parametric roll amplitude in a simplified manner.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.897-908
• /
• 2021

In this paper, we introduce the notion of pseudo 2-prime ideals in commutative rings. Let R be a commutative ring with a nonzero identity. A proper ideal P of R is said to be a pseudo 2-prime ideal if whenever xy ∈ P for some x, y ∈ R, then x²ⁿ ∈ Pⁿ or y²ⁿ ∈ Pⁿ for some n ∈ ℕ. Various examples and properties of pseudo 2-prime ideals are given. We also characterize pseudo 2-prime ideals of PID's and von Neumann regular rings. Finally, we use pseudo 2-prime ideals to characterize almost valuation domains (AV-domains).

• Korean Journal of Mathematics
• /
• v.29 no.1
• /
• pp.25-40
• /
• 2021

In this article we introduce tribonacci sequence spaces c0(T) and c(T) derived by the domain of a newly defined regular tribonacci matrix T. We give some topological properties, inclusion relations, obtain the Schauder basis and determine ��-, ��- and ��- duals of the spaces c0(T) and c(T). We characterize certain matrix classes (c0(T), Y) and (c(T), Y), where Y is any of the spaces c0, c or ℓ∞. Finally, using Hausdorff measure of non-compactness we characterize certain class of compact operators on the space c0(T).

• East Asian mathematical journal
• /
• v.36 no.3
• /
• pp.417-424
• /
• 2020

Huang et al. proved that the n by n upper triangular matrix ring over a domain is weakly reversible-over-center by using the property of regular matrices. In this article we provide a concrete proof which is able to be available in the related study of centers. Next we extend an example of weakly reversible-over-center, which was argued by Huang et al., to the general case.

• Journal of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.463-473
• /
• 2009

Two $C^1$-mappings, whose domain is a connected compact $C^1$-Banach manifold modelled over a Banach space X over $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$ and whose range is a Banach space Y over $\mathbb{K}$, are introduced. Sufficient conditions are given to assert they share only a value. The proof of the result, which is based upon continuation methods, is constructive.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.309-318
• /
• 1994

The approach presented in this paper is based on the transformation of the Stefan problem in one space dimension to an initial-boundary value problem for the heat equation in a fixed domain. Of course, the problem is non-linear. The finite element approximation adopted here is the standared continuous Galerkin method in time. In this paper, only the regular case is discussed. This means the error analysis is based on the assumption that the solution is sufficiently smooth. The aim of this paper is the existence of the solution in a finite Galerkin system of ordinary equations.

• Journal of the Chungcheong Mathematical Society
• /
• v.20 no.1
• /
• pp.65-70
• /
• 2007

We study the existence of nontrivial solutions of the Gradient type Dirichlet boundary value problem for elliptic systems of the form $-{\Delta}U(x)={\nabla}F(x,U(x)),x{\in}{\Omega}$, where ${\Omega}{\subset}R^N(N{\geq}1)$ is a bounded regular domain and U = (u, v) : ${\Omega}{\rightarrow}R^2$. To study the system we use the liking theorem on product space.

• Journal of the Korean Institute of Navigation
• /
• v.14 no.4
• /
• pp.31-39
• /
• 1990

A systematic methodology for efficient implementation of processor arrays from regular iterative algorithms is proposed. One of the modern parallel processing array architectures is the Systolic arrays and we use it for processor arrays on this paper. On designing the systolic arrays, there are plenty of mapping functions which satisfy necessary conditions for its implementation to the time-space domain. In this paper, we sue a few conditions to reduce the total number of computable mapping functions efficiently. As a results of applying this methodology, efficient designs of systolic arrays could be done with considerable saving on design time and efforts.