• 대한수학회지
• /
• 제47권5호
• /
• pp.1001-1015
• /
• 2010

Let M be a $C^{\infty}$ real hypersurface in $\mathbb{C}^{n+1}$, $n\;{\geq}\;1$, locally given as the zero locus of a $C^{\infty}$ real valued function r that is defined on a neighborhood of the reference point $P\;{\in}\;M$. For each k = 1,..., n we present a necessary and sufficient condition for there to exist a complex manifold of dimension k through P that is contained in M, assuming the Levi form has rank n - k at P. The problem is to find an integral manifold of the real 1-form $i{\partial}r$ on M whose tangent bundle is invariant under the complex structure tensor J. We present generalized versions of the Frobenius theorem and make use of them to prove the existence of complex submanifolds.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 추계학술대회 논문집
• /
• pp.812-815
• /
• 2002

The shape of K-R curve for an ideally brittle material is flat because the surface energy is an unvaried material property. However, the K-R curve can take on a variety of shapes when nonlinear material behavior accompanies fracture. By the way, a general metallic material is nonlinear, structural steel is such. Therefore, the J-R curve form J-integral value instead of K parameters can be used to evaluate elastic-plastic materials with flaws in terms of ductile fracture that can be significant to design. In this paper, R-curve behaviors form K and J parameter is considered for the precise assessment of fracture analysis, in case of JS-SS400 steels.

• Kyungpook Mathematical Journal
• /
• 제51권1호
• /
• pp.1-10
• /
• 2011

Let (R, T) be a normal pair of commutative rings (i.e., R ${\subseteq}$ T is a unita extension of commutative rings, not necessarily integral domains, such that S is integrally closed in T for each ring S such that R ${\subseteq}$ S ${\subseteq}$ T) such that the total quotient ring of R is a von Neumann regular ring. Let P be one of the following ring-theoretic properties: going-down ring, extensionally going-down (EGD) ring, locally divided ring. Then R has P if and only if T has P. An example shows that the "if" part of the assertion fails if P is taken to be the "divided domain" property.

• 충청수학회지
• /
• 제31권1호
• /
• pp.47-52
• /
• 2018

Let ${\delta}$ be a derivation in a noetherian integral domain A. It is shown that a natural map induces a homeomorphism between the spectrum of $A[z;{\delta}]$ and the Poisson spectrum of $A[z;{\delta}]_p$ such that its restriction to the primitive spectrum of $A[z;{\delta}]$ is also a homeomorphism onto the Poisson primitive spectrum of $A[z;{\delta}]_p$.

• 충청수학회지
• /
• 제31권4호
• /
• pp.487-509
• /
• 2018

The Truncated Moment Problem (TMP) entails finding a positive Borel measure to represent all moments in a finite sequence as an integral; once the sequence admits one or more such measures, it is known that at least one of the measures must be finitely atomic with positive densities (equivalently, a linear combination of Dirac point masses with positive coefficients). On the contrary, there are more general moment problems for which we aim to find a "signed" measure to represent a sequence; that is, the measure may have some negative densities. This type of problem is referred to as the General Truncated Moment Problem (GTMP). The Jordan Decomposition Theorem states that any (signed) measure can be written as a difference of two positive measures, and hence, in the view of this theorem, we are able to apply results for TMP to study GTMP. In this note we observe differences between TMP and GTMP; for example, we cannot have an analogous to the Flat Extension Theorem for GTMP. We then present concrete solutions to lower-degree problems.

• 호남수학학술지
• /
• 제38권4호
• /
• pp.739-752
• /
• 2016

The main aim of this paper is to introduce an extension of the generalized ${\tau}$-Gauss hypergeometric function $_rF^{\tau}_s(z)$ and investigate various properties of the new function such as integral representations, derivative formulas, Laplace transform, Mellin trans-form and fractional calculus operators. Some of the interesting special cases of our main results have been discussed.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 춘계학술대회
• /
• pp.636-638
• /
• 2010

Task scheduling is an integral part of parallel and distributed computing. Extensive research has been conducted in this area leading to significant theoretical and practical results. Stochastic reward nets (SRN) is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, we address task scheduling model using extended timed marked graph, which is a special case of SRNs. And we analyze this model by giving reward measures in SRN.

• Nuclear Engineering and Technology
• /
• 제43권6호
• /
• pp.477-488
• /
• 2011

A formulation is proposed for modelling the process of intra-granular diffusion of fission gas during irradiation of $UO_2$ under both normal operating conditions and power transients. The concept represents a simple extension of the formulation of Speight, including an estimation of the contribution of bubble motion to fission gas diffusion. The resulting equation is formally identical to the diffusion equation adopted in most models that are based on the formulation of Speight, therefore retaining the advantages in terms of simplicity of the mathematical-numerical treatment and allowing application in integral fuel performance codes. The development of the new model proposed here relies on results obtained by means of molecular dynamics simulations as well as finite element computations. The formulation is proposed for incorporation in the TRANSURANUS fuel performance code.

• 한국정밀공학회지
• /
• 제21권5호
• /
• pp.64-72
• /
• 2004

An extension of interaction matrix formulation to the problem of system and disturbance identification for a plant that is corrupted by both process and output disturbances is presented. The teaming control develops controllers that learn to improve their performance at executing a given task, based on experience performing this task. The simplest forms of loaming control are based on the same concept as integral control, but operating in the domain of the repetitions of the task. This paper studies the use of such controllers in a decentralized system, such as a robot moving on the vertical plane with the controller for each link acting independently. The basic result of the paper is to show that stability and iterative precision of the learning controllers for all subsystems when the coupling between subsystems is turned off, assures stability of the decentralized teaming in the coupled system, provided that the sample time in the digital teaming controller is sufficiently short. The methods of teaming system are shown up for the iterative precision of each link.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제15권4호
• /
• pp.387-392
• /
• 2008

In this note, an alternative proof and extensions are provided for the following conclusions in [6, Theorem 1 and Theorem 3]: The functions $\frac1{x^2}-\frac{e^{-x}}{(1-e^{-x})^2}\;and\;\frac1{t}-\frac1{e^t-1}$ are decreasing in (0, ${\infty}$) and the function $\frac{t}{e^{at}-e^{(a-1)t}}$ for a $a{\in}\mathbb{R}\;and\;t\;{\in}\;(0,\;{\infty})$ is logarithmically concave.