• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 1991년도 봄 학술발표회 논문집
• /
• pp.81-85
• /
• 1991

The object of this study is to propose the bending moment-curvature relationships based on the bond properties between concrete and steel for noncraking zone, and evaluate the flexural displacement of reinforced concrete members. The bond-slip relationship and the strain hardening effect of steel were taken into account in order to evaluate the spacing of the cracks and the curvature distribution. Calculated curvature distribution along the longitudinal axis was transformed into equivalent curvature distribution. The flexural displacement was calculated by means of double intergral of the equivalent curvature. Calculated values are in good agreement with the experimental data.

• 대한수학회보
• /
• 제34권2호
• /
• pp.193-198
• /
• 1997

In order to research the logical system whose propositional value is given in a lattice, Y. Xu [4] proposed the concept of lattice implication algebras, and discussed their some properties in [3] and [4]. Y. Xu and K. Qin [5] introduced the notions of filter and implicative filter in a lattice implication algebra, and investigated their properties. In this paper, in the first place, we give an equivalent condition of a filter, and provide some equivalent conditions that a filter is an implicative filter in a lattice implication algebra. By using these results, we construct an extension property for implicative filter.

• KEPCO Journal on Electric Power and Energy
• /
• 제8권2호
• /
• pp.73-77
• /
• 2022

Recently, as the number of years of operation has increased for more than 30 years, interest in evaluating the remaining life of major power facilities such as transformers and ultra-high voltage cables is increasing. In particular, the risk of failure is increasing because the underground transmission XLPE cable has been built since 1980 and has been operating in excess of 30 years of design life or close proximity. Therefore, it is necessary to develop an algorithm to evaluate the residual life of the XLPE cable considering the load to determine the risk of failure. Since load data is large amount of data, it is necessary to make the variable load information equivalent to the time unit first in order to calculate the remaining life of the system quickly. In overseas literature, transformers are reported to be standardized for variable load equivalent conversion formulas, but they have not been reported for ultra-high voltage cables. Therefore, in this paper, whether the equivalent conversion formula of a transformer can be applied to XLPE cables was reviewed through accelerated degradation tests under equivalent and variable temperature conditions, and considerations were studied when evaluating the remaining operating life of XLPE cables based on the experimental results.

• 호남수학학술지
• /
• 제37권2호
• /
• pp.221-233
• /
• 2015

The notion of a mighty (vague) filter in a BE-algebra is introduced, and the relation between a (vague) filter and a mighty (vague) filter are given. We investigate an equivalent condition for a (vague) filter to be mighty, and state an extension property for mighty filter. Also we define the notion of an n-fold mighty filter which is an extended notion of a mighty filter in a BE-algebra. Characterizations of an n-fold mighty filter are given. Extension property for an n-fold mighty filter are provided.

• 충청수학회지
• /
• 제29권1호
• /
• pp.171-176
• /
• 2016

In this article, we study various notions on multi-valued dynamical systems. We first investigate important tools to express the systems, and prove that the notion of chain recurrence is equivalent to the notion of nonwandering set on compact metric spaces.

• Journal of applied mathematics & informatics
• /
• 제16권1_2호
• /
• pp.497-507
• /
• 2004

In this paper, we first seek the equivalent statements with averaging properties in terms of the regular summability method, secondly define some new averaging properties and study their implications. Finally, we investigate the question of what property is dual to the Banach-Saks property suggested by C. Seifert.

• Korean Journal of Mathematics
• /
• 제14권2호
• /
• pp.169-183
• /
• 2006

In this paper, we define and study the C-integral and the strong C-integral of functions mapping an interval [a,b] into a Banach space X. We prove that the C-integral and the strong C-integral are equivalent if and only if the Banach space is finite dimensional, We also consider the property of primitives corresponding to Banach-valued functions with respect to the C-integral and the strong C-integral.

• Communications for Statistical Applications and Methods
• /
• 제10권1호
• /
• pp.233-237
• /
• 2003

An asymptotic property of the ordinary least squares estimator of the disturbance variance is considered in the regression model with correlated errors. It is shown that the convergence in probability of S$^2$ is equivalent to the asymptotic unbiasedness. Beyond the assumption on the design matrix or the variance-covariance matrix of disturbances error, the result is quite general and simplify the earlier results.

• 충청수학회지
• /
• 제21권4호
• /
• pp.519-525
• /
• 2008

Let f be a diffeomorphisms of a compact $C^{\infty}$ manifold, and let p be a hyperbolic periodic point of f. In this paper, we prove that if generically, f is tame diffeomorphims then the following conditions are equivalent: (i) f is ${\Omega}$-stable, (ii) f has the $C^1$-stable shadowing property (iii) f has the $C^1$-stable inverse shadowing property.

• 대한수학회보
• /
• 제59권2호
• /
• pp.419-429
• /
• 2022

An integral domain R is an RTP domain (or has the radical trace property) (resp. an LTP domain) if I(R : I) is a radical ideal for each nonzero noninvertible ideal I (resp. I(R : I)R_P = PR_P for each minimal prime P of I(R : I)). Clearly each RTP domain is an LTP domain, but whether the two are equivalent is open except in certain special cases. In this paper, we study the descent of these notions from particular overrings of R to R itself.