• Journal of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.399-422
• /
• 1998

A useful method of proving the finite decidability of an equationally definable class V of algebras (i.e., variety) is to prove the decidability of the class of finite directly indecomposable members of V. The validity of this method relies on the well-known result of Feferman-Vaught: if a class K of first-order structures is decidable, then so is the class {$\prod$$_{i}$＜n/ $A_{i}$│ $A_{i}$ $\in$ X (i < n), n $\in$ $\omega$}. In this paper we show that the converse of this does not necessarily hold.d.d.

• Journal of the Korean Statistical Society
• /
• v.26 no.1
• /
• pp.75-88
• /
• 1997

In this paper, a two-parameter version of Ikeda-Watanabe's mollifiers approximation of the Brownian motion is considered, and an approximation theorem corresponding to the one parameter case is proved. Using this approximation, we formulate Wong-Zakai type theorem is a Stochastic Differential Equation (SDE) driven by a two-parameter Wiener process.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.139-146
• /
• 1999

It is known that a right nilpotent congruence $\beta$ on a finite algebra A is also left nilpotent [3]. The question on whether the left nilpotency class of $\beta$ in less than or equal to the right nilpotency class of $\beta$is still open. In this paper we find an upper limit for the left nilpotency class of $\beta$. In addition, under the assumption that 1 $\in$ typ{A}, we show that $(\beta]^k=[\beta)^k$ for all k$\geq$1. Thus the left and right nilpotency classes of $\beta$ are the same in this case.

• Steel and Composite Structures
• /
• v.42 no.2
• /
• pp.257-264
• /
• 2022

The analysis of the progressive collapse resistance of structures is a well-known issue among structural engineers. Large-span reticulated dome structures are commonly utilized in large public buildings, necessitating research into their progressive collapse resistance to assure user safety. The most significant part of improving the structural resilience of reticulated domes is to evaluate their key elements. Based on a stiffness-based evaluation approach, this work offers a calculating procedure for element importance coefficient. For both original and damaged structures, evaluations are carried out using the global stiffness matrix and the determinant. The Kiewitt, Schwedler, and Sunflower reticulated domes are investigated to explore the distribution characteristic of element importance coefficients in the single-layer dome structures. Moreover, the influences of the load levels, load distributions, geometric parameters and topological features are also discussed. The results can be regarded as the initial concept design reference for single-layer reticulated domes.

• Advances in Computational Design
• /
• v.1 no.1
• /
• pp.1-25
• /
• 2016

Domes are architectural and elegant structures which cover a vast area with no interrupting columns in the middle, and with suitable shapes can be also economical. Domes are built in a wide variety of forms and specialized terms are available to describe them. According to their form, domes are given special names such as network, lamella, Schwedler, ribbed, and geodesic domes. In this paper, an optimum topology design algorithm is performed using the enhanced colliding bodies optimization (ECBO) method. The network, lamella, ribbed and Schwedler domes are studied to determine the optimum number of rings, the optimum height of crown and tubular sections of these domes. The minimum volume of each dome is taken as the objective function. A simple procedure is defined to determine the dome structures configurations. This procedure includes calculating the joint coordinates and element constructions. The design constraints are implemented according to the provision of LRFD-AISC (Load and Resistance Factor Design-American Institute of Steel Constitution). The wind loading act on domes according to ASCE 7-05 (American Society of Civil Engineers). This paper will explore the efficiency of various type of domes and compare them at the first stage to investigate the performance of these domes under different kind of loading. At the second stage the wind load on optimum design of domes are investigated for Schwedler dome. Optimization process is performed via ECBO algorithm to demonstrate the effectiveness and robustness of the ECBO in creating optimal design for domes.

• Journal of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.381-402
• /
• 1999

Let {Rn($\chi$)}{{{{ { } atop {n=0} }}}} be a discrete Sobolev orthogonal polynomials (DSOPS) relative to a symmetric bilinear form (p,q)={{{{ INT _{ } }}}} pqd$\mu$0 +{{{{ INT _{ } }}}} p qd$\mu$1, where d$\mu$0 and d$\mu$1 are signed Borel measures on . We find necessary and sufficient conditions for {Rn($\chi$)}{{{{ { } atop {n=0} }}}} to satisfy a second order difference equation 2($\chi$) y($\chi$)+ 1($\chi$) y($\chi$)= ny($\chi$) and classify all such {Rn($\chi$)}{{{{ { } atop {n=0} }}}}. Here, and are forward and backward difference operators defined by f($\chi$) = f($\chi$+1) - f($\chi$) and f($\chi$) = f($\chi$) - f($\chi$-1).

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.767-781
• /
• 1995

In this paper we present computation of a reflected shock in the hypersonic flow of air with chemical reactions. We consider two dimensional steady inviscid hypersonic flow of air around bodies including chemical reaction effects. At a high Mach number, a strong shock is formed in front of the body when a wedge is placed against the flow. In front of the shock, temperature and pressure increase greatly and the flow is in nonequilibrium state. If the shock hits a wall, then a reflected shock is formed in the nonequilibrium flow region. Behind this reflected shock, the temperature and pressure are very high. We carry out the computation of the reflected shock and the flow behind it. The jump conditions at the reflected shock are presented. A technique combining smooth transforms of domain and implicit difference methods is used to overcome numerical difficulties associated with the lack of resolution behind the shock and near the body.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.5
• /
• pp.1631-1647
• /
• 2015

In this paper, we prove two optimal inequalities involving the intrinsic scalar curvature and extrinsic Casorati curvature of submanifolds of generalized space forms endowed with a semi-symmetric metric connection. Moreover, we also characterize those submanifolds for which the equality cases hold.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.63-78
• /
• 1999

Let $\mu$(x) be an increasing function on the real line with finite moments of all oeders. We show that for any linear operator T on the space of polynomials and any interger n $\geq$ 0, there is a constant $\gamma n(T)\geq0$, independent of p(x), such that $\parallel T_p\parallel\leq\gamma n(T)\parallel P\parallel$, for any polynomial p(x) of degree $\leq$ n, where We find a formular for the best possible value $\Gamma_n(T)\;of\;\gamma n(T)$ and estimations for $\Gamma_n(T)$. We also give several illustrating examples when T is a differentiation or a difference operator and $d\mu$(x) is an orthogonalizing measure for classical or discrete orthogonal polynomials.