• Journal of applied mathematics & informatics
• /
• v.26 no.1_2
• /
• pp.395-400
• /
• 2008

Although the properties of flatness and condition (E) for Sacts over a monoid S are incomparable, Liu([10]) showed that necessary and sufficient condition for a monoid S over which all left S-acts that satisfy condition (E) are flat is the regularity of S. But the problem of describing a monoid over which all cyclic flat left S-acts satisfy condition (E) is still open. Thus the purpose of this paper is to characterize monoids over which all cyclic flat right S-acts satisfy condition (E).

• Communications of the Korean Mathematical Society
• /
• v.37 no.3
• /
• pp.669-679
• /
• 2022

We provide a characterization of the positive monoids (i.e., additive submonoids of the nonnegative real numbers) that satisfy the finite factorization property. As a result, we establish that positive monoids with well-ordered generating sets satisfy the finite factorization property, while positive monoids with co-well-ordered generating sets satisfy this property if and only if they satisfy the bounded factorization property.

• Journal of the Korean Solar Energy Society
• /
• v.37 no.6
• /
• pp.51-58
• /
• 2017

This study proposes an appropriate level of insulation standards by region through annual heating energy requirements according to regional climate. The reference buildings out of non-residential buildings approved by the energy saving design standard for buildings were derived in the previous study, in which the annual heating energy requirements for each building were as follows when the insulation standard for building members in four regions (Pyeongchang, Seoul, Gwang-ju, and Jeju) suggested by the energy saving design standard for buildings: $29.8kWh/m^2$ in Pyeongchang, $17.5kWh/m^2$ in Seoul, $14.4kWh/m^2$ in Gwangju, and $16.7kWh/m^2$ in Jeju. To satisfy the passive level of insulation standards for these buildings, in case that roof/floor of buildings in Pyeongchang and Seoul was $0.2W/m^2K$, the minimum window thermal transmittance should satisfy $0.9W/m^2K$ and the minimum wall thermal transmittance should satisfy $0.1W/m^2K$ in the case of Pyeongchang. On the other hand, the minimum window thermal transmittance should satisfy $1.5W/m^2K$ and the minimum wall thermal transmittance should satisfy $0.14W/m^2K$ in the case of Seoul. For Jeju regions, the minimum wall thermal transmittance should satisfy $0.34W/m^2K$ to meet the passive level of buildings. Based on the above results, the thermal transmittance of each member by region should take the outdoor climate condition of the region into consideration to satisfy the passive level of buildings.

• Honam Mathematical Journal
• /
• v.45 no.3
• /
• pp.410-417
• /
• 2023

Suppose that there are 8 abelian varieties defined over a number field K which satisfy a commutative diagram. We show that if we know that three out of four short exact sequences satisfy the rate formula of Tate-Shafarevich groups, then the unknown short exact sequence satisfies the rate formula of Tate-Shafarevich groups, too.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.23 no.2
• /
• pp.65-92
• /
• 2019

We survey a recently developed immersed finite element method (IFEM) for the interface problems. The IFEM uses structured grids such as uniform grids, even if the interface is a smooth curve. Instead of fitting the curved interface, the bases are modified so that they satisfy the jump conditions along the interface. The early versions of IFEM [1, 2] were suboptimal in convergence order [3]. Later, the consistency terms were added to the bilinear forms [4, 5], thus the scheme became optimal and the error estimates were proven. For elasticity problems with interfaces, we modify the Crouzeix-Raviart based element to satisfy the traction conditions along the interface [6], but the consistency terms are not needed. To satisfy the Korn's inequality, we add the stabilizing terms to the bilinear form. The optimal error estimate was shown for a triangular grid. Lastly, we describe the multigrid algorithms for the discretized system arising from IFEM. The prolongation operators are designed so that the prolongated function satisfy the flux continuity condition along the interface. The W-cycle convergence was proved, and the number of V-cycle is independent of the mesh size.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1999.10a
• /
• pp.151-154
• /
• 1999

The lining concrete of water tunnel is a structure that is constructed to prevent from corroding of the rock around tunnel and reduce the deterioration of geology by flowing water, and to improve the durability of tunnel, which must not only economy, stability but also satisfy the engeneering properties of concrete. This is an experimental study to analyze th usability of fly in the tunnel lining concrete. For this purpose, after select the mix proportion of plain concrete and concrete using fly ash(the replacement of 15 and 30% by weight of cement) to satisfy slump, air content and compressive strength through the mix design, the test of slump, setting time, compressive strength, tensile strength, drying shrinkage and adiabatic temperature rise was performed. According to test results, it was found that FA 15 concrete was more effective than the others to reduce drying shrinkage as well satisfy other engineering properties.

• Journal of Environmental Science International
• /
• v.5 no.3
• /
• pp.377-385
• /
• 1996

This study aims at the estimation of a river management flow in urban basin analyzing Sinchun basin to be the tributary of Kumho river basin. The river management flow has to satisfy a low flow as natural flow and an environmental preservation flow estimated by a dilution flow to satisfy a target water quality in drought flow. Therefore for the estimation of a river management flow in Sinchun in this study, first Tank model as a basin runoff model estimates a low flow, a drought flow from a flow duration curve in Sinchun, second QUAL2E model as water quality model simulates water quality in Sinchun and estimates environmental preservation flow to satisfy a target water qua%its, BOD 8 mg/l by a dilution flow derived from Kumho river, Nakdong river and around water. And the river management flow is estimated by addition of a use flow and a loss flow to more flow between a low-flow and an environmental preservation flow.

• International Journal of Contents
• /
• v.12 no.1
• /
• pp.70-75
• /
• 2016

In this paper, we considered heterogeneous spectrum sharing system where the number of subcarriers of the primary user (PU) was twice as much as that of the secondary user (SU). In this case, due to non-orthogonality and inter-carrier interference (ICI) from SU to PU, it is difficult to satisfy the interference constraint of PU. In order to mitigate ICI and satisfy the interference constraint, we proposed a new transmission scheme of the SU with power allocation scheme. The proposed scheme will only generate subcarrier-by-subcarrier interference. Therefore, it can easily satisfy the interference constraint of the PR and enhance the capacity of the SU. In addition, we derived the ergodic capacity of the SU. Based on numerical results, we confirmed that the proposed schemes could guarantee SU with a reliable capacity while satisfying the interference constraint of the PU. In addition, the derived capacity well matched the numerical results.

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• pp.761-763
• /
• 1999

When the controller designed by the $H{\infty}$ control technique is applied to the object system, sometimes the controller does not satisfy the robust stability and robust performance but only satisfy the nominal performance. In this paper, we derive the region on the frequency response curve of the open-loop transfer function which satisfy the robustness and robust performance of the designed controller. We also derive the region for the suitableness of the weighting function on the frequency response curve of the weighting function. We showed that the robust stability and the robust performance of the $H{\infty}$ optimal control)or by applying the designed controller on an electromechanical actuator system could be improved by determining parameter ${\gamma}$ and weighting function gain ${\alpha}$ using the derived region.

• Proceedings of the KSR Conference
• /
• 2002.10b
• /
• pp.884-891
• /
• 2002

This report is the result performed the structural analysis and the static and fatigue load test of bogie frame for the purpose of designing and verifying the bogie frame which satisfy the load condition required in the UIC code. This investigation is proposed the efficient draft of the design to satisfy the load condition required in the UIC code. And It is performed the structural analysis to evaluate the static strength and the fatigue life of the patient material and the welded part. Also, This is proposed the efficient draft of the test to satisfy the method of the static and fatigue test required in the UC code. And it is carried out the static and the fatigue load test to verify it. We can designed the bogie frame in compliance with UIC 515-4 and 615-4 code.